Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.MetaData

Synopsis

data MetaDatum
- = Map [(MetaDatum, MetaDatum)]
- | List [MetaDatum]
- | I !Integer
- | B !ByteString
- | S !Text
data MetaData where
- pattern MetaData ∷ Map Word64 MetaDatum → MetaData
newtype MetaDataHash era = MetaDataHash {
- unsafeMetaDataHash ∷ Hash (Crypto era) MetaData
}
hashMetaData ∷ Era era ⇒ MetaData → MetaDataHash era
validMetaData ∷ MetaData → Bool

Documentation

data MetaDatum Source #

A generic metadatum type.

Constructors

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

Instances

Instances details

Eq MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods (==) ∷ MetaDatum → MetaDatum → Bool # (/=) ∷ MetaDatum → MetaDatum → Bool #
Ord MetaDatum Source #
Instance details Defined in Shelley.Spec.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 #
Show MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods showsPrec ∷ Int → MetaDatum → ShowS # show ∷ MetaDatum → String # showList ∷ [MetaDatum] → ShowS #
Generic MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Associated Types type Rep MetaDatum ∷ Type → Type # Methods from ∷ MetaDatum → Rep MetaDatum x # to ∷ Rep MetaDatum x → MetaDatum #
ToCBOR MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods toCBOR ∷ MetaDatum → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MetaDatum → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MetaDatum] → Size Source #
FromCBOR MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods fromCBOR ∷ Decoder s MetaDatum Source # label ∷ Proxy MetaDatum → Text Source #
NoThunks MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods noThunks ∷ Context → MetaDatum → IO (Maybe ThunkInfo) wNoThunks ∷ Context → MetaDatum → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy MetaDatum → String
type Rep MetaDatum Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData type Rep MetaDatum = D1 ('MetaData "MetaDatum" "Shelley.Spec.Ledger.MetaData" "shelley-spec-ledger-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(MetaDatum, MetaDatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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)))))

data MetaData where Source #

Bundled Patterns

pattern MetaData ∷ Map Word64 MetaDatum → MetaData

Instances

Instances details

Eq MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods (==) ∷ MetaData → MetaData → Bool # (/=) ∷ MetaData → MetaData → Bool #
Show MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods showsPrec ∷ Int → MetaData → ShowS # show ∷ MetaData → String # showList ∷ [MetaData] → ShowS #
Generic MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Associated Types type Rep MetaData ∷ Type → Type # Methods from ∷ MetaData → Rep MetaData x # to ∷ Rep MetaData x → MetaData #
ToCBOR MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods toCBOR ∷ MetaData → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MetaData → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MetaData] → Size Source #
NoThunks MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods noThunks ∷ Context → MetaData → IO (Maybe ThunkInfo) wNoThunks ∷ Context → MetaData → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy MetaData → String
FromCBOR (Annotator MetaData) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods fromCBOR ∷ Decoder s (Annotator MetaData) Source # label ∷ Proxy (Annotator MetaData) → Text Source #
type Rep MetaData Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData type Rep MetaData = D1 ('MetaData "MetaData" "Shelley.Spec.Ledger.MetaData" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MetaData'" 'PrefixI 'True) (S1 ('MetaSel ('Just "mdMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 MetaDatum)) :*: S1 ('MetaSel ('Just "mdBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

newtype MetaDataHash era Source #

Constructors

MetaDataHash
Fields unsafeMetaDataHash ∷ Hash (Crypto era) MetaData

Instances

Instances details

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (MetaDataHash era) #
Eq (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods (==) ∷ MetaDataHash era → MetaDataHash era → Bool # (/=) ∷ MetaDataHash era → MetaDataHash era → Bool #
Ord (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods compare ∷ MetaDataHash era → MetaDataHash era → Ordering # (<) ∷ MetaDataHash era → MetaDataHash era → Bool # (<=) ∷ MetaDataHash era → MetaDataHash era → Bool # (>) ∷ MetaDataHash era → MetaDataHash era → Bool # (>=) ∷ MetaDataHash era → MetaDataHash era → Bool # max ∷ MetaDataHash era → MetaDataHash era → MetaDataHash era # min ∷ MetaDataHash era → MetaDataHash era → MetaDataHash era #
Show (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods showsPrec ∷ Int → MetaDataHash era → ShowS # show ∷ MetaDataHash era → String # showList ∷ [MetaDataHash era] → ShowS #
Era era ⇒ ToCBOR (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods toCBOR ∷ MetaDataHash era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MetaDataHash era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MetaDataHash era] → Size Source #
Era era ⇒ FromCBOR (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods fromCBOR ∷ Decoder s (MetaDataHash era) Source # label ∷ Proxy (MetaDataHash era) → Text Source #
NoThunks (MetaDataHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.MetaData Methods noThunks ∷ Context → MetaDataHash era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → MetaDataHash era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (MetaDataHash era) → String

hashMetaData ∷ Era era ⇒ MetaData → MetaDataHash era Source #

validMetaData ∷ MetaData → Bool Source #