Data.IORef

Definitions

data IORef : Type -> Type

Totality: total
Visibility: export
Constructor: 

MkRef : Mut a -> IORef a

newIORef : HasIO io => a -> io (IORef a)

Totality: total
Visibility: export

readIORef : HasIO io => IORef a -> io a

Totality: total
Visibility: export

writeIORef : HasIO io => IORef a -> a -> io ()

Totality: total
Visibility: export

writeIORef1 : HasLinearIO io => IORef a -> (1 _ : a) -> io ()

Totality: total
Visibility: export

modifyIORef : HasIO io => IORef a -> (a -> a) -> io ()

Totality: total
Visibility: export