Test.IOSpec.IORef

A pure specification of mutable variables.

The IORefS spec

data IORefS a

An expression of type IOSpec IORefS a corresponds to an IO computation that uses mutable references and returns a value of type a.

Instances

Functor IORefS

Defined in Test.IOSpec.IORef

Methods

fmap :: (a -> b) -> IORefS a -> IORefS b

(<$) :: a -> IORefS b -> IORefS a

Executable IORefS

The Executable instance for the IORefS monad.

Defined in Test.IOSpec.IORef

Methods

step :: IORefS a -> VM (Step a)

Manipulation and creation of IORefs

data IORef a

A mutable variable storing a value of type a. Note that the types stored by an IORef are assumed to be Typeable.

newIORef :: (Typeable a, IORefS :<: f) => a -> IOSpec f (IORef a)

The newIORef function creates a new mutable variable.

readIORef :: (Typeable a, IORefS :<: f) => IORef a -> IOSpec f a

The readIORef function reads the value stored in a mutable variable.

writeIORef :: (Typeable a, IORefS :<: f) => IORef a -> a -> IOSpec f ()

The writeIORef function overwrites the value stored in a mutable variable.

modifyIORef :: (Typeable a, IORefS :<: f) => IORef a -> (a -> a) -> IOSpec f ()

The modifyIORef function applies a function to the value stored in and IORef.