libretto/libretto/CoreLib/Functor

Functor

trait Functor[F[_]]

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

class Object
trait Matchable
class Any
trait Transportive[F]

Value members

Methods

def lift[A, B](f: A -⚬ B): F[A] -⚬ F[B]
def ∘[G[_]](that: Functor[G]): Functor[[x] =>> F[G[x]]]

Composition with another covariant functor.

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

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