-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathleancheck.cabal
215 lines (198 loc) · 6.95 KB
/
leancheck.cabal
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
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
-- Cabal file for LeanCheck
--
-- Template Haskell dependency is optional. To deactivate it:
-- 1. In this file, comment out:
-- Test.LeanCheck.Derive
-- template-haskell
-- and the test-suite derive
-- 2. On Test.LeanCheck, comment out Test.LeanCheck.Derive and deriveListable
--
-- I could ultimately add a flag to deactivate that, but I do not want to make
-- this cabal file too complicated. -- Rudy
name: leancheck
version: 1.0.3
synopsis: Enumerative property-based testing
description:
LeanCheck is a simple enumerative property-based testing library.
.
Properties are defined as Haskell functions returning a boolean value which
should be true for all possible choices of argument values. LeanCheck
applies enumerated argument values to these properties in search for a
counterexample. Properties can be viewed as parameterized unit tests.
.
LeanCheck works by producing tiers of test values: a possibly infinite list
of finite sublists of same-and-increasingly-sized values.
.
LeanCheck has lean core with only 200 lines of Haskell code.
homepage: https://github.com/rudymatela/leancheck#readme
license: BSD3
license-file: LICENSE
author: Rudy Matela <rudy@matela.com.br>
maintainer: Rudy Matela <rudy@matela.com.br>
category: Testing
build-type: Simple
cabal-version: 1.18
extra-doc-files: README.md
, CREDITS.md
, TODO.md
, changelog.md
, doc/data-invariant.md
, doc/memory-usage.md
, doc/faq.md
, doc/tutorial.md
, doc/leancheck.svg
extra-source-files: .gitignore
, .github/workflows/build.yml
, Makefile
, bench/dets.hs
, bench/memory-usage.hs
, bench/pick.hs
, bench/tiers.hs
, bench/tiers-txt/*.txt
, bench/time-and-memory
, eg/higher-order.hs
, eg/overflow.hs
, eg/test-bool.hs
, eg/test-float.hs
, eg/test-list.hs
, eg/test-sort.hs
, eg/*.txt
, etc/hugs-backports/Data/Function.hs
, mk/All.hs
, mk/Toplibs.hs
, mk/depend.mk
, mk/ghcdeps
, mk/haddock-i
, mk/haskell.mk
, mk/install-on
, stack.yaml
, test/sdist
tested-with: GHC==9.10
, GHC==9.8
, GHC==9.6
, GHC==9.4
, GHC==9.2
, GHC==9.0
, GHC==8.10
, GHC==8.8
, GHC==8.6
, GHC==8.4
, GHC==8.2
, GHC==7.10
, Hugs==2006.9
source-repository head
type: git
location: https://github.com/rudymatela/leancheck
source-repository this
type: git
location: https://github.com/rudymatela/leancheck
tag: v1.0.3
library
exposed-modules: Test.LeanCheck
, Test.LeanCheck.Basic
, Test.LeanCheck.Core
, Test.LeanCheck.Derive
, Test.LeanCheck.Error
, Test.LeanCheck.Generic
, Test.LeanCheck.IO
, Test.LeanCheck.Tiers
, Test.LeanCheck.Utils
, Test.LeanCheck.Utils.Types
, Test.LeanCheck.Utils.TypeBinding
, Test.LeanCheck.Utils.Operators
, Test.LeanCheck.Stats
, Test.LeanCheck.Function
, Test.LeanCheck.Function.Eq
, Test.LeanCheck.Function.Ord
, Test.LeanCheck.Function.Show
, Test.LeanCheck.Function.Show.EightLines
, Test.LeanCheck.Function.Show.FourCases
, Test.LeanCheck.Function.List
, Test.LeanCheck.Function.Listable
, Test.LeanCheck.Function.Listable.ListsOfPairs
, Test.LeanCheck.Function.ListsOfPairs
, Test.LeanCheck.Function.ShowFunction
hs-source-dirs: src
build-depends: base >= 4 && < 5, template-haskell
if impl(ghc < 7.6)
build-depends: ghc-prim
default-language: Haskell2010
test-suite main
type: exitcode-stdio-1.0
main-is: main.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite types
type: exitcode-stdio-1.0
main-is: types.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite tiers
type: exitcode-stdio-1.0
main-is: tiers.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite operators
type: exitcode-stdio-1.0
main-is: operators.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite derive
type: exitcode-stdio-1.0
main-is: derive.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite error
type: exitcode-stdio-1.0
main-is: error.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite generic
type: exitcode-stdio-1.0
main-is: generic.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
if impl(ghc < 7.6)
build-depends: ghc-prim
default-language: Haskell2010
test-suite io
type: exitcode-stdio-1.0
main-is: io.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite fun
type: exitcode-stdio-1.0
main-is: fun.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite funshow
type: exitcode-stdio-1.0
main-is: funshow.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite stats
type: exitcode-stdio-1.0
main-is: stats.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010