Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Metadata

Synopsis

data Metadatum
- = Map ![(Metadatum, Metadatum)]
- | List ![Metadatum]
- | I !Integer
- | B !ByteString
- | S !Text
validMetadatum ∷ Metadatum → Bool

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 # 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 #
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 → () #
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.17.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 #