category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Morphism.Hylo Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Generalized hylomorphisms

Synopsis

hylo :: Functor f => Alg g b -> Natural f g -> CoAlg f a -> a -> b g_hylo :: (Comonad w, Functor f, Monad m) => Dist g w -> Dist m f -> AlgW g w b -> Natural f g -> CoAlgM f m a -> a -> b bihylo :: (Bifunctor f, Bifunctor g) => Alg (g d) b -> Natural (f c) (g d) -> CoAlg (f c) a -> a -> b g_bihylo :: (Comonad w, Bifunctor f, Monad m) => Dist (g d) w -> Dist m (f c) -> AlgW (g d) w b -> Natural (f c) (g d) -> CoAlgM (f c) m a -> a -> b hhylo :: HFunctor f => AlgH f b -> CoAlgH f a -> Natural a b

Documentation

hylo :: Functor f => Alg g b -> Natural f g -> CoAlg f a -> a -> b Source

g_hylo :: (Comonad w, Functor f, Monad m) => Dist g w -> Dist m f -> AlgW g w b -> Natural f g -> CoAlgM f m a -> a -> b Source

bihylo :: (Bifunctor f, Bifunctor g) => Alg (g d) b -> Natural (f c) (g d) -> CoAlg (f c) a -> a -> b Source

g_bihylo :: (Comonad w, Bifunctor f, Monad m) => Dist (g d) w -> Dist m (f c) -> AlgW (g d) w b -> Natural (f c) (g d) -> CoAlgM (f c) m a -> a -> b Source

hhylo :: HFunctor f => AlgH f b -> CoAlgH f a -> Natural a b Source

higher order hylomorphisms for use in building up and tearing down higher order functors

Produced by Haddock version 2.1.0