 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Morphism.Meta.Gibbons  Portability  nonportable (rank2 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/metamorphismsscp.pdf
TODO: Add some support for spigot algorithms over streams/lists.


Synopsis 



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 