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

ElimRes

libretto.lambda.LambdasImpl.VArr$.ElimRes$
See theElimRes companion trait
object ElimRes

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
ElimRes.type

Members list

Concise view

Type members

Classlikes

case class Closure[X, V, V1, B](captured: Expr[X], expr: Expr[V], m: Multiplier[|*|, V, V1], f: Shuffled[X |*| V1, B]) extends ElimRes[V, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ElimRes[V, B]
class Object
trait Matchable
class Any
case class Error[V, B](e: LE) extends ElimRes[V, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ElimRes[V, B]
class Object
trait Matchable
class Any
case class Exact[V, V1, B](expr: Expr[V], m: Multiplier[|*|, V, V1], f: Shuffled[V1, B]) extends ElimRes[V, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ElimRes[V, B]
class Object
trait Matchable
class Any
case class NotFound[V, B]() extends ElimRes[V, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ElimRes[V, B]
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def overused[U, V, B](u: Var[U]): ElimRes[V, B]
def unused[U, V, B](u: Var[U]): ElimRes[V, B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL