|
Control.Functor.Categorical | Portability | non-portable (functional-dependencies) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
A more categorical definition of Functor than endofunctors in the category Hask
|
|
|
Documentation |
|
|
| Methods | cmap :: r a b -> s (f a) (f b) | Source |
|
| | Instances | |
|
|
|
|
|
|
|
|
|
| Methods | | | cbind :: (a ~> m b) -> m a ~> m b | Source |
|
|
|
|
|
| Methods | cduplicate :: w a ~> w (w a) | Source |
| | cextend :: (w a ~> b) -> w a ~> w b | Source |
|
|
|
|
|
| Methods | cdist :: f (g a) ~> g (f a) | Source |
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |