Simulation.Aivika.Branch.Br

Tested with: GHC 7.10.3

This module defines BrIO as an instance of the MonadDES and EventIOQueueing type classes.

Documentation

data BrIO a

The branching computation.

Instances

Monad BrIO

Methods

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

(>>) :: BrIO a -> BrIO b -> BrIO b

return :: a -> BrIO a

fail :: String -> BrIO a

Functor BrIO

Methods

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

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

MonadFix BrIO

Methods

mfix :: (a -> BrIO a) -> BrIO a

Applicative BrIO

Methods

pure :: a -> BrIO a

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

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

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

MonadIO BrIO

Methods

liftIO :: IO a -> BrIO a

MonadException BrIO

Methods

catchComp :: Exception e => BrIO a -> (e -> BrIO a) -> BrIO a

finallyComp :: BrIO a -> BrIO b -> BrIO a

throwComp :: Exception e => e -> BrIO a

data Ref BrIO

data Ref BrIO = Ref {

• refValue :: Ref a

}

data EventQueue BrIO

data EventQueue BrIO = EventQueue {

• queuePQ :: IORef (PriorityQueue (Point BrIO -> BrIO ()))
• queueBusy :: IORef Bool
• queueTime :: IORef Double

}

data Generator BrIO

data Generator BrIO = Generator {

• generator01 :: BrIO Double
• generatorNormal01 :: BrIO Double

}

data StrategyQueue BrIO FCFS

data StrategyQueue BrIO FCFS = FCFSQueue (DoubleLinkedList BrIO a)

data StrategyQueue BrIO LCFS

data StrategyQueue BrIO LCFS = LCFSQueue (DoubleLinkedList BrIO a)

runBr :: BrIO a -> IO a

Run the branching computation.

branchLevel :: BrIO Int

Return the current branch level starting from 0.

Orphan instances

EventIOQueueing BrIO

An implementation of the EventIOQueueing type class.

Methods

enqueueEventIO :: Double -> Event BrIO () -> Event BrIO ()

MonadDES BrIO

MonadComp BrIO