Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxAuxData

Contents

Re-exports
Orphan instances

Synopsis

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

Documentation

newtype ShelleyTxAuxData era Source #

Constructors

MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era))

Bundled Patterns

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

Instances

Instances details

Generic (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxData era) ∷ Type → Type # Methods from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x # to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #
Show (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxData era → ShowS # show ∷ ShelleyTxAuxData era → String # showList ∷ [ShelleyTxAuxData era] → ShowS #
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 (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods decCBOR ∷ Decoder s (ShelleyTxAuxData era) Source # dropCBOR ∷ Proxy (ShelleyTxAuxData era) → Decoder s () Source # label ∷ Proxy (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 #
SafeToHash (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods originalBytes ∷ ShelleyTxAuxData era → ByteString Source # originalBytesSize ∷ ShelleyTxAuxData era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source #
EqRaw (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
Memoized (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type RawType (ShelleyTxAuxData era) = (r ∷ Type) Source # Methods getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era
NFData (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () #
Eq (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #
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 #
HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #
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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))
type RawType (ShelleyTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

newtype ShelleyTxAuxDataRaw era Source #

Constructors

ShelleyTxAuxDataRaw
Fields stadrMetadata ∷ Map Word64 Metadatum

Instances

Instances details

Generic (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Associated Types type Rep (ShelleyTxAuxDataRaw era) ∷ Type → Type # Methods from ∷ ShelleyTxAuxDataRaw era → Rep (ShelleyTxAuxDataRaw era) x # to ∷ Rep (ShelleyTxAuxDataRaw era) x → ShelleyTxAuxDataRaw era #
Show (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods showsPrec ∷ Int → ShelleyTxAuxDataRaw era → ShowS # show ∷ ShelleyTxAuxDataRaw era → String # showList ∷ [ShelleyTxAuxDataRaw era] → ShowS #
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 → () #
Eq (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool # (/=) ∷ ShelleyTxAuxDataRaw era → ShelleyTxAuxDataRaw era → Bool #
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 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.17.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "stadrMetadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Word64 Metadatum))))
type MemoHashIndex (ShelleyTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type MemoHashIndex (ShelleyTxAuxDataRaw era) = EraIndependentTxAuxData

hashShelleyTxAuxData ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

Deprecated: In favor of hashAnnotated

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 # Methods from ∷ Metadatum → Rep Metadatum x # to ∷ Rep Metadatum x → Metadatum #
Show Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods showsPrec ∷ Int → Metadatum → ShowS # show ∷ Metadatum → String # showList ∷ [Metadatum] → ShowS #
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 → () #
Eq Metadatum
Instance details Defined in Cardano.Ledger.Metadata Methods (==) ∷ Metadatum → Metadatum → Bool # (/=) ∷ Metadatum → Metadatum → Bool #
Ord Metadatum
Instance details Defined in Cardano.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 #
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.18.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

EraTxAuxData ShelleyEra Source #
Instance details Associated Types type TxAuxData ShelleyEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra ShelleyEra) → TxAuxData ShelleyEra Source # validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #