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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
Name: IOSpec
Version: 0.3.1.2
License: BSD3
License-file: LICENSE
Cabal-Version: >= 1.10
Author: Wouter Swierstra,
Yusaku Hashimoto,
Nikolay Amiantov,
Bertram Felgenhauer
Maintainer: Bertram Felgenhauer <int-e@gmx.de>
Homepage: https://github.com/lambdabot/IOSpec
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
Extra-source-files: README
, examples/Channels.hs
, examples/Echo.hs
, examples/Queues.hs
, examples/Refs.hs
, examples/Sudoku.hs
Source-Repository head
Type: git
Location: https://github.com/lambdabot/IOSpec
Library
Build-Depends: base >= 4.8.0.0 && < 5
, mtl >= 2 && < 3
, QuickCheck >= 2 && < 3
, Stream < 1
Default-Language: Haskell98
Default-Extensions: MultiParamTypeClasses
, OverlappingInstances
Other-Extensions: DeriveDataTypeable
, EmptyDataDecls
, ExistentialQuantification
, FlexibleInstances
, FlexibleContexts
, TypeOperators
Ghc-options: -Wall
Hs-source-dirs: src
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
|
