roundTripShelleyCommonSpec ∷ ∀ era. (ShelleyEraTest era, RuleListEra era) ⇒ Spec Source #

roundTripStateEraTypesSpec ∷ ∀ era. (EraTxOut era, EraGov era, EraStake era, EraCertState era, Eq (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Arbitrary (StashedAVVMAddresses era), Arbitrary (TxOut era), Arbitrary (Value era), Arbitrary (PParams era), Arbitrary (GovState era), Arbitrary (CertState era), Arbitrary (InstantStake era)) ⇒ Spec Source #