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.
Properties
| Versions | 0.1, 0.1.1, 0.2, 0.2.1, 0.2.2, 0.2.3 |
|---|---|
| Dependencies | base, mtl, QuickCheck |
| License | BSD3 |
| Author | Wouter Swierstra |
| Maintainer | Wouter Swierstra <wss@cs.nott.ac.uk> |
| Category | Testing |
| Home page | http://www.cs.nott.ac.uk/~wss/repos/IOSpec |
| Upload date | Tue Apr 24 09:28:43 UTC 2007 |
| Uploaded by | WouterSwierstra |
| Built on | ghc-6.10, ghc-6.12, ghc-6.6, ghc-6.8 |
| Distributions | Debian: 0.2.2 |
Modules
Downloads
- IOSpec-0.1.1.tar.gz (Cabal source package)
- package description (included in the package)