| ||||||||
| ||||||||
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. Elgot coalgebras are defined in: http://comonad.com/reader/2008/elgot-coalgebras/ | ||||||||
Synopsis | ||||||||
| ||||||||
Documentation | ||||||||
| ||||||||
Elgot algebra | ||||||||
| ||||||||
Elgot coalgebra | ||||||||
Produced by Haddock version 2.4.2 |