Re-exporting traverse_ from Data.Traversable
ekmett at gmail.com
Tue Jul 26 02:04:36 UTC 2016
Yes there is.
For existing code if anybody has already explicitly hidden it from
Data.Foldable, so they can work with traverse_ from some specific container
type, they'd now get slapped with it on the backswing by Data.Traversable.
import Data.Foldable hiding (traverse_)
main = something that used a monomorphic traverse_ from SomeContainer
This is sort of like how users get hammered with Control.Monad methods from
all of the Control.Monad.Foo modules today, where it can be remarkably hard
to hide all the attempts they make to shove the same fail, join, etc. down
On Mon, Jul 25, 2016 at 9:15 PM, Christopher Allen <cma at bitemyapp.com>
> Any reason not to do it? I realize it needs Foldable, but even knowing
> that I still forget it's in Data.Foldable. Seems like a free UX win to
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs