category-extras-0.52.0: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Adjunction.HigherOrder

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

Instances

(HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2)