category-extras-0.44.4: 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 :: Natural a (g (f a))Source

hcounit :: Natural (f (g b)) bSource

hleftAdjunct :: Natural (f a) b -> Natural a (g b)Source

hrightAdjunct :: Natural a (g b) -> Natural (f a) bSource