libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Lambdas/VArrs

VArrs

libretto.lambda.Lambdas.VArrs
trait VArrs

Attributes

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

Members list

Concise view

Value members

Abstract methods

def id[A](a: Var[A]): VArr[A, A]
def initialVars[A, B](f: VArr[A, B]): Vars[A]
def map[A, B, C](f: VArr[A, B], g: B -⚬ C, resultVar: Var[C]): VArr[A, C]
def par[A1, A2, B1, B2](f1: VArr[A1, B1], f2: VArr[A2, B2]): VArr[A1 |*| A2, B1 |*| B2]
def terminalVars[A, B](f: VArr[A, B]): Vars[B]
def toExpr[A, B](f: VArr[A, B]): Expr[B]
def unzip[A, B1, B2](f: VArr[A, B1 |*| B2])(resultVar1: Var[B1], resultVar2: Var[B2]): (VArr[A, B1], VArr[A, B2])
def zip[A1, A2, B1, B2](f1: VArr[A1, B1], f2: VArr[A2, B2], resultVar: Var[B1 |*| B2]): VArr[A1 |*| A2, B1 |*| B2]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL