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

Ord Metadatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

Show Metadatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

Generic Metadatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

Associated Types

type Rep Metadatum :: Type -> Type #

ToCBOR Metadatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

Methods

toCBOR :: Metadatum -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Metadatum -> Size Source #

encodedListSizeExpr :: (forall 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

type Rep Metadatum Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

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

Show Metadata Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Metadata -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Metadata] -> Size Source #

NoThunks Metadata Source # 
Instance details

Defined in Shelley.Spec.Ledger.Metadata

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-Is3EknyvW92LxCl96jGQVW" '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)))