aivika-transformers-5.3.1: Transformers for the Aivika simulation library

CopyrightCopyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Simulation.Aivika.IO.Ref.Base.Strict

Contents

Description

Tested with: GHC 8.0.1

The IO monad in an instance of strict MonadRef.

Orphan instances

MonadRef0 IO Source #

IO is an instance of MonadRef0.

Methods

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

MonadRef IO Source #

IO is an instance of MonadRef.

Associated Types

data Ref (IO :: * -> *) a :: * Source #

Methods

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 #