cardano-ledger-alonzo-1.10.0.1: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxAuxData

Synopsis

AlonzoTxAuxData

data AlonzoTxAuxData era where Source #

Bundled Patterns

pattern AlonzoTxAuxData ∷ ∀ era. (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 MetadatumStrictSeq (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' ∷ ∀ era. Map Word64 MetadatumStrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era 

Instances

Instances details
Memoized AlonzoTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type RawType AlonzoTxAuxData = (r ∷ TypeType) Source #

Generic (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

toCBORAlonzoTxAuxData 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)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Era era ⇒ EncCBOR (AlonzoTxAuxData era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBORAlonzoTxAuxData 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) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

eqRawAlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

SafeToHash (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

NFData (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnfAuxiliaryData era → () Source #

Eq (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

(==)AuxiliaryData era → AuxiliaryData era → Bool Source #

(/=)AuxiliaryData era → AuxiliaryData era → Bool Source #

NoThunks (AuxiliaryData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

EraCrypto era ~ c ⇒ HashAnnotated (AuxiliaryData era) EraIndependentTxAuxData c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType AlonzoTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.10.0.1-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

data AlonzoTxAuxDataRaw era Source #

Instances

Instances details
Generic (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxDataRaw era) ∷ TypeType Source #

Show (Timelock era) ⇒ Show (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Era era ⇒ DecCBOR (Annotator (AlonzoTxAuxDataRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Era era ⇒ EncCBOR (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBORAlonzoTxAuxDataRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxDataRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxDataRaw era] → Size Source #

NFData (Timelock era) ⇒ NFData (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnfAlonzoTxAuxDataRaw era → () Source #

Eq (Timelock era) ⇒ Eq (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

NoThunks (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type MemoHashIndex AlonzoTxAuxDataRaw Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxDataRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxDataRaw era) = D1 ('MetaData "AlonzoTxAuxDataRaw" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.10.0.1-inplace" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: (S1 ('MetaSel ('Just "atadrTimelock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era))) :*: S1 ('MetaSel ('Just "atadrPlutus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))

mkAlonzoTxAuxData ∷ ∀ f era. (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.

newtype AuxiliaryDataHash c Source #

Instances

Instances details
Crypto c ⇒ ToJSON (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Generic (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Associated Types

type Rep (AuxiliaryDataHash c) ∷ TypeType Source #

Show (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Crypto c ⇒ DecCBOR (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Crypto c ⇒ EncCBOR (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

NFData (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

rnfAuxiliaryDataHash c → () Source #

Eq (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Ord (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

NoThunks (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

type Rep (AuxiliaryDataHash c) 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

type Rep (AuxiliaryDataHash c) = D1 ('MetaData "AuxiliaryDataHash" "Cardano.Ledger.AuxiliaryData" "cardano-ledger-core-1.14.0.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsafeAuxiliaryDataHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxAuxData))))

Deprecated

type AuxiliaryData era = AlonzoTxAuxData era Source #

Deprecated: Use AlonzoTxAuxData instead

Orphan instances