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] => DummyImplicit ?=> x -⚬ (A |*| x), [x] => DummyImplicit ?=> x -⚬ (x |*| A))]
def getDiscard[A](v: Var[V, A]): Option[Elims[A]]
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[([x] => DummyImplicit ?=> (A |*| x) -⚬ x, [x] => DummyImplicit ?=> (x |*| A) -⚬ x)]): Unit
def registerConstant[A](v: Var[V, A])(introFst: [x] => DummyImplicit ?=> x -⚬ (A |*| x), introSnd: [x] => DummyImplicit ?=> x -⚬ (x |*| A)): Unit
def registeredDiscarders: Seq[Exists[[A] =>> (Expr[A], Elims[A])]]
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