Documentation

data BinaryUpgradeOpts Source #

decoderEquivalenceCoreEraTypesSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), HasCallStack) ⇒ Spec Source #

specUpgrade ∷ ∀ era. (Arbitrary (TxOut (PreviousEra era)), Arbitrary (TxCert (PreviousEra era)), Arbitrary (TxAuxData (PreviousEra era)), Arbitrary (TxWits (PreviousEra era)), Arbitrary (TxBody (PreviousEra era)), EraTx (PreviousEra era), EraTx era, Arbitrary (Tx (PreviousEra era)), Arbitrary (Script (PreviousEra era)), HasCallStack, ToExpr (Tx era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era), DecCBOR (TxAuxData era), DecCBOR (Script era), DecCBOR (TxWits era), DecCBOR (TxBody era), DecCBOR (Tx era)) ⇒ BinaryUpgradeOpts → Spec Source #

decoderEquivalenceEraSpec ∷ ∀ era t. (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec Source #