libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/CapturingFun/Closure

Closure

libretto.lambda.CapturingFun.Closure
case class Closure[-->[_, _], |*|[_, _], F[_], X, A, B](captured: F[X], f: (X |*| A) --> B) extends CapturingFun[-->, |*|, F, A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait CapturingFun[-->, |*|, F, A, B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def andThen[C](g: B --> C)(using Semigroupoid[-->]): CapturingFun[-->, |*|, F, A, C]

Attributes

Inherited from:
CapturingFun
def mapFun[->>[_, _]](h: [X, Y] => (X --> Y) => ->>[X, Y]): CapturingFun[->>, |*|, F, A, B]

Attributes

Inherited from:
CapturingFun
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def traverseFun[->>[_, _], G[_] : Applicative](h: [X, Y] => (X --> Y) => G[->>[X, Y]]): G[CapturingFun[->>, |*|, F, A, B]]

Attributes

Inherited from:
CapturingFun
Generated with