Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.IORef

Description

Utilities for Data.IORef.

Synopsis

Documentation

data IORef a #

Instances

Instances details
NFData1 IORef 
Instance details

Defined in Control.DeepSeq

Methods

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

NFData (IORef a) 
Instance details

Defined in Control.DeepSeq

Methods

rnf :: IORef a -> ()

Eq (IORef a) 
Instance details

Defined in GHC.Internal.IORef

Methods

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

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

(MonadIO m, MonadMask m) => CommandMonad (InputCmdT m) 
Instance details

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 Source #

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