kan-extensions-2.0.0.1: Kan extensions, the Yoneda lemma, and (co)density (co)monads

PortabilityGADTs, MPTCs, fundeps
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Data.Functor.Yoneda.Contravariant

Description

 

Synopsis

Documentation

data Yoneda f a whereSource

The contravariant Yoneda lemma applied to a covariant functor

Constructors

Yoneda :: (b -> a) -> f b -> Yoneda f a 

liftYoneda :: f a -> Yoneda f aSource

lowerYoneda :: Functor f => Yoneda f a -> f aSource

lowerM :: Monad f => Yoneda f a -> f aSource