| 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), EqRaw (Tx era)) ⇒ BinaryUpgradeOpts → Spec Source #