Script (de)serialization

Associated Types

type Rep ScriptNamedDeBruijn

Instance details

type Rep ScriptNamedDeBruijn = D1 ('MetaData "ScriptNamedDeBruijn" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptNamedDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Program NamedDeBruijn DefaultUni DefaultFun ()))))

Methods

from :: ScriptNamedDeBruijn -> Rep ScriptNamedDeBruijn x Source #

to :: Rep ScriptNamedDeBruijn x -> ScriptNamedDeBruijn Source #

Show ScriptNamedDeBruijn Source #

Instance details

Methods

showsPrec :: Int -> ScriptNamedDeBruijn -> ShowS Source #

show :: ScriptNamedDeBruijn -> String Source #

showList :: [ScriptNamedDeBruijn] -> ShowS Source #

NFData ScriptNamedDeBruijn Source #

Instance details

Methods

rnf :: ScriptNamedDeBruijn -> () Source #

Eq ScriptNamedDeBruijn Source #

Instance details

Methods

(==) :: ScriptNamedDeBruijn -> ScriptNamedDeBruijn -> Bool Source #

(/=) :: ScriptNamedDeBruijn -> ScriptNamedDeBruijn -> Bool Source #

type Rep ScriptNamedDeBruijn Source #

Instance details

evaluateScriptCounting Source #

type Rep ScriptNamedDeBruijn = D1 ('MetaData "ScriptNamedDeBruijn" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "ScriptNamedDeBruijn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Program NamedDeBruijn DefaultUni DefaultFun ()))))

Script evaluation

Arguments

:: PlutusLedgerLanguage	The Plutus ledger language of the script under execution.
-> 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.

Note: Parameterized over the ledger-plutus-version since the builtins allowed (during decoding) differs.

evaluateScriptRestricting Source #

Arguments

:: PlutusLedgerLanguage	The Plutus ledger language of the script under execution.
-> 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.

Note: Parameterized over the LedgerPlutusVersion since 1. The builtins allowed (during decoding) differ, and 2. The Plutus language versions allowed differ.

evaluateTerm :: ExBudgetMode cost DefaultUni DefaultFun -> MajorProtocolVersion -> VerboseMode -> EvaluationContext -> Term NamedDeBruijn DefaultUni DefaultFun () -> CekReport cost NamedDeBruijn DefaultUni DefaultFun Source #

Evaluate a fully-applied term using the CEK machine. Useful for mimicking the behaviour of the on-chain evaluator.

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.

data EvaluationError Source #

Errors that can be thrown when evaluating a Plutus script.

Constructors

CekError !(CekEvaluationException NamedDeBruijn DefaultUni DefaultFun)	An error from the evaluator itself
DeBruijnError !FreeVariableError	An error in the pre-evaluation step of converting from de-Bruijn indices
CodecError !ScriptDecodeError	A deserialisation error TODO: make this error more informative when we have more information about what went wrong
CostModelParameterMismatch	An error indicating that the cost model parameters didn't match what we expected
InvalidReturnValue	The script evaluated to a value that is not a valid return value.

Instances

Instances details

Show EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods showsPrec :: Int -> EvaluationError -> ShowS Source # show :: EvaluationError -> String Source # showList :: [EvaluationError] -> ShowS Source #
Eq EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods (==) :: EvaluationError -> EvaluationError -> Bool Source # (/=) :: EvaluationError -> EvaluationError -> Bool Source #
AsScriptDecodeError EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods _ScriptDecodeError :: Prism' EvaluationError ScriptDecodeError Source # _CBORDeserialiseError :: Prism' EvaluationError DeserialiseFailureInfo Source # _RemainderError :: Prism' EvaluationError ByteString Source # _LedgerLanguageNotAvailableError :: Prism' EvaluationError (PlutusLedgerLanguage, MajorProtocolVersion, MajorProtocolVersion) Source # _PlutusCoreLanguageNotAvailableError :: Prism' EvaluationError (Version, PlutusLedgerLanguage, MajorProtocolVersion) Source #
Pretty EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods pretty :: EvaluationError -> Doc ann prettyList :: [EvaluationError] -> Doc ann

Network's versioning

The network's behaviour (and plutus's by extension) can change via hard forks, which directly correspond to major-number protocol version bumps.

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 getMajorProtocolVersion :: Int

Instances

Instances details

Enum MajorProtocolVersion Source #

Instance details

Generic MajorProtocolVersion Source #

Instance details

Associated Types

type Rep MajorProtocolVersion

Instance details

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

Methods

from :: MajorProtocolVersion -> Rep MajorProtocolVersion x Source #

to :: Rep MajorProtocolVersion x -> MajorProtocolVersion Source #

Show MajorProtocolVersion Source #

Instance details

Methods

showsPrec :: Int -> MajorProtocolVersion -> ShowS Source #

show :: MajorProtocolVersion -> String Source #

showList :: [MajorProtocolVersion] -> ShowS Source #

Eq MajorProtocolVersion Source #

Instance details

Methods

(==) :: MajorProtocolVersion -> MajorProtocolVersion -> Bool Source #

(/=) :: MajorProtocolVersion -> MajorProtocolVersion -> Bool Source #

Ord MajorProtocolVersion Source #

Instance details

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

Methods

pretty :: MajorProtocolVersion -> Doc ann

prettyList :: [MajorProtocolVersion] -> Doc ann

Serialise MajorProtocolVersion Source #

Instance details

Methods

encode :: MajorProtocolVersion -> Encoding

decode :: Decoder s MajorProtocolVersion

encodeList :: [MajorProtocolVersion] -> Encoding

decodeList :: Decoder s [MajorProtocolVersion]

type Rep MajorProtocolVersion Source #

Instance details

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

data PlutusLedgerLanguage Source #

The Plutus ledger language. These are entirely different script languages from the ledger's perspective, which on our side are interpreted in very similar ways.

It is a simple enumerated datatype (there is no major and minor components as in protocol version) and the ordering of constructors is essential for deriving Enum,Ord,Bounded.

IMPORTANT: this is different from the Plutus Core language version, Version

Constructors

PlutusV1	introduced in Alonzo HF
PlutusV2	introduced in Vasil HF
PlutusV3	introduced in Chang HF

Instances

Instances details

Bounded PlutusLedgerLanguage Source #

Instance details

Methods

minBound :: PlutusLedgerLanguage Source #

maxBound :: PlutusLedgerLanguage Source #

Enum PlutusLedgerLanguage Source #

Instance details

Generic PlutusLedgerLanguage Source #

Instance details

Associated Types

type Rep PlutusLedgerLanguage

Instance details

type Rep PlutusLedgerLanguage = D1 ('MetaData "PlutusLedgerLanguage" "PlutusLedgerApi.Common.Versions" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PlutusLedgerLanguage -> Rep PlutusLedgerLanguage x Source #

to :: Rep PlutusLedgerLanguage x -> PlutusLedgerLanguage Source #

Show PlutusLedgerLanguage Source #

Instance details

Methods

showsPrec :: Int -> PlutusLedgerLanguage -> ShowS Source #

show :: PlutusLedgerLanguage -> String Source #

showList :: [PlutusLedgerLanguage] -> ShowS Source #

NFData PlutusLedgerLanguage Source #

Instance details

Methods

rnf :: PlutusLedgerLanguage -> () Source #

Eq PlutusLedgerLanguage Source #

Instance details

Methods

(==) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

(/=) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

Ord PlutusLedgerLanguage Source #

Instance details

Methods

compare :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Ordering Source #

(<) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

(<=) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

(>) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

(>=) :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> Bool Source #

max :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> PlutusLedgerLanguage Source #

min :: PlutusLedgerLanguage -> PlutusLedgerLanguage -> PlutusLedgerLanguage Source #

NoThunks PlutusLedgerLanguage Source #

Instance details

Methods

noThunks :: Context -> PlutusLedgerLanguage -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> PlutusLedgerLanguage -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy PlutusLedgerLanguage -> String

Pretty PlutusLedgerLanguage Source #

Instance details

Methods

pretty :: PlutusLedgerLanguage -> Doc ann

prettyList :: [PlutusLedgerLanguage] -> Doc ann

Serialise PlutusLedgerLanguage Source #

Instance details

Methods

encode :: PlutusLedgerLanguage -> Encoding

decode :: Decoder s PlutusLedgerLanguage

encodeList :: [PlutusLedgerLanguage] -> Encoding

decodeList :: Decoder s [PlutusLedgerLanguage]

type Rep PlutusLedgerLanguage Source #

Instance details

type Rep PlutusLedgerLanguage = D1 ('MetaData "PlutusLedgerLanguage" "PlutusLedgerApi.Common.Versions" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 :: Type -> Type)))

data Version #

Constructors

Version
Fields _versionMajor :: Natural _versionMinor :: Natural _versionPatch :: Natural

Instances

Instances details

Generic Version

Instance details

Defined in PlutusCore.Version

Associated Types

type Rep Version

Instance details

Defined in PlutusCore.Version

type Rep Version = D1 ('MetaData "Version" "PlutusCore.Version" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "_versionMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_versionMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_versionPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))

Methods

from :: Version -> Rep Version x Source #

to :: Rep Version x -> Version Source #

Show Version

Instance details

Defined in PlutusCore.Version

Methods

showsPrec :: Int -> Version -> ShowS Source #

show :: Version -> String Source #

showList :: [Version] -> ShowS Source #

NFData Version

Instance details

Defined in PlutusCore.Version

Methods

rnf :: Version -> () Source #

Eq Version

Instance details

Defined in PlutusCore.Version

Methods

(==) :: Version -> Version -> Bool Source #

(/=) :: Version -> Version -> Bool Source #

Ord Version

Instance details

Defined in PlutusCore.Version

Methods

compare :: Version -> Version -> Ordering Source #

(<) :: Version -> Version -> Bool Source #

(<=) :: Version -> Version -> Bool Source #

(>) :: Version -> Version -> Bool Source #

(>=) :: Version -> Version -> Bool Source #

max :: Version -> Version -> Version Source #

min :: Version -> Version -> Version Source #

Hashable Version

Instance details

Defined in PlutusCore.Version

Methods

hashWithSalt :: Int -> Version -> Int

hash :: Version -> Int

Pretty Version

Instance details

Defined in PlutusCore.Version

Methods

pretty :: Version -> Doc ann

prettyList :: [Version] -> Doc ann

type Rep Version

Instance details

Defined in PlutusCore.Version

type Rep Version = D1 ('MetaData "Version" "PlutusCore.Version" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "_versionMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_versionMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural) :*: S1 ('MetaSel ('Just "_versionPatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Natural))))

builtinsIntroducedIn :: PlutusLedgerLanguage -> Map MajorProtocolVersion (Set DefaultFun) Source #

Given a ledger language, return a map indicating which builtin functions were introduced in which MajorProtocolVersion. This must be updated when new builtins are added. It is not necessary to add entries for protocol versions where no new builtins are added. See Note [New builtins/language versions and protocol versions]

builtinsAvailableIn :: PlutusLedgerLanguage -> MajorProtocolVersion -> Set DefaultFun Source #

Return a set containing the builtins which are available in a given LL in a given PV. All builtins are available in all LLs from vanRossemPV onwards.

ledgerLanguageIntroducedIn :: PlutusLedgerLanguage -> MajorProtocolVersion Source #

Query the protocol version that a specific Plutus ledger language was first introduced in.

ledgerLanguagesAvailableIn :: MajorProtocolVersion -> Set PlutusLedgerLanguage Source #

Which Plutus language versions are available in the given MajorProtocolVersion? See Note [New builtins/language versions and protocol versions]. This function (and others in this module) assumes that once a LL is available it remains available in all later PVs and that if m <= n, PlutusVm is introduced no later than PlutusVn.

Protocol Versions

shelleyPV :: MajorProtocolVersion Source #

Shelley era was introduced in protocol version 2.0

allegraPV :: MajorProtocolVersion Source #

Allegra era was introduced in protocol version 3.0

maryPV :: MajorProtocolVersion Source #

Mary era was introduced in protocol version 4.0

alonzoPV :: MajorProtocolVersion Source #

Alonzo era was introduced in protocol version 5.0

vasilPV :: MajorProtocolVersion Source #

The Vasil HF introduced the Babbage era and Plutus V2

valentinePV :: MajorProtocolVersion Source #

Valentine was an intra-era HF where builtin functions VerifyEcdsaSecp256k1Signature and VerifySchnorrSecp256k1Signature were enabled.

changPV :: MajorProtocolVersion Source #

The Chang HF introduced the Conway era and Plutus V3

plominPV :: MajorProtocolVersion Source #

The Plomin HF was an intra-era HF where some new builtin functions were introduced in Plutus V2 and V3.

vanRossemPV :: MajorProtocolVersion Source #

The van Rossem HF will be an intra-era HF.

knownPVs :: [MajorProtocolVersion] Source #

The set of protocol versions that are "known", i.e. that have been released and have actual differences associated with them. This is currently only used for testing, so efficiency is not parmount and a list is fine.

Costing-related types

data ExBudget #

Constructors

ExBudget
Fields exBudgetCPU :: ExCPU exBudgetMemory :: ExMemory

Instances

Instances details

FromJSON ExBudget

Instance details

Methods

parseJSON :: Value -> Parser ExBudget

parseJSONList :: Value -> Parser [ExBudget]

omittedField :: Maybe ExBudget

ToJSON ExBudget

Instance details

Methods

toJSON :: ExBudget -> Value

toEncoding :: ExBudget -> Encoding

toJSONList :: [ExBudget] -> Value

toEncodingList :: [ExBudget] -> Encoding

omitField :: ExBudget -> Bool

Monoid ExBudget

Instance details

Methods

mempty :: ExBudget Source #

mappend :: ExBudget -> ExBudget -> ExBudget Source #

mconcat :: [ExBudget] -> ExBudget Source #

Semigroup ExBudget

Instance details

Methods

(<>) :: ExBudget -> ExBudget -> ExBudget Source #

sconcat :: NonEmpty ExBudget -> ExBudget Source #

stimes :: Integral b => b -> ExBudget -> ExBudget Source #

Generic ExBudget

Instance details

Associated Types

type Rep ExBudget

Instance details

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

Methods

from :: ExBudget -> Rep ExBudget x Source #

to :: Rep ExBudget x -> ExBudget Source #

Show ExBudget

Instance details

Methods

showsPrec :: Int -> ExBudget -> ShowS Source #

show :: ExBudget -> String Source #

showList :: [ExBudget] -> ShowS Source #

NFData ExBudget

Instance details

Methods

rnf :: ExBudget -> () Source #

Eq ExBudget

Instance details

Methods

(==) :: ExBudget -> ExBudget -> Bool Source #

(/=) :: ExBudget -> ExBudget -> Bool Source #

NoThunks ExBudget

Instance details

Methods

noThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExBudget -> String

Pretty ExBudget

Instance details

Methods

pretty :: ExBudget -> Doc ann

prettyList :: [ExBudget] -> Doc ann

Serialise ExBudget

Instance details

Methods

encode :: ExBudget -> Encoding

decode :: Decoder s ExBudget

encodeList :: [ExBudget] -> Encoding

decodeList :: Decoder s [ExBudget]

PrettyBy config ExBudget

Instance details

Methods

prettyBy :: config -> ExBudget -> Doc ann

prettyListBy :: config -> [ExBudget] -> Doc ann

Lift ExBudget

Instance details

Methods

lift :: Quote m => ExBudget -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExBudget -> Code m ExBudget Source #

type Rep ExBudget

Instance details

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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 #

Constructors

ExCPU CostingInteger

Instances

Instances details

FromJSON ExCPU

Instance details

Methods

parseJSON :: Value -> Parser ExCPU

parseJSONList :: Value -> Parser [ExCPU]

omittedField :: Maybe ExCPU

ToJSON ExCPU

Instance details

Methods

toJSON :: ExCPU -> Value

toEncoding :: ExCPU -> Encoding

toJSONList :: [ExCPU] -> Value

toEncodingList :: [ExCPU] -> Encoding

omitField :: ExCPU -> Bool

Monoid ExCPU

Instance details

Methods

mempty :: ExCPU Source #

mappend :: ExCPU -> ExCPU -> ExCPU Source #

mconcat :: [ExCPU] -> ExCPU Source #

Semigroup ExCPU

Instance details

Methods

(<>) :: ExCPU -> ExCPU -> ExCPU Source #

sconcat :: NonEmpty ExCPU -> ExCPU Source #

stimes :: Integral b => b -> ExCPU -> ExCPU Source #

Bounded ExCPU

Instance details

Methods

minBound :: ExCPU Source #

maxBound :: ExCPU Source #

Generic ExCPU

Instance details

Associated Types

type Rep ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

Methods

from :: ExCPU -> Rep ExCPU x Source #

to :: Rep ExCPU x -> ExCPU Source #

Num ExCPU

Instance details

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

Methods

readsPrec :: Int -> ReadS ExCPU Source #

readList :: ReadS [ExCPU] Source #

readPrec :: ReadPrec ExCPU Source #

readListPrec :: ReadPrec [ExCPU] Source #

Show ExCPU

Instance details

Methods

showsPrec :: Int -> ExCPU -> ShowS Source #

show :: ExCPU -> String Source #

showList :: [ExCPU] -> ShowS Source #

NFData ExCPU

Instance details

Methods

rnf :: ExCPU -> () Source #

Eq ExCPU

Instance details

Methods

(==) :: ExCPU -> ExCPU -> Bool Source #

(/=) :: ExCPU -> ExCPU -> Bool Source #

Ord ExCPU

Instance details

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

Methods

noThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExCPU -> String

Pretty ExCPU

Instance details

Methods

pretty :: ExCPU -> Doc ann

prettyList :: [ExCPU] -> Doc ann

Serialise ExCPU

Instance details

Methods

encode :: ExCPU -> Encoding

decode :: Decoder s ExCPU

encodeList :: [ExCPU] -> Encoding

decodeList :: Decoder s [ExCPU]

PrettyBy config ExCPU

Instance details

Methods

prettyBy :: config -> ExCPU -> Doc ann

prettyListBy :: config -> [ExCPU] -> Doc ann

Lift ExCPU

Instance details

Methods

lift :: Quote m => ExCPU -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExCPU -> Code m ExCPU Source #

type Rep ExCPU

Instance details

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

newtype ExMemory #

Constructors

ExMemory CostingInteger

Instances

Instances details

FromJSON ExMemory

Instance details

Methods

parseJSON :: Value -> Parser ExMemory

parseJSONList :: Value -> Parser [ExMemory]

omittedField :: Maybe ExMemory

ToJSON ExMemory

Instance details

Methods

toJSON :: ExMemory -> Value

toEncoding :: ExMemory -> Encoding

toJSONList :: [ExMemory] -> Value

toEncodingList :: [ExMemory] -> Encoding

omitField :: ExMemory -> Bool

Monoid ExMemory

Instance details

Methods

mempty :: ExMemory Source #

mappend :: ExMemory -> ExMemory -> ExMemory Source #

mconcat :: [ExMemory] -> ExMemory Source #

Semigroup ExMemory

Instance details

Methods

(<>) :: ExMemory -> ExMemory -> ExMemory Source #

sconcat :: NonEmpty ExMemory -> ExMemory Source #

stimes :: Integral b => b -> ExMemory -> ExMemory Source #

Bounded ExMemory

Instance details

Methods

minBound :: ExMemory Source #

maxBound :: ExMemory Source #

Generic ExMemory

Instance details

Associated Types

type Rep ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

Methods

from :: ExMemory -> Rep ExMemory x Source #

to :: Rep ExMemory x -> ExMemory Source #

Num ExMemory

Instance details

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

Methods

readsPrec :: Int -> ReadS ExMemory Source #

readList :: ReadS [ExMemory] Source #

readPrec :: ReadPrec ExMemory Source #

readListPrec :: ReadPrec [ExMemory] Source #

Show ExMemory

Instance details

Methods

showsPrec :: Int -> ExMemory -> ShowS Source #

show :: ExMemory -> String Source #

showList :: [ExMemory] -> ShowS Source #

NFData ExMemory

Instance details

Methods

rnf :: ExMemory -> () Source #

Eq ExMemory

Instance details

Methods

(==) :: ExMemory -> ExMemory -> Bool Source #

(/=) :: ExMemory -> ExMemory -> Bool Source #

Ord ExMemory

Instance details

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

Methods

noThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExMemory -> String

Pretty ExMemory

Instance details

Methods

pretty :: ExMemory -> Doc ann

prettyList :: [ExMemory] -> Doc ann

Serialise ExMemory

Instance details

Methods

encode :: ExMemory -> Encoding

decode :: Decoder s ExMemory

encodeList :: [ExMemory] -> Encoding

decodeList :: Decoder s [ExMemory]

PrettyBy config ExMemory

Instance details

Methods

prettyBy :: config -> ExMemory -> Doc ann

prettyListBy :: config -> [ExMemory] -> Doc ann

Lift ExMemory

Instance details

Methods

lift :: Quote m => ExMemory -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExMemory -> Code m ExMemory Source #

type Rep ExMemory

Instance details

Exception CostModelApplyError

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

data SatInt #

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
Instance details Defined in Data.SatInt type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-1.60.0.0-2C9xwdLyWTR7tOiX7lalN8-satint" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from :: SatInt -> Rep SatInt x Source #

to :: Rep SatInt x -> SatInt Source #

Num SatInt

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)

wNoThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy SatInt -> String

Prim SatInt

Instance details

Defined in Data.SatInt

Methods

sizeOfType# :: Proxy SatInt -> Int#

sizeOf# :: SatInt -> Int#

alignmentOfType# :: Proxy SatInt -> Int#

alignment# :: SatInt -> Int#

indexByteArray# :: ByteArray# -> Int# -> SatInt

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, SatInt #)

writeByteArray# :: MutableByteArray# s -> Int# -> SatInt -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> SatInt -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> SatInt

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, SatInt #)

writeOffAddr# :: Addr# -> Int# -> SatInt -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> SatInt -> State# s -> State# s

Serialise SatInt

Instance details

Defined in Data.SatInt

Methods

encode :: SatInt -> Encoding

decode :: Decoder s SatInt

encodeList :: [SatInt] -> Encoding

decodeList :: Decoder s [SatInt]

Lift SatInt

Instance details

Defined in Data.SatInt

Methods

lift :: Quote m => SatInt -> m Exp Source #

liftTyped :: forall (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.60.0.0-2C9xwdLyWTR7tOiX7lalN8-satint" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

fromSatInt :: Num a => SatInt -> a #

Network's costing parameters

A less drastic approach (that does not rely on a HF) to affect the network's (and plutus's by extension) behaviour is by tweaking the values of the cost model parameters.

The network does not associate names to cost model parameters; Plutus attaches names to the network's cost model parameters (values) either in a raw textual form or typed by a specific plutus version.

See Note [Cost model parameters]

type CostModelParams = Map Text Int64 #

toCostModelParams :: IsParamName p => [(p, Int64)] -> CostModelParams Source #

Untags the plutus version from the typed cost model parameters and returns their raw textual form (internally used by CostModelInterface).

assertWellFormedCostModelParams :: MonadError CostModelApplyError m => CostModelParams -> m () Source #

class (Enum a, Bounded a) => IsParamName a where Source #

A parameter name for different plutus versions.

Each Plutus version should expose such an enumeration as an ADT and create an instance of ParamName out of it.

A valid parameter name has to be enumeration, bounded, ordered, and prettyprintable to a "lower-Kebab" string.

Minimal complete definition

showParamName

Methods

showParamName :: a -> Text Source #

Produce the raw textual form for a given typed-by-plutus-version cost model parameter Any implementation *must be* an injective function. The GIsParamName generic implementation guarantees injectivity.

readParamName :: Text -> Maybe a Source #

default implementation that inverts the showParamName operation (not very efficient)

Instances

Instances details

IsParamName ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods showParamName :: ParamName -> Text Source # readParamName :: Text -> Maybe ParamName Source #
IsParamName ParamName Source #
Instance details Defined in PlutusLedgerApi.V2.ParamName Methods showParamName :: ParamName -> Text Source # readParamName :: Text -> Maybe ParamName Source #
IsParamName ParamName Source #
Instance details Defined in PlutusLedgerApi.V3.ParamName Methods showParamName :: ParamName -> Text Source # readParamName :: Text -> Maybe ParamName Source #
(Enum (GenericParamName a), Bounded (GenericParamName a), Generic a, GIsParamName (Rep a)) => IsParamName (GenericParamName a) Source #
Instance details Defined in PlutusLedgerApi.Common.ParamName Methods showParamName :: GenericParamName a -> Text Source # readParamName :: Text -> Maybe (GenericParamName a) Source #

data GenericParamName a Source #

A Generic wrapper for use with deriving via

Instances

Instances details

Bounded a => Bounded (GenericParamName a) Source #
Instance details Defined in PlutusLedgerApi.Common.ParamName Methods minBound :: GenericParamName a Source # maxBound :: GenericParamName a Source #
Enum a => Enum (GenericParamName a) Source #
Instance details Defined in PlutusLedgerApi.Common.ParamName Methods succ :: GenericParamName a -> GenericParamName a Source # pred :: GenericParamName a -> GenericParamName a Source # toEnum :: Int -> GenericParamName a Source # fromEnum :: GenericParamName a -> Int Source # enumFrom :: GenericParamName a -> [GenericParamName a] Source # enumFromThen :: GenericParamName a -> GenericParamName a -> [GenericParamName a] Source # enumFromTo :: GenericParamName a -> GenericParamName a -> [GenericParamName a] Source # enumFromThenTo :: GenericParamName a -> GenericParamName a -> GenericParamName a -> [GenericParamName a] Source #
(Enum (GenericParamName a), Bounded (GenericParamName a), Generic a, GIsParamName (Rep a)) => IsParamName (GenericParamName a) Source #
Instance details Defined in PlutusLedgerApi.Common.ParamName Methods showParamName :: GenericParamName a -> Text Source # readParamName :: Text -> Maybe (GenericParamName a) Source #

data CostModelApplyError #

Constructors

CMUnknownParamError !Text
CMInternalReadError
CMInternalWriteError !String

Instances

Instances details

Data CostModelApplyError

Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CostModelApplyError -> c CostModelApplyError Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CostModelApplyError Source #

toConstr :: CostModelApplyError -> Constr Source #

dataTypeOf :: CostModelApplyError -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CostModelApplyError) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CostModelApplyError) Source #

gmapT :: (forall b. Data b => b -> b) -> CostModelApplyError -> CostModelApplyError Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CostModelApplyError -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CostModelApplyError -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CostModelApplyError -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CostModelApplyError -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

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

Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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))))

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)

