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

PlutusLedgerApi.V1

Description

The interface to Plutus V1 for the ledger.

Synopsis

Scripts

type SerialisedScript = ShortByteString Source #

Scripts to the ledger are serialised bytestrings.

data ScriptForEvaluation Source #

A Plutus script ready to be evaluated on-chain, via evaluateScriptRestricting.

Instances

Instances details
Generic ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Associated Types

type Rep ScriptForEvaluation ∷ Type → Type Source #

Methods

from ∷ ScriptForEvaluation → Rep ScriptForEvaluation x Source #

to ∷ Rep ScriptForEvaluation x → ScriptForEvaluation Source #

Show ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

showsPrec ∷ Int → ScriptForEvaluation → ShowS Source #

show ∷ ScriptForEvaluation → String Source #

showList ∷ [ScriptForEvaluation] → ShowS Source #

NFData ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

rnf ∷ ScriptForEvaluation → () Source #

Eq ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

(==) ∷ ScriptForEvaluation → ScriptForEvaluation → Bool Source #

(/=) ∷ ScriptForEvaluation → ScriptForEvaluation → Bool Source #

NoThunks ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

noThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ScriptForEvaluation → String Source #

type Rep ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

type Rep ScriptForEvaluation = D1 ('MetaData "ScriptForEvaluation" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "UnsafeScriptForEvaluation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SerialisedScript) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptNamedDeBruijn)))

serialisedScript ∷ ScriptForEvaluation → SerialisedScript Source #

Get a SerialisedScript from a ScriptForEvaluation. O(1).

deserialisedScript ∷ ScriptForEvaluation → ScriptNamedDeBruijn Source #

Get a ScriptNamedDeBruijn from a ScriptForEvaluation. O(1).

serialiseCompiledCode ∷ ∀ a. CompiledCode a → SerialisedScript Source #

Turns a program which was compiled using the 'PlutusTx' toolchain into a binary format that is understood by the network and can be stored on-chain.

serialiseUPLC ∷ Program DeBruijn DefaultUni DefaultFun () → SerialisedScript Source #

Turns a program's AST (most likely manually constructed) into a binary format that is understood by the network and can be stored on-chain.

deserialiseScript Source #

Arguments

∷ ∀ m. MonadError ScriptDecodeError m 
⇒ MajorProtocolVersion

which major protocol version the script was submitted in.

→ SerialisedScript

the script to deserialise.

→ m ScriptForEvaluation 

The deserialization from a serialised script into a ScriptForEvaluation, ready to be evaluated on-chain. Called inside phase-1 validation (i.e., deserialisation error is a phase-1 error).

uncheckedDeserialiseUPLC ∷ SerialisedScript → Program DeBruijn DefaultUni DefaultFun () Source #

Deserialises a SerialisedScript back into an AST. Does *not* do ledger-language-version-specific checks like for allowable builtins.

Running scripts

evaluateScriptRestricting Source #

Arguments

∷ MajorProtocolVersion

Which major protocol version to run the operation in

→ VerboseMode

Whether to produce log output

→ EvaluationContext

Includes the cost model to use for tallying up the execution costs

→ ExBudget

The resource budget which must not be exceeded during evaluation

→ ScriptForEvaluation

The script to evaluate

→ [Data]

The arguments to the script

→ (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, with a cost model and a budget that restricts how many resources it can use according to the cost model. Also returns the budget that was actually used.

Can be used to calculate budgets for scripts, but even in this case you must give a limit to guard against scripts that run for a long time or loop.

evaluateScriptCounting Source #

Arguments

∷ MajorProtocolVersion

Which major protocol version to run the operation in

→ VerboseMode

Whether to produce log output

→ EvaluationContext

Includes the cost model to use for tallying up the execution costs

→ ScriptForEvaluation

The script to evaluate

→ [Data]

The arguments to the script

→ (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, returning the minimum budget that the script would need to evaluate successfully. This will take as long as the script takes, if you need to limit the execution time of the script also, you can use evaluateScriptRestricting, which also returns the used budget.

Protocol version

newtype MajorProtocolVersion Source #

This represents the major component of the Cardano protocol version. The ledger can only supply the major component of the protocol version, not the minor component, and Plutus should only need to care about the major component anyway. This relies on careful understanding between us and the ledger as to what this means.

Constructors

MajorProtocolVersion 

Fields

Instances

Instances details
Generic MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Associated Types

type Rep MajorProtocolVersion ∷ Type → Type Source #

Methods

from ∷ MajorProtocolVersion → Rep MajorProtocolVersion x Source #

to ∷ Rep MajorProtocolVersion x → MajorProtocolVersion Source #

Show MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

showsPrec ∷ Int → MajorProtocolVersion → ShowS Source #

show ∷ MajorProtocolVersion → String Source #

showList ∷ [MajorProtocolVersion] → ShowS Source #

Eq MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

(==) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

(/=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

Ord MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

compare ∷ MajorProtocolVersion → MajorProtocolVersion → Ordering Source #

(<) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

(<=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

(>) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

(>=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #

max ∷ MajorProtocolVersion → MajorProtocolVersion → MajorProtocolVersion Source #

min ∷ MajorProtocolVersion → MajorProtocolVersion → MajorProtocolVersion Source #

Pretty MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

pretty ∷ MajorProtocolVersion → Doc ann Source #

prettyList ∷ [MajorProtocolVersion] → Doc ann Source #

Serialise MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

encode ∷ MajorProtocolVersion → Encoding Source #

decode ∷ Decoder s MajorProtocolVersion Source #

encodeList ∷ [MajorProtocolVersion] → Encoding Source #

decodeList ∷ Decoder s [MajorProtocolVersion] Source #

type Rep MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

type Rep MajorProtocolVersion = D1 ('MetaData "MajorProtocolVersion" "PlutusLedgerApi.Common.ProtocolVersions" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "MajorProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMajorProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Verbose mode and log output

data VerboseMode Source #

A simple toggle indicating whether or not we should accumulate logs during script execution.

Constructors

Verbose

accumulate all traces

Quiet

don't accumulate anything

Instances

Instances details
Eq VerboseMode Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

(==) ∷ VerboseMode → VerboseMode → Bool Source #

(/=) ∷ VerboseMode → VerboseMode → Bool Source #

type LogOutput = [Text] Source #

The type of the executed script's accumulated log output: a list of Text.

It will be an empty list if the VerboseMode is set to Quiet.

Costing-related types

data ExBudget Source #

Constructors

ExBudget 

Fields

Instances

Instances details
FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

parseJSON ∷ Value → Parser ExBudget

parseJSONList ∷ Value → Parser [ExBudget]

omittedField ∷ Maybe ExBudget

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

toJSON ∷ ExBudget → Value

toEncoding ∷ ExBudget → Encoding

toJSONList ∷ [ExBudget] → Value

toEncodingList ∷ [ExBudget] → Encoding

omitField ∷ ExBudget → Bool

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

mempty ∷ ExBudget Source #

mappend ∷ ExBudget → ExBudget → ExBudget Source #

mconcat ∷ [ExBudget] → ExBudget Source #

Semigroup ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

(<>) ∷ ExBudget → ExBudget → ExBudget Source #

sconcat ∷ NonEmpty ExBudget → ExBudget Source #

stimes ∷ Integral b ⇒ b → ExBudget → ExBudget Source #

Generic ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudget ∷ Type → Type Source #

Methods

from ∷ ExBudget → Rep ExBudget x Source #

to ∷ Rep ExBudget x → ExBudget Source #

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

showsPrec ∷ Int → ExBudget → ShowS Source #

show ∷ ExBudget → String Source #

showList ∷ [ExBudget] → ShowS Source #

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnf ∷ ExBudget → () Source #

Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

(==) ∷ ExBudget → ExBudget → Bool Source #

(/=) ∷ ExBudget → ExBudget → Bool Source #

NoThunks ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

noThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ExBudget → String Source #

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty ∷ ExBudget → Doc ann Source #

prettyList ∷ [ExBudget] → Doc ann Source #

Serialise ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

encode ∷ ExBudget → Encoding Source #

decode ∷ Decoder s ExBudget Source #

encodeList ∷ [ExBudget] → Encoding Source #

decodeList ∷ Decoder s [ExBudget] Source #

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy ∷ config → ExBudget → Doc ann Source #

prettyListBy ∷ config → [ExBudget] → Doc ann Source #

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

lift ∷ Quote m ⇒ ExBudget → m Exp Source #

liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExBudget → Code m ExBudget Source #

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.36.0.0-inplace" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU Source #

Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.

Constructors

ExCPU CostingInteger 

Instances

Instances details
FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON ∷ Value → Parser ExCPU

parseJSONList ∷ Value → Parser [ExCPU]

omittedField ∷ Maybe ExCPU

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON ∷ ExCPU → Value

toEncoding ∷ ExCPU → Encoding

toJSONList ∷ [ExCPU] → Value

toEncodingList ∷ [ExCPU] → Encoding

omitField ∷ ExCPU → Bool

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

mempty ∷ ExCPU Source #

mappend ∷ ExCPU → ExCPU → ExCPU Source #

mconcat ∷ [ExCPU] → ExCPU Source #

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(<>) ∷ ExCPU → ExCPU → ExCPU Source #

sconcat ∷ NonEmpty ExCPU → ExCPU Source #

stimes ∷ Integral b ⇒ b → ExCPU → ExCPU Source #

Bounded ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

minBound ∷ ExCPU Source #

maxBound ∷ ExCPU Source #

Generic ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPU ∷ Type → Type Source #

Methods

from ∷ ExCPU → Rep ExCPU x Source #

to ∷ Rep ExCPU x → ExCPU Source #

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(+) ∷ ExCPU → ExCPU → ExCPU Source #

(-) ∷ ExCPU → ExCPU → ExCPU Source #

(*) ∷ ExCPU → ExCPU → ExCPU Source #

negate ∷ ExCPU → ExCPU Source #

abs ∷ ExCPU → ExCPU Source #

signum ∷ ExCPU → ExCPU Source #

fromInteger ∷ Integer → ExCPU Source #

Read ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

readsPrec ∷ Int → ReadS ExCPU Source #

readList ∷ ReadS [ExCPU] Source #

readPrec ∷ ReadPrec ExCPU Source #

readListPrec ∷ ReadPrec [ExCPU] Source #

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

showsPrec ∷ Int → ExCPU → ShowS Source #

show ∷ ExCPU → String Source #

showList ∷ [ExCPU] → ShowS Source #

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf ∷ ExCPU → () Source #

Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(==) ∷ ExCPU → ExCPU → Bool Source #

(/=) ∷ ExCPU → ExCPU → Bool Source #

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

compare ∷ ExCPU → ExCPU → Ordering Source #

(<) ∷ ExCPU → ExCPU → Bool Source #

(<=) ∷ ExCPU → ExCPU → Bool Source #

(>) ∷ ExCPU → ExCPU → Bool Source #

(>=) ∷ ExCPU → ExCPU → Bool Source #

max ∷ ExCPU → ExCPU → ExCPU Source #

min ∷ ExCPU → ExCPU → ExCPU Source #

NoThunks ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ExCPU → String Source #

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty ∷ ExCPU → Doc ann Source #

prettyList ∷ [ExCPU] → Doc ann Source #

Serialise ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode ∷ ExCPU → Encoding Source #

decode ∷ Decoder s ExCPU Source #

encodeList ∷ [ExCPU] → Encoding Source #

decodeList ∷ Decoder s [ExCPU] Source #

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy ∷ config → ExCPU → Doc ann Source #

prettyListBy ∷ config → [ExCPU] → Doc ann Source #

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

lift ∷ Quote m ⇒ ExCPU → m Exp Source #

liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExCPU → Code m ExCPU Source #

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger 

Instances

Instances details
FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON ∷ Value → Parser ExMemory

parseJSONList ∷ Value → Parser [ExMemory]

omittedField ∷ Maybe ExMemory

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON ∷ ExMemory → Value

toEncoding ∷ ExMemory → Encoding

toJSONList ∷ [ExMemory] → Value

toEncodingList ∷ [ExMemory] → Encoding

omitField ∷ ExMemory → Bool

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

mempty ∷ ExMemory Source #

mappend ∷ ExMemory → ExMemory → ExMemory Source #

mconcat ∷ [ExMemory] → ExMemory Source #

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(<>) ∷ ExMemory → ExMemory → ExMemory Source #

sconcat ∷ NonEmpty ExMemory → ExMemory Source #

stimes ∷ Integral b ⇒ b → ExMemory → ExMemory Source #

Bounded ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

minBound ∷ ExMemory Source #

maxBound ∷ ExMemory Source #

Generic ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemory ∷ Type → Type Source #

Methods

from ∷ ExMemory → Rep ExMemory x Source #

to ∷ Rep ExMemory x → ExMemory Source #

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(+) ∷ ExMemory → ExMemory → ExMemory Source #

(-) ∷ ExMemory → ExMemory → ExMemory Source #

(*) ∷ ExMemory → ExMemory → ExMemory Source #

negate ∷ ExMemory → ExMemory Source #

abs ∷ ExMemory → ExMemory Source #

signum ∷ ExMemory → ExMemory Source #

fromInteger ∷ Integer → ExMemory Source #

Read ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

readsPrec ∷ Int → ReadS ExMemory Source #

readList ∷ ReadS [ExMemory] Source #

readPrec ∷ ReadPrec ExMemory Source #

readListPrec ∷ ReadPrec [ExMemory] Source #

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

showsPrec ∷ Int → ExMemory → ShowS Source #

show ∷ ExMemory → String Source #

showList ∷ [ExMemory] → ShowS Source #

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf ∷ ExMemory → () Source #

Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(==) ∷ ExMemory → ExMemory → Bool Source #

(/=) ∷ ExMemory → ExMemory → Bool Source #

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

compare ∷ ExMemory → ExMemory → Ordering Source #

(<) ∷ ExMemory → ExMemory → Bool Source #

(<=) ∷ ExMemory → ExMemory → Bool Source #

(>) ∷ ExMemory → ExMemory → Bool Source #

(>=) ∷ ExMemory → ExMemory → Bool Source #

max ∷ ExMemory → ExMemory → ExMemory Source #

min ∷ ExMemory → ExMemory → ExMemory Source #

NoThunks ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ExMemory → String Source #

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty ∷ ExMemory → Doc ann Source #

prettyList ∷ [ExMemory] → Doc ann Source #

Serialise ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode ∷ ExMemory → Encoding Source #

decode ∷ Decoder s ExMemory Source #

encodeList ∷ [ExMemory] → Encoding Source #

decodeList ∷ Decoder s [ExMemory] Source #

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy ∷ config → ExMemory → Doc ann Source #

prettyListBy ∷ config → [ExMemory] → Doc ann Source #

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

lift ∷ Quote m ⇒ ExMemory → m Exp Source #

liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ ExMemory → Code m ExMemory Source #

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data SatInt Source #

Instances

Instances details
FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON ∷ Value → Parser SatInt

parseJSONList ∷ Value → Parser [SatInt]

omittedField ∷ Maybe SatInt

ToJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

toJSON ∷ SatInt → Value

toEncoding ∷ SatInt → Encoding

toJSONList ∷ [SatInt] → Value

toEncodingList ∷ [SatInt] → Encoding

omitField ∷ SatInt → Bool

Bits SatInt 
Instance details

Defined in Data.SatInt

Methods

(.&.) ∷ SatInt → SatInt → SatInt Source #

(.|.) ∷ SatInt → SatInt → SatInt Source #

xor ∷ SatInt → SatInt → SatInt Source #

complement ∷ SatInt → SatInt Source #

shift ∷ SatInt → Int → SatInt Source #

rotate ∷ SatInt → Int → SatInt Source #

zeroBits ∷ SatInt Source #

bit ∷ Int → SatInt Source #

setBit ∷ SatInt → Int → SatInt Source #

clearBit ∷ SatInt → Int → SatInt Source #

complementBit ∷ SatInt → Int → SatInt Source #

testBit ∷ SatInt → Int → Bool Source #

bitSizeMaybe ∷ SatInt → Maybe Int Source #

bitSize ∷ SatInt → Int Source #

isSigned ∷ SatInt → Bool Source #

shiftL ∷ SatInt → Int → SatInt Source #

unsafeShiftL ∷ SatInt → Int → SatInt Source #

shiftR ∷ SatInt → Int → SatInt Source #

unsafeShiftR ∷ SatInt → Int → SatInt Source #

rotateL ∷ SatInt → Int → SatInt Source #

rotateR ∷ SatInt → Int → SatInt Source #

popCount ∷ SatInt → Int Source #

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

Methods

finiteBitSize ∷ SatInt → Int Source #

countLeadingZeros ∷ SatInt → Int Source #

countTrailingZeros ∷ SatInt → Int Source #

Bounded SatInt 
Instance details

Defined in Data.SatInt

Methods

minBound ∷ SatInt Source #

maxBound ∷ SatInt Source #

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatInt ∷ Type → Type Source #

Methods

from ∷ SatInt → Rep SatInt x Source #

to ∷ Rep SatInt x → SatInt Source #

Num SatInt

In the Num instance, we plug in our own addition, multiplication and subtraction function that perform overflow-checking.

Instance details

Defined in Data.SatInt

Methods

(+) ∷ SatInt → SatInt → SatInt Source #

(-) ∷ SatInt → SatInt → SatInt Source #

(*) ∷ SatInt → SatInt → SatInt Source #

negate ∷ SatInt → SatInt Source #

abs ∷ SatInt → SatInt Source #

signum ∷ SatInt → SatInt Source #

fromInteger ∷ Integer → SatInt Source #

Read SatInt 
Instance details

Defined in Data.SatInt

Methods

readsPrec ∷ Int → ReadS SatInt Source #

readList ∷ ReadS [SatInt] Source #

readPrec ∷ ReadPrec SatInt Source #

readListPrec ∷ ReadPrec [SatInt] Source #

Show SatInt 
Instance details

Defined in Data.SatInt

Methods

showsPrec ∷ Int → SatInt → ShowS Source #

show ∷ SatInt → String Source #

showList ∷ [SatInt] → ShowS Source #

FromField SatInt 
Instance details

Defined in Data.SatInt

Methods

parseField ∷ Field → Parser SatInt

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnf ∷ SatInt → () Source #

Eq SatInt 
Instance details

Defined in Data.SatInt

Methods

(==) ∷ SatInt → SatInt → Bool Source #

(/=) ∷ SatInt → SatInt → Bool Source #

Ord SatInt 
Instance details

Defined in Data.SatInt

Methods

compare ∷ SatInt → SatInt → Ordering Source #

(<) ∷ SatInt → SatInt → Bool Source #

(<=) ∷ SatInt → SatInt → Bool Source #

(>) ∷ SatInt → SatInt → Bool Source #

(>=) ∷ SatInt → SatInt → Bool Source #

max ∷ SatInt → SatInt → SatInt Source #

min ∷ SatInt → SatInt → SatInt Source #

NoThunks SatInt 
Instance details

Defined in Data.SatInt

Methods

noThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SatInt → String Source #

Prim SatInt 
Instance details

Defined in Data.SatInt

Methods

sizeOfType# ∷ Proxy SatInt → Int# Source #

sizeOf# ∷ SatInt → Int# Source #

alignmentOfType# ∷ Proxy SatInt → Int# Source #

alignment# ∷ SatInt → Int# Source #

indexByteArray# ∷ ByteArray# → Int# → SatInt Source #

readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, SatInt #) Source #

writeByteArray# ∷ MutableByteArray# s → Int# → SatInt → State# s → State# s Source #

setByteArray# ∷ MutableByteArray# s → Int# → Int# → SatInt → State# s → State# s Source #

indexOffAddr# ∷ Addr# → Int# → SatInt Source #

readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, SatInt #) Source #

writeOffAddr# ∷ Addr# → Int# → SatInt → State# s → State# s Source #

setOffAddr# ∷ Addr# → Int# → Int# → SatInt → State# s → State# s Source #

Serialise SatInt 
Instance details

Defined in Data.SatInt

Methods

encode ∷ SatInt → Encoding Source #

decode ∷ Decoder s SatInt Source #

encodeList ∷ [SatInt] → Encoding Source #

decodeList ∷ Decoder s [SatInt] Source #

Lift SatInt 
Instance details

Defined in Data.SatInt

Methods

lift ∷ Quote m ⇒ SatInt → m Exp Source #

liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ SatInt → Code m SatInt Source #

type Rep SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-1.36.0.0-inplace-satint" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

fromSatInt ∷ Num a ⇒ SatInt → a Source #

An optimized version of fromIntegral . unSatInt.

Cost model

data EvaluationContext Source #

An opaque type that contains all the static parameters that the evaluator needs to evaluate a script. This is so that they can be computed once and cached, rather than being recomputed on every evaluation.

Different protocol versions may require different bundles of machine parameters, which allows us for example to tweak the shape of the costing function of a builtin, so that the builtin costs less. Currently this means that we have to create multiple DefaultMachineParameters per language version, which we put into a cache (represented by an association list) in order to avoid costly recomputation of machine parameters.

In order to get the appropriate DefaultMachineParameters at validation time we look it up in the cache using a semantics variant as a key. We compute the semantics variant from the protocol version using the stored function. Note that the semantics variant depends on the language version too, but the latter is known statically (because each language version has its own evaluation context), hence there's no reason to require it to be provided at runtime.

To say it differently, there's a matrix of semantics variants indexed by (LL, PV) pairs and we cache its particular row corresponding to the statically given LL in an EvaluationContext.

The reason why we associate a DefaultMachineParameters with a semantics variant rather than a protocol version are

  1. generally there are far more protocol versions than semantics variants supported by a specific language version, so we save on pointless duplication of bundles of machine parameters
  2. builtins don't know anything about protocol versions, only semantics variants. It is therefore more semantically precise to associate bundles of machine parameters with semantics variants than with protocol versions

Instances

Instances details
Generic EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Associated Types

type Rep EvaluationContext ∷ Type → Type Source #

Methods

from ∷ EvaluationContext → Rep EvaluationContext x Source #

to ∷ Rep EvaluationContext x → EvaluationContext Source #

NFData EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

rnf ∷ EvaluationContext → () Source #

NoThunks EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

noThunks ∷ Context → EvaluationContext → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EvaluationContext → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EvaluationContext → String Source #

type Rep EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalCtxLedgerLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PlutusLedgerLanguage) :*: (S1 ('MetaSel ('Just "_evalCtxToSemVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion → BuiltinSemanticsVariant DefaultFun)) :*: S1 ('MetaSel ('Just "_evalCtxMachParsCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(BuiltinSemanticsVariant DefaultFun, DefaultMachineParameters)]))))

mkEvaluationContext Source #

Arguments

∷ (MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) 
⇒ [Int64]

the (updated) cost model parameters of the protocol

→ m EvaluationContext 

Build the EvaluationContext.

The input is a list of cost model parameters (which are integer values) passed from the ledger.

IMPORTANT: the cost model parameters MUST appear in the correct order, matching the names in ParamName. If the parameters are supplied in the wrong order then script cost calculations will be incorrect.

IMPORTANT: The evaluation context of every Plutus version must be recreated upon a protocol update with the updated cost model parameters.

data ParamName Source #

The enumeration of all possible cost model parameter names for this language version.

IMPORTANT: The order of appearance of the data constructors here matters. DO NOT REORDER. See Note [Quotation marks in cost model parameter constructors] See Note [Cost model parameters from the ledger's point of view]

Constructors

AddInteger'cpu'arguments'intercept 
AddInteger'cpu'arguments'slope 
AddInteger'memory'arguments'intercept 
AddInteger'memory'arguments'slope 
AppendByteString'cpu'arguments'intercept 
AppendByteString'cpu'arguments'slope 
AppendByteString'memory'arguments'intercept 
AppendByteString'memory'arguments'slope 
AppendString'cpu'arguments'intercept 
AppendString'cpu'arguments'slope 
AppendString'memory'arguments'intercept 
AppendString'memory'arguments'slope 
BData'cpu'arguments 
BData'memory'arguments 
Blake2b_256'cpu'arguments'intercept 
Blake2b_256'cpu'arguments'slope 
Blake2b_256'memory'arguments 
CekApplyCost'exBudgetCPU 
CekApplyCost'exBudgetMemory 
CekBuiltinCost'exBudgetCPU 
CekBuiltinCost'exBudgetMemory 
CekConstCost'exBudgetCPU 
CekConstCost'exBudgetMemory 
CekDelayCost'exBudgetCPU 
CekDelayCost'exBudgetMemory 
CekForceCost'exBudgetCPU 
CekForceCost'exBudgetMemory 
CekLamCost'exBudgetCPU 
CekLamCost'exBudgetMemory 
CekStartupCost'exBudgetCPU 
CekStartupCost'exBudgetMemory 
CekVarCost'exBudgetCPU 
CekVarCost'exBudgetMemory 
ChooseData'cpu'arguments 
ChooseData'memory'arguments 
ChooseList'cpu'arguments 
ChooseList'memory'arguments 
ChooseUnit'cpu'arguments 
ChooseUnit'memory'arguments 
ConsByteString'cpu'arguments'intercept 
ConsByteString'cpu'arguments'slope 
ConsByteString'memory'arguments'intercept 
ConsByteString'memory'arguments'slope 
ConstrData'cpu'arguments 
ConstrData'memory'arguments 
DecodeUtf8'cpu'arguments'intercept 
DecodeUtf8'cpu'arguments'slope 
DecodeUtf8'memory'arguments'intercept 
DecodeUtf8'memory'arguments'slope 
DivideInteger'cpu'arguments'constant 
DivideInteger'cpu'arguments'model'arguments'intercept 
DivideInteger'cpu'arguments'model'arguments'slope 
DivideInteger'memory'arguments'intercept 
DivideInteger'memory'arguments'minimum 
DivideInteger'memory'arguments'slope 
EncodeUtf8'cpu'arguments'intercept 
EncodeUtf8'cpu'arguments'slope 
EncodeUtf8'memory'arguments'intercept 
EncodeUtf8'memory'arguments'slope 
EqualsByteString'cpu'arguments'constant 
EqualsByteString'cpu'arguments'intercept 
EqualsByteString'cpu'arguments'slope 
EqualsByteString'memory'arguments 
EqualsData'cpu'arguments'intercept 
EqualsData'cpu'arguments'slope 
EqualsData'memory'arguments 
EqualsInteger'cpu'arguments'intercept 
EqualsInteger'cpu'arguments'slope 
EqualsInteger'memory'arguments 
EqualsString'cpu'arguments'constant 
EqualsString'cpu'arguments'intercept 
EqualsString'cpu'arguments'slope 
EqualsString'memory'arguments 
FstPair'cpu'arguments 
FstPair'memory'arguments 
HeadList'cpu'arguments 
HeadList'memory'arguments 
IData'cpu'arguments 
IData'memory'arguments 
IfThenElse'cpu'arguments 
IfThenElse'memory'arguments 
IndexByteString'cpu'arguments 
IndexByteString'memory'arguments 
LengthOfByteString'cpu'arguments 
LengthOfByteString'memory'arguments 
LessThanByteString'cpu'arguments'intercept 
LessThanByteString'cpu'arguments'slope 
LessThanByteString'memory'arguments 
LessThanEqualsByteString'cpu'arguments'intercept 
LessThanEqualsByteString'cpu'arguments'slope 
LessThanEqualsByteString'memory'arguments 
LessThanEqualsInteger'cpu'arguments'intercept 
LessThanEqualsInteger'cpu'arguments'slope 
LessThanEqualsInteger'memory'arguments 
LessThanInteger'cpu'arguments'intercept 
LessThanInteger'cpu'arguments'slope 
LessThanInteger'memory'arguments 
ListData'cpu'arguments 
ListData'memory'arguments 
MapData'cpu'arguments 
MapData'memory'arguments 
MkCons'cpu'arguments 
MkCons'memory'arguments 
MkNilData'cpu'arguments 
MkNilData'memory'arguments 
MkNilPairData'cpu'arguments 
MkNilPairData'memory'arguments 
MkPairData'cpu'arguments 
MkPairData'memory'arguments 
ModInteger'cpu'arguments'constant 
ModInteger'cpu'arguments'model'arguments'intercept 
ModInteger'cpu'arguments'model'arguments'slope 
ModInteger'memory'arguments'intercept 
ModInteger'memory'arguments'minimum 
ModInteger'memory'arguments'slope 
MultiplyInteger'cpu'arguments'intercept 
MultiplyInteger'cpu'arguments'slope 
MultiplyInteger'memory'arguments'intercept 
MultiplyInteger'memory'arguments'slope 
NullList'cpu'arguments 
NullList'memory'arguments 
QuotientInteger'cpu'arguments'constant 
QuotientInteger'cpu'arguments'model'arguments'intercept 
QuotientInteger'cpu'arguments'model'arguments'slope 
QuotientInteger'memory'arguments'intercept 
QuotientInteger'memory'arguments'minimum 
QuotientInteger'memory'arguments'slope 
RemainderInteger'cpu'arguments'constant 
RemainderInteger'cpu'arguments'model'arguments'intercept 
RemainderInteger'cpu'arguments'model'arguments'slope 
RemainderInteger'memory'arguments'intercept 
RemainderInteger'memory'arguments'minimum 
RemainderInteger'memory'arguments'slope 
Sha2_256'cpu'arguments'intercept 
Sha2_256'cpu'arguments'slope 
Sha2_256'memory'arguments 
Sha3_256'cpu'arguments'intercept 
Sha3_256'cpu'arguments'slope 
Sha3_256'memory'arguments 
SliceByteString'cpu'arguments'intercept 
SliceByteString'cpu'arguments'slope 
SliceByteString'memory'arguments'intercept 
SliceByteString'memory'arguments'slope 
SndPair'cpu'arguments 
SndPair'memory'arguments 
SubtractInteger'cpu'arguments'intercept 
SubtractInteger'cpu'arguments'slope 
SubtractInteger'memory'arguments'intercept 
SubtractInteger'memory'arguments'slope 
TailList'cpu'arguments 
TailList'memory'arguments 
Trace'cpu'arguments 
Trace'memory'arguments 
UnBData'cpu'arguments 
UnBData'memory'arguments 
UnConstrData'cpu'arguments 
UnConstrData'memory'arguments 
UnIData'cpu'arguments 
UnIData'memory'arguments 
UnListData'cpu'arguments 
UnListData'memory'arguments 
UnMapData'cpu'arguments 
UnMapData'memory'arguments 
VerifyEd25519Signature'cpu'arguments'intercept 
VerifyEd25519Signature'cpu'arguments'slope 
VerifyEd25519Signature'memory'arguments 

Instances

Instances details
Bounded ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

minBound ∷ ParamName Source #

maxBound ∷ ParamName Source #

Enum ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

succ ∷ ParamName → ParamName Source #

pred ∷ ParamName → ParamName Source #

toEnum ∷ Int → ParamName Source #

fromEnum ∷ ParamName → Int Source #

enumFrom ∷ ParamName → [ParamName] Source #

enumFromThen ∷ ParamName → ParamName → [ParamName] Source #

enumFromTo ∷ ParamName → ParamName → [ParamName] Source #

enumFromThenTo ∷ ParamName → ParamName → ParamName → [ParamName] Source #

Generic ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Associated Types

type Rep ParamName ∷ Type → Type Source #

Methods

from ∷ ParamName → Rep ParamName x Source #

to ∷ Rep ParamName x → ParamName Source #

Ix ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

range ∷ (ParamName, ParamName) → [ParamName] Source #

index ∷ (ParamName, ParamName) → ParamName → Int Source #

unsafeIndex ∷ (ParamName, ParamName) → ParamName → Int Source #

inRange ∷ (ParamName, ParamName) → ParamName → Bool Source #

rangeSize ∷ (ParamName, ParamName) → Int Source #

unsafeRangeSize ∷ (ParamName, ParamName) → Int Source #

Eq ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

(==) ∷ ParamName → ParamName → Bool Source #

(/=) ∷ ParamName → ParamName → Bool Source #

Ord ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

compare ∷ ParamName → ParamName → Ordering Source #

(<) ∷ ParamName → ParamName → Bool Source #

(<=) ∷ ParamName → ParamName → Bool Source #

(>) ∷ ParamName → ParamName → Bool Source #

(>=) ∷ ParamName → ParamName → Bool Source #

max ∷ ParamName → ParamName → ParamName Source #

min ∷ ParamName → ParamName → ParamName Source #

IsParamName ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

Methods

showParamName ∷ ParamName → Text Source #

readParamName ∷ Text → Maybe ParamName Source #

type Rep ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V1.ParamName

type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V1.ParamName" "plutus-ledger-api-1.36.0.0-inplace" 'False) (((((((C1 ('MetaCons "AddInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AddInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AddInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AddInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "AppendByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "AppendByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "AppendString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "AppendString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "AppendString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "BData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "BData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Blake2b_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "Blake2b_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Blake2b_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekApplyCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekApplyCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekBuiltinCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "CekBuiltinCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekConstCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekConstCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekDelayCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekDelayCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "CekForceCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekForceCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekLamCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "CekLamCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekStartupCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "CekStartupCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CekVarCost'exBudgetCPU" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "CekVarCost'exBudgetMemory" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ChooseData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ChooseData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ChooseList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ChooseList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ChooseUnit'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "ChooseUnit'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "ConsByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ConsByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ConstrData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ConstrData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DecodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "DecodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DecodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "DecodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DivideInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EncodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "EncodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EncodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EncodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "EqualsByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsData'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "EqualsData'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "EqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "EqualsString'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "EqualsString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "EqualsString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "EqualsString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "FstPair'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "FstPair'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "HeadList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "HeadList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "IData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IfThenElse'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "IfThenElse'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "IndexByteString'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IndexByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))))) :+: ((((((C1 ('MetaCons "LengthOfByteString'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LengthOfByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "LessThanByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "LessThanEqualsByteString'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "LessThanEqualsInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LessThanInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "LessThanInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "LessThanInteger'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ListData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "ListData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MapData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MapData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkCons'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkCons'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "MkNilData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkNilData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MkNilPairData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MkNilPairData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MkPairData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "MkPairData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "ModInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MultiplyInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MultiplyInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MultiplyInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "MultiplyInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "NullList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "NullList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type))))))) :+: (((((C1 ('MetaCons "QuotientInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "QuotientInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "QuotientInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "RemainderInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "RemainderInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha2_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "Sha2_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha2_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Sha3_256'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "SliceByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SliceByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SliceByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "SliceByteString'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SndPair'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SndPair'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))) :+: ((((C1 ('MetaCons "SubtractInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SubtractInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "SubtractInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "SubtractInteger'memory'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "TailList'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "TailList'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Trace'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Trace'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnBData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnBData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))))) :+: (((C1 ('MetaCons "UnConstrData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnConstrData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "UnIData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnIData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnListData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))) :+: ((C1 ('MetaCons "UnListData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "UnMapData'cpu'arguments" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "UnMapData'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: (C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'slope" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "VerifyEd25519Signature'memory'arguments" 'PrefixI 'False) (U1 ∷ Type → Type)))))))))

