Copyright	Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.Ref.Base

Description

Tested with: GHC 8.0.1

This module defines a light-weight and more fast version of an updatable reference that depends on the event queue but that doesn't supply with the signal notification.

Synopsis

Documentation

data Ref a Source #

The Ref type represents a mutable variable similar to the IORef variable but only dependent on the event queue, which allows synchronizing the reference with the model explicitly through the Event monad.

Instances

ResultComputing Ref Source #
Methods computeResultData :: Ref a -> ResultData a Source # computeResultSignal :: Ref a -> ResultSignal Source #
ResultItemable (ResultValue a) => ResultProvider (Ref a) Source #
Methods resultSource :: ResultName -> ResultDescription -> Ref a -> ResultSource Source # resultSource' :: ResultName -> ResultId -> Ref a -> ResultSource Source #
(Ix i, Show i, ResultItemable (ResultValue [e])) => ResultProvider (Ref (Array i e)) Source #
Methods resultSource :: ResultName -> ResultDescription -> Ref (Array i e) -> ResultSource Source # resultSource' :: ResultName -> ResultId -> Ref (Array i e) -> ResultSource Source #
ResultItemable (ResultValue [e]) => ResultProvider (Ref (Vector e)) Source #
Methods resultSource :: ResultName -> ResultDescription -> Ref (Vector e) -> ResultSource Source # resultSource' :: ResultName -> ResultId -> Ref (Vector e) -> ResultSource Source #
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source #
Methods resultSource :: ResultName -> ResultDescription -> Ref (TimingCounter a) -> ResultSource Source # resultSource' :: ResultName -> ResultId -> Ref (TimingCounter a) -> ResultSource Source #
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source #
Methods resultSource :: ResultName -> ResultDescription -> Ref (SamplingCounter a) -> ResultSource Source # resultSource' :: ResultName -> ResultId -> Ref (SamplingCounter a) -> ResultSource Source #

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

Create a new reference.

readRef :: Ref a -> Event a Source #

Read the value of a reference.

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

Write a new value into the reference.

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

Mutate the contents of the reference.