Index - U
| unbizip | Control.Functor.Zip |
| uncocurry | Control.Category.Cartesian.Closed |
| uncorep | Control.Functor.Representable |
| uncurry | Control.Category.Cartesian.Closed |
| unfoldW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| unfzip | Control.Functor.Zip |
| unit | Control.Functor.Adjunction |
| UnitalAllegory | Control.Allegory |
| unitCCC | Control.Category.Cartesian.Closed |
| unitCoCCC | Control.Category.Cartesian.Closed |
| Universal | |
| 1 (Type/Class) | Control.Morphism.Universal |
| 2 (Data Constructor) | Control.Morphism.Universal |
| universalIdentity | Control.Morphism.Universal |
| universalize | Control.Morphism.Universal |
| unmap | Control.Functor.Full |
| unrep | Control.Functor.Representable |
| unrepAdjunction | Control.Functor.Adjunction |