| Agda-2.2.6: 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.4.2