libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/Delambdified

Delambdified

libretto.lambda.Lambdas.Delambdified
See theDelambdified companion object
sealed trait Delambdified[Exp[_], |*|[_, _], AbsFun[_, _], V, A, B]

Attributes

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

Members list

Value members

Concrete methods

def mapExpr[Exp2[_]](g: [X] => (x$1: Exp[X]) => Exp2[X]): Delambdified[Exp2, |*|, AbsFun, V, A, B]
def mapFun[->[_, _]](g: [X] => (x$1: AbsFun[X, B]) => ->[X, B]): Delambdified[Exp, |*|, ->, V, A, B]
def toEither: Either[LinearityViolation[V], CapturingFun[AbsFun, |*|, [_] =>> Tupled[|*|, Exp, _$26], A, B]]
Generated with