Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.Plutus.Evaluate

4 types
7 values

Packagecardano-ledger-alonzo-1.16.0.0
Exports11
LicenceApache-2.0

valuecollectPlutusScriptsWithContext

:: (AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraPlutusContext era)
=> EpochInfo (Either Text)
-> SystemStart
-> PParams era
-> Tx l era
-> UTxO era
-> Either (NonEmpty (CollectError era)) [PlutusWithContext]

valueevalPlutusScripts :: [PlutusWithContext] -> ScriptResult

valueevalPlutusScriptsWithLogs :: [PlutusWithContext] -> ([Text], ScriptResult)

valueevalTxExUnits

:: (AlonzoEraTx era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era)
=> PParams era
-> Tx TopTx era
-> UTxO era
-> EpochInfo (Either Text)
-> SystemStart
-> RedeemerReport era

valueevalTxExUnitsWithLogs

:: (AlonzoEraTx era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era)
=> PParams era
-> Tx TopTx era
-> UTxO era
-> EpochInfo (Either Text)
-> SystemStart
-> RedeemerReportWithLogs era

valuescriptsWithContextFromLedgerTxInfo

:: (AlonzoEraTxWits era, AlonzoEraUTxO era, EraPlutusContext era)
=> LedgerTxInfo era
-> CostModels
-> [(PlutusPurpose AsIxItem era, SupportedPlutusRunnable era)]
-> Either (NonEmpty (CollectError era)) [PlutusWithContext]

valuescriptsWithContextFromLedgerTxInfoWithResult

:: (AlonzoEraTxWits era, AlonzoEraUTxO era)
=> LedgerTxInfo era
-> TxInfoResult era
-> CostModels
-> [(PlutusPurpose AsIxItem era, SupportedPlutusRunnable era)]
-> Either (NonEmpty (CollectError era)) [PlutusWithContext]

datadata CollectError era

Constructors

NoRedeemer !(PlutusPurpose AsItem era)
NoWitness !ScriptHash
NoCostModel !Language
BadTranslation !(ContextError era)

Instances8Eq, Show, Generic, NFData, ToJSON, DecCBOR, …

(AlonzoEraScript era, Eq (ContextError era)) => Eq (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
(AlonzoEraScript era, Show (ContextError era)) => Show (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
Generic (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
(AlonzoEraScript era, NFData (ContextError era)) => NFData (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
(Era era, ToJSON (PlutusPurpose AsItem era), ToJSON (ContextError era)) => ToJSON (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
(AlonzoEraScript era, DecCBOR (ContextError era)) => DecCBOR (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
(AlonzoEraScript era, EncCBOR (ContextError era)) => EncCBOR (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
type Rep (CollectError era) = D1 ('MetaData "CollectError" "Cardano.Ledger.Alonzo.Plutus.Context" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) ((C1 ('MetaCons "NoRedeemer" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsItem era))) :+: C1 ('MetaCons "NoWitness" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons "NoCostModel" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language)) :+: C1 ('MetaCons "BadTranslation" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ContextError era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context

typetype RedeemerReport era = Map (PlutusPurpose AsIx era) (Either (TransactionScriptFailure era) ExUnits)

typetype RedeemerReportWithLogs era = Map (PlutusPurpose AsIx era) (Either (TransactionScriptFailure era) ([Text], ExUnits))

datadata TransactionScriptFailure era

Constructors

RedeemerPointsToUnknownScriptHash !(PlutusPurpose AsIx era)
MissingScript !(PlutusPurpose AsIx era) !(Map (PlutusPurpose AsIx era) (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash))
MissingDatum !DataHash
ValidationFailure !ExUnits !EvaluationError ![Text] !PlutusWithContext
UnknownTxIn !TxIn
InvalidTxIn !TxIn
IncompatibleBudget !ExBudget
NoCostModelInLedgerState !Language
ContextError !(ContextError era)

Instances4Eq, Show, Generic, Rep

(Era era, Eq (TxCert era), Eq (PlutusScript era), Eq (ContextError era), Eq (PlutusPurpose AsIx era), Eq (PlutusPurpose AsItem era)) => Eq (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
(Era era, Show (TxCert era), Show (ContextError era), Show (PlutusScript era), Show (PlutusPurpose AsIx era), Show (PlutusPurpose AsItem era)) => Show (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
Generic (TransactionScriptFailure era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate
type Rep (TransactionScriptFailure era) = D1 ('MetaData "TransactionScriptFailure" "Cardano.Ledger.Alonzo.Plutus.Evaluate" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (((C1 ('MetaCons "RedeemerPointsToUnknownScriptHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsIx era))) :+: C1 ('MetaCons "MissingScript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsIx era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (PlutusPurpose AsIx era) (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash))))) :+: (C1 ('MetaCons "MissingDatum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "ValidationFailure" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExUnits) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationError)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PlutusWithContext))))) :+: ((C1 ('MetaCons "UnknownTxIn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "InvalidTxIn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn))) :+: (C1 ('MetaCons "IncompatibleBudget" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ExBudget)) :+: (C1 ('MetaCons "NoCostModelInLedgerState" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language)) :+: C1 ('MetaCons "ContextError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ContextError era)))))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Evaluate