Control.Monad.HigherOrder

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

HFunctor ListT

HFunctor CoYoneda

HFunctor Yoneda

HFunctor (WriterT e)

HFunctor (StateT e)

HFunctor (ReaderT e)

Bifunctor p Hask Hask Hask => HFunctor (Ap p)

Functor f => HFunctor (CompF f)

Functor f => HFunctor (ACompF f)

Functor g => HFunctor (Lan g)

HFunctor (Ran g)

(HFunctor f, HFunctor g) => HFunctor (CompH f g)

class HFunctor m => HPointed m where

Methods

hreturn :: Functor f => f a -> m f a

Instances

HPointed ListT

HPointed CoYoneda

HPointed Yoneda

Monoid e => HPointed (WriterT e)

HPointed (StateT e)

HPointed (ReaderT e)

class HPointed m => HMonad m where

Methods

hbind :: (Functor f, Functor g) => (f :~> m g) -> m f :~> m g

Instances

HMonad CoYoneda

HMonad Yoneda

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