adjunction-0.0.0.0: See README for more info
Data.Functor.Adjoint
class (Functor f, Functor g) => Adjoint f g | f -> g, g -> f where Source #
Methods
unit :: a -> g (f a) Source #
counit :: f (g a) -> a Source #
leftAdjunct :: (f a -> b) -> a -> g b Source #
rightAdjunct :: (a -> g b) -> f a -> b Source #