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

Defined in Simulation.Aivika.Branch.Internal.BR

Methods

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

Monad m => Monad (BR m)

Defined in Simulation.Aivika.Branch.Internal.BR

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

Functor m => Functor (BR m)

Defined in Simulation.Aivika.Branch.Internal.BR

Methods

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

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

MonadFix m => MonadFix (BR m)

Defined in Simulation.Aivika.Branch.Internal.BR

Methods

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

Applicative m => Applicative (BR m)

Defined in Simulation.Aivika.Branch.Internal.BR

Methods

pure :: a -> BR m a

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

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

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

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

EventIOQueueing (BR IO)

An implementation of the EventIOQueueing type class.

Defined in Simulation.Aivika.Branch.BR

Methods

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

MonadDES (BR IO)

Defined in Simulation.Aivika.Branch.BR

MonadRef (BR IO)

The implementation of mutable references.

Defined in Simulation.Aivika.Branch.Ref.Base.Strict

Associated Types

data Ref (BR IO) a

Methods

newRef :: a -> Simulation (BR IO) (Ref (BR IO) a)

readRef :: Ref (BR IO) a -> Event (BR IO) a

writeRef :: Ref (BR IO) a -> a -> Event (BR IO) ()

modifyRef :: Ref (BR IO) a -> (a -> a) -> Event (BR IO) ()

equalRef :: Ref (BR IO) a -> Ref (BR IO) a -> Bool

MonadRef0 (BR IO)

A subtype of mutable references that can be created under more weak conditions.

Defined in Simulation.Aivika.Branch.Ref.Base.Strict

Methods

newRef0 :: a -> BR IO (Ref (BR IO) a)

MonadRef (BR IO)

The implementation of mutable references.

Defined in Simulation.Aivika.Branch.Ref.Base.Lazy

Associated Types

data Ref (BR IO) a

Methods

newRef :: a -> Simulation (BR IO) (Ref (BR IO) a)

readRef :: Ref (BR IO) a -> Event (BR IO) a

writeRef :: Ref (BR IO) a -> a -> Event (BR IO) ()

modifyRef :: Ref (BR IO) a -> (a -> a) -> Event (BR IO) ()

equalRef :: Ref (BR IO) a -> Ref (BR IO) a -> Bool

MonadRef0 (BR IO)

A subtype of mutable references that can be created under more weak conditions.

Defined in Simulation.Aivika.Branch.Ref.Base.Lazy

Methods

newRef0 :: a -> BR IO (Ref (BR IO) a)

MonadComp (BR IO)

Defined in Simulation.Aivika.Branch.BR

EventQueueing (BR IO)

An implementation of the EventQueueing type class.

Defined in Simulation.Aivika.Branch.Event

Associated Types

data EventQueue (BR IO)

Methods

newEventQueue :: Specs (BR IO) -> BR IO (EventQueue (BR IO))

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

runEvent :: Event (BR IO) a -> Dynamics (BR IO) a

runEventWith :: EventProcessing -> Event (BR IO) a -> Dynamics (BR IO) a

eventQueueCount :: Event (BR IO) Int

MonadGenerator (BR IO)

Defined in Simulation.Aivika.Branch.Generator

Associated Types

data Generator (BR IO)

Methods

generateUniform :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateUniformInt :: Generator (BR IO) -> Int -> Int -> BR IO Int

generateTriangular :: Generator (BR IO) -> Double -> Double -> Double -> BR IO Double

generateNormal :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateLogNormal :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateExponential :: Generator (BR IO) -> Double -> BR IO Double

generateErlang :: Generator (BR IO) -> Double -> Int -> BR IO Double

generatePoisson :: Generator (BR IO) -> Double -> BR IO Int

generateBinomial :: Generator (BR IO) -> Double -> Int -> BR IO Int

generateGamma :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateBeta :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateWeibull :: Generator (BR IO) -> Double -> Double -> BR IO Double

generateDiscrete :: Generator (BR IO) -> DiscretePDF a -> BR IO a

generateSequenceNo :: Generator (BR IO) -> BR IO Int

newGenerator :: GeneratorType (BR IO) -> BR IO (Generator (BR IO))

newRandomGenerator :: RandomGen g => g -> BR IO (Generator (BR IO))

newRandomGenerator01 :: BR IO Double -> BR IO (Generator (BR IO))

MonadException m => MonadException (BR m)

Defined in Simulation.Aivika.Branch.Internal.BR

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)

Defined in Simulation.Aivika.Branch.Internal.BR

Methods

liftIO :: IO a -> BR m a

QueueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Associated Types

data StrategyQueue (BR IO) FCFS :: Type -> Type

Methods

newStrategyQueue :: FCFS -> Simulation (BR IO) (StrategyQueue (BR IO) FCFS a)

strategyQueueNull :: StrategyQueue (BR IO) FCFS a -> Event (BR IO) Bool

QueueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Associated Types

data StrategyQueue (BR IO) LCFS :: Type -> Type

Methods

newStrategyQueue :: LCFS -> Simulation (BR IO) (StrategyQueue (BR IO) LCFS a)

strategyQueueNull :: StrategyQueue (BR IO) LCFS a -> Event (BR IO) Bool

DequeueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (BR IO) FCFS a -> Event (BR IO) a

DequeueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Methods

strategyDequeue :: StrategyQueue (BR IO) LCFS a -> Event (BR IO) a

EnqueueStrategy (BR IO) FCFS

An implementation of the FCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Methods

strategyEnqueue :: StrategyQueue (BR IO) FCFS a -> a -> Event (BR IO) ()

EnqueueStrategy (BR IO) LCFS

An implementation of the LCFS queue strategy.

Defined in Simulation.Aivika.Branch.QueueStrategy

Methods

strategyEnqueue :: StrategyQueue (BR IO) LCFS a -> a -> Event (BR IO) ()

newtype Ref (BR IO) a

Defined in Simulation.Aivika.Branch.Ref.Base.Strict

newtype Ref (BR IO) a = Ref {

• refValue :: Ref a

}

newtype Ref (BR IO) a

Defined in Simulation.Aivika.Branch.Ref.Base.Lazy

newtype Ref (BR IO) a = Ref {

• refValue :: Ref a

}

data EventQueue (BR IO)

Defined in Simulation.Aivika.Branch.Event

data EventQueue (BR IO) = EventQueue {

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

}

data Generator (BR IO)

Defined in Simulation.Aivika.Branch.Generator

data Generator (BR IO) = Generator {

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

}

newtype StrategyQueue (BR IO) FCFS a

Defined in Simulation.Aivika.Branch.QueueStrategy

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

newtype StrategyQueue (BR IO) LCFS a

Defined in Simulation.Aivika.Branch.QueueStrategy

newtype StrategyQueue (BR IO) LCFS a = 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)