Abstracted

libretto.lambda.Lambdas$.Abstracted
See theAbstracted companion object
sealed trait Abstracted[Exp[_], |*|[_, _], AbsFun[_, _], LE, A, B]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Closure[Exp, |*|, AbsFun, LE, X, A, A1, B]
class Exact[Exp, |*|, AbsFun, LE, A, A1, B]
class Failure[Exp, |*|, AbsFun, LE, A, B]
class NotFound[Exp, |*|, AbsFun, LE, A, B]

Members list

Concise view

Value members

Concrete methods

def mapExpr[Exp2[_]](g: [X] => (x$1: Exp[X]) => Exp2[X]): Abstracted[Exp2, |*|, AbsFun, LE, A, B]