Simulation.Aivika.Branch.Ref.Base.Lazy

Tested with: GHC 7.10.3

Here is an implementation of lazy 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)