Simulation.Aivika.Lattice.Ref.Base

Tested with: GHC 7.10.3

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

Orphan instances

MonadRef LIO

The implementation of mutable references.

Associated Types

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

Methods

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

readRef :: Ref LIO a -> Event LIO a

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

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

equalRef :: Ref LIO a -> Ref LIO a -> Bool

MonadRef0 LIO

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

Methods

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

Observable (Ref LIO) (Estimate LIO)

An instance of the specified type class.

Methods

readObservable :: Ref LIO a -> Estimate LIO a