data CostModelApplyError Source #

A fatal error when trying to create a cost given some plain costmodel parameters.

Constructors

CMUnknownParamError !Text

a costmodel parameter with the give name does not exist in the costmodel to be applied upon

CMInternalReadError

internal error when we are transforming the applyParams' input to json (should not happen)

CMInternalWriteError !String

internal error when we are transforming the applied params from json with given jsonstring error (should not happen)

Instances

Instances details
Data CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → CostModelApplyError → c CostModelApplyError Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c CostModelApplyError Source #

toConstr ∷ CostModelApplyError → Constr Source #

dataTypeOf ∷ CostModelApplyError → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c CostModelApplyError) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c CostModelApplyError) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → CostModelApplyError → CostModelApplyError Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → CostModelApplyError → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → CostModelApplyError → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → CostModelApplyError → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → CostModelApplyError → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source #

Exception CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

toException ∷ CostModelApplyError → SomeException Source #

fromException ∷ SomeException → Maybe CostModelApplyError Source #

displayException ∷ CostModelApplyError → String Source #

Generic CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Associated Types

type Rep CostModelApplyError ∷ Type → Type Source #

Methods

from ∷ CostModelApplyError → Rep CostModelApplyError x Source #

to ∷ Rep CostModelApplyError x → CostModelApplyError Source #

Show CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

showsPrec ∷ Int → CostModelApplyError → ShowS Source #

show ∷ CostModelApplyError → String Source #

showList ∷ [CostModelApplyError] → ShowS Source #

NFData CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

rnf ∷ CostModelApplyError → () Source #

Eq CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

(==) ∷ CostModelApplyError → CostModelApplyError → Bool Source #

(/=) ∷ CostModelApplyError → CostModelApplyError → Bool Source #

NoThunks CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

noThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy CostModelApplyError → String Source #

Pretty CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

pretty ∷ CostModelApplyError → Doc ann Source #

prettyList ∷ [CostModelApplyError] → Doc ann Source #

type Rep CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.36.0.0-inplace" 'False) (C1 ('MetaCons "CMUnknownParamError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "CMInternalReadError" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "CMInternalWriteError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))

type CostModelParams = Map Text Int64 Source #

A raw representation of the ledger's cost model parameters.

The associated keys/names to the parameter values are arbitrarily set by the plutus team; the ledger does not hold any such names.

See Note [Cost model parameters]

assertWellFormedCostModelParams ∷ MonadError CostModelApplyError m ⇒ CostModelParams → m () Source #

Context types

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext 

Fields

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Associated Types

type Rep ScriptContext ∷ Type → Type Source #

Methods

from ∷ ScriptContext → Rep ScriptContext x Source #

to ∷ Rep ScriptContext x → ScriptContext Source #

Show ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

showsPrec ∷ Int → ScriptContext → ShowS Source #

show ∷ ScriptContext → String Source #

showList ∷ [ScriptContext] → ShowS Source #

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

(==) ∷ ScriptContext → ScriptContext → Bool Source #

(/=) ∷ ScriptContext → ScriptContext → Bool Source #

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

(==) ∷ ScriptContext → ScriptContext → Bool Source #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData ∷ ScriptContext → BuiltinData Source #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty ∷ ScriptContext → Doc ann Source #

prettyList ∷ [ScriptContext] → Doc ann Source #

(HasSchemaDefinition TxInfo referencedTypes, HasSchemaDefinition ScriptPurpose referencedTypes) ⇒ HasBlueprintSchema ScriptContext referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

lift ∷ ScriptContext → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

typeRep ∷ Proxy ScriptContext → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V1.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))

data ScriptPurpose Source #

Purpose of the script that is currently running

Constructors

Minting CurrencySymbol 
Spending TxOutRef 
Rewarding StakingCredential 
Certifying DCert 

Instances

Instances details
Generic ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Associated Types

type Rep ScriptPurpose ∷ Type → Type Source #

