libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/LambdasImpl/VArr/ElimStep/Found

Found

libretto.lambda.LambdasImpl.VArr$.ElimStep$.Found
sealed trait Found[V, B] extends ElimStep[V, B]

Attributes

Graph
Supertypes
trait ElimStep[V, B]
class Object
trait Matchable
class Any
Known subtypes
class Closure[X, V, V1, B]
class Exact[V, V1, B]
class HalfUsed[V, B, U]

Members list

Concise view

Value members

Concrete methods

def also[V0, B0](m0: Multiplier[|*|, V, V0], f0: Shuffled[V0, B0]): Found[V, B0 |*| B]
def foundVar: Var[V]
override def map[C](f: Shuffled[B, C]): Found[V, C]

Attributes

Definition Classes
def withCaptured[X](captured: Expr[X]): Found[V, X |*| B]

Assumes captured does not contain foundVar (and thus neither any vars derived from it). Since captured uses only external variables, a closure will be created.

Assumes captured does not contain foundVar (and thus neither any vars derived from it). Since captured uses only external variables, a closure will be created.

Attributes

def withExpr[X](expr: Expr[X]): ElimStep[V, X |*| B]

Along the way tries to resolve captured vars of expr to unused variables of this.

Along the way tries to resolve captured vars of expr to unused variables of this.

Attributes

Inherited methods

def map[C](f: B -⚬ C): ElimStep[V, C]

Attributes

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