Simulation.Aivika.Trans.Ref.Base.Strict

Tested with: GHC 8.0.1

This module defines a plain and more fast version of an updatable and strict reference that depends on the event queue but that doesn't supply with the signal notification.

Documentation

class Monad m => MonadRef m where

A monad within which we can create mutable references.

Minimal complete definition

newRef, readRef, writeRef, modifyRef, equalRef

Associated Types

data Ref m a

The Ref type represents a mutable variable similar to the IORef variable but only dependent on the event queue, which allows synchronizing the reference with the model explicitly through the Event monad.

Methods

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

Create a new reference.

readRef :: Ref m a -> Event m a

Read the value of a reference.

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

Write a new value into the reference.

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

Mutate the contents of the reference.

equalRef :: Ref m a -> Ref m a -> Bool

Compare two references for equality.

Instances

MonadRef IO

IO is an instance of MonadRef.

Defined in Simulation.Aivika.IO.Ref.Base.Strict

Associated Types

data Ref IO a :: *

Methods

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

readRef :: Ref IO a -> Event IO a

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

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

equalRef :: Ref IO a -> Ref IO a -> Bool

class MonadRef m => MonadRef0 m where

A kind of reference that can be created within more low level computation than Simulation.

Minimal complete definition

newRef0

Methods

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

Create a new reference within more low level computation than Simulation.

Instances

MonadRef0 IO

IO is an instance of MonadRef0.

Defined in Simulation.Aivika.IO.Ref.Base.Strict

Methods

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