wNoThunks :: Context -> CostModelApplyError -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy CostModelApplyError -> String

Pretty CostModelApplyError

Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

pretty :: CostModelApplyError -> Doc ann

prettyList :: [CostModelApplyError] -> Doc ann

type Rep CostModelApplyError

Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" '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))))

data CostModelApplyWarn #

Constructors

CMTooManyParamsWarn
Fields cmExpected :: !Int cmActual :: !Int
CMTooFewParamsWarn
Fields cmExpected :: !Int cmActual :: !Int

Instances

Instances details

Pretty CostModelApplyWarn
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty :: CostModelApplyWarn -> Doc ann prettyList :: [CostModelApplyWarn] -> Doc ann

Evaluation context

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

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
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

Constructors

EvaluationContext

Fields

_evalCtxLedgerLang :: PlutusLedgerLanguage
Specifies what language versions the EvaluationContext is for.
_evalCtxCaserBuiltin :: MajorProtocolVersion -> CaserBuiltin DefaultUni
Specifies how 'case' on values of built-in types works: fails evaluation for older protocol versions and defers to caseBuiltin for newer ones. Note that this function doesn't depend on the PlutusLedgerLanguage or the AST version: deserialisation of a 1.0.0 AST fails upon encountering a Case node anyway, so we can safely assume here that 'case' is available. FIXME: do we need to test that it fails for older PVs? We can't submit transactions in old PVs, so maybe it doesn't matter.
_evalCtxToSemVar :: MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun
Specifies how to get a semantics variant for this ledger language given a MajorProtocolVersion.
_evalCtxMachParsCache :: [(BuiltinSemanticsVariant DefaultFun, DefaultMachineVariantParameters)]
The cache of DefaultMachineParameters for each semantics variant supported by the current language version.

