ElimStep

libretto.lambda.LambdasImpl.VArr$.ElimStep
See theElimStep companion object
sealed trait ElimStep[V, B]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Found[V, B]
class Closure[X, V, V1, B]
class Exact[V, V1, B]
class HalfUsed[V, B, U]
class NotFound[V, B]
class Overused[U, V, B]

Members list

Concise view

Value members

Abstract methods

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

Concrete methods

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