libretto.lambda.LambdasImpl.VArr$.ElimStep$
See theElimStep companion trait
object ElimStep
Attributes
Members list
Concise view
Type members
Classlikes
case class Closure[X, V, V1, B](captured: Expr[X], expr: VarDefining[V], m: Multiplier[|*|, V, V1], f: Shuffled[X |*| V1, B]) extends Found[V, B]
case class Exact[V, V1, B](expr: VarDefining[V], m: Multiplier[|*|, V, V1], f: Shuffled[V1, B]) extends Found[V, B]
Attributes
- Graph
- Supertypes
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror