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

Variable

libretto.lambda.Variable
trait Variable[Var[_], VarSet] extends UniqueTypeArg[Var]

Attributes

Graph
Supertypes
trait UniqueTypeArg[Var]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def singleton[A](v: Var[A]): VarSet
def union(vs: VarSet, ws: VarSet): VarSet

Inherited methods

def testEqual[A, B](a: Var[A], b: Var[B]): Option[A =:= B]

Attributes

Inherited from:
UniqueTypeArg
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL