plutus-ledger-api-1.40.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.Test.EvaluationEvent

Synopsis

Documentation

data ScriptEvaluationEvents Source #

This type contains a list of on-chain script evaluation events. All PlutusV1 evaluations (if any) share the same cost parameters. Same with PlutusV2.

Sharing the cost parameters lets us avoid creating a new EvaluationContext for each ScriptEvaluationEvent.

Constructors

ScriptEvaluationEvents 

Fields

Instances

Instances details
Generic ScriptEvaluationEvents Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Associated Types

type Rep ScriptEvaluationEvents ∷ Type → Type Source #

Methods

from ∷ ScriptEvaluationEvents → Rep ScriptEvaluationEvents x Source #

to ∷ Rep ScriptEvaluationEvents x → ScriptEvaluationEvents Source #

Serialise ScriptEvaluationEvents Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

encode ∷ ScriptEvaluationEvents → Encoding Source #

decode ∷ Decoder s ScriptEvaluationEvents Source #

encodeList ∷ [ScriptEvaluationEvents] → Encoding Source #

decodeList ∷ Decoder s [ScriptEvaluationEvents] Source #

type Rep ScriptEvaluationEvents Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

type Rep ScriptEvaluationEvents = D1 ('MetaData "ScriptEvaluationEvents" "PlutusLedgerApi.Test.EvaluationEvent" "plutus-ledger-api-1.40.0.0-inplace-plutus-ledger-api-testlib" 'False) (C1 ('MetaCons "ScriptEvaluationEvents" 'PrefixI 'True) (S1 ('MetaSel ('Just "eventsCostParamsV1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Int64])) :*: (S1 ('MetaSel ('Just "eventsCostParamsV2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Int64])) :*: S1 ('MetaSel ('Just "eventsEvents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptEvaluationEvent)))))

data ScriptEvaluationEvent Source #

Information about an on-chain script evaluation event, specifically the information needed to evaluate the script, and the expected result.

Constructors

PlutusEvent PlutusLedgerLanguage ScriptEvaluationData ScriptEvaluationResult 

Instances

Instances details
Generic ScriptEvaluationEvent Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Associated Types

type Rep ScriptEvaluationEvent ∷ Type → Type Source #

Methods

from ∷ ScriptEvaluationEvent → Rep ScriptEvaluationEvent x Source #

to ∷ Rep ScriptEvaluationEvent x → ScriptEvaluationEvent Source #

Show ScriptEvaluationEvent Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

showsPrec ∷ Int → ScriptEvaluationEvent → ShowS Source #

show ∷ ScriptEvaluationEvent → String Source #

showList ∷ [ScriptEvaluationEvent] → ShowS Source #

Pretty ScriptEvaluationEvent Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

pretty ∷ ScriptEvaluationEvent → Doc ann Source #

prettyList ∷ [ScriptEvaluationEvent] → Doc ann Source #

Serialise ScriptEvaluationEvent Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

encode ∷ ScriptEvaluationEvent → Encoding Source #

decode ∷ Decoder s ScriptEvaluationEvent Source #

encodeList ∷ [ScriptEvaluationEvent] → Encoding Source #

decodeList ∷ Decoder s [ScriptEvaluationEvent] Source #

type Rep ScriptEvaluationEvent Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

type Rep ScriptEvaluationEvent = D1 ('MetaData "ScriptEvaluationEvent" "PlutusLedgerApi.Test.EvaluationEvent" "plutus-ledger-api-1.40.0.0-inplace-plutus-ledger-api-testlib" 'False) (C1 ('MetaCons "PlutusEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlutusLedgerLanguage) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptEvaluationData) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptEvaluationResult))))

data ScriptEvaluationData Source #

All the data needed to evaluate a script using the ledger API, except for the cost model parameters, as these are tracked separately.

Constructors

ScriptEvaluationData 

Fields

Instances

Instances details
Generic ScriptEvaluationData Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Associated Types

type Rep ScriptEvaluationData ∷ Type → Type Source #

Methods

from ∷ ScriptEvaluationData → Rep ScriptEvaluationData x Source #

to ∷ Rep ScriptEvaluationData x → ScriptEvaluationData Source #

Show ScriptEvaluationData Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

showsPrec ∷ Int → ScriptEvaluationData → ShowS Source #

show ∷ ScriptEvaluationData → String Source #

showList ∷ [ScriptEvaluationData] → ShowS Source #

Pretty ScriptEvaluationData Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

pretty ∷ ScriptEvaluationData → Doc ann Source #

prettyList ∷ [ScriptEvaluationData] → Doc ann Source #

Serialise ScriptEvaluationData Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

encode ∷ ScriptEvaluationData → Encoding Source #

decode ∷ Decoder s ScriptEvaluationData Source #

encodeList ∷ [ScriptEvaluationData] → Encoding Source #

decodeList ∷ Decoder s [ScriptEvaluationData] Source #

type Rep ScriptEvaluationData Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

type Rep ScriptEvaluationData = D1 ('MetaData "ScriptEvaluationData" "PlutusLedgerApi.Test.EvaluationEvent" "plutus-ledger-api-1.40.0.0-inplace-plutus-ledger-api-testlib" 'False) (C1 ('MetaCons "ScriptEvaluationData" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MajorProtocolVersion) :*: S1 ('MetaSel ('Just "dataBudget") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExBudget)) :*: (S1 ('MetaSel ('Just "dataScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SerialisedScript) :*: S1 ('MetaSel ('Just "dataInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data]))))

data ScriptEvaluationResult Source #

Constructors

ScriptEvaluationSuccess 
ScriptEvaluationFailure 

Instances

Instances details
Generic ScriptEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Associated Types

type Rep ScriptEvaluationResult ∷ Type → Type Source #

Methods

from ∷ ScriptEvaluationResult → Rep ScriptEvaluationResult x Source #

to ∷ Rep ScriptEvaluationResult x → ScriptEvaluationResult Source #

Show ScriptEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

showsPrec ∷ Int → ScriptEvaluationResult → ShowS Source #

show ∷ ScriptEvaluationResult → String Source #

showList ∷ [ScriptEvaluationResult] → ShowS Source #

Pretty ScriptEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

pretty ∷ ScriptEvaluationResult → Doc ann Source #

prettyList ∷ [ScriptEvaluationResult] → Doc ann Source #

Serialise ScriptEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

encode ∷ ScriptEvaluationResult → Encoding Source #

decode ∷ Decoder s ScriptEvaluationResult Source #

encodeList ∷ [ScriptEvaluationResult] → Encoding Source #

decodeList ∷ Decoder s [ScriptEvaluationResult] Source #

type Rep ScriptEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

type Rep ScriptEvaluationResult = D1 ('MetaData "ScriptEvaluationResult" "PlutusLedgerApi.Test.EvaluationEvent" "plutus-ledger-api-1.40.0.0-inplace-plutus-ledger-api-testlib" 'False) (C1 ('MetaCons "ScriptEvaluationSuccess" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ScriptEvaluationFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

data UnexpectedEvaluationResult Source #

Error type when re-evaluating a ScriptEvaluationEvent.

Constructors

UnexpectedEvaluationSuccess 

Fields

UnexpectedEvaluationFailure 

Fields

DecodeError ScriptDecodeError 

Instances

Instances details
Show UnexpectedEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

showsPrec ∷ Int → UnexpectedEvaluationResult → ShowS Source #

show ∷ UnexpectedEvaluationResult → String Source #

showList ∷ [UnexpectedEvaluationResult] → ShowS Source #

Pretty UnexpectedEvaluationResult Source # 
Instance details

Defined in PlutusLedgerApi.Test.EvaluationEvent

Methods

pretty ∷ UnexpectedEvaluationResult → Doc ann Source #

prettyList ∷ [UnexpectedEvaluationResult] → Doc ann Source #

data TestFailure Source #

Constructors

InvalidResult UnexpectedEvaluationResult 
MissingCostParametersFor PlutusLedgerLanguage 

renderTestFailure ∷ TestFailure → String Source #

renderTestFailures ∷ NonEmpty TestFailure → String Source #

checkEvaluationEvent Source #

Arguments

∷ EvaluationContext 
→ [Int64]

Cost parameters

→ ScriptEvaluationEvent 
→ Maybe UnexpectedEvaluationResult 

Re-evaluate an on-chain script evaluation event.