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

# kan-extensions-5.2.5: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads

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

Modules

kan-extensions-5.2.5

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