Data.Functor.Adjunction

Documentation

class (Functor f, Functor g) => Adjunction f g | f -> g, g -> f where

Methods

unit :: a -> g (f a)

counit :: f (g a) -> a

leftAdjunct :: (f a -> b) -> a -> g b

rightAdjunct :: (a -> g b) -> f a -> b

Instances

Adjunction Identity Identity

Adjunction ((,) e) ((->) e)

Adjunction f g => Adjunction (IdentityT f) (IdentityT g)