Copyright | Copyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com> |
---|---|

License | BSD3 |

Maintainer | David Sorokin <david.sorokin@gmail.com> |

Stability | experimental |

Safe Haskell | None |

Language | Haskell2010 |

Tested with: GHC 8.0.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.

## Synopsis

# Documentation

data ContCancellation Source #

It defines how the parent and child computations should be cancelled.

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 # | |

Defined in Simulation.Aivika.Trans.Internal.Cont | |

MonadDES m => ParameterLift Cont m Source # | |

Defined in Simulation.Aivika.Trans.Internal.Cont liftParameter :: Parameter m a -> Cont m a Source # | |

MonadDES m => SimulationLift Cont m Source # | |

Defined in Simulation.Aivika.Trans.Internal.Cont liftSimulation :: Simulation m a -> Cont m a Source # | |

MonadDES m => DynamicsLift Cont m Source # | |

Defined in Simulation.Aivika.Trans.Internal.Cont liftDynamics :: Dynamics m a -> Cont m a 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 # | |

Defined in Simulation.Aivika.Trans.Internal.Cont | |

MonadDES m => MonadThrow (Cont m) Source # | |

Defined in Simulation.Aivika.Trans.Internal.Cont | |

MonadDES m => MonadCatch (Cont m) Source # | |