Methods

from ∷ ScriptPurpose → Rep ScriptPurpose x Source #

to ∷ Rep ScriptPurpose x → ScriptPurpose Source #

Show ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

showsPrec ∷ Int → ScriptPurpose → ShowS Source #

show ∷ ScriptPurpose → String Source #

showList ∷ [ScriptPurpose] → ShowS Source #

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

(==) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

(/=) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

Ord ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

compare ∷ ScriptPurpose → ScriptPurpose → Ordering Source #

(<) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

(<=) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

(>) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

(>=) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

max ∷ ScriptPurpose → ScriptPurpose → ScriptPurpose Source #

min ∷ ScriptPurpose → ScriptPurpose → ScriptPurpose Source #

HasBlueprintDefinition ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Associated Types

type Unroll ScriptPurpose ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

(==) ∷ ScriptPurpose → ScriptPurpose → Bool Source #

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData ∷ ScriptPurpose → BuiltinData Source #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty ∷ ScriptPurpose → Doc ann Source #

prettyList ∷ [ScriptPurpose] → Doc ann Source #

(HasSchemaDefinition CurrencySymbol referencedTypes, HasSchemaDefinition TxOutRef referencedTypes, HasSchemaDefinition StakingCredential referencedTypes, HasSchemaDefinition DCert referencedTypes) ⇒ HasBlueprintSchema ScriptPurpose referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

