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

ContextImpl

libretto.lambda.ContextImpl
class ContextImpl[-⚬[_, _], |*|[_, _], V](parent: Option[ContextImpl[-⚬, |*|, V]])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def getConstant[A](v: Var[V, A]): Option[[x] => (x$1: Unit) => x -⚬ A |*| x]
def getDiscard[A](v: Var[V, A]): Option[[B] => (x$1: Unit) => 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](v: Var[V, A])(split: Option[A -⚬ A |*| A], discard: Option[[B] => (x$1: Unit) => A |*| B -⚬ B]): Unit
def registerConstant[A](v: Var[V, A])(introduce: [x] => (x$1: Unit) => x -⚬ A |*| x): Unit
Generated with