Simulation.Aivika.Branch.Ref.Base.Strict

Tested with: GHC 7.10.3

Here is an implementation of strict mutable references, where BR can be an instance of MonadRef and MonadRef0.

Orphan instances

MonadRef (BR IO)

The implementation of mutable references.

Associated Types

data Ref (BR IO) a

Methods

newRef :: a -> Simulation (BR IO) (Ref (BR IO) a)

readRef :: Ref (BR IO) a -> Event (BR IO) a

writeRef :: Ref (BR IO) a -> a -> Event (BR IO) ()

modifyRef :: Ref (BR IO) a -> (a -> a) -> Event (BR IO) ()

equalRef :: Ref (BR IO) a -> Ref (BR IO) a -> Bool

MonadRef0 (BR IO)

A subtype of mutable references that can be created under more weak conditions.

Methods

newRef0 :: a -> BR IO (Ref (BR IO) a)