Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Higher-Order Adjunctions
Documentation
class (HFunctor f, HFunctor g) => HAdjunction f g whereSource
hcounit :: f (g b) :~> bSource
hleftAdjunct :: (f a :~> b) -> a :~> g bSource
hrightAdjunct :: (a :~> g b) -> f a :~> bSource
(HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2) |