| Copyright | Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com> |
|---|---|
| License | BSD3 |
| Maintainer | David Sorokin <david.sorokin@gmail.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Simulation.Aivika.Trans.Cont
Description
Tested with: GHC 7.10.1
The Cont monad is a variation of the standard Cont monad
and F# async workflow, where the result of applying
the continuations is the Event computation.
Documentation
data ContCancellation Source
It defines how the parent and child computations should be cancelled.
Constructors
| CancelTogether | Cancel the both computations together. |
| CancelChildAfterParent | Cancel the child if its parent is cancelled. |
| CancelParentAfterChild | Cancel the parent if its child is cancelled. |
| CancelInIsolation | Cancel the computations in isolation. |
The Cont type is similar to the standard Cont monad
and F# async workflow but only the result of applying
the continuations return the Event computation.
Instances
| MonadDES m => MonadCompTrans Cont m Source | |
| MonadDES m => ParameterLift Cont m Source | |
| MonadDES m => SimulationLift Cont m Source | |
| MonadDES m => DynamicsLift Cont m Source | |
| MonadDES m => EventLift Cont m Source | |
| MonadDES m => Monad (Cont m) Source | |
| MonadDES m => Functor (Cont m) Source | |
| MonadDES m => Applicative (Cont m) Source | |
| (MonadDES m, MonadIO m) => MonadIO (Cont m) Source |