Instances

Instances details

Generic EvaluationContext Source #

Instance details

Associated Types

type Rep EvaluationContext

Instance details

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_evalCtxLedgerLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PlutusLedgerLanguage) :*: S1 ('MetaSel ('Just "_evalCtxCaserBuiltin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion -> CaserBuiltin DefaultUni))) :*: (S1 ('MetaSel ('Just "_evalCtxToSemVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun)) :*: S1 ('MetaSel ('Just "_evalCtxMachParsCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(BuiltinSemanticsVariant DefaultFun, DefaultMachineVariantParameters)]))))

Methods

from :: EvaluationContext -> Rep EvaluationContext x Source #

to :: Rep EvaluationContext x -> EvaluationContext Source #

NFData EvaluationContext Source #

Instance details

Methods

rnf :: EvaluationContext -> () Source #

NoThunks EvaluationContext Source #

Instance details

Methods

noThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy EvaluationContext -> String

type Rep EvaluationContext Source #

Instance details

mkTermToEvaluate Source #

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_evalCtxLedgerLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PlutusLedgerLanguage) :*: S1 ('MetaSel ('Just "_evalCtxCaserBuiltin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion -> CaserBuiltin DefaultUni))) :*: (S1 ('MetaSel ('Just "_evalCtxToSemVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun)) :*: S1 ('MetaSel ('Just "_evalCtxMachParsCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(BuiltinSemanticsVariant DefaultFun, DefaultMachineVariantParameters)]))))

mkDynEvaluationContext :: MonadError CostModelApplyError m => PlutusLedgerLanguage -> (MajorProtocolVersion -> CaserBuiltin DefaultUni) -> [BuiltinSemanticsVariant DefaultFun] -> (MajorProtocolVersion -> BuiltinSemanticsVariant DefaultFun) -> CostModelParams -> m EvaluationContext Source #

Create an EvaluationContext given all builtin semantics variants supported by the provided language version.

The input is a Map of Texts to cost integer values (aka CostModelParams, CostModel) See Note [Inlining meanings of builtins].

IMPORTANT: the toSemVar argument computes the semantics variant for each MajorProtocolVersion and it must only return semantics variants from the semVars list, as well as cover ANY MajorProtocolVersion, including those that do not exist yet (i.e. toSemVar must never fail).

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

toMachineParameters :: MajorProtocolVersion -> EvaluationContext -> DefaultMachineParameters Source #

Arguments

:: MonadError EvaluationError m
=> PlutusLedgerLanguage	the Plutus ledger language of the script under execution.
-> MajorProtocolVersion	which major protocol version to run the operation in
-> ScriptForEvaluation	the script to evaluate
-> [Data]	the arguments that the script's underlying term will be applied to
-> m (Term NamedDeBruijn DefaultUni DefaultFun ())

Shared helper for the evaluation functions: evaluateScriptCounting and evaluateScriptRestricting,

Given a ScriptForEvaluation:

1) applies the term to a list of Data arguments (e.g. Datum, Redeemer, ScriptContext) 2) checks that the applied-term is well-scoped 3) returns the applied-term

