aivika-5.7: 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
LanguageHaskell2010

Simulation.Aivika.Statistics

Contents

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

Eq a => Eq (SamplingStats a) Source # 
Ord a => Ord (SamplingStats a) Source # 
Show a => Show (SamplingStats a) Source # 
Generic (SamplingStats a) Source # 

Associated Types

type Rep (SamplingStats a) :: * -> * #

SamplingData a => Semigroup (SamplingStats a) Source # 
SamplingData a => Monoid (SamplingStats a) Source # 
Binary a => Binary (SamplingStats a) Source # 
NFData a => NFData (SamplingStats a) Source # 

Methods

rnf :: SamplingStats a -> () #

ResultItemable (ResultValue (SamplingStats Double)) Source # 

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 # 
type Rep (SamplingStats a) Source # 
type Rep (SamplingStats a) = D1 * (MetaData "SamplingStats" "Simulation.Aivika.Statistics" "aivika-5.7-5KbRuVdy2wDKEJk6xdlBFP" False) (C1 * (MetaCons "SamplingStats" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "samplingStatsCount") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Int)) (S1 * (MetaSel (Just Symbol "samplingStatsMin") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a))) ((:*:) * (S1 * (MetaSel (Just Symbol "samplingStatsMax") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a)) ((:*:) * (S1 * (MetaSel (Just Symbol "samplingStatsMean") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "samplingStatsMean2") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))))))

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

Eq a => Eq (TimingStats a) Source # 
Ord a => Ord (TimingStats a) Source # 
(Show a, TimingData a) => Show (TimingStats a) Source # 
Generic (TimingStats a) Source # 

Associated Types

type Rep (TimingStats a) :: * -> * #

Methods

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

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

Binary a => Binary (TimingStats a) Source # 

Methods

put :: TimingStats a -> Put #

get :: Get (TimingStats a) #

putList :: [TimingStats a] -> Put #

NFData a => NFData (TimingStats a) Source # 

Methods

rnf :: TimingStats a -> () #

ResultItemable (ResultValue (TimingStats Double)) Source # 
ResultItemable (ResultValue (TimingStats Int)) Source # 
type Rep (TimingStats a) 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

Eq a => Eq (SamplingCounter a) Source # 
Ord a => Ord (SamplingCounter a) Source # 
Show a => Show (SamplingCounter a) Source # 
Generic (SamplingCounter a) Source # 

Associated Types

type Rep (SamplingCounter a) :: * -> * #

Binary a => Binary (SamplingCounter a) Source # 
NFData a => NFData (SamplingCounter a) Source # 

Methods

rnf :: SamplingCounter a -> () #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Parameter (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Simulation (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Dynamics (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Event (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Signalable (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Ref (SamplingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (SamplingStats a))) => ResultProvider (Var (SamplingCounter a)) Source # 
type Rep (SamplingCounter a) Source # 
type Rep (SamplingCounter a) = D1 * (MetaData "SamplingCounter" "Simulation.Aivika.Statistics" "aivika-5.7-5KbRuVdy2wDKEJk6xdlBFP" False) (C1 * (MetaCons "SamplingCounter" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "samplingCounterValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Just Symbol "samplingCounterStats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (SamplingStats a)))))

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

Eq a => Eq (TimingCounter a) Source # 
Ord a => Ord (TimingCounter a) Source # 
(TimingData a, Show a) => Show (TimingCounter a) Source # 
Generic (TimingCounter a) Source # 

Associated Types

type Rep (TimingCounter a) :: * -> * #

Binary a => Binary (TimingCounter a) Source # 
NFData a => NFData (TimingCounter a) Source # 

Methods

rnf :: TimingCounter a -> () #

(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Parameter (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Simulation (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Dynamics (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Event (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Signalable (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Ref (TimingCounter a)) Source # 
(ResultItemable (ResultValue a), ResultItemable (ResultValue (TimingStats a))) => ResultProvider (Var (TimingCounter a)) Source # 
type Rep (TimingCounter a) Source # 
type Rep (TimingCounter a) = D1 * (MetaData "TimingCounter" "Simulation.Aivika.Statistics" "aivika-5.7-5KbRuVdy2wDKEJk6xdlBFP" False) (C1 * (MetaCons "TimingCounter" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "timingCounterValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Just Symbol "timingCounterStats") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (TimingStats a)))))

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.