Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Adjunction.HigherOrder
Description
Higher-Order Adjunctions
category-extras-0.44.4: Various modules and constructs inspired by category theory
Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Functor.Adjunction.HigherOrder
Description
Higher-Order Adjunctions