Control.Functor.HigherOrder

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

HFunctor ListT

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

Monoid e => HPointed (WriterT e)

HPointed (StateT e)

HPointed (ReaderT e)

class HFunctor w => HCopointed w where

Methods

hextract :: Functor f => w f a -> f a

type HAlgebra f g = f g :~> g

type HCoalgebra f g = g :~> f g

newtype FixH f a

Constructors

InH

Fields

outH :: f (FixH f) a

newtype LowerH h f a

Constructors

LowerH

Fields

liftH :: h f a

Instances

(HFunctor h, Functor f) => Functor (LowerH h f)

(HCopointed h, Copointed f) => Copointed (LowerH h f)

(HPointed h, Pointed f) => Pointed (LowerH h f)