 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Monad.HigherOrder  Portability  nonportable (rank2 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 