@cardano strict-checked-vars0.2.0.0

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

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

Installation
In your cabal file:
Dependencies (4)
- base >=4.9 && <5
- io-classes >=1.2 && <1.4
- strict-mvar >=1.2 && <1.4
- strict-stm >=1.2 && <1.4
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