Safe Haskell	None
Language	Haskell2010

Epidemic.Types.Simulation

Synopsis

data SimulationConfiguration r p = SimulationConfiguration {
- scRates :: r
- scPopulation :: p
- scNewIdentifier :: Identifier
- scStartTime :: AbsoluteTime
- scSimDuration :: TimeDelta
- scValidPopulation :: Maybe (p -> Bool)
- scRequireCherry :: Bool
}
data SimulationState b
- = SimulationState (AbsoluteTime, [EpidemicEvent], b, Identifier)
- | TerminatedSimulation
data SimulationRandEvent a b where
- SimulationRandEvent :: (ModelParameters a b, Population b) => (a -> AbsoluteTime -> b -> Identifier -> GenIO -> IO (AbsoluteTime, EpidemicEvent, b, Identifier)) -> SimulationRandEvent a b

Documentation

data SimulationConfiguration r p Source #

Constructors

SimulationConfiguration

Fields

scRates :: r
The event rates
scPopulation :: p
The population
scNewIdentifier :: Identifier
A new identifier
scStartTime :: AbsoluteTime
The absolute time at which the simulation starts
scSimDuration :: TimeDelta
The duration of the simulation until it stops
scValidPopulation :: Maybe (p -> Bool)
The simulation terminates if this predicate is not satisfied
scRequireCherry :: Bool
The simulation requires at least two sequenced samples

data SimulationState b Source #

Either there is a valid simulation state which contains a sequence of epidemic events of there is a terminated simulation which indicates that the simulation has been rejected.

Constructors

SimulationState (AbsoluteTime, [EpidemicEvent], b, Identifier)
TerminatedSimulation

Instances

Instances details

Eq b => Eq (SimulationState b) Source #
Instance details Defined in Epidemic.Types.Simulation Methods (==) :: SimulationState b -> SimulationState b -> Bool # (/=) :: SimulationState b -> SimulationState b -> Bool #
Show b => Show (SimulationState b) Source #
Instance details Defined in Epidemic.Types.Simulation Methods showsPrec :: Int -> SimulationState b -> ShowS # show :: SimulationState b -> String # showList :: [SimulationState b] -> ShowS #

data SimulationRandEvent a b where Source #

Constructors

SimulationRandEvent :: (ModelParameters a b, Population b) => (a -> AbsoluteTime -> b -> Identifier -> GenIO -> IO (AbsoluteTime, EpidemicEvent, b, Identifier)) -> SimulationRandEvent a b