unCom | Data.Category.NaturalTransformation |
uncurry | Data.Category.CartesianClosed |
unForAll | Data.Category.Limit |
Unit | |
1 (Type/Class) | Data.Category.Discrete |
2 (Type/Class) | Data.Category.Monoidal |
unit | |
1 (Function) | Data.Category.Monoidal |
2 (Function) | Data.Category.Adjunction |
unitObject | Data.Category.Monoidal |
unMonoidMorphism | Data.Category.Monoid |
unOp | Data.Category |
unrepresent | Data.Category.NaturalTransformation |