Adjoint | Control.Monad.Trans.Adjoint |
adjoint | Control.Monad.Trans.Adjoint |
AdjointT | |
1 (Type/Class) | Control.Monad.Trans.Adjoint |
2 (Data Constructor) | Control.Monad.Trans.Adjoint |
Adjunction | Data.Functor.Adjunction |
counit | Data.Functor.Adjunction |
leftAdjunct | Data.Functor.Adjunction |
rightAdjunct | Data.Functor.Adjunction |
runAdjoint | Control.Monad.Trans.Adjoint |
runAdjointT | Control.Monad.Trans.Adjoint |
unit | Data.Functor.Adjunction |