category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.HigherOrder
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward 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 whereSource
Methods
ffmap :: Functor g => (a -> b) -> f g a -> f g bSource
hfmap :: (g :~> h) -> f g :~> f hSource
show/hide Instances
class HFunctor m => HPointed m whereSource
Methods
hreturn :: Functor f => f a -> m f aSource
show/hide Instances
class HFunctor w => HCopointed w whereSource
Methods
hextract :: Functor f => w f a -> f aSource
show/hide Instances
type HAlgebra f g = f g :~> gSource
type HCoalgebra f g = g :~> f gSource
newtype FixH f a Source
Constructors
InH
outH :: f (FixH f) a
newtype LowerH h f a Source
Constructors
LowerH
liftH :: h f a
show/hide Instances
Produced by Haddock version 2.4.2