Supporting types used in the context types

Builtins

data BuiltinByteString #

Instances

Instances details

Data BuiltinByteString

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinByteString -> c BuiltinByteString Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinByteString Source #

toConstr :: BuiltinByteString -> Constr Source #

dataTypeOf :: BuiltinByteString -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinByteString) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinByteString) Source #

gmapT :: (forall b. Data b => b -> b) -> BuiltinByteString -> BuiltinByteString Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BuiltinByteString -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinByteString -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

Monoid BuiltinByteString

Instance details

Semigroup BuiltinByteString

Methods

mempty :: BuiltinByteString Source #

mappend :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #

mconcat :: [BuiltinByteString] -> BuiltinByteString Source #

Instance details

Methods

(<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #

sconcat :: NonEmpty BuiltinByteString -> BuiltinByteString Source #

stimes :: Integral b => b -> BuiltinByteString -> BuiltinByteString Source #

Show BuiltinByteString

Instance details

Methods

showsPrec :: Int -> BuiltinByteString -> ShowS Source #

show :: BuiltinByteString -> String Source #

showList :: [BuiltinByteString] -> ShowS Source #

NFData BuiltinByteString

Instance details

Methods

rnf :: BuiltinByteString -> () Source #

Eq BuiltinByteString

Instance details

Methods

(==) :: BuiltinByteString -> BuiltinByteString -> Bool Source #

(/=) :: BuiltinByteString -> BuiltinByteString -> Bool Source #

Ord BuiltinByteString

Instance details

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

Methods

hashWithSalt :: Int -> BuiltinByteString -> Int

hash :: BuiltinByteString -> Int

ByteArray BuiltinByteString

Instance details

Methods

allocRet :: Int -> (Ptr p -> IO a) -> IO (a, BuiltinByteString)

ByteArrayAccess BuiltinByteString

Instance details

Methods

length :: BuiltinByteString -> Int

withByteArray :: BuiltinByteString -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: BuiltinByteString -> Ptr p -> IO ()

HasBlueprintDefinition BuiltinByteString

Instance details

Associated Types

type Unroll BuiltinByteString
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll type Unroll BuiltinByteString = '[BuiltinByteString]

Methods

definitionId :: DefinitionId

HasFromBuiltin BuiltinByteString

Instance details

Associated Types

type FromBuiltin BuiltinByteString
Instance details Defined in PlutusTx.Builtins.HasBuiltin type FromBuiltin BuiltinByteString = ByteString

Methods

fromBuiltin :: BuiltinByteString -> FromBuiltin BuiltinByteString #

MkNil BuiltinByteString

Instance details

FromData BuiltinByteString

Methods

mkNil :: BuiltinList BuiltinByteString

Eq BuiltinByteString

Instance details

Defined in PlutusTx.Eq.Class

Methods

(==) :: BuiltinByteString -> BuiltinByteString -> Bool

Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinByteString #

ToData BuiltinByteString

Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinByteString -> BuiltinData #

UnsafeFromData BuiltinByteString

Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinByteString #

Monoid BuiltinByteString

Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: BuiltinByteString

Ord BuiltinByteString

Instance details

Defined in PlutusTx.Ord.Class

Methods

compare :: BuiltinByteString -> BuiltinByteString -> Ordering

(<) :: BuiltinByteString -> BuiltinByteString -> Bool

(<=) :: BuiltinByteString -> BuiltinByteString -> Bool

(>) :: BuiltinByteString -> BuiltinByteString -> Bool

(>=) :: BuiltinByteString -> BuiltinByteString -> Bool

max :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

min :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

Semigroup BuiltinByteString

Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

Pretty BuiltinByteString

Instance details

Methods

pretty :: BuiltinByteString -> Doc ann

prettyList :: [BuiltinByteString] -> Doc ann

Serialise BuiltinByteString

Instance details

Methods

encode :: BuiltinByteString -> Encoding

decode :: Decoder s BuiltinByteString

encodeList :: [BuiltinByteString] -> Encoding

decodeList :: Decoder s [BuiltinByteString]

HasBlueprintSchema BuiltinByteString referencedTypes

Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema :: Schema referencedTypes

HasFromOpaque BuiltinByteString BuiltinByteString

Instance details

Methods

fromOpaque :: BuiltinByteString -> BuiltinByteString #

HasToOpaque BuiltinByteString BuiltinByteString

Instance details

Methods

toOpaque :: BuiltinByteString -> BuiltinByteString #

HasTermLevel uni ByteString => Lift uni BuiltinByteString

Instance details

Defined in PlutusTx.Lift.Class

Methods

lift :: BuiltinByteString -> RTCompile uni fun (Term TyName Name uni fun ())

HasTypeLevel uni ByteString => Typeable uni BuiltinByteString

Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep :: Proxy BuiltinByteString -> RTCompile uni fun (Type TyName uni ())

type Unroll BuiltinByteString

Instance details

type Unroll BuiltinByteString = '[BuiltinByteString]

type FromBuiltin BuiltinByteString

Instance details

type FromBuiltin BuiltinByteString = ByteString

toBuiltin :: HasToBuiltin a => a -> ToBuiltin a #

fromBuiltin :: HasFromBuiltin arep => arep -> FromBuiltin arep #

toOpaque :: HasToOpaque a arep => a -> arep #

fromOpaque :: HasFromOpaque arep a => arep -> a #

Data

data Data #

Constructors

Constr Integer [Data]
Map [(Data, Data)]
List [Data]
I Integer
B ByteString

Instances

Instances details

Data Data

Instance details

Defined in PlutusCore.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Data -> c Data Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Data Source #

toConstr :: Data -> Constr Source #

dataTypeOf :: Data -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Data) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Data) Source #

gmapT :: (forall b. Data b => b -> b) -> Data -> Data Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Data -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Data -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Data -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Data -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Data -> m Data Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Data -> m Data Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Data -> m Data Source #

Generic Data

Instance details

Defined in PlutusCore.Data

Associated Types

type Rep Data

Instance details

Defined in PlutusCore.Data

type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Data, Data)]))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

Methods

from :: Data -> Rep Data x Source #

to :: Rep Data x -> Data Source #

Read Data

Instance details

Defined in PlutusCore.Data

Methods

readsPrec :: Int -> ReadS Data Source #

readList :: ReadS [Data] Source #

readPrec :: ReadPrec Data Source #

readListPrec :: ReadPrec [Data] Source #

Show Data

Instance details

Defined in PlutusCore.Data

Methods

showsPrec :: Int -> Data -> ShowS Source #

show :: Data -> String Source #

showList :: [Data] -> ShowS Source #

NFData Data

Instance details

Defined in PlutusCore.Data

Methods

rnf :: Data -> () Source #

Eq Data

Instance details

Defined in PlutusCore.Data

Methods

(==) :: Data -> Data -> Bool Source #

(/=) :: Data -> Data -> Bool Source #

Ord Data

Instance details

Defined in PlutusCore.Data

Methods

compare :: Data -> Data -> Ordering Source #

(<) :: Data -> Data -> Bool Source #

(<=) :: Data -> Data -> Bool Source #

(>) :: Data -> Data -> Bool Source #

(>=) :: Data -> Data -> Bool Source #

max :: Data -> Data -> Data Source #

min :: Data -> Data -> Data Source #

Hashable Data

Instance details

Defined in PlutusCore.Data

Methods

hashWithSalt :: Int -> Data -> Int

hash :: Data -> Int

NoThunks Data

Instance details

Defined in PlutusCore.Data

Methods

noThunks :: Context -> Data -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> Data -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy Data -> String

ExMemoryUsage Data

Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage

Methods

memoryUsage :: Data -> CostRose

HasToBuiltin Data

Instance details

Associated Types

type ToBuiltin Data
Instance details Defined in PlutusTx.Builtins.HasBuiltin type ToBuiltin Data = BuiltinData

Methods

toBuiltin :: Data -> ToBuiltin Data #

Pretty Data

Instance details

Defined in PlutusCore.Data

Methods

pretty :: Data -> Doc ann

prettyList :: [Data] -> Doc ann

Serialise Data

Instance details

Defined in PlutusCore.Data

Methods

encode :: Data -> Encoding

decode :: Decoder s Data

encodeList :: [Data] -> Encoding

decodeList :: Decoder s [Data]

PrettyBy ConstConfig Data

Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

prettyBy :: ConstConfig -> Data -> Doc ann

prettyListBy :: ConstConfig -> [Data] -> Doc ann

KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term Data

Instance details

Methods

makeKnown :: Data -> BuiltinResult term

KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term Data

Instance details

Methods

readKnown :: term -> ReadKnownM Data

Contains DefaultUni Data

Instance details

Methods

knownUni :: DefaultUni (Esc Data)

KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni Data

Instance details

Associated Types

type IsBuiltin DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni hole Data
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc Data
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)

Methods

typeAst :: Type tyname DefaultUni ()

type Rep Data

Instance details

Defined in PlutusCore.Data

type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.60.0.0-LXFqBsoUlXsJIEqLytHte7" 'False) ((C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Data, Data)]))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

type ToBuiltin Data

Instance details

type ToBuiltin Data = BuiltinData

type IsBuiltin DefaultUni Data

Instance details

type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)

type ToBinds DefaultUni acc Data

Instance details

type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)

type ToHoles DefaultUni hole Data

Instance details

type ToHoles DefaultUni hole Data = ToHoles DefaultUni hole (ElaborateBuiltin DefaultUni Data)

data BuiltinData #

Constructors

BuiltinData ~Data

Instances

Instances details

