Copyright	Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com>
License	BSD3
Maintainer	David Sorokin <david.sorokin@gmail.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Simulation.Aivika.Cont

Description

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.

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.

data Cont a Source #

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

Monad Cont Source #
Methods (>>=) :: Cont a -> (a -> Cont b) -> Cont b # (>>) :: Cont a -> Cont b -> Cont b # return :: a -> Cont a # fail :: String -> Cont a #
Functor Cont Source #
Methods fmap :: (a -> b) -> Cont a -> Cont b # (<$) :: a -> Cont b -> Cont a #
Applicative Cont Source #
Methods pure :: a -> Cont a # (<>) :: Cont (a -> b) -> Cont a -> Cont b # (>) :: Cont a -> Cont b -> Cont b # (<*) :: Cont a -> Cont b -> Cont a #
MonadIO Cont Source #
Methods liftIO :: IO a -> Cont a #
ParameterLift Cont Source #
Methods liftParameter :: Parameter a -> Cont a Source #
SimulationLift Cont Source #
Methods liftSimulation :: Simulation a -> Cont a Source #
DynamicsLift Cont Source #
Methods liftDynamics :: Dynamics a -> Cont a Source #
EventLift Cont Source #
Methods liftEvent :: Event a -> Cont a Source #