cardano-ledger-binary-1.8.0.0: Binary serialization library used throughout ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Binary.Vintage.Helpers

Synopsis

Documentation

Binary test helpers

data U Source #

Instances

Instances details
Arbitrary U Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

arbitraryGen U Source #

shrinkU → [U] Source #

Show U Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

showsPrecIntUShowS #

showUString #

showList ∷ [U] → ShowS #

DecCBOR U Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

decCBORDecoder s U Source #

dropCBORProxy UDecoder s () Source #

labelProxy UText Source #

EncCBOR U Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

encCBORUEncoding Source #

Eq U Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

(==)UUBool #

(/=)UUBool #

data U24 Source #

Like U, but we expect to read back the Cbor Data Item when decoding.

Instances

Instances details
Show U24 Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

showsPrecIntU24ShowS #

showU24String #

showList ∷ [U24] → ShowS #

DecCBOR U24 Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

EncCBOR U24 Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

encCBORU24Encoding Source #

Eq U24 Source # 
Instance details

Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers

Methods

(==)U24U24Bool #

(/=)U24U24Bool #

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

cborFlatTermValidEncCBOR a ⇒ a → Property Source #

Machinery to test we perform "flat" encoding.