cardano-ledger-core-1.12.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 Metadatum ∷ Type → Type Source #

Methods

from ∷ Metadatum → Rep Metadatum x Source #

to ∷ Rep Metadatum x → Metadatum Source #

Show Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

showsPrec ∷ Int → Metadatum → ShowS Source #

show ∷ Metadatum → String Source #

showList ∷ [Metadatum] → ShowS Source #

DecCBOR Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

decCBOR ∷ Decoder s Metadatum Source #

dropCBOR ∷ Proxy Metadatum → Decoder s () Source #

label ∷ Proxy Metadatum → Text Source #

EncCBOR Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

encCBOR ∷ Metadatum → Encoding Source #

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

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

NFData Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

rnf ∷ Metadatum → () Source #

Eq Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

(==) ∷ Metadatum → Metadatum → Bool Source #

(/=) ∷ Metadatum → Metadatum → Bool Source #

Ord Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

compare ∷ Metadatum → Metadatum → Ordering Source #

(<) ∷ Metadatum → Metadatum → Bool Source #

(<=) ∷ Metadatum → Metadatum → Bool Source #

(>) ∷ Metadatum → Metadatum → Bool Source #

(>=) ∷ Metadatum → Metadatum → Bool Source #

max ∷ Metadatum → Metadatum → Metadatum Source #

min ∷ Metadatum → Metadatum → Metadatum Source #

NoThunks Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

noThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Metadatum → String Source #

type Rep Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.12.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

validMetadatum ∷ Metadatum → Bool Source #