Simulation.Aivika.IO.Var.Unboxed

Tested with: GHC 8.0.1

The MonadIO-based monad can be an instance MonadVar.

Orphan instances

(Monad m, MonadDES m, MonadIO m, MonadTemplate m, Unboxed a) => MonadVar m a

The MonadIO based monad is an instance of MonadVar.

Associated Types

data Var (m :: * -> *) a :: *

Methods

newVar :: a -> Simulation m (Var m a)

varMemo :: Var m a -> Dynamics m a

readVar :: Var m a -> Event m a

writeVar :: Var m a -> a -> Event m ()

modifyVar :: Var m a -> (a -> a) -> Event m ()

freezeVar :: Var m a -> Event m (Array Int Double, Array Int a, Array Int a)

varChanged :: Var m a -> Signal m a

varChanged_ :: Var m a -> Signal m ()