libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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
object Expr.type

Members list

Concise view

Value members

Abstract methods

def map[A, B](e: Expr[A], f: A -⚬ B, resultVar: Var[B]): Expr[B]
def par[A, B](a: Expr[A], b: Expr[B]): Expr[A |*| B]
def terminalVars[A](a: Expr[A]): Vars[A]
def unzip[A, B](ab: Expr[A |*| B])(resultVar1: Var[A], resultVar2: Var[B]): (Expr[A], Expr[B])
def variable[A](a: Var[A]): Expr[A]
def zip[A, B](a: Expr[A], b: Expr[B], resultVar: Var[A |*| B]): Expr[A |*| B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL