| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.IORef
Description
Utilities for Data.IORef.
Synopsis
- data IORef a
- writeIORef :: IORef a -> a -> IO ()
- readIORef :: IORef a -> IO a
- newIORef :: a -> IO (IORef a)
- modifyIORef' :: IORef a -> (a -> a) -> IO ()
- atomicModifyIORef :: IORef a -> (a -> (a, b)) -> IO b
- atomicWriteIORef :: IORef a -> a -> IO ()
- mkWeakIORef :: IORef a -> IO () -> IO (Weak (IORef a))
- modifyIORef :: IORef a -> (a -> a) -> IO ()
- atomicModifyIORef' :: IORef a -> (a -> (a, b)) -> IO b
- readModifyIORef' :: IORef a -> (a -> a) -> IO a
Documentation
Instances
| NFData1 IORef | |
Defined in Control.DeepSeq | |
| NFData (IORef a) | |
Defined in Control.DeepSeq | |
| Eq (IORef a) | |
| (MonadIO m, MonadMask m) => CommandMonad (InputCmdT m) | |
Defined in System.Console.Haskeline.InputT Methods runCompletion :: (String, String) -> InputCmdT m (String, [Completion]) | |
writeIORef :: IORef a -> a -> IO () #
modifyIORef' :: IORef a -> (a -> a) -> IO () #
atomicModifyIORef :: IORef a -> (a -> (a, b)) -> IO b #
atomicWriteIORef :: IORef a -> a -> IO () #
mkWeakIORef :: IORef a -> IO () -> IO (Weak (IORef a)) #
modifyIORef :: IORef a -> (a -> a) -> IO () #
atomicModifyIORef' :: IORef a -> (a -> (a, b)) -> IO b #
readModifyIORef' :: IORef a -> (a -> a) -> IO a Source #
Read IORef, modify it strictly, and return old value.