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

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

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

Modules

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