category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
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 whereSource
Methods
hunit :: a :~> g (f a)Source
hcounit :: f (g b) :~> bSource
hleftAdjunct :: (f a :~> b) -> a :~> g bSource
hrightAdjunct :: (a :~> g b) -> f a :~> bSource
show/hide Instances
(HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2)
Produced by Haddock version 2.4.2