aivika-5.8: A multi-method simulation library

CopyrightCopyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Simulation.Aivika.Internal.Arrival

Description

Tested with: GHC 8.0.1

This module defines the types and functions for working with the events that can represent something that arrive from outside the model, or represent other things which computation is delayed and hence is not synchronized.

Therefore, the additional information is provided about the time and delay of arrival.

Synopsis

Documentation

data Arrival a Source #

It defines when an event has arrived, usually generated by some random stream.

Such events should arrive one by one without time lag in the following sense that the model should start awaiting the next event exactly in that time when the previous event has arrived.

Another use case is a situation when the actual event is not synchronized with the Event computation, being synchronized with the event queue, nevertheless. Then the arrival is used for providing the additional information about the time at which the event had been actually arrived.

Constructors

Arrival 

Fields

Instances
Eq a => Eq (Arrival a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Arrival

Methods

(==) :: Arrival a -> Arrival a -> Bool #

(/=) :: Arrival a -> Arrival a -> Bool #

Ord a => Ord (Arrival a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Arrival

Methods

compare :: Arrival a -> Arrival a -> Ordering #

(<) :: Arrival a -> Arrival a -> Bool #

(<=) :: Arrival a -> Arrival a -> Bool #

(>) :: Arrival a -> Arrival a -> Bool #

(>=) :: Arrival a -> Arrival a -> Bool #

max :: Arrival a -> Arrival a -> Arrival a #

min :: Arrival a -> Arrival a -> Arrival a #

Show a => Show (Arrival a) Source # 
Instance details

Defined in Simulation.Aivika.Internal.Arrival

Methods

showsPrec :: Int -> Arrival a -> ShowS #

show :: Arrival a -> String #

showList :: [Arrival a] -> ShowS #