roundTripAlonzoCommonSpec ∷ ∀ 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), RuleListEra era) ⇒ Spec Source #

roundTripAlonzoEraTypesSpec ∷ ∀ era. Era era ⇒ Spec Source #