Foldr/build fusion and reverse

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Foldr/build fusion and reverse

David Feuer

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
[hidden email]
http://www.haskell.org/mailman/listinfo/libraries