Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Core.Binary
Synopsis
- data BinaryUpgradeOpts = BinaryUpgradeOpts {}
- 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 (Annotator (TxAuxData era)), DecCBOR (Annotator (Script era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (Tx era))) ⇒ BinaryUpgradeOpts → Spec
- decoderEquivalenceSpec ∷ (Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Version → Version → Spec
- decoderEquivalenceEraSpec ∷ ∀ era t. (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec
- txSizeSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), SafeToHash (TxWits era)) ⇒ Spec
- decoderEquivalenceCoreEraTypesSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), DecCBOR (Annotator (Tx era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (Script era)), HasCallStack) ⇒ Spec
- type Mem t = Annotator (MemoBytes t)
Documentation
data BinaryUpgradeOpts Source #
Constructors
BinaryUpgradeOpts | |
Fields |
Instances
Default BinaryUpgradeOpts Source # | |
Defined in Test.Cardano.Ledger.Core.Binary Methods |
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 (Annotator (TxAuxData era)), DecCBOR (Annotator (Script era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (Tx era))) ⇒ BinaryUpgradeOpts → Spec Source #
decoderEquivalenceSpec ∷ (Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Version → Version → Spec Source #
Generates arbitrary values, encodes them, and verifies that
decoding with `DecCBOR (Annotator)` produces the same result as decoding with DecCBOR
.
decoderEquivalenceEraSpec ∷ ∀ era t. (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec Source #
txSizeSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), SafeToHash (TxWits era)) ⇒ Spec Source #
decoderEquivalenceCoreEraTypesSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), DecCBOR (Annotator (Tx era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (Script era)), HasCallStack) ⇒ Spec Source #