[Haskell-cafe] Properties for Foldable

[Jan Christiansen]

Hi,

On Jul 29, 2011, at 10:15 PM, Conal Elliott wrote:

> Is there a collection of laws associated with the Foldable class? Or for Traversable?  - Conal

if you are not aware of "The essence of the Iterator pattern" by Jeremy Gibbons and Bruno Oliveira (http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.850&rep=rep1&type=pdf) it might be interesting. Especially chapter 5 discusses some laws of traversable instances.

Cheers, Jan