lift ∷ ScriptPurpose → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

typeRep ∷ Proxy ScriptPurpose → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "PlutusLedgerApi.V1.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((C1 ('MetaCons "Minting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)) :+: C1 ('MetaCons "Spending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert))))
type Unroll ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

type Unroll ScriptPurpose = Insert ScriptPurpose (GUnroll (IfStuckRep (RepIsStuckError ScriptPurpose ∷ Type → Type) (Rep ScriptPurpose)))

Supporting types used in the context types

Builtins

data BuiltinByteString Source #

An opaque type representing Plutus Core ByteStrings.

Instances

Instances details
Data BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinByteString → c BuiltinByteString Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinByteString Source #

toConstr ∷ BuiltinByteString → Constr Source #

dataTypeOf ∷ BuiltinByteString → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinByteString) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinByteString) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinByteString → BuiltinByteString Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinByteString → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinByteString → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

mempty ∷ BuiltinByteString Source #

mappend ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

mconcat ∷ [BuiltinByteString] → BuiltinByteString Source #

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

sconcat ∷ NonEmpty BuiltinByteString → BuiltinByteString Source #

stimes ∷ Integral b ⇒ b → BuiltinByteString → BuiltinByteString Source #

Show BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinByteString → ShowS Source #

show ∷ BuiltinByteString → String Source #

showList ∷ [BuiltinByteString] → ShowS Source #

