aivika-transformers-5.4: 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 HaskellSafe
LanguageHaskell2010

Simulation.Aivika.Trans.Observable

Description

Tested with: GHC 8.0.1

This module defines an observable entity, which value can be read within some computation.

Synopsis

Documentation

class Observable o m where Source #

A class of observable entities.

Minimal complete definition

readObservable

Methods

readObservable :: o a -> m a Source #

Read the observable entity value within the specified computation.

Instances

(Monad m, MonadRef m) => Observable (Ref m) (Event m) Source # 

Methods

readObservable :: Ref m a -> Event m a Source #

(Monad m, MonadRef m) => Observable (Ref m) (Event m) Source # 

Methods

readObservable :: Ref m a -> Event m a Source #

(MonadDES m, Observable (Ref m) (t m)) => Observable (Ref m) (t m) Source # 

Methods

readObservable :: Ref m a -> t m a Source #