aivika-realtime-0.2: Soft real-time simulation module for the Aivika library

CopyrightCopyright (c) 2016-2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellSafe
LanguageHaskell98

Simulation.Aivika.RealTime.Ref.Base.Strict

Contents

Description

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) Source #

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) Source #

The RT monad is an instance of MonadRef0.

Methods

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