Simulation.Aivika.Branch.BR

Tested with: GHC 7.10.3

This module defines that BR can be an instance of the MonadDES and EventIOQueueing type classes.

Documentation

data BR m a

The branching computation.

Instances

MonadTrans BR

Methods

lift :: Monad m => m a -> BR m a

Monad m => Monad (BR m)

Methods

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

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

return :: a -> BR m a

fail :: String -> BR m a

Functor m => Functor (BR m)

Methods

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

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

MonadFix m => MonadFix (BR m)

Methods

mfix :: (a -> BR m a) -> BR m a

Applicative m => Applicative (BR m)

Methods

pure :: a -> BR m a

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

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

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

MonadException m => MonadException (BR m)

Methods

catchComp :: Exception e => BR m a -> (e -> BR m a) -> BR m a

finallyComp :: BR m a -> BR m b -> BR m a

throwComp :: Exception e => e -> BR m a

MonadIO m => MonadIO (BR m)

Methods

liftIO :: IO a -> BR m a

data Ref (BR IO)

data Ref (BR IO) = Ref {

• refValue :: Ref a

}

data Ref (BR IO)

data Ref (BR IO) = Ref {

• refValue :: Ref a

}

data EventQueue (BR IO)

data EventQueue (BR IO) = EventQueue {

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

}

data Generator (BR IO)

data Generator (BR IO) = Generator {

• generator01 :: BR IO Double
• generatorNormal01 :: BR IO Double
• generatorSequenceNo :: BR IO Int

}

data StrategyQueue (BR IO) FCFS

data StrategyQueue (BR IO) FCFS = FCFSQueue (DoubleLinkedList (BR IO) a)

data StrategyQueue (BR IO) LCFS

data StrategyQueue (BR IO) LCFS = LCFSQueue (DoubleLinkedList (BR IO) a)

runBR :: MonadIO m => BR m a -> m a

Run the branching computation.

branchLevel :: Monad m => BR m Int

Return the current branch level starting from 0.

Orphan instances

EventIOQueueing (BR IO)

An implementation of the EventIOQueueing type class.

Methods

enqueueEventIO :: Double -> Event (BR IO) () -> Event (BR IO) ()

MonadDES (BR IO)

MonadComp (BR IO)