| category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.HigherOrder | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Neil Ghani and Particia Johann''s higher order functors from
http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf
|
|
|
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 HFunctor w => HCopointed w where |
| Methods | hextract :: Functor f => w f a -> f a |
| | Instances | |
|
|
type HAlgebra f g = f g :~> g |
|
type HCoalgebra f g = g :~> f g |
|
newtype FixH f a |
|
|
newtype LowerH h f a |
Constructors | | Instances | |
|
|
Produced by Haddock version 2.1.0 |