Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.TxAuxData

Synopsis

value addPlutusScripts
value atadPlutus
value atadPlutus'
value decodeTxAuxDataByTokenType
value emptyAlonzoTxAuxDataRaw
value getAlonzoTxAuxDataScripts
value isValidScript
value metadataAlonzoTxAuxDataL
value mkAlonzoTxAuxData
value nativeScriptsAlonzoTxAuxDataL
value plutusScriptsAllegraTxAuxDataL
value validateAlonzoTxAuxData
class AlonzoEraTxAuxData
newtype AlonzoTxAuxData
pattern AlonzoTxAuxData
pattern AlonzoTxAuxData'
value atadMetadata
value atadMetadata'
value atadNativeScripts
value atadNativeScripts'
value atadPlutusScripts
value atadPlutusScripts'
data AlonzoTxAuxDataRaw

Packagecardano-ledger-alonzo-1.16.0.0
Exports23
LicenceApache-2.0

valueaddPlutusScripts

:: Language
-> [PlutusBinary]
-> AlonzoTxAuxDataRaw era
-> AlonzoTxAuxDataRaw era

valueatadPlutus :: AlonzoTxAuxData era -> Map Language (NonEmpty PlutusBinary)

Deprecated. In favor of atadPlutusScripts

valueatadPlutus' :: AlonzoTxAuxData era -> Map Language (NonEmpty PlutusBinary)

Deprecated. In favor of atadPlutusScripts'

valuedecodeTxAuxDataByTokenType

:: Decoder s t
-> Decoder s t
-> Decoder s t
-> Decoder s t

valueemptyAlonzoTxAuxDataRaw :: AlonzoTxAuxDataRaw era

valuegetAlonzoTxAuxDataScripts

valueisValidScript

:: (HasCallStack, AlonzoEraScript era)
=> Map ScriptHash (SupportedPlutusRunnable era)
-> ProtVer
-> ScriptHash
-> Script era
-> Bool

valuemetadataAlonzoTxAuxDataL :: (Era era, EncCBOR (NativeScript era)) => Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum)

valuemkAlonzoTxAuxData

:: (Foldable f, AlonzoEraScript era)
=> Map Word64 Metadatum
-> f (AlonzoScript era)
-> AlonzoTxAuxData era

value

nativeScriptsAlonzoTxAuxDataL :: (Era era, EncCBOR (NativeScript era)) => Lens' (AlonzoTxAuxData era) (StrictSeq (NativeScript era))

value

plutusScriptsAllegraTxAuxDataL :: (Era era, EncCBOR (NativeScript era)) => Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary))

valuevalidateAlonzoTxAuxData

:: (AlonzoEraScript era, Script era ~ AlonzoScript era)
=> Map ScriptHash (SupportedPlutusRunnable era)
-> ProtVer
-> AlonzoTxAuxData era
-> Bool

classclass AllegraEraTxAuxData era => AlonzoEraTxAuxData era where

Methods

plutusScriptsTxAuxDataL :: Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))

Instances1AlonzoEraTxAuxData

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => AlonzoEraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData

newtypenewtype AlonzoTxAuxData era

Constructors

MkAlonzoTxAuxData (MemoBytes (AlonzoTxAuxDataRaw era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (NativeScript era) => Eq (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Show (NativeScript era) => Show (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Generic (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NFData (NativeScript era) => NFData (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, FromJSON (NativeScript era)) => FromJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, ToJSON (NativeScript era)) => ToJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NoThunks (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Typeable era => ToCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) => DecCBOR (Annotator (AlonzoTxAuxData era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Era era => EncCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
SafeToHash (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Eq (NativeScript era) => EqRaw (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Memoized (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData

pattern

pattern AlonzoTxAuxData :: (HasCallStack, AlonzoEraScript era) => Map Word64 Metadatum -> StrictSeq (NativeScript era) -> Map Language (NonEmpty PlutusBinary) -> AlonzoTxAuxData era

pattern

pattern AlonzoTxAuxData' :: Map Word64 Metadatum -> StrictSeq (NativeScript era) -> Map Language (NonEmpty PlutusBinary) -> AlonzoTxAuxData era

valueatadMetadata

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> Map Word64 Metadatum

valueatadMetadata' :: AlonzoTxAuxData era -> Map Word64 Metadatum

valueatadNativeScripts

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> StrictSeq (NativeScript era)

valueatadNativeScripts' :: AlonzoTxAuxData era -> StrictSeq (NativeScript era)

valueatadPlutusScripts

:: (HasCallStack, AlonzoEraScript era)
=> AlonzoTxAuxData era
-> Map Language (NonEmpty PlutusBinary)

valueatadPlutusScripts'

:: AlonzoTxAuxData era
-> Map Language (NonEmpty PlutusBinary)

datadata AlonzoTxAuxDataRaw era

Constructors

AlonzoTxAuxDataRaw
- atadrMetadata :: !Map Word64 Metadatum
- atadrNativeScripts :: !StrictSeq (NativeScript era)
- atadrPlutusScripts :: !Map Language (NonEmpty PlutusBinary)

Instances9Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq (NativeScript era) => Eq (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Show (NativeScript era) => Show (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Generic (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NFData (NativeScript era) => NFData (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NoThunks (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) => DecCBOR (Annotator (AlonzoTxAuxDataRaw era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(Era era, EncCBOR (NativeScript era)) => EncCBOR (AlonzoTxAuxDataRaw era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type Rep (AlonzoTxAuxDataRaw era) = D1 ('MetaData "AlonzoTxAuxDataRaw" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: (S1 ('MetaSel ('Just "atadrNativeScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (NativeScript era))) :*: S1 ('MetaSel ('Just "atadrPlutusScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type MemoHashIndex (AlonzoTxAuxDataRaw era) = EraIndependentTxAuxDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData

Orphan instances

2 instances