packages feed

aivika 4.3.5 → 4.5

raw patch · 74 files changed

+178/−153 lines, 74 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Simulation.Aivika.Transform: instance Control.Arrow.ArrowLoop Simulation.Aivika.Transform.Transform
+ Simulation.Aivika.Event: enqueueEventWithStartTime :: Event () -> Event ()
+ Simulation.Aivika.Event: enqueueEventWithStopTime :: Event () -> Event ()
+ Simulation.Aivika.QueueStrategy: data family StrategyQueue s :: * -> *;
+ Simulation.Aivika.QueueStrategy: }
- Simulation.Aivika.QueueStrategy: class QueueStrategy s where data family StrategyQueue s :: * -> *
+ Simulation.Aivika.QueueStrategy: class QueueStrategy s where data StrategyQueue s :: * -> * where {

Files

CHANGELOG.md view
@@ -1,4 +1,11 @@ +Version 4.5+-----++* The Transform computation seems to be not ArrowLoop.++* Added the enqueueEventWithStartTime and enqueueEventWithStopTime functions.+ Version 4.3.5 ----- 
Simulation/Aivika.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module re-exports the most part of the library functionality. -- But there are modules that must be imported explicitly.
Simulation/Aivika/Activity.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Activity--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It models an activity that can be utilised. The activity is similar to a 'Server' -- but destined for simulation within 'Net' computation.
Simulation/Aivika/Activity/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Activity.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines some useful predefined activities that -- hold the current process for the corresponding random time
Simulation/Aivika/Agent.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Agent--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module introduces basic entities for the agent-based modeling. --
Simulation/Aivika/Arrival.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Arrival--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- 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
Simulation/Aivika/Circuit.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Circuit--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It represents a circuit synchronized with the event queue. -- Also it allows creating the recursive links with help of
Simulation/Aivika/Cont.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Cont--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The 'Cont' monad is a variation of the standard Cont monad  -- and F# async workflow, where the result of applying 
Simulation/Aivika/DoubleLinkedList.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.DoubleLinkedList--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- An imperative double-linked list. --
Simulation/Aivika/Dynamics.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Dynamics--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines the 'Dynamics' monad representing a time varying polymorphic function.  --
Simulation/Aivika/Dynamics/Extra.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Dynamics.Extra--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines auxiliary functions such as interpolation ones -- that complement the memoization, for example. There are scan functions too.
Simulation/Aivika/Dynamics/Memo.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Dynamics.Memo--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines memo functions. The memoization creates such 'Dynamics' -- computations, which values are cached in the integration time points. Then
Simulation/Aivika/Dynamics/Memo/Unboxed.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Dynamics.Memo.Unboxed--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the unboxed memo functions. The memoization creates such 'Dynamics' -- computations, which values are cached in the integration time points. Then
Simulation/Aivika/Dynamics/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Dynamics.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the random functions that always return the same values -- in the integration time points within a single simulation run. The values
Simulation/Aivika/Event.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Event--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines the 'Event' monad which is very similar to the 'Dynamics' -- monad but only now the computation is strongly synchronized with the event queue.@@ -28,6 +28,8 @@         -- * Event Queue         enqueueEvent,         enqueueEventWithCancellation,+        enqueueEventWithStartTime,+        enqueueEventWithStopTime,         enqueueEventWithTimes,         enqueueEventWithIntegTimes,         yieldEvent,
Simulation/Aivika/Gate.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Gate--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines a gate which can be either opened or closed. --
Simulation/Aivika/Generator.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Generator--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- Below is defined a type class of the random number generator. --
Simulation/Aivika/Internal/Arrival.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Arrival--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- 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
Simulation/Aivika/Internal/Cont.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Cont--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --
Simulation/Aivika/Internal/Dynamics.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Dynamics--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --
Simulation/Aivika/Internal/Event.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Event--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --@@ -33,6 +33,8 @@         -- * Event Queue         enqueueEvent,         enqueueEventWithCancellation,+        enqueueEventWithStartTime,+        enqueueEventWithStopTime,         enqueueEventWithTimes,         enqueueEventWithPoints,         enqueueEventWithIntegTimes,@@ -320,6 +322,20 @@   Event $ \p ->   let points = integPointsStartingFrom p   in invokeEvent p $ enqueueEventWithPoints points e++-- | Actuate the event handler in the start time point.+enqueueEventWithStartTime :: Event () -> Event ()+enqueueEventWithStartTime e =+  Event $ \p ->+  let p0 = integStartPoint $ pointRun p+  in invokeEvent p $ enqueueEventWithPoints [p0] e++-- | Actuate the event handler in the final time point.+enqueueEventWithStopTime :: Event () -> Event ()+enqueueEventWithStopTime e =+  Event $ \p ->+  let p0 = integStopPoint $ pointRun p+  in invokeEvent p $ enqueueEventWithPoints [p0] e  -- | It allows cancelling the event. data EventCancellation =
Simulation/Aivika/Internal/Parameter.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Parameter--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --
Simulation/Aivika/Internal/Process.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Process--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --
Simulation/Aivika/Internal/Simulation.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Simulation--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This is an internal implementation module that should never be used directly. --
Simulation/Aivika/Internal/Specs.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Internal.Specs--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It defines the simulation specs and related stuff. module Simulation.Aivika.Internal.Specs
Simulation/Aivika/Net.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Net--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines a 'Net' arrow that can be applied to modeling the queue networks -- like the 'Processor' arrow from another module. Only the former has a more efficient
Simulation/Aivika/Net/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Net.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines some useful random network computations that -- hold the current process for the corresponding time interval,
Simulation/Aivika/Operation.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Operation--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It defines a stateless activity, some simplification of 'Server' and 'Activity'. module Simulation.Aivika.Operation
Simulation/Aivika/Operation/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Operation.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines some useful predefined operations that -- hold the current process for the corresponding random time
Simulation/Aivika/Parameter.hs view
@@ -1,10 +1,10 @@ -- | -- Module     : Simulation.Aivika.Parameter--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines the 'Parameter' monad that allows representing the model -- parameters. For example, they can be used when running the Monte-Carlo simulation.
Simulation/Aivika/Parameter/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Parameter.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the random parameters of simulation experiments. --
Simulation/Aivika/PriorityQueue.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.PriorityQueue--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- An imperative heap-based priority queue. --
Simulation/Aivika/Process.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Process--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- A value in the 'Process' monad represents a discontinuous process that  -- can suspend in any simulation time point and then resume later in the same 
Simulation/Aivika/Process/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Process.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines helper functions, which are useful to hold  -- the 'Process' computation for a time interval according to some
Simulation/Aivika/Processor.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Processor--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The processor of simulation data. --
Simulation/Aivika/Processor/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Processor.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines some useful random processors that -- hold the current process for the corresponding time interval,
Simulation/Aivika/Processor/RoundRobbin.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Processor.RoundRobbin--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines the Round-Robbin processor. --
Simulation/Aivika/Queue.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Queue--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines a queue that can use the specified strategies. So, having only -- the 'FCFS', 'LCFS', 'SIRO' and 'StaticPriorities' strategies, you can build
Simulation/Aivika/Queue/Base.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Queue.Base--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an optimised finite queue, which has no counters nor signals. --
Simulation/Aivika/Queue/Infinite.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Queue.Infinite--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an infinite queue that can use the specified strategies. --
Simulation/Aivika/Queue/Infinite/Base.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Queue.Infinite.Base--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an infinite optimised queue, which has no counters nor signals. --
Simulation/Aivika/QueueStrategy.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.QueueStrategy--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the queue strategies. --
Simulation/Aivika/Ref.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Ref--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an updatable reference that depends on the event queue. --
Simulation/Aivika/Ref/Base.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Ref.Base--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines a light-weight and more fast version of an updatable reference -- that depends on the event queue but that doesn't supply with the signal notification.
Simulation/Aivika/Resource.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Resource--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the resource which can be acquired and  -- then released by the discontinuous process 'Process'.
Simulation/Aivika/Resource/Base.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Resource.Base--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an optimised version of the resource  -- which can be acquired and then released by the discontinuous 
Simulation/Aivika/Resource/Preemption.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Resource.Preemption--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the preemptible resource. --
Simulation/Aivika/Resource/Preemption/Base.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Resource.Preemption.Base--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the preemptible resource. --
Simulation/Aivika/Results.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Results--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module allows exporting the simulation results from the model. --
Simulation/Aivika/Results/IO.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Results.IO--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module allows printing and converting the 'Simulation' 'Results' to a 'String'. --
Simulation/Aivika/Results/Locale.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Results.Locale--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines locales for outputting and printing the simulation results. --
Simulation/Aivika/Results/Transform.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Results.Transform--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines useful result transformations that can -- be used in simulation experiments.
Simulation/Aivika/Server.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Server--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It models the server that prodives a service. module Simulation.Aivika.Server
Simulation/Aivika/Server/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Server.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines some useful predefined servers that -- hold the current process for the corresponding random time
Simulation/Aivika/Signal.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Signal--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the signal which we can subscribe handlers to.  -- These handlers can be disposed. The signal is triggered in the 
Simulation/Aivika/Simulation.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Simulation--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines the 'Simulation' monad that represents a computation within -- the simulation run.
Simulation/Aivika/Specs.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Specs--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It defines the simulation specs and functions for this data type. module Simulation.Aivika.Specs
Simulation/Aivika/Statistics.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Statistics--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- Represents statistics. --
Simulation/Aivika/Statistics/Accumulator.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Statistics.Accumulator--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This small utility module allows accumulating the timing statistics based on 'Signalable' data -- such as the queue size or the number of lost items in the queue.
Simulation/Aivika/Stream.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Stream--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The infinite stream of data in time. --
Simulation/Aivika/Stream/Random.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Stream.Random--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines random streams of events, which are useful -- for describing the input of the model.
Simulation/Aivika/SystemDynamics.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.SystemDynamics--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines integrals and other functions of System Dynamics. --
Simulation/Aivika/Table.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Table--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- It defines the table functions. --
Simulation/Aivika/Task.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Task--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The 'Task' value represents a process that was already started in background. -- We can check the completion of the task, receive notifications about changing
Simulation/Aivika/Transform.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Transform--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The module defines something which is most close to the notion of -- analogous circuit as an opposite to the digital one.@@ -84,14 +84,14 @@        c' <- g b        return $ liftM2 (,) c c' -instance ArrowLoop Transform where--  loop (Transform f) =-    Transform $ \b ->-    mdo let bd = liftM2 (,) b d-        cd <- f bd-        (c, d) <- unzip0Dynamics cd-        return c+-- instance ArrowLoop Transform where+-- +--   loop (Transform f) =+--     Transform $ \b ->+--     mdo let bd = liftM2 (,) b d+--         cd <- f bd+--         (c, d) <- unzip0Dynamics cd+--         return c  -- | A transform that returns the current modeling time. timeTransform :: Transform a Double
Simulation/Aivika/Transform/Extra.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Transform.Extra--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines auxiliary computations such as interpolation ones -- that complement the memoization, for example. There are scan computations too.
Simulation/Aivika/Transform/Memo.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Transform.Memo--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines memoization transforms. The memoization creates such 'Dynamics' -- computations, which values are cached in the integration time points. Then
Simulation/Aivika/Transform/Memo/Unboxed.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Transform.Memo.Unboxed--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines the unboxed memoization transforms. The memoization creates such 'Dynamics' -- computations, which values are cached in the integration time points. Then
Simulation/Aivika/Unboxed.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Unboxed--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- The 'Unboxed' class allows creating unboxed arrays in monad 'IO'. --
Simulation/Aivika/Var.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Var--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines a variable that is bound up with the event queue and  -- that keeps the history of changes storing the values in arrays, which
Simulation/Aivika/Var/Unboxed.hs view
@@ -1,11 +1,11 @@  -- | -- Module     : Simulation.Aivika.Var.Unboxed--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- This module defines an unboxed variable that is bound up with the event queue and  -- that keeps the history of changes storing the values in unboxed arrays, which
Simulation/Aivika/Vector.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Vector--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- An imperative vector. --
Simulation/Aivika/Vector/Unboxed.hs view
@@ -3,11 +3,11 @@  -- | -- Module     : Simulation.Aivika.Vector.Unboxed--- Copyright  : Copyright (c) 2009-2015, David Sorokin <david.sorokin@gmail.com>+-- Copyright  : Copyright (c) 2009-2016, David Sorokin <david.sorokin@gmail.com> -- License    : BSD3 -- Maintainer : David Sorokin <david.sorokin@gmail.com> -- Stability  : experimental--- Tested with: GHC 7.10.1+-- Tested with: GHC 8.0.1 -- -- An imperative unboxed vector. --
aivika.cabal view
@@ -1,5 +1,5 @@ name:            aivika-version:         4.3.5+version:         4.5 synopsis:        A multi-method simulation library description:     Aivika is a multi-method simulation library focused on