Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Api.Upgrade
Documentation
data BinaryUpgradeOpts Source #
Constructors
BinaryUpgradeOpts | |
Fields |
Instances
Default BinaryUpgradeOpts Source # | |
Defined in Test.Cardano.Ledger.Api.Upgrade Methods |
spec ∷ ∀ era. (EraApi era, Arbitrary (TxOut (PreviousEra era)), Arbitrary (TxCert (PreviousEra era)), Arbitrary (TxAuxData (PreviousEra era)), Arbitrary (TxWits (PreviousEra era)), Arbitrary (TxBody (PreviousEra era)), EraTx (PreviousEra 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 #