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 HFunctor CoYoneda HFunctor Yoneda 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 CoYoneda HPointed Yoneda

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

Produced by Haddock version 2.1.0