NoCapture

libretto.lambda.CapturingFun.NoCapture
case class NoCapture[-->[_, _], |*|[_, _], F[_], A, B](f: 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