| Copyright | Copyright (c) 2009-2014, 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.8.3
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
| MonadCompTrans Cont | |
| ParameterLift Cont | |
| SimulationLift Cont | |
| DynamicsLift Cont | |
| EventLift Cont | |
| MonadComp m => Monad (Cont m) | |
| MonadComp m => Functor (Cont m) | |
| MonadComp m => Applicative (Cont m) | |
| (MonadComp m, MonadIO m) => MonadIO (Cont m) |