[Haskell-cafe] Properties for Foldable

[David Barbour]

On Fri, Jul 29, 2011 at 1:15 PM, Conal Elliott <conal at conal.net> wrote:

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

Judging by the documentation in the source, I think all the laws are in
terms of 'toList'...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110729/ad3c3d49/attachment.htm>