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)(using ps: PlatformSpecific): Term
def computeCek(ctx: Context, env: CekValEnv, term: Term)(using ps: PlatformSpecific): Term
def evalBuiltinApp(builtinName: DefaultFun, term: Term, runtime: Runtime)(using ps: PlatformSpecific): CekValue
def evalUPLC(term: Term)(using ps: PlatformSpecific): Term
def forceEvaluate(ctx: Context, value: CekValue)(using ps: PlatformSpecific): Term
def returnCek(ctx: Context, value: CekValue)(using ps: PlatformSpecific): Term
Generated with