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