Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Binary.Vintage.Helpers

Contents

Binary test 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

Documentation

byronProtVer ∷ Version Source #

Binary test helpers

data U Source #

Instances

Instances details

Arbitrary U Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods arbitrary ∷ Gen U Source # shrink ∷ U → [U] Source #
Show U Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods showsPrec ∷ Int → U → ShowS # show ∷ U → String # showList ∷ [U] → ShowS #
DecCBOR U Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods decCBOR ∷ Decoder s U Source # dropCBOR ∷ Proxy U → Decoder s () Source # label ∷ Proxy U → Text Source #
EncCBOR U Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods encCBOR ∷ U → Encoding Source #
Eq U Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods (==) ∷ U → U → Bool # (/=) ∷ U → U → Bool #

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 showsPrec ∷ Int → U24 → ShowS # show ∷ U24 → String # showList ∷ [U24] → ShowS #
DecCBOR U24 Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods decCBOR ∷ Decoder s U24 Source # dropCBOR ∷ Proxy U24 → Decoder s () Source # label ∷ Proxy U24 → Text Source #
EncCBOR U24 Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods encCBOR ∷ U24 → Encoding Source #
Eq U24 Source #
Instance details Defined in Test.Cardano.Ledger.Binary.Vintage.Helpers Methods (==) ∷ U24 → U24 → Bool # (/=) ∷ U24 → U24 → Bool #

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.