The IOSpec package
At the moment this package consists of four modules:
Test.IOSpec.Teletype: a specification of getChar and putChar.
Test.IOSpec.IORef: a specification of most functions on IORefs.
Test.IOSpec.Concurrent: specification of forkIO and MVars.
Data.Stream: a library for manipulating infinite lists.
There are several well-documented examples included with the source distribution.
[Skip to Readme]
|Versions||0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.6, 0.3|
|Dependencies||base, mtl, QuickCheck [details]|
|Maintainer||Wouter Swierstra <firstname.lastname@example.org>|
|Uploaded||Tue Apr 24 09:26:21 UTC 2007 by WouterSwierstra|
|Distributions||Debian:0.3, Fedora:0.3, NixOS:0.3|
|Downloads||5317 total (375 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI
For package maintainers and hackage trustees