Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Binary.Vintage.Helpers
Contents
Synopsis
- byronProtVer ∷ Version
- data U
- data U24
- extensionProperty ∷ ∀ a. (Arbitrary a, Eq a, Show a, DecCBOR a, EncCBOR a) ⇒ Property
- cborFlatTermValid ∷ EncCBOR a ⇒ a → Property
Documentation
Binary test helpers
Like U
, but we expect to read back the Cbor Data Item when decoding.
extensionProperty ∷ ∀ a. (Arbitrary a, Eq a, Show a, DecCBOR a, EncCBOR a) ⇒ Property Source #
Given a data type which can be extended, verify we can indeed do so without breaking anything. This should work with every time which adopted the schema of having at least one constructor of the form: .... | Unknown Word8 ByteString
cborFlatTermValid ∷ EncCBOR a ⇒ a → Property Source #
Machinery to test we perform "flat" encoding.