libretto-core
API
Generated with
libretto-core/libretto/libretto.cats/Functor

Functor

libretto.cats.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

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

val category: Category[->]
Generated with