Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Binary.RoundTrip
Contents
Documentation
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 #
Orphan instances
RuleListEra ShelleyEra Source # | |
Associated Types type EraRules ShelleyEra ∷ [Symbol] Source # |