Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Agda.Utils.Pointer
Description
Wrappers for IORefs.
IORef
type Ptr a = IORef a
deref :: MonadIO io => Ptr a -> io a
store :: MonadIO io => Ptr a -> a -> io ()
alloc :: MonadIO io => a -> io (Ptr a)
updatePtr :: MonadIO io => Ptr a -> (a -> io a) -> io a