libretto/libretto/CoreLib/ContraFunctor

ContraFunctor

trait ContraFunctor[F[_]]

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

class Object
trait Matchable
class Any

Value members

Methods

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

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

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

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