Proposal: generalize evaluate

David Feuer david.feuer at gmail.com
Wed Jan 7 15:40:59 UTC 2015


Apparently, there was an issue with my last messages about this for some
people, so here's the idea again:

We could generalize Control.Exception.evaluate to

evaluate :: PrimMonad m => a -> m a
evaluate a = primitive (\s -> seq# a s)

and then export it from Control.Monad.Primitive as well, which seems to me
a much more natural place for it. The only challenge is that the PrimMonad
class would need to be moved to base.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20150107/3218f8f0/attachment.html>


More information about the Libraries mailing list