Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Metadata

Synopsis

data Metadatum
- = Map ![( Metadatum , Metadatum )]
- | List ![ Metadatum ]
- | I ! Integer
- | B ! ByteString
- | S ! Text
data Metadata era where
- pattern Metadata :: Map Word64 Metadatum -> Metadata era
hashMetadata :: Era era => Metadata era -> SafeHash ( Crypto era) EraIndependentAuxiliaryData
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

Eq Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods (==) :: Metadatum -> Metadatum -> Bool Source # (/=) :: Metadatum -> Metadatum -> Bool Source #
Ord Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods compare :: Metadatum -> Metadatum -> Ordering Source # (<) :: Metadatum -> Metadatum -> Bool Source # (<=) :: Metadatum -> Metadatum -> Bool Source # (>) :: Metadatum -> Metadatum -> Bool Source # (>=) :: Metadatum -> Metadatum -> Bool Source # max :: Metadatum -> Metadatum -> Metadatum Source # min :: Metadatum -> Metadatum -> Metadatum Source #
Show Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods showsPrec :: Int -> Metadatum -> ShowS Source # show :: Metadatum -> String Source # showList :: [ Metadatum ] -> ShowS Source #
Generic Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Associated Types type Rep Metadatum :: Type -> Type Source # Methods from :: Metadatum -> Rep Metadatum x Source # to :: Rep Metadatum x -> Metadatum Source #
NFData Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods rnf :: Metadatum -> () Source #
ToCBOR Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.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 Cardano.Ledger.Shelley.Metadata Methods fromCBOR :: Decoder s Metadatum Source # label :: Proxy Metadatum -> Text Source #
NoThunks Metadatum Source #
Instance details Defined in Cardano.Ledger.Shelley.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.Shelley.Metadata type Rep Metadatum = D1 (' MetaData "Metadatum" "Cardano.Ledger.Shelley.Metadata" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 )))))

data Metadata era where Source #

Bundled Patterns

pattern Metadata :: Map Word64 Metadatum -> Metadata era

Instances

Instances details

Eq ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods (==) :: Metadata era -> Metadata era -> Bool Source # (/=) :: Metadata era -> Metadata era -> Bool Source #
Ord ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods compare :: Metadata era -> Metadata era -> Ordering Source # (<) :: Metadata era -> Metadata era -> Bool Source # (<=) :: Metadata era -> Metadata era -> Bool Source # (>) :: Metadata era -> Metadata era -> Bool Source # (>=) :: Metadata era -> Metadata era -> Bool Source # max :: Metadata era -> Metadata era -> Metadata era Source # min :: Metadata era -> Metadata era -> Metadata era Source #
Show ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods showsPrec :: Int -> Metadata era -> ShowS Source # show :: Metadata era -> String Source # showList :: [ Metadata era] -> ShowS Source #
Generic ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Associated Types type Rep ( Metadata era) :: Type -> Type Source # Methods from :: Metadata era -> Rep ( Metadata era) x Source # to :: Rep ( Metadata era) x -> Metadata era Source #
NFData ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods rnf :: Metadata era -> () Source #
Typeable era => ToCBOR ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods toCBOR :: Metadata era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Metadata era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Metadata era] -> Size Source #
Typeable era => FromCBOR ( Annotator ( Metadata era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods fromCBOR :: Decoder s ( Annotator ( Metadata era)) Source # label :: Proxy ( Annotator ( Metadata era)) -> Text Source #
SafeToHash ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods originalBytes :: Metadata era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Metadata era -> SafeHash c index Source #
Typeable era => NoThunks ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods noThunks :: Context -> Metadata era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Metadata era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Metadata era) -> String Source #
c ~ Crypto era => HashAnnotated ( Metadata era) EraIndependentAuxiliaryData c Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata Methods indexProxy :: Metadata era -> Proxy EraIndependentAuxiliaryData Source #
type Rep ( Metadata era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Metadata type Rep ( Metadata era) = D1 (' MetaData "Metadata" "Cardano.Ledger.Shelley.Metadata" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' 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 )))

hashMetadata :: Era era => Metadata era -> SafeHash ( Crypto era) EraIndependentAuxiliaryData Source #

validMetadatum :: Metadatum -> Bool Source #