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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
|
Source: haskell-iospec
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:
Clint Adams <clint@debian.org>,
Priority: optional
Section: haskell
Rules-Requires-Root: no
Build-Depends:
cdbs,
debhelper (>= 10),
ghc (>= 9.4),
ghc-prof,
haskell-devscripts (>= 0.13),
libghc-quickcheck2-dev (<< 3),
libghc-quickcheck2-dev (>= 2),
libghc-quickcheck2-prof,
libghc-stream-dev (<< 1),
libghc-stream-prof,
Build-Depends-Indep:
ghc-doc,
libghc-quickcheck2-doc,
libghc-stream-doc,
Standards-Version: 4.7.0
Homepage: https://hackage.haskell.org/package/IOSpec
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-iospec
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-iospec]
Package: libghc-iospec-dev
Architecture: any
Depends:
${haskell:Depends},
${misc:Depends},
${shlibs:Depends},
Recommends:
${haskell:Recommends},
Suggests:
${haskell:Suggests},
Provides:
${haskell:Provides},
Description: Pure specification of the IO monad${haskell:ShortBlurb}
It 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.
.
${haskell:Blurb}
Package: libghc-iospec-prof
Architecture: any
Depends:
${haskell:Depends},
${misc:Depends},
Recommends:
${haskell:Recommends},
Suggests:
${haskell:Suggests},
Provides:
${haskell:Provides},
Description: Pure specification of the IO monad${haskell:ShortBlurb}
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.
.
${haskell:Blurb}
Package: libghc-iospec-doc
Architecture: all
Section: doc
Depends:
${haskell:Depends},
${misc:Depends},
Recommends:
${haskell:Recommends},
Suggests:
${haskell:Suggests},
Description: Pure specification of the IO monad${haskell:ShortBlurb}
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.
.
${haskell:Blurb}
|
