@hackage IOSpec0.2.2

A pure specification of the IO monad.

Categories
- Testing
License
BSD-3-Clause
Maintainer
Wouter Swierstra <wss@cs.nott.ac.uk>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.3.1.2 Tue, 25 Jul 2023
- 0.3.1.1 Tue, 25 Jul 2023
- 0.3.1 Mon, 29 Oct 2018
- 0.3 Tue, 21 Apr 2015
- 0.2.6 Tue, 21 Apr 2015
- 0.2.5 Tue, 21 Feb 2012

Installation
In your cabal file:
Dependencies (4)
- base >=2 && <4.4
- mtl
- QuickCheck >=2 && <3
- Stream
Dependents (3)
@hackage/acme-everything, @hackage/lambdabot-haskell-plugins, @hackage/lambdabot

This package consists of several modules, that give a pure specification of functions in the IO monad:

Test.IOSpec.Fork: a pure specification of forkIO.
Test.IOSpec.IORef: a pure specification of most functions that create and manipulate on IORefs.
Test.IOSpec.MVar: a pure specification of most functions that create and manipulate and MVars.
Test.IOSpec.STM: a pure specification of atomically and the STM monad.
Test.IOSpec.Teletype: a pure specification of getChar, putChar, and several related Prelude functions.

Besides these modules containing the specifications, there are a few other important modules:

Test.IOSpec.Types: defines the IOSpec type and several amenities.
Test.IOSpec.VirtualMachine: defines a virtual machine on which to execute pure specifications.
Test.IOSpec.Surrogate: a drop-in replacement for the other modules. Import this and recompile your code once you've finished testing and debugging.

There are several well-documented examples included with the source distribution.