Safe Haskell | Safe-Inferred |
---|---|
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 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), 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 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 #