Agda.Utils.IORef

Utilities for Data.IORef.

Documentation

data IORef a

Instances

NFData1 IORef

Defined in Control.DeepSeq

Methods

liftRnf :: (a -> ()) -> IORef a -> ()

NFData (IORef a)

Defined in Control.DeepSeq

Methods

rnf :: IORef a -> ()

Eq (IORef a)

Defined in GHC.Internal.IORef

Methods

(==) :: IORef a -> IORef a -> Bool

(/=) :: IORef a -> IORef a -> Bool

(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 ()

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

Read IORef, modify it strictly, and return old value.