category-extras-0.53.5: Various modules and constructs inspired by category theory

Portability

non-portable (class-associated types)

Stability

experimental

Maintainer

Edward Kmett <ekmett@gmail.com>

Control.Functor.Composition

Description

Generalized functor composition.
Since we have many reasons for which you might want to compose a functor, and many
expected results. i.e. monads via adjunctions, monads via composition with a pointed
endofunctor, etc. we have to make multiple composition operators.