Data BuiltinData

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinData -> c BuiltinData Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinData Source #

toConstr :: BuiltinData -> Constr Source #

dataTypeOf :: BuiltinData -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinData) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinData) Source #

gmapT :: (forall b. Data b => b -> b) -> BuiltinData -> BuiltinData Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BuiltinData -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinData -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #

Generic BuiltinData

Instance details

Associated Types

type Rep BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "BuiltinData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Data)))

Methods

from :: BuiltinData -> Rep BuiltinData x Source #

to :: Rep BuiltinData x -> BuiltinData Source #

Show BuiltinData

Instance details

Methods

showsPrec :: Int -> BuiltinData -> ShowS Source #

show :: BuiltinData -> String Source #

showList :: [BuiltinData] -> ShowS Source #

NFData BuiltinData

Instance details

Methods

rnf :: BuiltinData -> () Source #

Eq BuiltinData

Instance details

Methods

(==) :: BuiltinData -> BuiltinData -> Bool Source #

(/=) :: BuiltinData -> BuiltinData -> Bool Source #

Ord BuiltinData

Instance details

Methods

compare :: BuiltinData -> BuiltinData -> Ordering Source #

(<) :: BuiltinData -> BuiltinData -> Bool Source #

(<=) :: BuiltinData -> BuiltinData -> Bool Source #

(>) :: BuiltinData -> BuiltinData -> Bool Source #

(>=) :: BuiltinData -> BuiltinData -> Bool Source #

max :: BuiltinData -> BuiltinData -> BuiltinData Source #

min :: BuiltinData -> BuiltinData -> BuiltinData Source #

HasBlueprintDefinition BuiltinData

Instance details

Associated Types

type Unroll BuiltinData
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll type Unroll BuiltinData = '[BuiltinData]

Methods

definitionId :: DefinitionId

HasFromBuiltin BuiltinData

Instance details

Associated Types

type FromBuiltin BuiltinData
Instance details Defined in PlutusTx.Builtins.HasBuiltin type FromBuiltin BuiltinData = Data

Methods

fromBuiltin :: BuiltinData -> FromBuiltin BuiltinData #

MkNil BuiltinData

Instance details

UnsafeFromData BuiltinData

Methods

mkNil :: BuiltinList BuiltinData

Eq BuiltinData

Instance details

Defined in PlutusTx.Eq.Class

Methods

(==) :: BuiltinData -> BuiltinData -> Bool

FromData BuiltinData

Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinData #

ToData BuiltinData

Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinData -> BuiltinData #

Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinData #

Pretty BuiltinData

Instance details

Methods

pretty :: BuiltinData -> Doc ann

prettyList :: [BuiltinData] -> Doc ann

HasBlueprintSchema BuiltinData referencedTypes

Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema :: Schema referencedTypes

HasFromOpaque BuiltinData BuiltinData

Instance details

Methods

fromOpaque :: BuiltinData -> BuiltinData #

HasToOpaque BuiltinData BuiltinData

Instance details

Methods

toOpaque :: BuiltinData -> BuiltinData #

HasTermLevel uni Data => Lift uni BuiltinData

Instance details

Defined in PlutusTx.Lift.Class

Methods

lift :: BuiltinData -> RTCompile uni fun (Term TyName Name uni fun ())

HasTypeLevel uni Data => Typeable uni BuiltinData

Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep :: Proxy BuiltinData -> RTCompile uni fun (Type TyName uni ())

HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData)

Instance details

Methods

toOpaque :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData #

type Rep BuiltinData

Instance details

type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.60.0.0-2VI8qZOpowK2Zo3DTnqORk" 'False) (C1 ('MetaCons "BuiltinData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Data)))

type Unroll BuiltinData

Instance details

type Unroll BuiltinData = '[BuiltinData]

type FromBuiltin BuiltinData

Instance details