-- |
-- Module     : Simulation.Aivika.Trans.Results.Locale.English
-- Copyright  : Copyright (c) 2009-2017, David Sorokin <david.sorokin@gmail.com>
-- License    : BSD3
-- Maintainer : David Sorokin <david.sorokin@gmail.com>
-- Stability  : experimental
-- Tested with: GHC 8.0.1
--
-- The English localisation.
--
module Simulation.Aivika.Trans.Results.Locale.English
       (englishResultLocalisation) where

import Simulation.Aivika.Trans.Results.Locale.Types

-- | The English localisation.
englishResultLocalisation :: ResultLocalisation
englishResultLocalisation :: ResultLocalisation
englishResultLocalisation = (ResultId -> ResultDescription)
-> (ResultId -> ResultDescription) -> ResultLocalisation
ResultLocalisation ResultId -> ResultDescription
englishResultDescription ResultId -> ResultDescription
englishResultTitle

-- | The English localisation of the simulation results.
englishResultDescription :: ResultId -> ResultDescription
englishResultDescription :: ResultId -> ResultDescription
englishResultDescription ResultId
TimeId = ResultDescription
"simulation time"
englishResultDescription ResultId
VectorId = ResultDescription
"vector"
englishResultDescription (VectorItemId ResultDescription
x) = ResultDescription
"item #" forall a. [a] -> [a] -> [a]
++ ResultDescription
x
englishResultDescription ResultId
SamplingStatsId = ResultDescription
"statistics summary"
englishResultDescription ResultId
SamplingStatsCountId = ResultDescription
"count"
englishResultDescription ResultId
SamplingStatsMinId = ResultDescription
"minimum"
englishResultDescription ResultId
SamplingStatsMaxId = ResultDescription
"maximum"
englishResultDescription ResultId
SamplingStatsMeanId = ResultDescription
"mean"
englishResultDescription ResultId
SamplingStatsMean2Id = ResultDescription
"mean square"
englishResultDescription ResultId
SamplingStatsVarianceId = ResultDescription
"variance"
englishResultDescription ResultId
SamplingStatsDeviationId = ResultDescription
"deviation"
englishResultDescription ResultId
TimingStatsId = ResultDescription
"timing statistics"
englishResultDescription ResultId
TimingStatsCountId = ResultDescription
"count"
englishResultDescription ResultId
TimingStatsMinId = ResultDescription
"minimum"
englishResultDescription ResultId
TimingStatsMaxId = ResultDescription
"maximum"
englishResultDescription ResultId
TimingStatsMeanId = ResultDescription
"mean"
englishResultDescription ResultId
TimingStatsVarianceId = ResultDescription
"variance"
englishResultDescription ResultId
TimingStatsDeviationId = ResultDescription
"deviation"
englishResultDescription ResultId
TimingStatsMinTimeId = ResultDescription
"the time of minimum"
englishResultDescription ResultId
TimingStatsMaxTimeId = ResultDescription
"the time of maximum"
englishResultDescription ResultId
TimingStatsStartTimeId = ResultDescription
"the start time"
englishResultDescription ResultId
TimingStatsLastTimeId = ResultDescription
"the last time"
englishResultDescription ResultId
TimingStatsSumId = ResultDescription
"sum"
englishResultDescription ResultId
TimingStatsSum2Id = ResultDescription
"sum square"
englishResultDescription ResultId
SamplingCounterId = ResultDescription
"counter"
englishResultDescription ResultId
SamplingCounterValueId = ResultDescription
"current value"
englishResultDescription ResultId
SamplingCounterStatsId = ResultDescription
"statistics"
englishResultDescription ResultId
TimingCounterId = ResultDescription
"timing counter"
englishResultDescription ResultId
TimingCounterValueId = ResultDescription
"current value"
englishResultDescription ResultId
TimingCounterStatsId = ResultDescription
"statistics"
englishResultDescription ResultId
FiniteQueueId = ResultDescription
"the finite queue"
englishResultDescription ResultId
InfiniteQueueId = ResultDescription
"the infinite queue"
englishResultDescription ResultId
EnqueueStrategyId = ResultDescription
"the enqueueing strategy"
englishResultDescription ResultId
EnqueueStoringStrategyId = ResultDescription
"the storing strategy"
englishResultDescription ResultId
DequeueStrategyId = ResultDescription
"the dequeueing strategy"
englishResultDescription ResultId
QueueNullId = ResultDescription
"is the queue empty?"
englishResultDescription ResultId
QueueFullId = ResultDescription
"is the queue full?"
englishResultDescription ResultId
QueueMaxCountId = ResultDescription
"the queue capacity"
englishResultDescription ResultId
QueueCountId = ResultDescription
"the current queue size"
englishResultDescription ResultId
QueueCountStatsId = ResultDescription
"the queue size statistics"
englishResultDescription ResultId
EnqueueCountId = ResultDescription
"a total number of attempts to enqueue the items"
englishResultDescription ResultId
EnqueueLostCountId = ResultDescription
"a total number of the lost items when trying to enqueue"
englishResultDescription ResultId
EnqueueStoreCountId = ResultDescription
"a total number of the stored items"
englishResultDescription ResultId
DequeueCountId = ResultDescription
"a total number of requests for dequeueing"
englishResultDescription ResultId
DequeueExtractCountId = ResultDescription
"a total number of the dequeued items"
englishResultDescription ResultId
QueueLoadFactorId = ResultDescription
"the queue load (its size divided by its capacity)"
englishResultDescription ResultId
EnqueueRateId = ResultDescription
"how many attempts to enqueue per time?"
englishResultDescription ResultId
EnqueueStoreRateId = ResultDescription
"how many items were stored per time?"
englishResultDescription ResultId
DequeueRateId = ResultDescription
"how many requests for dequeueing per time?"
englishResultDescription ResultId
DequeueExtractRateId = ResultDescription
"how many items were dequeued per time?"
englishResultDescription ResultId
QueueWaitTimeId = ResultDescription
"the wait time (stored -> dequeued)"
englishResultDescription ResultId
QueueTotalWaitTimeId = ResultDescription
"the total wait time (tried to enqueue -> dequeued)"
englishResultDescription ResultId
EnqueueWaitTimeId = ResultDescription
"the enqueue wait time (tried to enqueue -> stored)"
englishResultDescription ResultId
DequeueWaitTimeId = ResultDescription
"the dequeue wait time (requested for dequeueing -> dequeued)"
englishResultDescription ResultId
QueueRateId = ResultDescription
"the average queue rate (= queue size / wait time)"
englishResultDescription ResultId
ArrivalTimerId = ResultDescription
"how long the arrivals are processed?"
englishResultDescription ResultId
ArrivalProcessingTimeId = ResultDescription
"the processing time of arrivals"
englishResultDescription ResultId
ServerId = ResultDescription
"the server"
englishResultDescription ResultId
ServerInitStateId = ResultDescription
"the initial state"
englishResultDescription ResultId
ServerStateId = ResultDescription
"the current state"
englishResultDescription ResultId
ServerTotalInputWaitTimeId = ResultDescription
"the total time spent while waiting for input"
englishResultDescription ResultId
ServerTotalProcessingTimeId = ResultDescription
"the total time spent on actual processing the tasks"
englishResultDescription ResultId
ServerTotalOutputWaitTimeId = ResultDescription
"the total time spent on delivering the output"
englishResultDescription ResultId
ServerTotalPreemptionTimeId = ResultDescription
"the total time spent being preempted"
englishResultDescription ResultId
ServerInputWaitTimeId = ResultDescription
"the time spent while waiting for input"
englishResultDescription ResultId
ServerProcessingTimeId = ResultDescription
"the time spent on processing the tasks"
englishResultDescription ResultId
ServerOutputWaitTimeId = ResultDescription
"the time spent on delivering the output"
englishResultDescription ResultId
ServerPreemptionTimeId = ResultDescription
"the time spent being preempted"
englishResultDescription ResultId
ServerInputWaitFactorId = ResultDescription
"the relative time spent while waiting for input (from 0 to 1)"
englishResultDescription ResultId
ServerProcessingFactorId = ResultDescription
"the relative time spent on processing the tasks (from 0 to 1)"
englishResultDescription ResultId
ServerOutputWaitFactorId = ResultDescription
"the relative time spent on delivering the output (from 0 to 1)"
englishResultDescription ResultId
ServerPreemptionFactorId = ResultDescription
"the relative time spent being preempted (from 0 to 1)"
englishResultDescription ResultId
ActivityId = ResultDescription
"the activity"
englishResultDescription ResultId
ActivityInitStateId = ResultDescription
"the initial state"
englishResultDescription ResultId
ActivityStateId = ResultDescription
"the current state"
englishResultDescription ResultId
ActivityTotalUtilisationTimeId = ResultDescription
"the total time of utilisation"
englishResultDescription ResultId
ActivityTotalIdleTimeId = ResultDescription
"the total idle time"
englishResultDescription ResultId
ActivityTotalPreemptionTimeId = ResultDescription
"the total time of preemption"
englishResultDescription ResultId
ActivityUtilisationTimeId = ResultDescription
"the utilisation time"
englishResultDescription ResultId
ActivityIdleTimeId = ResultDescription
"the idle time"
englishResultDescription ResultId
ActivityPreemptionTimeId = ResultDescription
"the preemption time"
englishResultDescription ResultId
ActivityUtilisationFactorId = ResultDescription
"the relative utilisation time (from 0 to 1)"
englishResultDescription ResultId
ActivityIdleFactorId = ResultDescription
"the relative idle time (from 0 to 1)"
englishResultDescription ResultId
ActivityPreemptionFactorId = ResultDescription
"the relative preemption time (from 0 to 1)"
englishResultDescription ResultId
ResourceId = ResultDescription
"the resource"
englishResultDescription ResultId
ResourceCountId = ResultDescription
"the current available count"
englishResultDescription ResultId
ResourceCountStatsId = ResultDescription
"the available count statistics"
englishResultDescription ResultId
ResourceUtilisationCountId = ResultDescription
"the current utilisation count"
englishResultDescription ResultId
ResourceUtilisationCountStatsId = ResultDescription
"the utilisation count statistics"
englishResultDescription ResultId
ResourceQueueCountId = ResultDescription
"the current queue length"
englishResultDescription ResultId
ResourceQueueCountStatsId = ResultDescription
"the queue length statistics"
englishResultDescription ResultId
ResourceTotalWaitTimeId = ResultDescription
"the total wait time"
englishResultDescription ResultId
ResourceWaitTimeId = ResultDescription
"the wait time"
englishResultDescription ResultId
OperationId = ResultDescription
"the operation"
englishResultDescription ResultId
OperationTotalUtilisationTimeId = ResultDescription
"the total time of utilisation"
englishResultDescription ResultId
OperationTotalPreemptionTimeId = ResultDescription
"the total time of preemption"
englishResultDescription ResultId
OperationUtilisationTimeId = ResultDescription
"the utilisation time"
englishResultDescription ResultId
OperationPreemptionTimeId = ResultDescription
"the preemption time"
englishResultDescription ResultId
OperationUtilisationFactorId = ResultDescription
"the relative utilisation time (from 0 to 1)"
englishResultDescription ResultId
OperationPreemptionFactorId = ResultDescription
"the relative preemption time (from 0 to 1)"
englishResultDescription (UserDefinedResultId UserDefinedResult
m) = UserDefinedResult -> ResultDescription
userDefinedResultDescription UserDefinedResult
m
englishResultDescription (LocalisedResultId LocalisedResult
m) =
  ResultDescription
