libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/ContextImpl

ContextImpl

libretto.lambda.ContextImpl
class ContextImpl[-⚬[_, _], |*|[_, _], V, C, Expr[_]](val info: C, resultVar: [A] => Expr[A] => Var[V, A], parent: Option[ContextImpl[-⚬, |*|, V, C, Expr]])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def getConstant[A](v: Var[V, A]): Option[[x] => Unit => x -⚬ (A |*| x)]
def getDiscard[A](v: Var[V, A]): Option[[B] => DummyImplicit ?=> (A |*| B) -⚬ B]
def getSplit[A](v: Var[V, A]): Option[A -⚬ (A |*| A)]
def isDefiningFor[A](v: Var[V, A]): Boolean
def newVar[A](data: V): Var[V, A]
def register[A](expr: Expr[A])(split: Option[A -⚬ (A |*| A)], discard: Option[[B] => DummyImplicit ?=> (A |*| B) -⚬ B]): Unit
def registerConstant[A](v: Var[V, A])(introduce: [x] => Unit => x -⚬ (A |*| x)): Unit
def registeredDiscarders: Seq[Exists[[A] =>> (Expr[A], [B] => DummyImplicit ?=> (A |*| B) -⚬ B)]]
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any

Concrete fields

val info: C
Generated with