| 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)
- fullAnnCddlSpec ∷ (Eq a, Show a, Arbitrary a, EncCBOR a, DecCBOR a, DecCBOR (Annotator a), HasCallStack) ⇒ Version → Text → SpecWith HuddleEnv
- fullAnnGenCddlSpec ∷ (Eq a, Show a, EncCBOR a, DecCBOR a, DecCBOR (Annotator a), HasCallStack) ⇒ Gen a → Version → Text → SpecWith HuddleEnv
- fullCddlSpec ∷ (Eq a, Show a, Arbitrary a, EncCBOR a, DecCBOR a, HasCallStack) ⇒ Version → Text → SpecWith HuddleEnv
- fullGenCddlSpec ∷ (Eq a, Show a, EncCBOR a, DecCBOR a, HasCallStack) ⇒ Gen a → Version → Text → SpecWith HuddleEnv
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 #
decoderEquivalenceCoreEraTypesSpec ∷ (EraTx era, Arbitrary (Tx 'TopTx era), Arbitrary (TxBody 'TopTx era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), HasCallStack) ⇒ Spec Source #
type Mem t = Annotator (MemoBytes t) Source #
Useful when deriving DecCBOR(Annotator T) deriving via (Mem T) instance DecCBOR (Annotator T)
fullAnnCddlSpec ∷ (Eq a, Show a, Arbitrary a, EncCBOR a, DecCBOR a, DecCBOR (Annotator a), HasCallStack) ⇒ Version → Text → SpecWith HuddleEnv Source #
Full CDDL codec spec for types with both plain and Annotator decoders.
fullAnnGenCddlSpec ∷ (Eq a, Show a, EncCBOR a, DecCBOR a, DecCBOR (Annotator a), HasCallStack) ⇒ Gen a → Version → Text → SpecWith HuddleEnv Source #
Like fullAnnCddlSpec but with a custom generator.
fullCddlSpec ∷ (Eq a, Show a, Arbitrary a, EncCBOR a, DecCBOR a, HasCallStack) ⇒ Version → Text → SpecWith HuddleEnv Source #
CDDL codec spec for types with only plain decoders (no Annotator).
fullGenCddlSpec ∷ (Eq a, Show a, EncCBOR a, DecCBOR a, HasCallStack) ⇒ Gen a → Version → Text → SpecWith HuddleEnv Source #
Like fullCddlSpec but with a custom generator.