David Feuer | 11 Aug 22:01 2014
Picon

Foldr/build fusion and reverse

Currently, reverse does not participate at all. This law looks eminently exploitable:

foldr c n (reverse xs) = foldl (flip c) n xs

foldr c n $ reverse $ build xs =

_______________________________________________
Libraries mailing list
Libraries <at> haskell.org
http://www.haskell.org/mailman/listinfo/libraries

Gmane