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

Control.Functor.Algebra.Elgot  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 
Elgot algebras, and their obvious dual, based on:
http://www.iti.cs.tubs.de/~milius/research/elgot_lmcs.pdf
Elgot algebras given you a shortcircuitable hylomorphism where you
can directly return a subanswer to the catamorphism.
Elgot coalgebras are defined in:
http://comonad.com/reader/2008/elgotcoalgebras/


Synopsis 



Documentation 

elgot :: Functor f => Algebra f a > (b > Either a (f b)) > b > a 
Elgot algebra


coelgot :: Functor f => ((a, f b) > b) > Coalgebra f a > a > b 
Elgot coalgebra


Produced by Haddock version 2.1.0 