libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/LambdasImpl/Context

Context

libretto.lambda.LambdasImpl.Context
object Context extends Contexts

Attributes

Graph
Supertypes
trait Contexts
class Object
trait Matchable
class Any
Self type
Context.type

Members list

Value members

Concrete methods

override def fresh(): Context

Attributes

Definition Classes
override def getConstant[A](v: Var[A])(using ctx: Context): Option[[x] => (x$1: Unit) => x -⚬ (A |*| x)]

Attributes

Definition Classes
override def getDiscard[A](v: Var[A])(using ctx: Context): Option[[B] => (x$1: Unit) => (A |*| B) -⚬ B]

Attributes

Definition Classes
override def getSplit[A](v: Var[A])(using ctx: Context): Option[A -⚬ (A |*| A)]

Attributes

Definition Classes
override def isDefiningFor[A](v: Var[A])(using ctx: Context): Boolean

Attributes

Definition Classes
override def nested(parent: Context): Context

Attributes

Definition Classes
override def newVar[A](label: V)(using ctx: Context): Var[A]

Attributes

Definition Classes
override def registerConstant[A](v: Var[A])(introduce: [x] => (x$1: Unit) => x -⚬ (A |*| x))(using ctx: Context): Unit

Attributes

Definition Classes
override def registerNonLinearOps[A](v: Var[A])(split: Option[A -⚬ (A |*| A)], discard: Option[[B] => (x$1: Unit) => (A |*| B) -⚬ B])(using ctx: Context): Unit

Attributes

Definition Classes

Inherited methods

def registerDiscard[A](v: Var[V, A])(discard: [B] => (x$1: Unit) => (A |*| B) -⚬ B)(using Context): Unit

Attributes

Inherited from:
Contexts
def registerSplit[A](v: Var[V, A])(split: A -⚬ (A |*| A))(using Context): Unit

Attributes

Inherited from:
Contexts
Generated with