libretto/libretto.impl/Lambda/VArr/ElimStep/Found

Found

sealed
trait Found[V, B] extends ElimStep[V, B]
trait ElimStep[V, B]
class Object
trait Matchable
class Any
class Closure[X, V, B]
class Exact[V, B]
class HalfUsed[V, B, U]

Value members

Concrete methods

def foundVar: Var[V]
override
def map[C](f: Shuffled[B, C]): Found[V, C]
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.

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.

Inherited methods

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