CapturingFun

libretto.lambda.CapturingFun
See theCapturingFun companion object
sealed trait CapturingFun[-->[_, _], |*|[_, _], F[_], A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Closure[-->, |*|, F, X, A, B]
class NoCapture[-->, |*|, F, A, B]

Members list

Value members

Concrete methods

def andThen[C](g: B --> C)(using Semigroupoid[-->]): CapturingFun[-->, |*|, F, A, C]
def mapFun[->>[_, _]](h: [X, Y] => (X --> Y) => ->>[X, Y]): CapturingFun[->>, |*|, F, A, B]
def traverseFun[->>[_, _], G[_] : Applicative](h: [X, Y] => (X --> Y) => G[->>[X, Y]]): G[CapturingFun[->>, |*|, F, A, B]]