<$> | Control.Categorical.Functor |
Const2 | |
1 (Type/Class) | Control.Category.Const2 |
2 (Data Constructor) | Control.Category.Const2 |
Dual | |
1 (Type/Class) | Control.Category.Dual |
2 (Data Constructor) | Control.Category.Dual |
dual | Control.Category.Dual |
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 |
Groupoid | Control.Category.Groupoid |
invert | Control.Category.Groupoid |
Iso | |
1 (Type/Class) | Data.Morphism.Iso |
2 (Data Constructor) | Data.Morphism.Iso |
map | Control.Categorical.Functor |
NT | |
1 (Type/Class) | Control.Categorical.Functor |
2 (Data Constructor) | Control.Categorical.Functor |
nt | Control.Categorical.Functor |