Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.Utils.Pointer

Description

Wrappers for IORefs.

Documentation

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