[Haskell-cafe] Pretty little definitions of left and right folds

[Brandon S. Allbery KF8NH]

On 2008 Jun 20, at 19:15, George Kangas wrote:

>  The type signature, which could be written (a -> (b -> b)) -> ([a] - 
> > (b -> b)), suggests generalization to another type constructor C:  
> (a -> (b -> b)) -> (C a -> (b -> b)).  Would a "foldable" typeclass  
> make any sense?

http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Foldable.html

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH