[GHC] #4278: Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to Data.Map

[GHC]

#4278: Proposal: Add strict versions of foldlWithKey and insertLookupWithKey to
Data.Map
----------------------------------+-----------------------------------------
    Reporter:  tibbe              |        Owner:                         
        Type:  proposal           |       Status:  patch                  
    Priority:  normal             |    Milestone:  Not GHC                
   Component:  libraries (other)  |      Version:  6.12.3                 
    Keywords:                     |     Testcase:                         
   Blockedby:  4277               |   Difficulty:                         
          Os:  Unknown/Multiple   |     Blocking:  4313                   
Architecture:  Unknown/Multiple   |      Failure:  Runtime performance bug
----------------------------------+-----------------------------------------

Comment(by tibbe):

 Discussion thread: http://www.mail-archive.com/glasgow-haskell-
 bugs at haskell.org/msg28268.html

 Discussion summary:

 - Also add a strict right fold (included in the patch)
 - Force the traversal evaluation order in addition to the accumulator (not
 done; we don't get the Core we want for the fold so I rather not mess with
 it until #4267 is resolved).
 - There are other *WithKey functions that could need strict versions (not
 done; out of scope for this proposal).

 Patch to apply: strict-fold-with-key.dpatch

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4278#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler