@cardano / strict-checked-vars

Strict MVars and TVars with invariant checking for IO and IOSim

Latest0.2.1.0

About

Metadata

  • Last updated
  • License Apache-2.0
  • Categories Concurrency

  • Maintained by: operations@iohk.io, Joris Dral

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    checkmvarinvariants (off by default)

    Enable runtime invariant checks on StrictMVars

    checktvarinvariants (off by default)

    Enable runtime invariant checks on StrictTVars

Readme

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