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

VArr

libretto.lambda.LambdasOne.VArr$
object VArr extends VArrs

Attributes

Graph
Supertypes
trait VArrs
class Object
trait Matchable
class Any
Self type
VArr.type

Members list

Concise view

Value members

Concrete methods

override def toExpr[A, B](f: VArr[A, B]): Expr[B]

Attributes

Definition Classes

Exports

Defined exports

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