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

Vars

libretto.lambda.Lambdas.Vars$
object Vars

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Vars.type

Members list

Concise view

Value members

Concrete methods

def bi[A, B](a: Var[A], b: Var[B]): Vars[A |*| B]
def sameVars[A](a: Vars[A], b: Vars[A]): Boolean
def single[A](a: Var[A]): Vars[A]
def toSet[A](vars: Vars[A])(using variables: Variable[Var, VarSet]): VarSet
def unzip[A, B](ab: Vars[A |*| B]): Option[(Vars[A], Vars[B])]
def zip[A, B](a: Vars[A], b: Vars[B]): Vars[A |*| B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL