kan-extensions-5.0.1: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Modules

Control.Comonad.Density
Control.Monad.Co
Control.Monad.Codensity
Data.Functor.Contravariant.Coyoneda
Data.Functor.Contravariant.Day
Data.Functor.Contravariant.Yoneda
Data.Functor.Coyoneda
Data.Functor.Day
Data.Functor.Day.Curried
Data.Functor.Kan.Lan
Data.Functor.Kan.Ran
Data.Functor.Yoneda