NFData BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinByteString → () Source #

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(/=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source #

(<) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Hashable BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

hashWithSalt ∷ Int → BuiltinByteString → Int Source #

hash ∷ BuiltinByteString → Int Source #

ByteArray BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

allocRet ∷ Int → (Ptr p → IO a) → IO (a, BuiltinByteString) Source #

ByteArrayAccess BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

length ∷ BuiltinByteString → Int Source #

withByteArray ∷ BuiltinByteString → (Ptr p → IO a) → IO a Source #

copyByteArrayToPtr ∷ BuiltinByteString → Ptr p → IO () Source #

HasBlueprintDefinition BuiltinByteString 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinByteString ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString Source #

Methods

fromBuiltin ∷ BuiltinByteString → FromBuiltin BuiltinByteString Source #

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinByteString Source #

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinByteString → BuiltinData Source #

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinByteString Source #

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty ∷ BuiltinByteString Source #

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Ord

Methods

compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source #

(<) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinByteString → Doc ann Source #

prettyList ∷ [BuiltinByteString] → Doc ann Source #

Serialise BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

encode ∷ BuiltinByteString → Encoding Source #

decode ∷ Decoder s BuiltinByteString Source #

encodeList ∷ [BuiltinByteString] → Encoding Source #

decodeList ∷ Decoder s [BuiltinByteString] Source #

HasBlueprintSchema BuiltinByteString referencedTypes 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinByteString → BuiltinByteString Source #

HasToOpaque BuiltinByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinByteString → BuiltinByteString Source #

HasTermLevel uni ByteString ⇒ Lift uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinByteString → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni ByteString ⇒ Typeable uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinByteString → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll BuiltinByteString 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll BuiltinByteString = '[BuiltinByteString]
type FromBuiltin BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinByteString = ByteString

toBuiltin ∷ HasToBuiltin a ⇒ a → ToBuiltin a Source #

fromBuiltin ∷ HasFromBuiltin arep ⇒ arep → FromBuiltin arep Source #

toOpaque ∷ HasToOpaque a arep ⇒ a → arep Source #

fromOpaque ∷ HasFromOpaque arep a ⇒ arep → a Source #

Bytes

newtype LedgerBytes Source #

Constructors

LedgerBytes 

Fields

Instances

Instances details
IsString LedgerBytes Source #

Read in arbitrary LedgerBytes as a "string" (of characters).

This is mostly used together with GHC's OverloadedStrings extension to specify at the source code any LedgerBytes constants, by utilizing Haskell's double-quoted string syntax.

IMPORTANT: the LedgerBytes are expected to be already hex-encoded (base16); otherwise, LedgerBytesError will be raised as an Exception.

Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

fromString ∷ String → LedgerBytes Source #

Generic LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Associated Types

type Rep LedgerBytes ∷ Type → Type Source #

Methods

from ∷ LedgerBytes → Rep LedgerBytes x Source #

to ∷ Rep LedgerBytes x → LedgerBytes Source #

Show LedgerBytes Source #

The Show instance of LedgerBytes is its Base16/Hex encoded bytestring, decoded with UTF-8, unpacked to String.

Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

showsPrec ∷ Int → LedgerBytes → ShowS Source #

show ∷ LedgerBytes → String Source #

showList ∷ [LedgerBytes] → ShowS Source #

NFData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

rnf ∷ LedgerBytes → () Source #

Eq LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

(==) ∷ LedgerBytes → LedgerBytes → Bool Source #

(/=) ∷ LedgerBytes → LedgerBytes → Bool Source #

Ord LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

compare ∷ LedgerBytes → LedgerBytes → Ordering Source #

(<) ∷ LedgerBytes → LedgerBytes → Bool Source #

(<=) ∷ LedgerBytes → LedgerBytes → Bool Source #

(>) ∷ LedgerBytes → LedgerBytes → Bool Source #

(>=) ∷ LedgerBytes → LedgerBytes → Bool Source #

max ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #

min ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #

HasBlueprintDefinition LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Associated Types

type Unroll LedgerBytes ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

(==) ∷ LedgerBytes → LedgerBytes → Bool Source #

FromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

fromBuiltinData ∷ BuiltinData → Maybe LedgerBytes Source #

ToData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

toBuiltinData ∷ LedgerBytes → BuiltinData Source #

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

unsafeFromBuiltinData ∷ BuiltinData → LedgerBytes Source #

Ord LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

compare ∷ LedgerBytes → LedgerBytes → Ordering Source #

(<) ∷ LedgerBytes → LedgerBytes → Bool Source #

(<=) ∷ LedgerBytes → LedgerBytes → Bool Source #

(>) ∷ LedgerBytes → LedgerBytes → Bool Source #

(>=) ∷ LedgerBytes → LedgerBytes → Bool Source #

max ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #

min ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

pretty ∷ LedgerBytes → Doc ann Source #

prettyList ∷ [LedgerBytes] → Doc ann Source #

HasBlueprintSchema LedgerBytes referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

lift ∷ LedgerBytes → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

typeRep ∷ Proxy LedgerBytes → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

type Rep LedgerBytes = D1 ('MetaData "LedgerBytes" "PlutusLedgerApi.V1.Bytes" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "LedgerBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

type Unroll LedgerBytes = Insert LedgerBytes (GUnroll (IfStuckRep (RepIsStuckError LedgerBytes ∷ Type → Type) (Rep LedgerBytes)))

fromBytes ∷ ByteString → LedgerBytes Source #

Lift a Haskell bytestring to the Plutus abstraction LedgerBytes

Certificates

data DCert Source #

A representation of the ledger DCert. Some information is digested, and not included

Constructors

DCertDelegRegKey StakingCredential 
DCertDelegDeRegKey StakingCredential 
DCertDelegDelegate 

Fields

DCertPoolRegister

A digest of the PoolParams

Fields

DCertPoolRetire PubKeyHash Integer

The retirement certificate and the Epoch in which the retirement will take place

DCertGenesis

A really terse Digest

DCertMir

Another really terse Digest

Instances

Instances details
Generic DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Rep DCert ∷ Type → Type Source #

Methods

from ∷ DCert → Rep DCert x Source #

to ∷ Rep DCert x → DCert Source #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

showsPrec ∷ Int → DCert → ShowS Source #

show ∷ DCert → String Source #

showList ∷ [DCert] → ShowS Source #

NFData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

rnf ∷ DCert → () Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

(==) ∷ DCert → DCert → Bool Source #

(/=) ∷ DCert → DCert → Bool Source #

Ord DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

compare ∷ DCert → DCert → Ordering Source #

(<) ∷ DCert → DCert → Bool Source #

(<=) ∷ DCert → DCert → Bool Source #

(>) ∷ DCert → DCert → Bool Source #

(>=) ∷ DCert → DCert → Bool Source #

max ∷ DCert → DCert → DCert Source #

min ∷ DCert → DCert → DCert Source #

HasBlueprintDefinition DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Unroll DCert ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

(==) ∷ DCert → DCert → Bool Source #

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

fromBuiltinData ∷ BuiltinData → Maybe DCert Source #

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

toBuiltinData ∷ DCert → BuiltinData Source #

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

unsafeFromBuiltinData ∷ BuiltinData → DCert Source #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

pretty ∷ DCert → Doc ann Source #

prettyList ∷ [DCert] → Doc ann Source #

(HasSchemaDefinition StakingCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema DCert referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

lift ∷ DCert → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

typeRep ∷ Proxy DCert → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

type Rep DCert = D1 ('MetaData "DCert" "PlutusLedgerApi.V1.DCert" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((C1 ('MetaCons "DCertDelegRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: (C1 ('MetaCons "DCertDelegDeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "DCertDelegDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))) :+: ((C1 ('MetaCons "DCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "DCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (U1 ∷ Type → Type))))
type Unroll DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

type Unroll DCert = Insert DCert (GUnroll (IfStuckRep (RepIsStuckError DCert ∷ Type → Type) (Rep DCert)))

Credentials

data StakingCredential Source #

Staking credential used to assign rewards.

Constructors

StakingHash Credential

The staking hash is the Credential required to unlock a transaction output. Either a public key credential (PubKeyHash) or a script credential (ScriptHash). Both are hashed with BLAKE2b-244. 28 byte.

StakingPtr

The certificate pointer, constructed by the given slot number, transaction and certificate indices. NB: The fields should really be all Word64, as they are implemented in Word64, but Integer is our only integral type so we need to use it instead.

Fields

  • Integer

    the slot number

  • Integer

    the transaction index (within the block)

  • Integer

    the certificate index (within the transaction)

Instances

Instances details
Generic StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Rep StakingCredential ∷ Type → Type Source #

Methods

from ∷ StakingCredential → Rep StakingCredential x Source #

to ∷ Rep StakingCredential x → StakingCredential Source #

Show StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

showsPrec ∷ Int → StakingCredential → ShowS Source #

show ∷ StakingCredential → String Source #

showList ∷ [StakingCredential] → ShowS Source #

NFData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf ∷ StakingCredential → () Source #

Eq StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) ∷ StakingCredential → StakingCredential → Bool Source #

(/=) ∷ StakingCredential → StakingCredential → Bool Source #

Ord StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

compare ∷ StakingCredential → StakingCredential → Ordering Source #

(<) ∷ StakingCredential → StakingCredential → Bool Source #

(<=) ∷ StakingCredential → StakingCredential → Bool Source #

(>) ∷ StakingCredential → StakingCredential → Bool Source #

(>=) ∷ StakingCredential → StakingCredential → Bool Source #

max ∷ StakingCredential → StakingCredential → StakingCredential Source #

min ∷ StakingCredential → StakingCredential → StakingCredential Source #

HasBlueprintDefinition StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Unroll StakingCredential ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) ∷ StakingCredential → StakingCredential → Bool Source #

FromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData ∷ BuiltinData → Maybe StakingCredential Source #

ToData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData ∷ StakingCredential → BuiltinData Source #

UnsafeFromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData ∷ BuiltinData → StakingCredential Source #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty ∷ StakingCredential → Doc ann Source #

prettyList ∷ [StakingCredential] → Doc ann Source #

(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema StakingCredential referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

lift ∷ StakingCredential → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

typeRep ∷ Proxy StakingCredential → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "StakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "StakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))
type Unroll StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Unroll StakingCredential = Insert StakingCredential (GUnroll (IfStuckRep (RepIsStuckError StakingCredential ∷ Type → Type) (Rep StakingCredential)))

data Credential Source #

Credentials required to unlock a transaction output.

Constructors

PubKeyCredential PubKeyHash

The transaction that spends this output must be signed by the private key. See PubKeyHash.

ScriptCredential ScriptHash

The transaction that spends this output must include the validator script and be accepted by the validator. See ScriptHash.

Instances

Instances details
Generic Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Rep Credential ∷ Type → Type Source #

Methods

from ∷ Credential → Rep Credential x Source #

to ∷ Rep Credential x → Credential Source #

Show Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

showsPrec ∷ Int → Credential → ShowS Source #

show ∷ Credential → String Source #

showList ∷ [Credential] → ShowS Source #

NFData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf ∷ Credential → () Source #

Eq Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) ∷ Credential → Credential → Bool Source #

