scalus.uplc.eval

Attributes

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class CountingBudgetSpender

object NoBudgetSpender

class RestrictingBudgetSpender

class TallyingBudgetSpender

class TallyingBudgetSpenderLogger

Attributes

Companion

object

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Companion

class

Supertypes

trait Product

trait Mirror

class Object

trait Matchable

class Any

Self type

BuiltinCostModel.type

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Known subtypes

class DeserializationError

class KnownTypeUnliftingError

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Value parameters

budgetSpender

The budget spender implementation

logger

The logger implementation

params

The machine parameters MachineParams

platformSpecific

The platform specific implementation of certain functions used by builtins

Attributes

See also

https://github.com/input-output-hk/plutus/blob/41a7afebc4cee277bab702ee1678c070e5e38810/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs

Note

The machine is stateless and can be reused for multiple evaluations. All the state is expected to be in the budgetSpender and logger implementations.

Example

 val term = LamAbs("x", Apply(Var(NamedDeBruijn("x", 0)), Var(NamedDeBruijn("x", 0))))
 val cek = new CekMachine(MachineParams.defaultParams, NoBudgetSpender, NoLogger, JVMPlatformSpecific)
 val res = cek.runCek(term)

Supertypes

class BuiltinsMeaning

class Object

trait Matchable

class Any

Attributes

Companion

object

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Companion

class

Supertypes

trait Product

trait Mirror

class Object

trait Matchable

class Any

Self type

CekMachineCosts.type

Attributes

Supertypes

class Object

trait Matchable

class Any

Attributes

Supertypes

trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class Object

trait Matchable

class Any

Known subtypes

trait FiveArguments

class ConstantCost

trait FourArguments

class ConstantCost

trait OneArgument

class ConstantCost

class LinearInX

trait SixArguments

class ConstantCost

trait ThreeArguments

class ConstantCost

class LinearInMaxYZ

class LinearInX

class LinearInY

class LinearInYAndZ

class LinearInZ

class LiteralInYOrLinearInZ

class QuadraticInZ

trait TwoArguments

class AddedSizes

class ConstAboveDiagonal

class ConstBelowDiagonal

class ConstOffDiagonal

class ConstantCost

class LinearInX

class LinearInXAndY

class LinearInY

class LinearOnDiagonal

class MaxSize

class MinSize

class MultipliedSizes

class QuadraticInXAndY

class QuadraticInY

class SubtractedSizes

Show all

Attributes

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class DefaultCostingFun[M]

class IntegerToByteStringCostingFun

Attributes

Supertypes

trait BudgetSpender

class Object

trait Matchable

class Any

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

trait CostingFun

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class BuiltinException

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Companion

object

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Companion

class

Supertypes

trait Product

trait Mirror

class Object

trait Matchable

class Any

Self type

ExBudget.type

Attributes

Supertypes

trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class Object

trait Matchable

class Any

Self type

ExCPU.type

Attributes

Supertypes

class Object

trait Matchable

class Any

Self type

ExMemory.type

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class ConstantCost

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

FiveArguments.type

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class ConstantCost

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

FourArguments.type

Attributes

See also

Plutus implementation https://github.com/IntersectMBO/plutus/blob/bc8c3a765769d2c0cd41c43278f5954cfdfd9b15/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExMemoryUsage.hs#L171

Supertypes

trait Serializable

trait Product

trait Equals

trait CostingFun

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class BuiltinException

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Logger

class Object

trait Matchable

class Any

Attributes

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class Log

object NoLogger

class TallyingBudgetSpenderLogger

Attributes

Supertypes

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Known subtypes

class BuiltinException

class DeserializationError

class KnownTypeUnliftingError

class StackTraceMachineError

class BuiltinError

class BuiltinTermArgumentExpectedMachineError

class EvaluationFailure

class MissingCaseBranch

class NonConstrScrutinized

class NonFunctionalApplicationMachineError

class NonPolymorphicInstantiationMachineError

class OpenTermEvaluatedMachineError

class OutOfExBudgetError

class UnexpectedBuiltinTermArgumentMachineError

class UnknownBuiltin

Show all

Value parameters

builtinCostModel

The builtin cost model

machineCosts

The machine costs

Attributes

Companion

object

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Companion

class

Supertypes

trait Product

trait Mirror

class Object

trait Matchable

class Any

Self type

MachineParams.type

Attributes

Companion

object

Supertypes

class Object

trait Matchable

class Any

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

MemoryUsage.type

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait BudgetSpender

class Object

trait Matchable

class Any

Self type

NoBudgetSpender.type

Attributes

Supertypes

trait Logger

class Object

trait Matchable

class Any

Self type

NoLogger.type

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class ConstantCost

class LinearInX

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

OneArgument.type

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Value parameters

platformSpecific

The platform specific implementation of certain functions used by VM builtins

Attributes

Supertypes

class Object

trait Matchable

class Any

Known subtypes

object VM

Attributes

Supertypes

trait BudgetSpender

class Object

trait Matchable

class Any

Attributes

Supertypes

trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class ConstantCost

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

SixArguments.type

Attributes

Supertypes

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Known subtypes

class BuiltinError

class BuiltinTermArgumentExpectedMachineError

class EvaluationFailure

class MissingCaseBranch

class NonConstrScrutinized

class NonFunctionalApplicationMachineError

class NonPolymorphicInstantiationMachineError

class OpenTermEvaluatedMachineError

class OutOfExBudgetError

class UnexpectedBuiltinTermArgumentMachineError

class UnknownBuiltin

Show all

Attributes

Supertypes

trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

trait BudgetSpender

class Object

trait Matchable

class Any

Attributes

Supertypes

trait Logger

trait BudgetSpender

class Object

trait Matchable

class Any

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class ConstantCost

class LinearInMaxYZ

class LinearInX

class LinearInY

class LinearInYAndZ

class LinearInZ

class LiteralInYOrLinearInZ

class QuadraticInZ

Show all

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

ThreeArguments.type

Attributes

Companion

object

Supertypes

trait CostModel

class Object

trait Matchable

class Any

Known subtypes

class AddedSizes

class ConstAboveDiagonal

class ConstBelowDiagonal

class ConstOffDiagonal

class ConstantCost

class LinearInX

class LinearInXAndY

class LinearInY

class LinearOnDiagonal

class MaxSize

class MinSize

class MultipliedSizes

class QuadraticInXAndY

class QuadraticInY

class SubtractedSizes

Show all

Attributes

Companion

trait

Supertypes

class Object

trait Matchable

class Any

Self type

TwoArguments.type

Attributes

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Note

Minimum values for two-variable quadratic costing functions. Unlike most of our other costing functions our use cases for two-variable quadratic costing functions may require one or more negative coefficients, so there's a danger that we could return a negative cost. This is unlikely, but we make certain that it never happens by returning a result that is at never smaller than a minimum value that is stored along with the coefficients of the function.

Supertypes

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class StackTraceMachineError

class MachineError

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any

Show all

Attributes

Supertypes

class PlutusVM

class Object

trait Matchable

class Any

Self type

VM.type

Attributes

Deprecated

true

Supertypes

class Object

trait Matchable

class Any

Self type

Cek.type