category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Description

A very basic Jeremy Gibbons metamorphism, without all the productive stream stuff. See: http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/metamorphisms-scp.pdf TODO: Add some support for spigot algorithms over streams/lists.

Synopsis

meta :: (Functor f, Functor g) => Coalgebra f b -> (a -> b) -> Algebra g a -> FixF g -> FixF f g_meta :: (Monad m, Functor f, Comonad w, Functor g) => Dist m f -> Dist g w -> GCoalgebra f m b -> (a -> b) -> GAlgebra g w a -> FixF g -> FixF f

Documentation

meta :: (Functor f, Functor g) => Coalgebra f b -> (a -> b) -> Algebra g a -> FixF g -> FixF f

g_meta :: (Monad m, Functor f, Comonad w, Functor g) => Dist m f -> Dist g w -> GCoalgebra f m b -> (a -> b) -> GAlgebra g w a -> FixF g -> FixF f

Generalized Jeremy Gibbons metamorphism

Produced by Haddock version 2.1.0