Simulation.Aivika.Trans.Cont

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.

Documentation

data ContCancellation

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 m a

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

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftComp :: m a -> Cont m a

MonadDES m => DynamicsLift Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftDynamics :: Dynamics m a -> Cont m a

MonadDES m => EventLift Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftEvent :: Event m a -> Cont m a

MonadDES m => ParameterLift Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftParameter :: Parameter m a -> Cont m a

MonadDES m => SimulationLift Cont m

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftSimulation :: Simulation m a -> Cont m a

(MonadDES m, MonadIO m) => MonadIO (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

liftIO :: IO a -> Cont m a

MonadDES m => Applicative (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

pure :: a -> Cont m a

(<*>) :: Cont m (a -> b) -> Cont m a -> Cont m b

liftA2 :: (a -> b -> c) -> Cont m a -> Cont m b -> Cont m c

(*>) :: Cont m a -> Cont m b -> Cont m b

(<*) :: Cont m a -> Cont m b -> Cont m a

MonadDES m => Functor (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

fmap :: (a -> b) -> Cont m a -> Cont m b

(<$) :: a -> Cont m b -> Cont m a

MonadDES m => Monad (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

(>>=) :: Cont m a -> (a -> Cont m b) -> Cont m b

(>>) :: Cont m a -> Cont m b -> Cont m b

return :: a -> Cont m a

MonadDES m => MonadCatch (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

catch :: (HasCallStack, Exception e) => Cont m a -> (e -> Cont m a) -> Cont m a

MonadDES m => MonadThrow (Cont m)

Defined in Simulation.Aivika.Trans.Internal.Cont

Methods

throwM :: (HasCallStack, Exception e) => e -> Cont m a