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 |

Tested with: GHC 8.0.1

This module defines an updatable reference that depends on the event queue.

# Documentation

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.

ResultComputing Ref Source # | |

ResultItemable (ResultValue a) => ResultProvider (Ref a) Source # | |

(Ix i, Show i, ResultItemable (ResultValue [e])) => ResultProvider (Ref (Array i e)) Source # | |

ResultItemable (ResultValue [e]) => ResultProvider (Ref (Vector e)) Source # | |

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source # | |

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source # | |

refChanged :: Ref a -> Signal a Source #

Return a signal that notifies about every change of the reference state.

refChanged_ :: Ref a -> Signal () Source #

Return a signal that notifies about every change of the reference state.

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

Create a new reference.