 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Functor.HigherOrder  Portability  nonportable (rank2 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/tlca07rev.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 