io-sim: A pure simulator for monadic concurrency with STM.
A pure simulator monad with support of concurency (base, async), stm, synchronous and asynchronous exceptions, timeouts & delays, dynamic traces, and more.
[Skip to Readme]
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
asserts | Enable assertions | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- io-sim-1.3.1.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Versions [RSS] | 1.0.0.0, 1.0.0.1, 1.1.0.0, 1.2.0.0, 1.3.0.0, 1.3.1.0, 1.4.0.0, 1.4.1.0, 1.5.0.0, 1.6.0.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.9 && <4.21), containers, deepseq, exceptions (>=0.10), io-classes (>=1.3.1 && <1.4), nothunks, psqueues (>=0.2 && <0.3), QuickCheck, quiet, si-timers (>=1.3 && <1.4), strict-stm (>=1.3 && <1.4), time (>=1.9.1 && <1.13) [details] |
License | Apache-2.0[multiple license files] |
Copyright | 2022-2023 Input Output Global Inc (IOG) |
Author | Alexander Vieth, Duncan Coutts, John Hughes, Marcin Szamotulski |
Maintainer | Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me |
Revised | Revision 2 made by ErikDeCastroLopo at 2024-07-01T06:09:15Z |
Category | Testing |
Bug tracker | https://github.com/input-output-hk/io-sim/issues |
Source repo | head: git clone https://github.com/input-output-hk/io-sim(io-sim) |
Uploaded | by coot at 2023-11-20T11:04:09Z |
Distributions | NixOS:1.5.0.0 |
Downloads | 3249 total (191 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2023-11-20 [all 3 reports] |