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

Cardano.Ledger.Binary.FlatTerm

Synopsis

Documentation

type FlatTerm = [TermToken] Source #

A "flat" representation of an Encoding value, useful for round-tripping and writing tests.

Since: cborg-0.2.0.0

data TermToken Source #

A concrete encoding of Encoding values, one which mirrors the original Encoding type closely.

Since: cborg-0.2.0.0

Constructors

TkInt !Int 
TkInteger !Integer 
TkBytes !ByteString 
TkBytesBegin 
TkString !Text 
TkStringBegin 
TkListLen !Word 
TkListBegin 
TkMapLen !Word 
TkMapBegin 
TkBreak 
TkTag !Word64 
TkBool !Bool 
TkNull 
TkSimple !Word8 
TkFloat16 !Float 
TkFloat32 !Float 
TkFloat64 !Double 

Instances

Instances details
FromCBOR TermToken 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBOR ∷ Decoder s TermToken Source #

label ∷ Proxy TermToken → Text Source #

Show TermToken 
Instance details

Defined in Codec.CBOR.FlatTerm

Methods

showsPrec ∷ Int → TermToken → ShowS #

show ∷ TermToken → String #

showList ∷ [TermToken] → ShowS #

Eq TermToken 
Instance details

Defined in Codec.CBOR.FlatTerm

Methods

(==) ∷ TermToken → TermToken → Bool #

(/=) ∷ TermToken → TermToken → Bool #

Ord TermToken 
Instance details

Defined in Codec.CBOR.FlatTerm

Methods

compare ∷ TermToken → TermToken → Ordering #

(<) ∷ TermToken → TermToken → Bool #

(<=) ∷ TermToken → TermToken → Bool #

(>) ∷ TermToken → TermToken → Bool #

(>=) ∷ TermToken → TermToken → Bool #

max ∷ TermToken → TermToken → TermToken #

min ∷ TermToken → TermToken → TermToken #

toFlatTerm ∷ Version → Encoding → FlatTerm Source #

fromFlatTerm ∷ Version → (∀ s. Decoder s a) → FlatTerm → Either String a Source #

validFlatTerm Source #

Arguments

∷ FlatTerm

The input FlatTerm

→ Bool

True if valid, False otherwise.

Ensure a FlatTerm is internally consistent and was created in a valid manner.

Since: cborg-0.2.0.0