Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.AuxData

Contents

Shelley
Allegra
Alonzo

Synopsis

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) ⇒ EraTxAuxData era where
- type TxAuxData era = (r ∷ Type) | r → era
mkBasicTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era
metadataTxAuxDataL ∷ EraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Word64 Metadatum)
upgradeTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData (PreviousEra era) → TxAuxData era
hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → AuxiliaryDataHash (EraCrypto era)
validateTxAuxData ∷ EraTxAuxData era ⇒ ProtVer → TxAuxData era → Bool
data ShelleyTxAuxData era where
- pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era
data Metadatum
- = Map ![(Metadatum, Metadatum)]
- | List ![Metadatum]
- | I !Integer
- | B !ByteString
- | S !Text
class EraTxAuxData era ⇒ AllegraEraTxAuxData era
timelockScriptsTxAuxDataL ∷ AllegraEraTxAuxData era ⇒ Lens' (TxAuxData era) (StrictSeq (Timelock era))
data AllegraTxAuxData era where
- pattern AllegraTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → AllegraTxAuxData era
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era
plutusScriptsTxAuxDataL ∷ AlonzoEraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))
data AlonzoTxAuxData era where
- pattern AlonzoTxAuxData ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
- pattern AlonzoTxAuxData' ∷ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era
getAlonzoTxAuxDataScripts ∷ AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era)

Documentation

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) ⇒ EraTxAuxData era Source #

TxAuxData which may be attached to a transaction

Minimal complete definition

mkBasicTxAuxData, metadataTxAuxDataL, upgradeTxAuxData, hashTxAuxData, validateTxAuxData

Associated Types

type TxAuxData era = (r ∷ Type) | r → era Source #

mkBasicTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era Source #

metadataTxAuxDataL ∷ EraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Word64 Metadatum) Source #

upgradeTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData (PreviousEra era) → TxAuxData era Source #

Every era, except Shelley, must be able to upgrade a TxAuxData from a previous era.

Warning - Important to note that any memoized binary representation will not be preserved. If you need to retain underlying bytes you can use translateEraThroughCBOR

hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → AuxiliaryDataHash (EraCrypto era) Source #

validateTxAuxData ∷ EraTxAuxData era ⇒ ProtVer → TxAuxData era → Bool Source #

Shelley

data ShelleyTxAuxData era where Source #

Bundled Patterns

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

Instances

Instances details

Memoized ShelleyTxAuxData
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)
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)
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)
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))
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)	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)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
SafeToHash (ShelleyTxAuxData era)
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)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods rnf ∷ ShelleyTxAuxData era → () Source #
Eq (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData Methods (==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source # (/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #
NoThunks (ShelleyTxAuxData era)
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
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
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type RawType ShelleyTxAuxData = ShelleyTxAuxDataRaw
type Rep (ShelleyTxAuxData era)
Instance details Defined in Cardano.Ledger.Shelley.TxAuxData type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxAuxDataRaw era))))

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.12.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)))))

Allegra

class EraTxAuxData era ⇒ AllegraEraTxAuxData era Source #

Minimal complete definition

timelockScriptsTxAuxDataL

Instances

Instances details

Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.TxAuxData Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (StrictSeq (Timelock (AllegraEra c))) Source #

timelockScriptsTxAuxDataL ∷ AllegraEraTxAuxData era ⇒ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → AllegraTxAuxData era

Instances

Instances details

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

Alonzo

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era Source #

Minimal complete definition

plutusScriptsTxAuxDataL

Instances

Instances details

Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Language (NonEmpty PlutusBinary)) Source #

plutusScriptsTxAuxDataL ∷ AlonzoEraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #

data AlonzoTxAuxData era where Source #

Bundled Patterns

pattern AlonzoTxAuxData ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era	Construct auxiliary data. Make sure not to supply plutus script versions that are not supported in this era, because it will result in a runtime exception. Use `mkAlonzoTxAuxData` instead if you need runtime safety guarantees.
pattern AlonzoTxAuxData' ∷ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era

Instances

Instances details

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

mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era Source #

Helper function that will construct Auxiliary data from Metadatum map and a list of scripts.

Note that the relative order of same type scripts will be preserved.

getAlonzoTxAuxDataScripts ∷ AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era) Source #