 | category-extras-0.50.3: Various modules and constructs inspired by category theory | Contents | Index |
|
Control.Functor.Algebra.Elgot | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Elgot algebras, and their obvious dual, based on:
http://www.iti.cs.tu-bs.de/~milius/research/elgot_lmcs.pdf
Elgot algebras given you a shortcircuitable hylomorphism where you
can directly return a sub-answer to the catamorphism.
|
|
|
Documentation |
|
elgot :: Functor f => Algebra f a -> (b -> Either a (f b)) -> b -> a |
|
coelgot :: Functor f => ((a, f b) -> b) -> Coalgebra f a -> a -> b |
|
Produced by Haddock version 2.1.0 |