| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Agda.Utils.IORef
Description
Provides Data.IORef.modifyIORef' for base < 4.6.
- module Data.IORef
- readModifyIORef' :: IORef a -> (a -> a) -> IO a
Documentation
module Data.IORef
readModifyIORef' :: IORef a -> (a -> a) -> IO a Source
Read IORef, modify it strictly, and return old value.