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

ContraFunctor

libretto.ContraFunctor
See theContraFunctor companion object
trait ContraFunctor[->[_, _], F[_]]

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Abstract methods

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

Concrete methods

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

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

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

Attributes

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

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

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

Attributes

Abstract fields

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