| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Binary
Synopsis
- decoderEquivalenceSpec ∷ (Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Version → Version → Spec
- decoderEquivalenceEraSpec ∷ (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec
- txSizeSpec ∷ (EraTx era, Arbitrary (Tx 'TopTx era), SafeToHash (TxWits era)) ⇒ Spec
- decoderEquivalenceCoreEraTypesSpec ∷ (EraTx era, Arbitrary (Tx 'TopTx era), Arbitrary (TxBody 'TopTx era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), HasCallStack) ⇒ Spec
- type Mem t = Annotator (MemoBytes t)
Documentation
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 era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec Source #
txSizeSpec ∷ (EraTx era, Arbitrary (Tx 'TopTx era), SafeToHash (TxWits era)) ⇒ Spec Source #