<$> | Control.Categorical.Functor |
<=< | Control.Categorical.Monad |
=<= | Control.Categorical.Monad |
=>= | Control.Categorical.Monad |
>=> | Control.Categorical.Monad |
bind | Control.Categorical.Monad |
cobind | Control.Categorical.Monad |
Cokleisli | |
1 (Type/Class) | Control.Categorical.Monad |
2 (Data Constructor) | Control.Categorical.Monad |
cokleisli | Control.Categorical.Monad |
Comonad | Control.Categorical.Monad |
Const2 | |
1 (Type/Class) | Control.Category.Const2 |
2 (Data Constructor) | Control.Category.Const2 |
counit | Control.Categorical.Monad |
cut | Control.Categorical.Monad |
Endo | |
1 (Type/Class) | Data.Morphism.Endo |
2 (Data Constructor) | Data.Morphism.Endo |
endo | Data.Morphism.Endo |
EndoFunctor | Control.Categorical.Functor |
Endofunctor | Control.Categorical.Functor |
Functor | Control.Categorical.Functor |
getConst2 | Control.Category.Const2 |
Groupoid | Control.Category.Groupoid |
IdentityT | |
1 (Data Constructor) | Data.Functor.Trans.Identity |
2 (Type/Class) | Data.Functor.Trans.Identity |
invert | Control.Category.Groupoid |
Iso | |
1 (Type/Class) | Data.Morphism.Iso |
2 (Data Constructor) | Data.Morphism.Iso |
join | Control.Categorical.Monad |
Kleisli | |
1 (Type/Class) | Control.Categorical.Monad |
2 (Data Constructor) | Control.Categorical.Monad |
kleisli | Control.Categorical.Monad |
map | Control.Categorical.Functor |
Monad | Control.Categorical.Monad |
NT | |
1 (Type/Class) | Control.Categorical.Functor |
2 (Data Constructor) | Control.Categorical.Functor |
nt | Control.Categorical.Functor |
ReaderT | |
1 (Type/Class) | Data.Functor.Trans.Reader |
2 (Data Constructor) | Data.Functor.Trans.Reader |
runIdentityT | Data.Functor.Trans.Identity |
runReaderT | Data.Functor.Trans.Reader |
runWriterT | Data.Functor.Trans.Writer |
unit | Control.Categorical.Monad |
WriterT | |
1 (Type/Class) | Data.Functor.Trans.Writer |
2 (Data Constructor) | Data.Functor.Trans.Writer |