Modulecardano-ledger-core-1.21.0.0
Cardano.Ledger.Plutus.Evaluate
Synopsis
- value debugPlutus
- value debugPlutusUnbounded
- value defaultPlutusDebugOverrides
- value evaluatePlutusWithContext
- value explainPlutusEvaluationError
- value pwcScriptHash
- value runPlutusScript
- value runPlutusScriptWithLogs
- value scriptFail
- value scriptPass
- data PlutusDebugInfo
- data PlutusDebugOverrides
- data PlutusWithContext
- data ScriptFailure
- data ScriptResult
- Packagecardano-ledger-core-1.21.0.0
- Exports15
- LicenceApache-2.0
Instances2Show, NFData
Show PlutusDebugInfoDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateNFData PlutusDebugInfoDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Constructors
Instances1Show
Show PlutusDebugOverridesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Constructors
PlutusWithContext :: PlutusLanguage l => !Version -> !PlutusRunnable l -> !PlutusArgs l -> !ExUnits -> !CostModel -> PlutusWithContextpwcProtocolVersion :: !VersionpwcScript :: !PlutusRunnable lpwcArgs :: !PlutusArgs lpwcExUnits :: !ExUnitspwcCostModel :: !CostModel
Instances5Eq, Show, NFData, FromCBOR, ToCBOR
Eq PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateShow PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateNFData PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateFromCBOR PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateToCBOR PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Constructors
Instances3Show, Generic, Rep
Show ScriptFailureDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateGeneric ScriptFailureDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluatetype Rep ScriptFailure = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate"ScriptFailure"
"Cardano.Ledger.Plutus.Evaluate"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'False) (C1 ('MetaCons"ScriptFailure"
'PrefixI 'True) (S1 ('MetaSel ('Just"scriptFailureMessage"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just"scriptFailurePlutus"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlutusWithContext)))
Constructors
Instances4Generic, Semigroup, Monoid, Rep
Generic ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateSemigroup ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.EvaluateMonoid ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluatetype Rep ScriptResult = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate"ScriptResult"
"Cardano.Ledger.Plutus.Evaluate"
"cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK"
'False) (C1 ('MetaCons"Passes"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusWithContext])) :+: C1 ('MetaCons"Fails"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusWithContext]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptFailure))))