Simulation.Aivika.Distributed.Optimistic.Ref.Base.Strict

Tested with: GHC 7.10.3

Here is an implementation of strict mutable references, where DIO is an instance of MonadRef and MonadRef0.

Orphan instances

MonadRef DIO

The implementation of strict mutable references.

Associated Types

data Ref (DIO :: * -> *) a :: *

Methods

newRef :: a -> Simulation DIO (Ref DIO a)

readRef :: Ref DIO a -> Event DIO a

writeRef :: Ref DIO a -> a -> Event DIO ()

modifyRef :: Ref DIO a -> (a -> a) -> Event DIO ()

equalRef :: Ref DIO a -> Ref DIO a -> Bool

MonadRef0 DIO

Methods

newRef0 :: a -> DIO (Ref DIO a)