roundTripConwayCommonSpec ∷ ∀ era. (EraTx era, EraGov 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 (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era), RuleListEra era, EraCertState era, Arbitrary (CertState era), DecCBOR (Script era), DecCBOR (TxAuxData era), DecCBOR (TxWits era), DecCBOR (TxBody era), DecCBOR (Tx era)) ⇒ Spec Source #

roundTripConwayEraTypesSpec ∷ ∀ era. (Arbitrary (PParams era), Arbitrary (PParamsUpdate era), Arbitrary (PParamsHKD StrictMaybe era), EraPParams era) ⇒ Spec Source #