1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
Name: IOSpec
Version: 0.2.5
License: BSD3
License-file: LICENSE
Author: Wouter Swierstra, Yusaku Hashimoto
Maintainer: Wouter Swierstra <wouter.swierstra@gmail.com>
Synopsis: A pure specification of the IO monad.
Description: 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.
Category: Testing
Build-Type: Simple
Build-Depends: base >= 2 && < 5, mtl, QuickCheck >= 2 && < 3, Stream
Extensions: MultiParamTypeClasses, OverlappingInstances
Ghc-options: -Wall
Hs-source-dirs: src
Extra-source-files: README
, examples/Channels.hs
, examples/Echo.hs
, examples/Queues.hs
, examples/Refs.hs
, examples/Sudoku.hs
Exposed-modules: Test.IOSpec
, Test.IOSpec.Fork
, Test.IOSpec.IORef
, Test.IOSpec.MVar
, Test.IOSpec.STM
, Test.IOSpec.Surrogate
, Test.IOSpec.Teletype
, Test.IOSpec.Types
, Test.IOSpec.VirtualMachine
|
