aivika-6.2: A multi-method simulation library
CopyrightCopyright (c) 2009-2017 David Sorokin <david.sorokin@gmail.com>
LicenseBSD3
MaintainerDavid Sorokin <david.sorokin@gmail.com>
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell2010

Simulation.Aivika.Statistics

Description

Tested with: GHC 8.0.1

Represents statistics.

Synopsis

Simple Statistics

data SamplingStats a Source #

Describes when the statistics consists of only samples not bound to the simulation time.

Constructors

SamplingStats 

Fields

Instances

Instances details
ResultItemable (ResultValue (SamplingStats Double)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultItemName :: ResultValue (SamplingStats Double) -> ResultName Source #

resultItemNamePath :: ResultValue (SamplingStats Double) -> [ResultName] Source #

resultItemId :: ResultValue (SamplingStats Double) -> ResultId Source #

resultItemIdPath :: ResultValue (SamplingStats Double) -> [ResultId] Source #

resultItemSignal :: ResultValue (SamplingStats Double) -> ResultSignal Source #

resultItemExpansion :: ResultValue (SamplingStats Double) -> ResultSource Source #

resultItemSummary :: ResultValue (SamplingStats Double) -> ResultSource Source #

resultItemAsIntValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue Int) Source #

resultItemAsIntListValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue [Int]) Source #

resultItemAsIntStatsValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue (SamplingStats Int)) Source #

resultItemAsIntTimingStatsValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue (TimingStats Int)) Source #

resultItemAsDoubleValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue Double) Source #

resultItemAsDoubleListValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue [Double]) Source #

resultItemAsDoubleStatsValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue (SamplingStats Double)) Source #

resultItemAsDoubleTimingStatsValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue (TimingStats Double)) Source #

resultItemAsStringValue :: ResultValue (SamplingStats Double) -> Maybe (ResultValue String) Source #

ResultItemable (ResultValue (SamplingStats Int)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultItemName :: ResultValue (SamplingStats Int) -> ResultName Source #

resultItemNamePath :: ResultValue (SamplingStats Int) -> [ResultName] Source #

resultItemId :: ResultValue (SamplingStats Int) -> ResultId Source #

resultItemIdPath :: ResultValue (SamplingStats Int) -> [ResultId] Source #

resultItemSignal :: ResultValue (SamplingStats Int) -> ResultSignal Source #

resultItemExpansion :: ResultValue (SamplingStats Int) -> ResultSource Source #

resultItemSummary :: ResultValue (SamplingStats Int) -> ResultSource Source #

resultItemAsIntValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue Int) Source #

resultItemAsIntListValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue [Int]) Source #

resultItemAsIntStatsValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue (SamplingStats Int)) Source #

resultItemAsIntTimingStatsValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue (TimingStats Int)) Source #

resultItemAsDoubleValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue Double) Source #

resultItemAsDoubleListValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue [Double]) Source #

resultItemAsDoubleStatsValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue (SamplingStats Double)) Source #

resultItemAsDoubleTimingStatsValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue (TimingStats Double)) Source #

resultItemAsStringValue :: ResultValue (SamplingStats Int) -> Maybe (ResultValue String) Source #

