adjunctions-0.3: Adjunctions

Data.Functor.Contravariant.DualAdjunction

Synopsis

Documentation

class (Contravariant f, Contravariant g) => DualAdjunction f g | f -> g, g -> f whereSource

An adjunction from Hask to Hask^op

  Hask (f a) b ~ Op a (g b)
 rightAdjunct unit = id
 leftAdjunct counit = id

Methods

unitOp :: g (f a) -> aSource

counitOp :: f (g a) -> aSource

leftAdjunctOp :: (f a -> b) -> g b -> aSource

rightAdjunctOp :: (g b -> a) -> f a -> bSource