@cardano strict-checked-vars0.1.0.4

Strict MVars and TVars with invariant checking for IO and IOSim

Categories
- Concurrency
License
Apache-2.0
Maintainer
operations@iohk.io
Links
Versions
- 0.2.0.0 Thu, 22 Feb 2024
- 0.1.0.4 Sun, 26 Nov 2023
- 0.1.0.3 Fri, 24 Nov 2023
- 0.1.0.2 Wed, 8 Nov 2023
- 0.1.0.1 Wed, 8 Nov 2023
- 0.1.0.0 Wed, 8 Nov 2023

Installation
In your cabal file:
Dependencies (4)
- base >=4.9 && <4.19
- io-classes ^>=1.2
- strict-mvar ^>=1.2
- strict-stm ^>=1.2
Dependents (3)
@cardano/ouroboros-network, @cardano/ouroboros-consensus-diffusion, @cardano/ouroboros-consensus

Package Flags

checkmvarinvariants

(off by default)

Enable runtime invariant checks on StrictMVars

checktvarinvariants

(off by default)

Enable runtime invariant checks on StrictTVars

Strict MVar and TVar interfaces with invariant checking compatible with IO & io-sim.