Simulation.Aivika.IO.Ref.Base.Strict

Tested with: GHC 8.0.1

The IO monad in an instance of strict MonadRef.

Orphan instances

MonadRef0 IO

IO is an instance of MonadRef0.

Methods

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

MonadRef IO

IO is an instance of MonadRef.

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