libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/Functor

Functor

libretto.Functor
See theFunctor companion object
trait Functor[->[_, _], F[_]]

Witnesses that F is a covariant endofunctor on the category ->.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Comonad[->, F]
trait Monad[->, F]
Self type
Functor[->, F]

Members list

Concise view

Value members

Abstract methods

def lift[A, B](f: A -> B): F[A] -> F[B]

Concrete methods

def ∘[G[_]](that: Functor[->, G]): Functor[->, [x] =>> F[G[x]]]

Composition with another covariant functor.

Composition with another covariant functor.

Attributes

def ∘[G[_]](that: ContraFunctor[->, G]): ContraFunctor[->, [x] =>> F[G[x]]]

Composition with a contravariant functor. Results in a contravariant functor.

Composition with a contravariant functor. Results in a contravariant functor.

Attributes

Abstract fields

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL