category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Monad.HigherOrder Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

class HFunctor m => HMonad m where Source

Methods hreturn :: Functor f => Natural f (m f) Source hbind :: (Functor f, Functor g) => Natural f (m g) -> Natural (m f) (m g) Source

hjoin :: (HMonad m, Functor (m g), Functor g) => Natural (m (m g)) (m g) Source

(>>**=) :: (HMonad m, Functor f, Functor g) => m f a -> Natural f (m g) -> m g a Source

Produced by Haddock version 2.1.0