category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Functor.Adjunction.HigherOrder
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Higher-Order Adjunctions
Documentation
class (HFunctor f, HFunctor g) => HAdjunction f g where
Methods
hunit :: a :~> g (f a)
hcounit :: f (g b) :~> b
hleftAdjunct :: (f a :~> b) -> a :~> g b
hrightAdjunct :: (a :~> g b) -> f a :~> b
show/hide Instances
(HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2)
Produced by Haddock version 2.1.0