| Copyright | Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com> |
|---|---|
| License | BSD3 |
| Maintainer | David Sorokin <david.sorokin@gmail.com> |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
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
- class Observable o m where
- readObservable :: o a -> m a
Documentation
class Observable o m where Source #
A class of observable entities.
Methods
readObservable :: o a -> m a Source #
Read the observable entity value within the specified computation.
Instances
| (MonadDES m, Observable (Ref m) (t m)) => Observable (Ref m) (t m) Source # | |
Defined in Simulation.Aivika.Trans.Ref Methods readObservable :: Ref m a -> t m a Source # | |
| (Monad m, MonadRef m) => Observable (Ref m) (Event m) Source # | |
Defined in Simulation.Aivika.Trans.Ref.Base.Lazy Methods readObservable :: Ref m a -> Event m a Source # | |
| (Monad m, MonadRef m) => Observable (Ref m) (Event m) Source # | |
Defined in Simulation.Aivika.Trans.Ref.Base.Strict Methods readObservable :: Ref m a -> Event m a Source # | |