aivika-transformers-2.0: Transformers for the Aivika simulation library

CopyrightCopyright (c) 2009-2014, David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

Simulation.Aivika.Trans.Session

Description

Tested with: GHC 7.8.3

It identifies a current simulation session usually associated with the current simulation run.

Synopsis

Documentation

class (Functor m, Monad m) => SessionMonad m where Source

A monad within which computation we can create and work with a simulation session.

Associated Types

data Session m :: * Source

A simulation session.

data SessionMarker m :: * Source

A marker that exists with the session and which can be compared for equality.

Methods

newSession :: m (Session m) Source

Create a new session.

newSessionMarker :: Session m -> m (SessionMarker m) Source

Create a new marker within the current session.

equalSessionMarker :: SessionMarker m -> SessionMarker m -> Bool Source

Compare two markers for equality.

Instances