Simulation.Aivika.Dynamics.Cont

Tested with: GHC 7.0.3

The Cont monad is a variation of the standard Cont monad, where the result of applying the continuation is a dynamic process.

Documentation

data Cont a

The Cont type is similar to the standard Cont monad but only the continuation uses a dynamic process as a result.

Instances

Monad Cont

Functor Cont

MonadIO Cont

SimulationLift Cont

DynamicsLift Cont

runCont :: Cont a -> (a -> Dynamics ()) -> Dynamics ()

Run the Cont computation.