Simulation.Aivika.RealTime.Ref.Base.Strict

Tested with: GHC 8.0.1

The RT monad can be an instance of strict MonadRef.

Orphan instances

(Monad m, MonadIO m) => MonadRef (RT m)

The RT monad is an instance of MonadRef.

Associated Types

data Ref (RT m :: * -> *) a :: *

Methods

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

readRef :: Ref (RT m) a -> Event (RT m) a

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

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

equalRef :: Ref (RT m) a -> Ref (RT m) a -> Bool

MonadIO m => MonadRef0 (RT m)

The RT monad is an instance of MonadRef0.

Methods

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