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

Type members

Classlikes

sealed trait CekValue

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait CekValue
class Object
trait Matchable
class Any
Show all

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