| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Binary
Synopsis
- decoderEquivalenceSpec ∷ ∀ t. (Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Version → Version → Spec
- decoderEquivalenceExpectation ∷ ∀ t. (Eq t, DecCBOR t, DecCBOR (Annotator t), Show t) ⇒ Version → ByteString → Expectation
- decoderEquivalenceProp ∷ ∀ t. (Eq t, ToCBOR t, DecCBOR (Annotator t), Show t) ⇒ Version → Version → t → Property
Documentation
decoderEquivalenceSpec ∷ ∀ t. (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.
decoderEquivalenceExpectation ∷ ∀ t. (Eq t, DecCBOR t, DecCBOR (Annotator t), Show t) ⇒ Version → ByteString → Expectation Source #