#9586: Implement Traversable/Foldable-Burning-Bridges Proposal -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: | Version: libraries/base | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Difficult (2-5 Unknown/Multiple | days) Type of failure: | Blocked By: None/Unknown | Related Tickets: #9621 Test Case: | Blocking: | Differential Revisions: Phab:D209 | -------------------------------------+------------------------------------- Comment (by rwbarton): Replying to [comment:28 dfeuer]:
Replying to [comment:27 rwbarton]:
Off-topic for this ticket but why not also generalize `filterM`, `forever`, ..., `replicateM_`? Are there hangups about the letter M in the names of some of these functions?
`filterM` cannot be generalized to `Traversable` in any sensible way—it needs something stronger. `forever` and `replicateM_` should be easy.
I mean generalize from Monad to Applicative, not from [] to Traversable. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9586#comment:29 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler