Please do feel free to suggest a better name. I would certainly have named it better had I been able to think of one. On Fri, Jan 15, 2021 at 3:33 PM wrote:

I would suggest better naming that suffixing with '2', if the suggestion was to add them with the same names as GHC.IORef On 15 Jan 2021, 20:05 +0000, David Feuer , wrote:

GHC.IORef currently exports

atomicModifyIORef2 :: IORef a -> (a -> (a,b)) -> IO (a, (a, b))

atomicSwapIORef :: IORef a -> a -> IO a

atomicModifyIORef2 is a lot like atomicModifyIORef, but it returns

both the old value in the IORef and the full result of applying the

user-supplied function to that. This is a pretty thin wrapper around

the newish atomicModifyMutVar2# primop, which has replaced the less

powerful atomicModifyMutVar#.

atomicSwapIORef atomically installs a user-supplied value in an IORef

and returns the old value. It is currently implemented using

atomicModifyIORef2, but it can and should be reimplemented using its

own, more efficient primop.

I propose to add both of these functions to Data.IORef.

David

_______________________________________________

Libraries mailing list

Libraries@haskell.org

http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries