scalus
API
Generated with
scalus/scalus.uplc/Cek

Cek

scalus.uplc.Cek$
object Cek

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Cek.type

Members list

Concise view

Type members

Classlikes

sealed trait CekValue

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class VBuiltin
class VCon
class VDelay
class VLamAbs
sealed trait Context

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NoFrame.type
case class FrameApplyArg(env: CekValEnv, arg: Term, ctx: Context) extends Context

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Context
class Object
trait Matchable
class Any
case class FrameApplyFun(f: CekValue, ctx: Context) extends Context

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Context
class Object
trait Matchable
class Any
case class FrameForce(ctx: Context) extends Context

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Context
class Object
trait Matchable
class Any
case object NoFrame extends Context

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Context
class Object
trait Matchable
class Any
Self type
NoFrame.type
case class VBuiltin(bn: DefaultFun, term: Term, runtime: Runtime) extends CekValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait CekValue
class Object
trait Matchable
class Any
case class VCon(const: Constant) extends CekValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait CekValue
class Object
trait Matchable
class Any
case class VDelay(term: Term, env: CekValEnv) extends CekValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait CekValue
class Object
trait Matchable
class Any
case class VLamAbs(name: String, term: Term, env: CekValEnv) extends CekValue

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait CekValue
class Object
trait Matchable
class Any

Types

type CekValEnv = List[(String, CekValue)]

Value members

Concrete methods

def applyEvaluate(ctx: Context, fun: CekValue, arg: CekValue): Term
def computeCek(ctx: Context, env: CekValEnv, term: Term): Term
def evalBuiltinApp(builtinName: DefaultFun, term: Term, runtime: Runtime): CekValue
def evalUPLC(term: Term): Term
def forceEvaluate(ctx: Context, value: CekValue): Term
def returnCek(ctx: Context, value: CekValue): Term
Generated with