[Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Martijn van Steenbergen
Hallo café, Can anyone think of datatypes that are Foldable but not Traversable? If not, what is the purpose of having a separate Foldable class? Thanks, Martijn. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/

Re: [Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Henning Thielemann
On Fri, 9 Oct 2009, Martijn van Steenbergen wrote: Hallo café, Can anyone think of datatypes that are Foldable but not Traversable? If not, what is the purpose of having a separate Foldable class? Recently I wondered, why Foldable is superclass of Traversable, since I have examples where '

Re: [Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Ross Paterson
On Fri, Oct 09, 2009 at 04:41:05PM +0200, Martijn van Steenbergen wrote: > Can anyone think of datatypes that are Foldable but not Traversable? Set ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-caf

Re: [Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Edward Kmett
On Fri, Oct 9, 2009 at 10:45 AM, Henning Thielemann < lemm...@henning-thielemann.de> wrote: > > On Fri, 9 Oct 2009, Martijn van Steenbergen wrote: > > Hallo café, >> >> Can anyone think of datatypes that are Foldable but not Traversable? > > Data.Set.Set is a good example. The values contained in

Re: [Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Ross Paterson
On Fri, Oct 09, 2009 at 04:45:01PM +0200, Henning Thielemann wrote: > Recently I wondered, why Foldable is superclass of Traversable, > since I have examples where 'traverse' makes sense, but 'fold' not. > > http://www.haskell.org/pipermail/libraries/2009-February/011361.html That would be surpri

Re: [Haskell-cafe] Non-traversable foldables

2009-10-09 Thread Martijn van Steenbergen
Ross Paterson wrote: On Fri, Oct 09, 2009 at 04:41:05PM +0200, Martijn van Steenbergen wrote: Can anyone think of datatypes that are Foldable but not Traversable? Set Nice! Thank you all for your answers. Martijn. ___ Haskell-Cafe mailing list Ha