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

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Fri Jun 20 19:21:25 EDT 2008

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?


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

More information about the Haskell-Cafe mailing list