Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Binary.RoundTrip
Contents
Documentation
roundTripConwayCommonSpec ∷ ∀ era. (EraTx era, EraGov era, EraStake era, EraCertState era, AlonzoEraScript era, StashedAVVMAddresses era ~ (), Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxOut era), Arbitrary (TxCert era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Value era), Arbitrary (CompactForm (Value era)), Arbitrary (Script era), Arbitrary (GovState era), Arbitrary (PlutusPurpose AsIx era), Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (InstantStake era), Arbitrary (CertState era), DecCBOR (Script era), DecCBOR (TxAuxData era), DecCBOR (TxWits era), DecCBOR (TxBody era), DecCBOR (Tx era), RuleListEra era) ⇒ Spec Source #
roundTripConwayEraTypesSpec ∷ ∀ era. (Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (InstantStake era), EraPParams era, EraStake era) ⇒ Spec Source #