SamplingData a => Monoid (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

mempty :: SamplingStats a #

mappend :: SamplingStats a -> SamplingStats a -> SamplingStats a #

mconcat :: [SamplingStats a] -> SamplingStats a #

SamplingData a => Semigroup (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

(<>) :: SamplingStats a -> SamplingStats a -> SamplingStats a #

sconcat :: NonEmpty (SamplingStats a) -> SamplingStats a #

stimes :: Integral b => b -> SamplingStats a -> SamplingStats a #

Generic (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Associated Types

type Rep (SamplingStats a) 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (SamplingStats a) = D1 ('MetaData "SamplingStats" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "SamplingStats" 'PrefixI 'True) ((S1 ('MetaSel ('Just "samplingStatsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "samplingStatsMin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "samplingStatsMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :*: (S1 ('MetaSel ('Just "samplingStatsMean") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "samplingStatsMean2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "samplingStatsNormalised") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))

Methods

from :: SamplingStats a -> Rep (SamplingStats a) x #

to :: Rep (SamplingStats a) x -> SamplingStats a #

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

Defined in Simulation.Aivika.Statistics

Methods

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

show :: SamplingStats a -> String #

showList :: [SamplingStats a] -> ShowS #

Binary a => Binary (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

put :: SamplingStats a -> Put #

get :: Get (SamplingStats a) #

putList :: [SamplingStats a] -> Put #

NFData a => NFData (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

rnf :: SamplingStats a -> () #

Eq a => Eq (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

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

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

Defined in Simulation.Aivika.Statistics

Methods

compare :: SamplingStats a -> SamplingStats a -> Ordering #

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

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

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

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

max :: SamplingStats a -> SamplingStats a -> SamplingStats a #

min :: SamplingStats a -> SamplingStats a -> SamplingStats a #

type Rep (SamplingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (SamplingStats a) = D1 ('MetaData "SamplingStats" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "SamplingStats" 'PrefixI 'True) ((S1 ('MetaSel ('Just "samplingStatsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "samplingStatsMin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "samplingStatsMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) :*: (S1 ('MetaSel ('Just "samplingStatsMean") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "samplingStatsMean2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "samplingStatsNormalised") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))

class Num a => SamplingData a where Source #

Specifies data type from which values we can gather the statistics.

Methods

emptySamplingStats :: SamplingStats a Source #

An empty statistics that has no samples.

addSamplingStats :: a -> SamplingStats a -> SamplingStats a Source #

Add a new sample to the statistics.

combineSamplingStats :: SamplingStats a -> SamplingStats a -> SamplingStats a Source #

Combine two statistics.

Instances

Instances details
SamplingData Double Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

emptySamplingStats :: SamplingStats Double Source #

addSamplingStats :: Double -> SamplingStats Double -> SamplingStats Double Source #

combineSamplingStats :: SamplingStats Double -> SamplingStats Double -> SamplingStats Double Source #

SamplingData Int Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

emptySamplingStats :: SamplingStats Int Source #

addSamplingStats :: Int -> SamplingStats Int -> SamplingStats Int Source #

combineSamplingStats :: SamplingStats Int -> SamplingStats Int -> SamplingStats Int Source #

combineSamplingStatsEither :: SamplingData a => Either a (SamplingStats a) -> SamplingStats a -> SamplingStats a Source #

If allows combining statistics more efficiently if we know that the first argument can be a scalar.

samplingStatsVariance :: SamplingStats a -> Double Source #

Return the variance.

samplingStatsDeviation :: SamplingStats a -> Double Source #

Return the deviation.

samplingStatsSummary :: Show a => SamplingStats a -> Int -> ShowS Source #

Show the summary of the statistics using the specified indent.

returnSamplingStats :: SamplingData a => a -> SamplingStats a Source #

Return the statistics by a single sample.

listSamplingStats :: SamplingData a => [a] -> SamplingStats a Source #

Create the statistics by the specified list of data.

fromIntSamplingStats :: SamplingStats Int -> SamplingStats Double Source #

Convert the statistics from integer to double values.

Timing Statistics

data TimingStats a Source #

This is the timing statistics where data are bound to the time.

Constructors

TimingStats 

Fields

Instances

Instances details
ResultItemable (ResultValue (TimingStats Double)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultItemName :: ResultValue (TimingStats Double) -> ResultName Source #

resultItemNamePath :: ResultValue (TimingStats Double) -> [ResultName] Source #

resultItemId :: ResultValue (TimingStats Double) -> ResultId Source #

resultItemIdPath :: ResultValue (TimingStats Double) -> [ResultId] Source #

resultItemSignal :: ResultValue (TimingStats Double) -> ResultSignal Source #

resultItemExpansion :: ResultValue (TimingStats Double) -> ResultSource Source #

resultItemSummary :: ResultValue (TimingStats Double) -> ResultSource Source #

resultItemAsIntValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue Int) Source #

resultItemAsIntListValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue [Int]) Source #

resultItemAsIntStatsValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue (SamplingStats Int)) Source #

resultItemAsIntTimingStatsValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue (TimingStats Int)) Source #

resultItemAsDoubleValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue Double) Source #

resultItemAsDoubleListValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue [Double]) Source #

resultItemAsDoubleStatsValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue (SamplingStats Double)) Source #

resultItemAsDoubleTimingStatsValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue (TimingStats Double)) Source #

resultItemAsStringValue :: ResultValue (TimingStats Double) -> Maybe (ResultValue String) Source #

ResultItemable (ResultValue (TimingStats Int)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultItemName :: ResultValue (TimingStats Int) -> ResultName Source #

resultItemNamePath :: ResultValue (TimingStats Int) -> [ResultName] Source #

resultItemId :: ResultValue (TimingStats Int) -> ResultId Source #

resultItemIdPath :: ResultValue (TimingStats Int) -> [ResultId] Source #

resultItemSignal :: ResultValue (TimingStats Int) -> ResultSignal Source #

resultItemExpansion :: ResultValue (TimingStats Int) -> ResultSource Source #

resultItemSummary :: ResultValue (TimingStats Int) -> ResultSource Source #

resultItemAsIntValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue Int) Source #

resultItemAsIntListValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue [Int]) Source #

resultItemAsIntStatsValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue (SamplingStats Int)) Source #

resultItemAsIntTimingStatsValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue (TimingStats Int)) Source #

resultItemAsDoubleValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue Double) Source #

resultItemAsDoubleListValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue [Double]) Source #

resultItemAsDoubleStatsValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue (SamplingStats Double)) Source #

resultItemAsDoubleTimingStatsValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue (TimingStats Double)) Source #

resultItemAsStringValue :: ResultValue (TimingStats Int) -> Maybe (ResultValue String) Source #

Generic (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Associated Types

type Rep (TimingStats a) 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (TimingStats a) = D1 ('MetaData "TimingStats" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "TimingStats" 'PrefixI 'True) (((S1 ('MetaSel ('Just "timingStatsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "timingStatsMin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel ('Just "timingStatsMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Just "timingStatsLast") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "timingStatsMinTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))) :*: ((S1 ('MetaSel ('Just "timingStatsMaxTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "timingStatsStartTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "timingStatsLastTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "timingStatsSum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "timingStatsSum2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))))))

Methods

from :: TimingStats a -> Rep (TimingStats a) x #

to :: Rep (TimingStats a) x -> TimingStats a #

(Show a, TimingData a) => Show (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

show :: TimingStats a -> String #

showList :: [TimingStats a] -> ShowS #

Binary a => Binary (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

put :: TimingStats a -> Put #

get :: Get (TimingStats a) #

putList :: [TimingStats a] -> Put #

NFData a => NFData (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

rnf :: TimingStats a -> () #

Eq a => Eq (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

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

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

Defined in Simulation.Aivika.Statistics

Methods

compare :: TimingStats a -> TimingStats a -> Ordering #

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

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

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

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

max :: TimingStats a -> TimingStats a -> TimingStats a #

min :: TimingStats a -> TimingStats a -> TimingStats a #

type Rep (TimingStats a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (TimingStats a) = D1 ('MetaData "TimingStats" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "TimingStats" 'PrefixI 'True) (((S1 ('MetaSel ('Just "timingStatsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "timingStatsMin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :*: (S1 ('MetaSel ('Just "timingStatsMax") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: (S1 ('MetaSel ('Just "timingStatsLast") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "timingStatsMinTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))) :*: ((S1 ('MetaSel ('Just "timingStatsMaxTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "timingStatsStartTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "timingStatsLastTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: (S1 ('MetaSel ('Just "timingStatsSum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "timingStatsSum2") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))))))

class Num a => TimingData a where Source #

Defines the data type from which values we can gather the timing statistics.

Methods

emptyTimingStats :: TimingStats a Source #

An empty statistics that has no samples.

addTimingStats :: Double -> a -> TimingStats a -> TimingStats a Source #

Add a sample with the specified time to the statistics.

timingStatsMean :: TimingStats a -> Double Source #

Return the average value.

timingStatsMean2 :: TimingStats a -> Double Source #

Return the average square value.

timingStatsVariance :: TimingStats a -> Double Source #

Return the variance.

Instances

Instances details
TimingData Double Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

emptyTimingStats :: TimingStats Double Source #

addTimingStats :: Double -> Double -> TimingStats Double -> TimingStats Double Source #

timingStatsMean :: TimingStats Double -> Double Source #

timingStatsMean2 :: TimingStats Double -> Double Source #

timingStatsVariance :: TimingStats Double -> Double Source #

TimingData Int Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

emptyTimingStats :: TimingStats Int Source #

addTimingStats :: Double -> Int -> TimingStats Int -> TimingStats Int Source #

timingStatsMean :: TimingStats Int -> Double Source #

timingStatsMean2 :: TimingStats Int -> Double Source #

timingStatsVariance :: TimingStats Int -> Double Source #

timingStatsDeviation :: TimingData a => TimingStats a -> Double Source #

Return the deviation.

timingStatsSummary :: (Show a, TimingData a) => TimingStats a -> Int -> ShowS Source #

Show the summary of the statistics using the specified indent.

returnTimingStats :: TimingData a => Double -> a -> TimingStats a Source #

Return the statistics by single timing data.

fromIntTimingStats :: TimingStats Int -> TimingStats Double Source #

Convert the statistics from integer to double values.

normTimingStats :: TimingData a => Int -> TimingStats a -> SamplingStats a Source #

Convert the statistics to its normalised sampling-based representation, where the first argument specifies the number of pseudo-samples.

Simple Counter

data SamplingCounter a Source #

A counter for which the statistics is collected too.

Constructors

SamplingCounter 

Fields

Instances

Instances details
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Dynamics (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Event (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Event (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Event (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Parameter (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Parameter (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Parameter (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Simulation (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Simulation (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Ref (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Ref (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Ref (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Ref (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Ref (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Ref (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Signalable (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Signalable (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Signalable (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Signalable (SamplingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Var (SamplingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Var (SamplingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Var (SamplingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Var (SamplingCounter a) -> ResultSource Source #

Generic (SamplingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Associated Types

type Rep (SamplingCounter a) 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (SamplingCounter a) = D1 ('MetaData "SamplingCounter" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "SamplingCounter" 'PrefixI 'True) (S1 ('MetaSel ('Just "samplingCounterValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "samplingCounterStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SamplingStats a))))

Methods

from :: SamplingCounter a -> Rep (SamplingCounter a) x #

to :: Rep (SamplingCounter a) x -> SamplingCounter a #

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

Defined in Simulation.Aivika.Statistics

Methods

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

show :: SamplingCounter a -> String #

showList :: [SamplingCounter a] -> ShowS #

Binary a => Binary (SamplingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

put :: SamplingCounter a -> Put #

get :: Get (SamplingCounter a) #

putList :: [SamplingCounter a] -> Put #

NFData a => NFData (SamplingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

rnf :: SamplingCounter a -> () #

Eq a => Eq (SamplingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

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

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

Defined in Simulation.Aivika.Statistics

Methods

compare :: SamplingCounter a -> SamplingCounter a -> Ordering #

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

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

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

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

max :: SamplingCounter a -> SamplingCounter a -> SamplingCounter a #

min :: SamplingCounter a -> SamplingCounter a -> SamplingCounter a #

type Rep (SamplingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (SamplingCounter a) = D1 ('MetaData "SamplingCounter" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "SamplingCounter" 'PrefixI 'True) (S1 ('MetaSel ('Just "samplingCounterValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "samplingCounterStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SamplingStats a))))

emptySamplingCounter :: SamplingData a => SamplingCounter a Source #

An empty counter.

incSamplingCounter :: SamplingData a => a -> SamplingCounter a -> SamplingCounter a Source #

Increase the counter.

decSamplingCounter :: SamplingData a => a -> SamplingCounter a -> SamplingCounter a Source #

Decrease the counter.

setSamplingCounter :: SamplingData a => a -> SamplingCounter a -> SamplingCounter a Source #

Set a new value for the counter.

returnSamplingCounter :: SamplingData a => a -> SamplingCounter a Source #

Create a counter with the specified initial value.

Timing Counter

data TimingCounter a Source #

A counter for which the timing statistics is collected too.

Constructors

TimingCounter 

Fields

Instances

Instances details
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Dynamics (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Dynamics (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Dynamics (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Dynamics (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Event (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Event (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Event (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Event (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Parameter (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Parameter (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Parameter (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Parameter (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Simulation (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Simulation (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Simulation (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Simulation (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Ref (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Ref (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Ref (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Ref (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Ref (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Ref (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Signalable (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Signalable (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Signalable (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Signalable (TimingCounter a) -> ResultSource Source #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Var (TimingCounter a)) Source # 
Instance details

Defined in Simulation.Aivika.Results

Methods

resultSource :: ResultName -> ResultDescription -> Var (TimingCounter a) -> ResultSource Source #

resultSource3 :: ResultName -> ResultDescription -> ResultDescription -> Var (TimingCounter a) -> ResultSource Source #

resultSource' :: ResultName -> [ResultName] -> ResultId -> [ResultId] -> Var (TimingCounter a) -> ResultSource Source #

Generic (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Associated Types

type Rep (TimingCounter a) 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (TimingCounter a) = D1 ('MetaData "TimingCounter" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "TimingCounter" 'PrefixI 'True) (S1 ('MetaSel ('Just "timingCounterValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "timingCounterStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TimingStats a))))

Methods

from :: TimingCounter a -> Rep (TimingCounter a) x #

to :: Rep (TimingCounter a) x -> TimingCounter a #

(Show a, TimingData a) => Show (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

show :: TimingCounter a -> String #

showList :: [TimingCounter a] -> ShowS #

Binary a => Binary (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

put :: TimingCounter a -> Put #

get :: Get (TimingCounter a) #

putList :: [TimingCounter a] -> Put #

NFData a => NFData (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

rnf :: TimingCounter a -> () #

Eq a => Eq (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

Methods

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

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

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

Defined in Simulation.Aivika.Statistics

Methods

compare :: TimingCounter a -> TimingCounter a -> Ordering #

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

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

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

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

max :: TimingCounter a -> TimingCounter a -> TimingCounter a #

min :: TimingCounter a -> TimingCounter a -> TimingCounter a #

type Rep (TimingCounter a) Source # 
Instance details

Defined in Simulation.Aivika.Statistics

type Rep (TimingCounter a) = D1 ('MetaData "TimingCounter" "Simulation.Aivika.Statistics" "aivika-6.2-KQRora76p0QKCGpNyMWVjy" 'False) (C1 ('MetaCons "TimingCounter" 'PrefixI 'True) (S1 ('MetaSel ('Just "timingCounterValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "timingCounterStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TimingStats a))))

emptyTimingCounter :: TimingData a => TimingCounter a Source #

An empty counter.

incTimingCounter :: TimingData a => Double -> a -> TimingCounter a -> TimingCounter a Source #

Increase the counter at the specified time.

decTimingCounter :: TimingData a => Double -> a -> TimingCounter a -> TimingCounter a Source #

Decrease the counter at the specified time.

setTimingCounter :: TimingData a => Double -> a -> TimingCounter a -> TimingCounter a Source #

Set a new value for the counter at the specified time.

returnTimingCounter :: TimingData a => Double -> a -> TimingCounter a Source #

Create a timing counter with the specified initial value at the given time.