Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Pointer
Description
Wrappers for
IORef
s.
Documentation
type
Ptr
a =
IORef
a
Source
deref
::
MonadIO
io =>
Ptr
a -> io a
Source
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 a
Source
Produced by
Haddock
version 2.6.1