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