input-output-hk/io-sim

This is stars and forks stats for /input-output-hk/io-sim repository. As of 10 May, 2024 this repository has 22 stars and 13 forks.

io-sim IOSim is a simulator monad that supports: asynchronous exceptions simulated time timeout API software transaction memory (STM) concurrency: both low-level forkIO as well as async style strict STM access to lazy ST schedule discovery (see IOSimPOR) event log dynamic tracing tracing committed changes to TVar, TMVars, etc. labeling of threads, TVar's, etc. io-classes provides an interface, which allows writing code that can be run in both real IO and IOSim. It is a drop-in replacement for IO,...