libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/Abstracted/Closure

Closure

libretto.lambda.Lambdas$.Abstracted$.Closure
case class Closure[Exp[_], |*|[_, _], AbsFun[_, _], V, X, A, B](captured: Tupled[|*|, Exp, X], f: AbsFun[X |*| A, B]) extends Abstracted[Exp, |*|, AbsFun, V, A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Abstracted[Exp, |*|, AbsFun, V, A, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

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

Attributes

Inherited from:
Abstracted
def mapFun[->[_, _]](g: [X] => (x$1: AbsFun[X, B]) => ->[X, B]): Abstracted[Exp, |*|, ->, V, A, B]

Attributes

Inherited from:
Abstracted
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def toEither: Either[LinearityViolation[V], CapturingFun[AbsFun, |*|, [_] =>> Tupled[|*|, Exp, _$26], A, B]]

Attributes

Inherited from:
Abstracted
Generated with