cardano-ledger-core-1.23.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Metadata

Synopsis

Documentation

data Metadatum Source #

A generic metadatum type.

Constructors

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

Instances

Instances details
FromJSON Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

parseJSON ∷ Value → Parser Metadatum Source #

parseJSONList ∷ Value → Parser [Metadatum] Source #

omittedField ∷ Maybe Metadatum Source #

ToJSON Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

toJSON ∷ Metadatum → Value Source #

toEncoding ∷ Metadatum → Encoding Source #

toJSONList ∷ [Metadatum] → Value Source #

toEncodingList ∷ [Metadatum] → Encoding Source #

omitField ∷ Metadatum → Bool 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 #

NFData Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

rnf ∷ Metadatum → () #

Generic Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Associated Types

type Rep Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.23.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 ByteArray)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

Methods

from ∷ Metadatum → Rep Metadatum x #

to ∷ Rep Metadatum x → Metadatum #

Show Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

showsPrec ∷ Int → Metadatum → ShowS #

show ∷ Metadatum → String #

showList ∷ [Metadatum] → ShowS #

Eq Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

(==) ∷ Metadatum → Metadatum → Bool #

(/=) ∷ Metadatum → Metadatum → Bool #

Ord Metadatum Source # 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

compare ∷ Metadatum → Metadatum → Ordering #

(<) ∷ Metadatum → Metadatum → Bool #

(<=) ∷ Metadatum → Metadatum → Bool #

(>) ∷ Metadatum → Metadatum → Bool #

(>=) ∷ Metadatum → Metadatum → Bool #

max ∷ Metadatum → Metadatum → Metadatum #

min ∷ Metadatum → Metadatum → Metadatum #

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.23.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 ByteArray)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))