-> Map ResultDescription ResultDescription -> ResultDescription
lookupResultLocalisation ResultDescription
englishResultLocale (LocalisedResult -> Map ResultDescription ResultDescription
localisedResultDescriptions LocalisedResult
m)

-- | The English localisation of titles.
englishResultTitle :: ResultId -> ResultDescription
englishResultTitle :: ResultId -> ResultDescription
englishResultTitle ResultId
TimeId = ResultDescription
"time"
englishResultTitle ResultId
VectorId = ResultDescription
"vector"
englishResultTitle (VectorItemId ResultDescription
x) = ResultDescription
"item #" forall a. [a] -> [a] -> [a]
++ ResultDescription
x
englishResultTitle ResultId
SamplingStatsId = ResultDescription
"stats"
englishResultTitle ResultId
SamplingStatsCountId = ResultDescription
"count"
englishResultTitle ResultId
SamplingStatsMinId = ResultDescription
"minimum"
englishResultTitle ResultId
SamplingStatsMaxId = ResultDescription
"maximum"
englishResultTitle ResultId
SamplingStatsMeanId = ResultDescription
"mean"
englishResultTitle ResultId
SamplingStatsMean2Id = ResultDescription
"mean square"
englishResultTitle ResultId
SamplingStatsVarianceId = ResultDescription
"variance"
englishResultTitle ResultId
SamplingStatsDeviationId = ResultDescription
"deviation"
englishResultTitle ResultId
TimingStatsId = ResultDescription
"time-persistent stats"
englishResultTitle ResultId
TimingStatsCountId = ResultDescription
"count"
englishResultTitle ResultId
TimingStatsMinId = ResultDescription
"minimum"
englishResultTitle ResultId
TimingStatsMaxId = ResultDescription
"maximum"
englishResultTitle ResultId
TimingStatsMeanId = ResultDescription
"mean"
englishResultTitle ResultId
TimingStatsVarianceId = ResultDescription
"variance"
englishResultTitle ResultId
TimingStatsDeviationId = ResultDescription
"deviation"
englishResultTitle ResultId
TimingStatsMinTimeId = ResultDescription
"time of minimum"
englishResultTitle ResultId
TimingStatsMaxTimeId = ResultDescription
"time of maximum"
englishResultTitle ResultId
TimingStatsStartTimeId = ResultDescription
"start time"
englishResultTitle ResultId
TimingStatsLastTimeId = ResultDescription
"last time"
englishResultTitle ResultId
TimingStatsSumId = ResultDescription
"sum"
englishResultTitle ResultId
TimingStatsSum2Id = ResultDescription
"sum square"
englishResultTitle ResultId
SamplingCounterId = ResultDescription
"stats counter"
englishResultTitle ResultId
SamplingCounterValueId = ResultDescription
"current value"
englishResultTitle ResultId
SamplingCounterStatsId = ResultDescription
"stats"
englishResultTitle ResultId
TimingCounterId = ResultDescription
"time-persistent stats counter"
englishResultTitle ResultId
TimingCounterValueId = ResultDescription
"current value"
englishResultTitle ResultId
TimingCounterStatsId = ResultDescription
"time-persistent stats"
englishResultTitle ResultId
FiniteQueueId = ResultDescription
"bounded queue"
englishResultTitle ResultId
InfiniteQueueId = ResultDescription
"unbounded queue"
englishResultTitle ResultId
EnqueueStrategyId = ResultDescription
"enqueu strategy"
englishResultTitle ResultId
EnqueueStoringStrategyId = ResultDescription
"storing strategy"
englishResultTitle ResultId
DequeueStrategyId = ResultDescription
"dequeue strategy"
englishResultTitle ResultId
QueueNullId = ResultDescription
"empty queue?"
englishResultTitle ResultId
QueueFullId = ResultDescription
"full queue?"
englishResultTitle ResultId
QueueMaxCountId = ResultDescription
"queue capacity"
englishResultTitle ResultId
QueueCountId = ResultDescription
"queue length"
englishResultTitle ResultId
QueueCountStatsId = ResultDescription
"queue length stats"
englishResultTitle ResultId
EnqueueCountId = ResultDescription
"enqueue request count"
englishResultTitle ResultId
EnqueueLostCountId = ResultDescription
"failed enqueue count"
englishResultTitle ResultId
EnqueueStoreCountId = ResultDescription
"fulfilled enqueue count"
englishResultTitle ResultId
DequeueCountId = ResultDescription
"dequeue request count"
englishResultTitle ResultId
DequeueExtractCountId = ResultDescription
"fulfilled dequeue count"
englishResultTitle ResultId
QueueLoadFactorId = ResultDescription
"queue load"
englishResultTitle ResultId
EnqueueRateId = ResultDescription
"enqueue request rate"
englishResultTitle ResultId
EnqueueStoreRateId = ResultDescription
"fulfilled enqueue rate"
englishResultTitle ResultId
DequeueRateId = ResultDescription
"dequeue request rate"
englishResultTitle ResultId
DequeueExtractRateId = ResultDescription
"fulfilled dequeue rate"
englishResultTitle ResultId
QueueWaitTimeId = ResultDescription
"wait time"
englishResultTitle ResultId
QueueTotalWaitTimeId = ResultDescription
"total wait time"
englishResultTitle ResultId
EnqueueWaitTimeId = ResultDescription
"enqueue wait time"
englishResultTitle ResultId
DequeueWaitTimeId = ResultDescription
"dequeue wait time"
englishResultTitle ResultId
QueueRateId = ResultDescription
"queue rate"
englishResultTitle ResultId
ArrivalTimerId = ResultDescription
"measures arrival processing time"
englishResultTitle ResultId
ArrivalProcessingTimeId = ResultDescription
"arrival processing time"
englishResultTitle ResultId
ServerId = ResultDescription
"server"
englishResultTitle ResultId
ServerInitStateId = ResultDescription
"initial state"
englishResultTitle ResultId
ServerStateId = ResultDescription
"current state"
englishResultTitle ResultId
ServerTotalInputWaitTimeId = ResultDescription
"total input wait time"
englishResultTitle ResultId
ServerTotalProcessingTimeId = ResultDescription
"total processing time"
englishResultTitle ResultId
ServerTotalOutputWaitTimeId = ResultDescription
"total output wait time"
englishResultTitle ResultId
ServerTotalPreemptionTimeId = ResultDescription
"total preemption time"
englishResultTitle ResultId
ServerInputWaitTimeId = ResultDescription
"input wait time"
englishResultTitle ResultId
ServerProcessingTimeId = ResultDescription
"processing time"
englishResultTitle ResultId
ServerOutputWaitTimeId = ResultDescription
"output wait time"
englishResultTitle ResultId
ServerPreemptionTimeId = ResultDescription
"preemption time"
englishResultTitle ResultId
ServerInputWaitFactorId = ResultDescription
"relative input wait time"
englishResultTitle ResultId
ServerProcessingFactorId = ResultDescription
"relative processing time"
englishResultTitle ResultId
ServerOutputWaitFactorId = ResultDescription
"relative output wait time"
englishResultTitle ResultId
ServerPreemptionFactorId = ResultDescription
"relative preemption time"
englishResultTitle ResultId
ActivityId = ResultDescription
"activity"
englishResultTitle ResultId
ActivityInitStateId = ResultDescription
"initial state"
englishResultTitle ResultId
ActivityStateId = ResultDescription
"current state"
englishResultTitle ResultId
ActivityTotalUtilisationTimeId = ResultDescription
"total utilisation time"
englishResultTitle ResultId
ActivityTotalIdleTimeId = ResultDescription
"total idle time"
englishResultTitle ResultId
ActivityTotalPreemptionTimeId = ResultDescription
"total preemption time"
englishResultTitle ResultId
ActivityUtilisationTimeId = ResultDescription
"utilisation time"
englishResultTitle ResultId
ActivityIdleTimeId = ResultDescription
"idle time"
englishResultTitle ResultId
ActivityPreemptionTimeId = ResultDescription
"preemption time"
englishResultTitle ResultId
ActivityUtilisationFactorId = ResultDescription
"relative utilisation time"
englishResultTitle ResultId
ActivityIdleFactorId = ResultDescription
"relative idle time"
englishResultTitle ResultId
ActivityPreemptionFactorId = ResultDescription
"relative preemption time"
englishResultTitle ResultId
ResourceId = ResultDescription
"resource"
englishResultTitle ResultId
ResourceCountId = ResultDescription
"content"
englishResultTitle ResultId
ResourceCountStatsId = ResultDescription
"content stats"
englishResultTitle ResultId
ResourceUtilisationCountId = ResultDescription
"utilisation count"
englishResultTitle ResultId
ResourceUtilisationCountStatsId = ResultDescription
"utilisation count stats"
englishResultTitle ResultId
ResourceQueueCountId = ResultDescription
"queue length"
englishResultTitle ResultId
ResourceQueueCountStatsId = ResultDescription
"queue length stats"
englishResultTitle ResultId
ResourceTotalWaitTimeId = ResultDescription
"total wait time"
englishResultTitle ResultId
ResourceWaitTimeId = ResultDescription
"wait time"
englishResultTitle ResultId
OperationId = ResultDescription
"operation"
englishResultTitle ResultId
OperationTotalUtilisationTimeId = ResultDescription
"total utilisation time"
englishResultTitle ResultId
OperationTotalPreemptionTimeId = ResultDescription
"total preemption time"
englishResultTitle ResultId
OperationUtilisationTimeId = ResultDescription
"utilisation time"
englishResultTitle ResultId
OperationPreemptionTimeId = ResultDescription
"preemption time"
englishResultTitle ResultId
OperationUtilisationFactorId = ResultDescription
"relative utilisation time"
englishResultTitle ResultId
OperationPreemptionFactorId = ResultDescription
"relative preemption time"
englishResultTitle (UserDefinedResultId UserDefinedResult
m) = UserDefinedResult -> ResultDescription
userDefinedResultTitle UserDefinedResult
m
englishResultTitle x :: ResultId
x@(LocalisedResultId LocalisedResult
m) =
  ResultDescription
-> Map ResultDescription ResultDescription -> ResultDescription
lookupResultLocalisation ResultDescription
englishResultLocale (LocalisedResult -> Map ResultDescription ResultDescription
localisedResultTitles LocalisedResult
m)