(/=) ∷ Credential → Credential → Bool Source #

Ord Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

compare ∷ Credential → Credential → Ordering Source #

(<) ∷ Credential → Credential → Bool Source #

(<=) ∷ Credential → Credential → Bool Source #

(>) ∷ Credential → Credential → Bool Source #

(>=) ∷ Credential → Credential → Bool Source #

max ∷ Credential → Credential → Credential Source #

min ∷ Credential → Credential → Credential Source #

HasBlueprintDefinition Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Unroll Credential ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) ∷ Credential → Credential → Bool Source #

FromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData ∷ BuiltinData → Maybe Credential Source #

ToData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData ∷ Credential → BuiltinData Source #

UnsafeFromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData ∷ BuiltinData → Credential Source #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty ∷ Credential → Doc ann Source #

prettyList ∷ [Credential] → Doc ann Source #

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) ⇒ HasBlueprintSchema Credential referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

lift ∷ Credential → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Typeable DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

typeRep ∷ Proxy Credential → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "PubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "ScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))
type Unroll Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Unroll Credential = Insert Credential (GUnroll (IfStuckRep (RepIsStuckError Credential ∷ Type → Type) (Rep Credential)))

Value

newtype Value Source #

The Value type represents a collection of amounts of different currencies. We can think of Value as a vector space whose dimensions are currencies.

Operations on currencies are usually implemented pointwise. That is, we apply the operation to the quantities for each currency in turn. So when we add two Values the resulting Value has, for each currency, the sum of the quantities of that particular currency in the argument Value. The effect of this is that the currencies in the Value are "independent", and are operated on separately.

Whenever we need to get the quantity of a currency in a Value where there is no explicit quantity of that currency in the Value, then the quantity is taken to be zero.

There is no 'Ord Value' instance since Value is only a partial order, so compare can't do the right thing in some cases.

Constructors

Value 

Fields

Instances

Instances details
Data Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Value → c Value Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Value Source #

toConstr ∷ Value → Constr Source #

dataTypeOf ∷ Value → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Value) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Value) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Value → Value Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Value → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Value → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Value → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Value → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Value → m Value Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Value → m Value Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Value → m Value Source #

Monoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

mempty ∷ Value Source #

mappend ∷ Value → Value → Value Source #

mconcat ∷ [Value] → Value Source #

Semigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(<>) ∷ Value → Value → Value Source #

sconcat ∷ NonEmpty Value → Value Source #

stimes ∷ Integral b ⇒ b → Value → Value Source #

Generic Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep Value ∷ Type → Type Source #

Methods

from ∷ Value → Rep Value x Source #

to ∷ Rep Value x → Value Source #

Show Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

showsPrec ∷ Int → Value → ShowS Source #

show ∷ Value → String Source #

showList ∷ [Value] → ShowS Source #

NFData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

rnf ∷ Value → () Source #

Eq Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(==) ∷ Value → Value → Bool Source #

(/=) ∷ Value → Value → Bool Source #

HasBlueprintDefinition Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Unroll Value ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

Eq Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(==) ∷ Value → Value → Bool Source #

FromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData ∷ BuiltinData → Maybe Value Source #

ToData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData ∷ Value → BuiltinData Source #

UnsafeFromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData ∷ BuiltinData → Value Source #

JoinSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(\/) ∷ Value → Value → Value Source #

MeetSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(/\) ∷ Value → Value → Value Source #

Group Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

inv ∷ Value → Value Source #

Monoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

mempty ∷ Value Source #

AdditiveGroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(-) ∷ Value → Value → Value Source #

AdditiveMonoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

zero ∷ Value Source #

AdditiveSemigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(+) ∷ Value → Value → Value Source #

Semigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(<>) ∷ Value → Value → Value Source #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty ∷ Value → Doc ann Source #

prettyList ∷ [Value] → Doc ann Source #

HasBlueprintSchema Value referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

schema ∷ Schema referencedTypes Source #

Lift DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

lift ∷ Value → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #

Module Integer Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

scale ∷ Integer → Value → Value Source #

Typeable DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

typeRep ∷ Proxy Value → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #

type Rep Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Rep Value = D1 ('MetaData "Value" "PlutusLedgerApi.V1.Value" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))
type Unroll Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Unroll Value = '[Value, CurrencySymbol, TokenName, Integer]

newtype CurrencySymbol Source #

ByteString representing the currency, hashed with BLAKE2b-224. It is empty for Ada, 28 bytes for MintingPolicyHash. Forms an AssetClass along with TokenName. A Value is a map from CurrencySymbol's to a map from TokenName to an Integer.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

CurrencySymbol 

Fields

Instances

Instances details
Data CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → CurrencySymbol → c CurrencySymbol Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c CurrencySymbol Source #

toConstr ∷ CurrencySymbol → Constr Source #

dataTypeOf ∷ CurrencySymbol → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c CurrencySymbol) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c CurrencySymbol) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → CurrencySymbol → CurrencySymbol Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → CurrencySymbol → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → CurrencySymbol → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → CurrencySymbol → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → CurrencySymbol → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source #

IsString CurrencySymbol Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromString ∷ String → CurrencySymbol Source #

Generic CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep CurrencySymbol ∷ Type → Type Source #

Methods

from ∷ CurrencySymbol → Rep CurrencySymbol x Source #

to ∷ Rep CurrencySymbol x → CurrencySymbol Source #

Show CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

showsPrec ∷ Int → CurrencySymbol → ShowS Source #

show ∷ CurrencySymbol → String Source #

showList ∷ [CurrencySymbol] → ShowS Source #