Portability | non-portable (rank-2 polymorphism) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

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/