Simulation.Aivika.Composite

Tested with: GHC 8.0.1

It defines the Composite monad that allows constructing components which can be then destroyed in case of need.

Composite Monad

data Composite a

It represents a composite which can be then destroyed in case of need.

Instances

CompositeLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftComposite :: Composite a -> Composite a

DynamicsLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftDynamics :: Dynamics a -> Composite a

EventLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftEvent :: Event a -> Composite a

ParameterLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftParameter :: Parameter a -> Composite a

SimulationLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftSimulation :: Simulation a -> Composite a

MonadFail Composite

Defined in Simulation.Aivika.Composite

Methods

fail :: String -> Composite a

MonadFix Composite

Defined in Simulation.Aivika.Composite

Methods

mfix :: (a -> Composite a) -> Composite a

MonadIO Composite

Defined in Simulation.Aivika.Composite

Methods

liftIO :: IO a -> Composite a

Applicative Composite

Defined in Simulation.Aivika.Composite

Methods

pure :: a -> Composite a

(<*>) :: Composite (a -> b) -> Composite a -> Composite b

liftA2 :: (a -> b -> c) -> Composite a -> Composite b -> Composite c

(*>) :: Composite a -> Composite b -> Composite b

(<*) :: Composite a -> Composite b -> Composite a

Functor Composite

Defined in Simulation.Aivika.Composite

Methods

fmap :: (a -> b) -> Composite a -> Composite b

(<$) :: a -> Composite b -> Composite a

Monad Composite

Defined in Simulation.Aivika.Composite

Methods

(>>=) :: Composite a -> (a -> Composite b) -> Composite b

(>>) :: Composite a -> Composite b -> Composite b

return :: a -> Composite a

class CompositeLift m where

A type class to lift the Composite computation to other computations.

Methods

liftComposite :: Composite a -> m a

Lift the specified Composite computation to another computation.

Instances

CompositeLift Composite

Defined in Simulation.Aivika.Composite

Methods

liftComposite :: Composite a -> Composite a

runComposite :: Composite a -> DisposableEvent -> Event (a, DisposableEvent)

Run the computation returning the result and some DisposableEvent that being applied destroys the composite, for example, unsubscribes from signals or cancels the processes.

runComposite_ :: Composite a -> Event a

Like runComposite but retains the composite parts during the simulation.

runCompositeInStartTime_ :: Composite a -> Simulation a

Like runComposite_ but runs the computation in the start time.

runCompositeInStopTime_ :: Composite a -> Simulation a

Like runComposite_ but runs the computation in the stop time.

disposableComposite :: DisposableEvent -> Composite ()

When destroying the composite, the specified action will be applied.