aivika-distributed-0.7.1.1: Parallel distributed discrete event simulation module for the Aivika library

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

Simulation.Aivika.Distributed.Optimistic.Ref.Base.Strict

Contents

Description

Tested with: GHC 7.10.3

Here is an implementation of strict mutable references, where DIO is an instance of MonadRef and MonadRef0.

Orphan instances

MonadRef DIO Source #

The implementation of strict mutable references.

Associated Types

data Ref (DIO :: * -> *) a :: * #

Methods

newRef :: a -> Simulation DIO (Ref DIO a) #

readRef :: Ref DIO a -> Event DIO a #

writeRef :: Ref DIO a -> a -> Event DIO () #

modifyRef :: Ref DIO a -> (a -> a) -> Event DIO () #

equalRef :: Ref DIO a -> Ref DIO a -> Bool #

MonadRef0 DIO Source # 

Methods

newRef0 :: a -> DIO (Ref DIO a) #