- interface HasReference 
- newIORef' : HasReference ffi =>
a ->
IO' ffi
(IORef a)
- readIORef' : HasReference ffi =>
IORef a ->
IO' ffi
a
- writeIORef' : HasReference ffi =>
IORef a ->
a ->
IO' ffi
()
 
- data IORef : Type ->
Type
- A mutable variable in the IO monad. - MkIORef : a ->
IORef a
 
- modifyIORef : IORef a ->
(a ->
a) ->
IO ()
- mutate the contents of an IORef 
- modifyIORef' : HasReference ffi =>
IORef a ->
(a ->
a) ->
IO' ffi
()
- newIORef : a ->
IO (IORef a)
- Build a new IORef 
- readIORef : IORef a ->
IO a
- read the value of an IORef 
- writeIORef : IORef a ->
a ->
IO ()
- write the value of an IORef