# Documentation

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

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

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

Adjunction Identity Identity | |

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

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