libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/LambdasImpl/Expr

Expr

libretto.lambda.LambdasImpl.Expr$
object Expr extends Exprs

Attributes

Graph
Supertypes
trait Exprs
class Object
trait Matchable
class Any
Self type
Expr.type

Members list

Concise view

Type members

Types

type VarDefining[A] = VarDefining[_, A]

Value members

Concrete methods

override def map[A, B](e: Expr[A], f: A -⚬ B, resultVar: Var[B]): Expr[B]

Attributes

Definition Classes
override def par[A, B](a: Expr[A], b: Expr[B]): Expr[A |*| B]

Attributes

Definition Classes
override def terminalVars[A](a: Expr[A]): Vars[A]

Attributes

Definition Classes
override def unzip[A, B](p: Expr[A |*| B])(resultVar1: Var[A], resultVar2: Var[B]): (Expr[A], Expr[B])

Attributes

Definition Classes
override def variable[A](a: Var[A]): Expr[A]

Attributes

Definition Classes
override def zip[A, B](a: Expr[A], b: Expr[B], resultVar: Var[A |*| B]): Expr[A |*| B]

Attributes

Definition Classes
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL