adjunction-0.0.0.0: See README for more info

Safe HaskellSafe
LanguageHaskell2010

Data.Functor.Adjoint

Documentation

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 #