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

Expr

libretto.lambda.LambdasOne.Expr$
See theExpr companion trait
object Expr extends Exprs

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
trait Exprs
class Object
trait Matchable
class Any
Self type
Expr.type

Members list

Concise view

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

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

Attributes

Definition Classes
def one(v: Var[One]): Expr[One]
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[B1, B2](e: Expr[B1 |*| B2])(resultVar1: Var[B1], resultVar2: Var[B2]): (Expr[B1], Expr[B2])

Attributes

Definition Classes
override def variable[A](v: 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