category-extras-0.52.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

class HFunctor f where Source

Methods ffmap :: Functor g => (a -> b) -> f g a -> f g b Source hfmap :: (g :~> h) -> f g :~> f h Source Instances HFunctor ListT HFunctor CoYoneda HFunctor Yoneda 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 Source

Methods hreturn :: Functor f => f a -> m f a Source Instances HPointed ListT HPointed CoYoneda HPointed Yoneda Monoid e => HPointed (WriterT e) HPointed (StateT e) HPointed (ReaderT e)

class HFunctor w => HCopointed w where Source

Methods hextract :: Functor f => w f a -> f a Source Instances HCopointed CoYoneda HCopointed Yoneda

type HAlgebra f g = f g :~> g Source

type HCoalgebra f g = g :~> f g Source

newtype FixH f a Source

Constructors InH outH :: f (FixH f) a

newtype LowerH h f a Source

Constructors LowerH 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)

Produced by Haddock version 2.3.0