shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.MetaData

Synopsis

Documentation

data MetaDatum Source #

A generic metadatum type.

Instances

Instances details
Eq MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

(==)MetaDatumMetaDatumBool #

(/=)MetaDatumMetaDatumBool #

Ord MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Show MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

showsPrecIntMetaDatumShowS #

showMetaDatumString #

showList ∷ [MetaDatum] → ShowS #

Generic MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Associated Types

type Rep MetaDatumTypeType #

Methods

fromMetaDatumRep MetaDatum x #

toRep MetaDatum x → MetaDatum #

ToCBOR MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBORMetaDatumEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MetaDatumSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MetaDatum] → Size Source #

FromCBOR MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

NoThunks MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

noThunks ∷ Context → MetaDatumIO (Maybe ThunkInfo)

wNoThunks ∷ Context → MetaDatumIO (Maybe ThunkInfo)

showTypeOfProxy MetaDatumString

type Rep MetaDatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

data MetaData where Source #

Bundled Patterns

pattern MetaDataMap Word64 MetaDatumMetaData 

Instances

Instances details
Eq MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

(==)MetaDataMetaDataBool #

(/=)MetaDataMetaDataBool #

Show MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

showsPrecIntMetaDataShowS #

showMetaDataString #

showList ∷ [MetaData] → ShowS #

Generic MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Associated Types

type Rep MetaDataTypeType #

Methods

fromMetaDataRep MetaData x #

toRep MetaData x → MetaData #

ToCBOR MetaData Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBORMetaDataEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MetaDataSize 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 → MetaDataIO (Maybe ThunkInfo)

wNoThunks ∷ Context → MetaDataIO (Maybe ThunkInfo)

showTypeOfProxy MetaDataString

FromCBOR (Annotator MetaData) Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

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 

Instances

Instances details
HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody 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

compareMetaDataHash era → MetaDataHash era → Ordering #

(<)MetaDataHash era → MetaDataHash era → Bool #

(<=)MetaDataHash era → MetaDataHash era → Bool #

(>)MetaDataHash era → MetaDataHash era → Bool #

(>=)MetaDataHash era → MetaDataHash era → Bool #

maxMetaDataHash era → MetaDataHash era → MetaDataHash era #

minMetaDataHash era → MetaDataHash era → MetaDataHash era #

Show (MetaDataHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

showsPrecIntMetaDataHash era → ShowS #

showMetaDataHash era → String #

showList ∷ [MetaDataHash era] → ShowS #

Era era ⇒ ToCBOR (MetaDataHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.MetaData

Methods

toCBORMetaDataHash 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

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)

showTypeOfProxy (MetaDataHash era) → String