cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Metadata

Synopsis

Documentation

data Metadatum Source #

A generic metadatum type.

Constructors

Map ![(Metadatum, Metadatum)] 
List ![Metadatum] 
I !Integer 
B !ByteString 
S !Text 

Instances

Instances details
Generic Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Associated Types

type Rep MetadatumTypeType Source #

Show Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

DecCBOR Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

EncCBOR Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

encCBORMetadatumEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MetadatumSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Metadatum] → Size Source #

NFData Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

rnfMetadatum → () Source #

Eq Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Ord Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

NoThunks Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata