docs
API
Generated with
docs/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)
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