category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.HigherOrder
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class HFunctor f whereSource
Methods
ffmap :: Functor g => (a -> b) -> f g a -> f g bSource
hfmap :: (g :~> h) -> f g :~> f hSource
show/hide Instances
class HFunctor m => HPointed m whereSource
Methods
hreturn :: Functor f => f a -> m f aSource
show/hide Instances
class HPointed m => HMonad m whereSource
Methods
hbind :: (Functor f, Functor g) => (f :~> m g) -> m f :~> m gSource
show/hide Instances
hjoin :: (HMonad m, Functor (m g), Functor g) => m (m g) :~> m gSource
(>>**=) :: (HMonad m, Functor f, Functor g) => m f a -> (f :~> m g) -> m g aSource
(=**<<) :: (HMonad m, Functor f, Functor g) => (f :~> m g) -> m f :~> m gSource
Produced by Haddock version 2.4.2