@cardano / io-sim

A pure simulator for monadic concurrency with STM.

Latest1.10.1.0

About

Metadata

  • Last updated
  • License Apache-2.0
  • Categories Testing

  • Maintained by: Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    asserts (off by default)

    Enable assertions

Readme

A pure simulator monad with support of concurrency (base & async style), stm, synchronous and asynchronous exceptions, timeouts & delays, dynamic traces, partial order reduction, and more.

Documentation

Documentation is published here.