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 |
Language | Haskell2010 |
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
Documentation
class Observable o m where Source #
A class of observable entities.
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 # | |
Defined in Simulation.Aivika.Trans.Ref.Base.Lazy 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 readObservable :: Ref m a -> Event m a Source # | |
(MonadDES m, Observable (Ref m) (t m)) => Observable (Ref m) (t m) Source # | |
Defined in Simulation.Aivika.Trans.Ref readObservable :: Ref m a -> t m a Source # |