Scalus
1.4.0
Generated with
Scalus/scalus/scalus.uplc/scalus.uplc.eval/CekValue

CekValue

scalus.uplc.eval.CekValue
enum CekValue

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

final case class VBuiltin(bn: DefaultFun, term: Term, runtime: BuiltinRuntime, args: List[CekValue], applied: Int)

A builtin applied to applied of the arguments runtime.argKinds lists. args holds the term arguments so far, newest first; term is the Builtin term it came from.

A builtin applied to applied of the arguments runtime.argKinds lists. args holds the term arguments so far, newest first; term is the Builtin term it came from.

Attributes

final case class VCon(const: Constant)
final case class VConstr(tag: Word64, args: Seq[CekValue])
final case class VDelay(term: Term, env: CekValEnv)
final case class VLamAbs(name: String, term: Term, env: CekValEnv)
final case class VList(elems: List[CekValue])

A list of arbitrary CekValues. Analogous to VConstr for constructors. Used for lists with non-constant elements (e.g., native Constr values). Created by MkCons/Nil on BuiltinValue-typed lists.

A list of arbitrary CekValues. Analogous to VConstr for constructors. Used for lists with non-constant elements (e.g., native Constr values). Created by MkCons/Nil on BuiltinValue-typed lists.

Attributes

Generated with