Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.UTxO

Synopsis

value getAlonzoScriptsHashesNeeded
value getAlonzoScriptsNeeded
value getAlonzoSpendingDatum
value getAlonzoWitsVKeyNeeded
value getInputDataHashesTxBody
value getMintingScriptsNeeded
value getRewardingScriptsNeeded
value getSpendingScriptsNeeded
value getWithdrawingScriptsNeeded
value plutusLanguagesUsedAlonzoStAnnTx
value plutusScriptsWithContextAlonzoStAnnTx
value resolveNeededPlutusScriptsWithPurpose
value scriptsNeededAlonzoStAnnTx
value scriptsProvidedAlonzoStAnnTx
value zipAsIxItem
class AlonzoEraUTxO
newtype AlonzoScriptsNeeded

Packagecardano-ledger-alonzo-1.16.0.0
Exports17
LicenceApache-2.0

valuegetAlonzoScriptsHashesNeeded :: AlonzoScriptsNeeded era -> Set ScriptHash

valuegetAlonzoScriptsNeeded

:: (MaryEraTxBody era, AlonzoEraScript era)
=> UTxO era
-> TxBody l era
-> AlonzoScriptsNeeded era

valuegetAlonzoSpendingDatum

:: (AlonzoEraTxWits era, AlonzoEraTxOut era, EraTx era)
=> UTxO era
-> Tx l era
-> PlutusPurpose AsItem era
-> Maybe (Data era)

valuegetAlonzoWitsVKeyNeeded

:: (EraTx era, AlonzoEraTxBody era, ShelleyEraTxBody era, EraCertState era, STxLevel l era ~ STxTopLevel l era)
=> CertState era
-> UTxO era
-> TxBody l era
-> Set (KeyHash Witness)

valuegetInputDataHashesTxBody

:: (EraTxBody era, AlonzoEraTxOut era, AlonzoEraScript era)
=> UTxO era
-> TxBody l era
-> ScriptsProvided era
-> (Set DataHash, Set TxIn)

valuegetMintingScriptsNeeded

:: (AlonzoEraScript era, MaryEraTxBody era)
=> TxBody l era
-> AlonzoScriptsNeeded era

valuegetRewardingScriptsNeeded

:: (AlonzoEraScript era, EraTxBody era)
=> TxBody l era
-> AlonzoScriptsNeeded era

Deprecated. In favor of getWithdrawingScriptsNeeded

valuegetSpendingScriptsNeeded

:: (AlonzoEraScript era, EraTxBody era)
=> UTxO era
-> TxBody l era
-> AlonzoScriptsNeeded era

valuegetWithdrawingScriptsNeeded

:: (AlonzoEraScript era, EraTxBody era)
=> TxBody l era
-> AlonzoScriptsNeeded era

valueplutusLanguagesUsedAlonzoStAnnTx

:: (EraTxLevel era, STxLevel l era ~ STxTopLevel l era, STxLevel TopTx era ~ STxTopLevel TopTx era)
=> AlonzoStAnnTx l era
-> Set Language

valueplutusScriptsWithContextAlonzoStAnnTx

:: (EraTxLevel era, STxLevel l era ~ STxTopLevel l era, STxLevel TopTx era ~ STxTopLevel TopTx era)
=> AlonzoStAnnTx l era
-> Either (NonEmpty (CollectError era)) [PlutusWithContext]

valueresolveNeededPlutusScriptsWithPurpose

:: EraPlutusContext era
=> ProtVer
-> ScriptsProvided era
-> AlonzoScriptsNeeded era
-> Map ScriptHash (SupportedPlutusRunnable era)
-> (Map ScriptHash (SupportedPlutusRunnable era), [(PlutusPurpose AsIxItem era, SupportedPlutusRunnable era)])

valuescriptsNeededAlonzoStAnnTx

:: (EraTxLevel era, STxLevel l era ~ STxTopLevel l era, STxLevel TopTx era ~ STxTopLevel TopTx era)
=> AlonzoStAnnTx l era
-> ScriptsNeeded era

valuescriptsProvidedAlonzoStAnnTx

:: (EraTxLevel era, STxLevel l era ~ STxTopLevel l era, STxLevel TopTx era ~ STxTopLevel TopTx era)
=> AlonzoStAnnTx l era
-> ScriptsProvided era

valuezipAsIxItem :: Foldable f => f it -> (AsIxItem Word32 it -> c) -> [c]

classclass EraUTxO era => AlonzoEraUTxO era where

Methods

getSupplementalDataHashes :: UTxO era -> TxBody l era -> Set DataHash
getSpendingDatum :: UTxO era -> Tx l era -> PlutusPurpose AsItem era -> Maybe (Data era)
scriptsProvidedStAnnTx :: StAnnTx l era -> ScriptsProvided era
scriptsNeededStAnnTx :: StAnnTx l era -> ScriptsNeeded era
plutusScriptsWithContextStAnnTx :: StAnnTx l era -> Either (NonEmpty (CollectError era)) [PlutusWithContext]
plutusLanguagesUsedStAnnTx :: StAnnTx l era -> Set Language

Instances1AlonzoEraUTxO

AlonzoEraUTxO AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO

newtypenewtype AlonzoScriptsNeeded era

Constructors

AlonzoScriptsNeeded
- unAlonzoScriptsNeeded :: [(PlutusPurpose AsIxItem era, ScriptHash)]

Instances7Eq, Show, Generic, Semigroup, Monoid, NFData, …

AlonzoEraScript era => Eq (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
AlonzoEraScript era => Show (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
Generic (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
Semigroup (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
Monoid (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
AlonzoEraScript era => NFData (AlonzoScriptsNeeded era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
type Rep (AlonzoScriptsNeeded era) = D1 ('MetaData "AlonzoScriptsNeeded" "Cardano.Ledger.Alonzo.UTxO" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'True) (C1 ('MetaCons "AlonzoScriptsNeeded" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoScriptsNeeded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(PlutusPurpose AsIxItem era, ScriptHash)])))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO

Orphan instances

1 instance

EraUTxO AlonzoEra