aivika-transformers-5.8: Transformers for the Aivika simulation library
Simulation.Aivika.IO.Ref.Base.Strict
Contents
Description
Tested with: GHC 8.0.1
The IO monad in an instance of strict MonadRef.
IO
MonadRef
IO is an instance of MonadRef0.
MonadRef0
Methods
newRef0 :: a -> IO (Ref IO a) Source #
IO is an instance of MonadRef.
Associated Types
data Ref IO a :: * Source #
newRef :: a -> Simulation IO (Ref IO a) Source #
readRef :: Ref IO a -> Event IO a Source #
writeRef :: Ref IO a -> a -> Event IO () Source #
modifyRef :: Ref IO a -> (a -> a) -> Event IO () Source #
equalRef :: Ref IO a -> Ref IO a -> Bool Source #