| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Binary.Vintage.Helpers
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
- data SizeTestConfig a = SizeTestConfig {
- debug ∷ a → String
- gen ∷ Gen a
- precise ∷ Bool
- addlCtx ∷ Map TypeRep SizeOverride
- computedCtx ∷ a → Map TypeRep SizeOverride
- cfg ∷ Buildable a ⇒ SizeTestConfig a
- scfg ∷ Show a ⇒ SizeTestConfig a
- sizeTest ∷ ∀ a. EncCBOR a ⇒ SizeTestConfig 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.
Static size estimates
data SizeTestConfig a Source #
Configuration for a single test case.
Constructors
| SizeTestConfig | |
Fields
| |
cfg ∷ Buildable a ⇒ SizeTestConfig a Source #
Default configuration, for Buildable types.
scfg ∷ Show a ⇒ SizeTestConfig a Source #
Default configuration, for Showable types.