Simulation.Aivika.IO.Ref.Base

Tested with: GHC 8.0.1

The MonadIO-based monad can be an instance of MonadRef.

Orphan instances

(MonadIO m, MonadTemplate m) => MonadRef0 m

The MonadIO based monad is an instance of MonadRef0.

Methods

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

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

The MonadIO based monad is an instance of MonadRef.

Associated Types

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

Methods

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

readRef :: Ref m a -> Event m a

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

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

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