category-extras-0.53.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Adjunction.HigherOrder Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Higher-Order Adjunctions

Documentation

class (HFunctor f, HFunctor g) => HAdjunction f g where Source

Methods hunit :: a :~> g (f a) Source hcounit :: f (g b) :~> b Source hleftAdjunct :: (f a :~> b) -> a :~> g b Source hrightAdjunct :: (a :~> g b) -> f a :~> b Source Instances (HAdjunction f1 g1, HAdjunction f2 g2) => HAdjunction (CompH f2 f1) (CompH g1 g2)

Produced by Haddock version 2.3.0