Data.Variable

Mutable variables in the IO Monad.

Documentation

class Variable v where

Methods

newVar :: a -> IO (v a)

Create a new variable.

readVar :: v a -> IO a

Read a variable.

writeVar :: v a -> a -> IO ()

Write a variable.

modifyVar :: v a -> (a -> a) -> IO ()

Modify a variable.

modifyVar' :: v a -> (a -> (a, b)) -> IO b

Modify a variable, and return some value.

Instances

Variable TVar

Variable IORef

Variable MVar

Variable TMVar

Variable v => Variable (Source v)

Variable v => Variable (BindingList v)

interface to the binding list's Source