| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Monad.HigherOrder | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
|
Documentation |
|
class HFunctor f where |
| Methods | ffmap :: Functor g => (a -> b) -> f g a -> f g b | | hfmap :: (g :~> h) -> f g :~> f h |
| | Instances | |
|
|
class HFunctor m => HPointed m where |
| Methods | hreturn :: Functor f => f a -> m f a |
| | Instances | |
|
|
class HPointed m => HMonad m where |
| Methods | hbind :: (Functor f, Functor g) => (f :~> m g) -> m f :~> m g |
| | Instances | |
|
|
hjoin :: (HMonad m, Functor (m g), Functor g) => m (m g) :~> m g |
|
(>>**=) :: (HMonad m, Functor f, Functor g) => m f a -> (f :~> m g) -> m g a |
|
(=**<<) :: (HMonad m, Functor f, Functor g) => (f :~> m g) -> m f :~> m g |
|
Produced by Haddock version 2.1.0 |