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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
