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.

Minimal complete definition

readObservable

Methods

readObservable :: o a -> m a

Read the observable entity value within the specified computation.

Instances

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

Methods

readObservable :: Ref m a -> Event m a

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

Methods

readObservable :: Ref m a -> Event m a

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

Methods

readObservable :: Ref m a -> t m a