 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
| 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 |
|
| class (Category r, Category s) => CFunctor f r s | f r -> s, f s -> r where |
| | Methods | | cmap :: r a b -> s (f a) (f b) |
|
|
|
| class CFunctor m ~> ~> => CPointed m (~>) where |
|
|
| class CFunctor w ~> ~> => CCopointed w (~>) where |
|
|
| class CFunctor m ~> ~> => CBind m (~>) where |
| | Methods | | cjoin :: m (m a) ~> m a | | | cbind :: (a ~> m b) -> (m a ~> m b) |
|
|
|
| class CFunctor w ~> ~> => CExtend w (~>) where |
| | Methods | | cduplicate :: w a ~> w (w a) | | | cextend :: (w a ~> b) -> (w a ~> w b) |
|
|
|
| class (CFunctor f ~> ~>, CFunctor g ~> ~>) => CDistributes f g (~>) where |
| | Methods | | cdist :: f (g a) ~> g (f a) |
|
|
|
| class (CPointed m ~>, CBind m ~>) => CMonad m (~>) |
|
|
| class (CCopointed m ~>, CExtend m ~>) => CComonad m (~>) |
|
|
| Produced by Haddock version 2.1.0 |