Simulation.Aivika.Trans.Observable

Tested with: GHC 8.0.1

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

Documentation

class Observable o m where

A class of observable entities.

Methods

readObservable :: o a -> m a

Read the observable entity value within the specified computation.

Instances

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

Defined in Simulation.Aivika.Trans.Ref

Methods

readObservable :: Ref m a -> t m a

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

Defined in Simulation.Aivika.Trans.Ref.Base.Lazy

Methods

readObservable :: Ref m a -> Event m a

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

Defined in Simulation.Aivika.Trans.Ref.Base.Strict

Methods

readObservable :: Ref m a -> Event m a