category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code 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

type AlgH f g = Natural (f g) g Source

type CoAlgH f g = Natural g (f g) Source

class HFunctor f where Source

Methods ffmap :: Functor g => (a -> b) -> f g a -> f g b Source hfmap :: Natural g h -> Natural (f g) (f h) Source

newtype FixH f a Source

Constructors InH outH :: f (FixH f) a

Produced by Haddock version 2.1.0