libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/Exprs

Exprs

libretto.lambda.Lambdas.Exprs
trait Exprs

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Expr.type

Members list

Concise view

Value members

Abstract methods

def const[A](introduce: [x] => (x$1: Unit) => x -⚬ A |*| x)(varName: V)(using Context): Expr[A]
def initialVars[A](a: Expr[A]): Set[V]
def map[A, B](e: Expr[A], f: A -⚬ B)(resultVarName: V)(using Context): Expr[B]
def resultVar[A](a: Expr[A]): Var[V, A]
def unzip[A, B](ab: Expr[A |*| B])(varName1: V, varName2: V)(using Context): (Expr[A], Expr[B])
def variable[A](a: Var[V, A]): Expr[A]
def zip[A, B](a: Expr[A], b: Expr[B])(resultVarName: V)(using Context): Expr[A |*| B]

Concrete methods

def initialVars[A](as: Tupled[Expr, A]): Set[V]
Generated with