Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxAuxData

Contents

Re-exports
Orphan instances

Synopsis

data ShelleyTxAuxData era where
- pattern ShelleyTxAuxData ∷ ∀ era. Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era
data ShelleyTxAuxDataRaw era
hashShelleyTxAuxData ∷ Era era ⇒ ShelleyTxAuxData era → SafeHash (EraCrypto era) EraIndependentTxAuxData
data Metadatum
- = Map ![(Metadatum, Metadatum)]
- | List ![Metadatum]
- | I !Integer
- | B !ByteString
- | S !Text
validMetadatum ∷ Metadatum → Bool

Documentation

data ShelleyTxAuxData era where Source #

Bundled Patterns

pattern ShelleyTxAuxData ∷ ∀ era. Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era

Instances

Instances details

Memoized ShelleyTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type RawType ShelleyTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType ShelleyTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTxAuxData) era → ShelleyTxAuxData era
Generic (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxData era) ∷ Type → Type Source # Methods from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x Source # to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era Source #
HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxData era → ShowS Source # show ∷ ShelleyTxAuxData era → String Source # showList ∷ [ShelleyTxAuxData era] → ShowS Source #
Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods toCBOR ∷ ShelleyTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #
Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxData era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxData era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxAuxData era)) → Text Source #
Era era ⇒ EncCBOR (ShelleyTxAuxData era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods encCBOR ∷ ShelleyTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxData era] → Size Source #
EqRaw (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
SafeToHash (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods originalBytes ∷ ShelleyTxAuxData era → ByteString Source # originalBytesSize ∷ ShelleyTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTxAuxData era → SafeHash c index Source #
NFData (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () Source #
Eq (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
NoThunks (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods noThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxAuxData era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxAuxData era) → String Source #
c ~ EraCrypto era ⇒ HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods indexProxy ∷ ShelleyTxAuxData era → Proxy EraIndependentTxAuxData Source # hashAnnotated ∷ ShelleyTxAuxData era → SafeHash c EraIndependentTxAuxData Source #
type RawType ShelleyTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type RawType ShelleyTxAuxData = ShelleyTxAuxDataRaw
type Rep (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxAuxDataRaw era))))

data ShelleyTxAuxDataRaw era Source #

Instances

Instances details

Generic (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxDataRaw era) ∷ Type → Type Source # Methods from ∷ ShelleyTxAuxDataRaw era → Rep (ShelleyTxAuxDataRaw era) x Source # to ∷ Rep (ShelleyTxAuxDataRaw era) x → ShelleyTxAuxDataRaw era Source #
Show (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxDataRaw era → ShowS Source # show ∷ ShelleyTxAuxDataRaw era → String Source # showList ∷ [ShelleyTxAuxDataRaw era] → ShowS Source #
Era era ⇒ DecCBOR (Annotator (ShelleyTxAuxDataRaw era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxAuxDataRaw era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxAuxDataRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxAuxDataRaw era)) → Text Source #
Era era ⇒ DecCBOR (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods decCBOR ∷ Decoder s (ShelleyTxAuxDataRaw era) Source # dropCBOR ∷ Proxy (ShelleyTxAuxDataRaw era) → Decoder s () Source # label ∷ Proxy (ShelleyTxAuxDataRaw era) → Text Source #
Era era ⇒ EncCBOR (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods encCBOR ∷ ShelleyTxAuxDataRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxAuxDataRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxAuxDataRaw era] → Size Source #
NFData (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxDataRaw era → () Source #
Eq (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool Source # (/=) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool Source #
NoThunks (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods noThunks ∷ Context → ShelleyTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxAuxDataRaw era) → String Source #
type MemoHashIndex ShelleyTxAuxDataRaw Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type MemoHashIndex ShelleyTxAuxDataRaw = EraIndependentTxAuxData
type Rep (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type Rep (ShelleyTxAuxDataRaw era) = D1 ('MetaData "ShelleyTxAuxDataRaw" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "stadrMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 Metadatum))))

hashShelleyTxAuxData ∷ Era era ⇒ ShelleyTxAuxData era → SafeHash (EraCrypto era) EraIndependentTxAuxData Source #

Re-exports

data Metadatum Source #

A generic metadatum type.

Constructors

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

Instances

Instances details

Generic Metadatum
Instance details Defined in Cardano.Ledger.Metadata Associated Types type Rep Metadatum ∷ Type → Type Source # Methods from ∷ Metadatum → Rep Metadatum x Source # to ∷ Rep Metadatum x → Metadatum Source #
Show Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods showsPrec ∷ Int → Metadatum → ShowS Source # show ∷ Metadatum → String Source # showList ∷ [Metadatum] → ShowS Source #
DecCBOR Metadatum
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
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
Instance details Defined in Cardano.Ledger.Metadata Methods rnf ∷ Metadatum → () Source #
Eq Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods (==) ∷ Metadatum → Metadatum → Bool Source # (/=) ∷ Metadatum → Metadatum → Bool Source #
Ord Metadatum
Instance details Defined in Cardano.Ledger.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 #
NoThunks Metadatum
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
Instance details Defined in Cardano.Ledger.Metadata type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.16.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 #

Orphan instances

Crypto c ⇒ EraTxAuxData (ShelleyEra c) Source #

Instance details

Associated Types

type TxAuxData (ShelleyEra c) = (r ∷ Type) Source #

Methods

mkBasicTxAuxData ∷ TxAuxData (ShelleyEra c) Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData (ShelleyEra c)) (Map Word64 Metadatum) Source #

upgradeTxAuxData ∷ TxAuxData (PreviousEra (ShelleyEra c)) → TxAuxData (ShelleyEra c) Source #

hashTxAuxData ∷ TxAuxData (ShelleyEra c) → AuxiliaryDataHash (EraCrypto (ShelleyEra c)) Source #

validateTxAuxData ∷ ProtVer → TxAuxData (ShelleyEra c) → Bool Source #