roundTripAlonzoCommonSpec ∷ ∀ 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 (CertState era), Arbitrary (InstantStake era), DecCBOR (Annotator (Script era)), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (Tx era)), RuleListEra era) ⇒ Spec Source #

roundTripAlonzoEraTypesSpec ∷ ∀ era. (AlonzoEraScript era, Arbitrary (PlutusPurpose AsIx era)) ⇒ Spec Source #