libretto.lambda.Lambdas$.Abstracted$
See theAbstracted companion trait
object Abstracted
Attributes
- Companion:
- trait
- Graph
- Supertypes
- trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- Abstracted.type
Members list
Concise view
Type members
Classlikes
case class Closure[Exp[_], |*|[_, _], AbsFun[_, _], LE, X, A, A1, B](captured: Exp[X], m: Multiplier[|*|, A, A1], f: AbsFun[X |*| A1, B]) extends Abstracted[Exp, |*|, AbsFun, LE, A, B]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class Exact[Exp[_], |*|[_, _], AbsFun[_, _], LE, A, A1, B](m: Multiplier[|*|, A, A1], f: AbsFun[A1, B]) extends Abstracted[Exp, |*|, AbsFun, LE, A, B]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class Failure[Exp[_], |*|[_, _], AbsFun[_, _], LE, A, B](e: LE) extends Abstracted[Exp, |*|, AbsFun, LE, A, B]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class NotFound[Exp[_], |*|[_, _], AbsFun[_, _], LE, A, B](b: Exp[B]) extends Abstracted[Exp, |*|, AbsFun, LE, A, B]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
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