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, ConwayEraAccounts 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), Arbitrary (Accounts 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, ConwayEraAccounts era) ⇒ Spec Source #