Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Utils.IORef
Description
Utilities for Data.IORef.
- module Data.IORef
- readModifyIORef' :: IORef a -> (a -> a) -> IO a
Documentation
module Data.IORef
readModifyIORef' :: IORef a -> (a -> a) -> IO a #
Read IORef
, modify it strictly, and return old value.