category-extras-0.50.3: 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
Produced by Haddock version 2.1.0