Commit | Line | Data |
---|---|---|
a06b9b50 RW |
1 | ;;; GNU Guix --- Functional package management for GNU |
2 | ;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org> | |
3 | ;;; Copyright © 2015 Eric Bavier <bavier@member.fsf.org> | |
4 | ;;; Copyright © 2015 Federico Beffa <beffa@fbengineering.ch> | |
7291ad1e | 5 | ;;; Copyright © 2015, 2016, 2017, 2018 Ricardo Wurmus <rekado@elephly.net> |
47956fa0 | 6 | ;;; Copyright © 2016 ng0 <ng0@n0.is> |
a06b9b50 RW |
7 | ;;; Copyright © 2016 David Craven <david@craven.ch> |
8 | ;;; Copyright © 2017 Danny Milosavljevic <dannym@scratchpost.org> | |
9 | ;;; Copyright © 2017 rsiddharth <s@ricketyspace.net> | |
03de2634 | 10 | ;;; Copyright © 2017, 2018 Tobias Geerinckx-Rice <me@tobias.gr> |
44cea578 | 11 | ;;; Copyright © 2018 Tonton <tonton@riseup.net> |
cdccdec1 | 12 | ;;; Copyright © 2018 Arun Isaac <arunisaac@systemreboot.net> |
a06b9b50 RW |
13 | ;;; |
14 | ;;; This file is part of GNU Guix. | |
15 | ;;; | |
16 | ;;; GNU Guix is free software; you can redistribute it and/or modify it | |
17 | ;;; under the terms of the GNU General Public License as published by | |
18 | ;;; the Free Software Foundation; either version 3 of the License, or (at | |
19 | ;;; your option) any later version. | |
20 | ;;; | |
21 | ;;; GNU Guix is distributed in the hope that it will be useful, but | |
22 | ;;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
23 | ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
24 | ;;; GNU General Public License for more details. | |
25 | ;;; | |
26 | ;;; You should have received a copy of the GNU General Public License | |
27 | ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. | |
28 | ||
29 | (define-module (gnu packages haskell-check) | |
30 | #:use-module (gnu packages) | |
47a6582b | 31 | #:use-module (gnu packages haskell-crypto) |
dddbc90c | 32 | #:use-module (gnu packages haskell-xyz) |
a06b9b50 RW |
33 | #:use-module (guix build-system haskell) |
34 | #:use-module (guix download) | |
35 | #:use-module ((guix licenses) #:prefix license:) | |
36 | #:use-module (guix packages) | |
37 | #:use-module (guix utils)) | |
38 | ||
39 | (define-public ghc-tasty-ant-xml | |
40 | (package | |
41 | (name "ghc-tasty-ant-xml") | |
8374cc4b | 42 | (version "1.1.4") |
a06b9b50 RW |
43 | (source |
44 | (origin | |
45 | (method url-fetch) | |
46 | (uri (string-append | |
47 | "https://hackage.haskell.org/package/tasty-ant-xml/tasty-ant-xml-" | |
48 | version | |
49 | ".tar.gz")) | |
50 | (sha256 | |
51 | (base32 | |
8374cc4b | 52 | "0v0gsb90kh6hwlgxbclzawsskywc6yf7n8xhiifia97l4y0yx2m8")))) |
a06b9b50 RW |
53 | (build-system haskell-build-system) |
54 | (inputs | |
55 | `(("ghc-generic-deriving" ,ghc-generic-deriving) | |
56 | ("ghc-xml" ,ghc-xml) | |
a06b9b50 RW |
57 | ("ghc-tagged" ,ghc-tagged) |
58 | ("ghc-tasty" ,ghc-tasty))) | |
59 | (home-page | |
60 | "https://github.com/ocharles/tasty-ant-xml") | |
61 | (synopsis | |
62 | "Render tasty output to XML for Jenkins") | |
63 | (description | |
64 | "A tasty ingredient to output test results in XML, using the Ant | |
65 | schema. This XML can be consumed by the Jenkins continuous integration | |
66 | framework.") | |
67 | (license license:bsd-3))) | |
68 | ||
69 | (define-public ghc-tasty-smallcheck | |
70 | (package | |
71 | (name "ghc-tasty-smallcheck") | |
f3ec9866 | 72 | (version "0.8.1") |
a06b9b50 RW |
73 | (source |
74 | (origin | |
75 | (method url-fetch) | |
76 | (uri (string-append | |
77 | "https://hackage.haskell.org/package/tasty-smallcheck/tasty-smallcheck-" | |
78 | version | |
79 | ".tar.gz")) | |
80 | (sha256 | |
81 | (base32 | |
f3ec9866 | 82 | "1n66ngzllf3xrlqykwszlkwsi96n5nkm7xbpfq7774vpvfnafjri")))) |
a06b9b50 RW |
83 | (build-system haskell-build-system) |
84 | (inputs | |
85 | `(("ghc-tasty" ,ghc-tasty) | |
86 | ("ghc-smallcheck" ,ghc-smallcheck) | |
87 | ("ghc-async" ,ghc-async) | |
88 | ("ghc-tagged" ,ghc-tagged))) | |
1fd90622 | 89 | (home-page "https://documentup.com/feuerbach/tasty") |
a06b9b50 RW |
90 | (synopsis "SmallCheck support for the Tasty test framework") |
91 | (description "This package provides SmallCheck support for the Tasty | |
92 | Haskell test framework.") | |
93 | (license license:bsd-3))) | |
94 | ||
95 | (define-public ghc-tasty-quickcheck | |
96 | (package | |
97 | (name "ghc-tasty-quickcheck") | |
59a50276 | 98 | (version "0.10") |
a06b9b50 RW |
99 | (source |
100 | (origin | |
101 | (method url-fetch) | |
102 | (uri (string-append | |
103 | "https://hackage.haskell.org/package/tasty-quickcheck/" | |
104 | "tasty-quickcheck-" version ".tar.gz")) | |
105 | (sha256 | |
106 | (base32 | |
59a50276 | 107 | "0vr6szbbz3s5461i0zr8zpq347zfvidfzv5gf3xwxhm0yk731z8h")))) |
a06b9b50 RW |
108 | (build-system haskell-build-system) |
109 | (inputs | |
110 | `(("ghc-quickcheck" ,ghc-quickcheck) | |
111 | ("ghc-tagged" ,ghc-tagged) | |
112 | ("ghc-tasty" ,ghc-tasty) | |
113 | ("ghc-random" ,ghc-random) | |
114 | ("ghc-ansi-terminal" ,ghc-ansi-terminal) | |
115 | ("ghc-tasty-hunit" ,ghc-tasty-hunit) | |
116 | ("ghc-pcre-light" ,ghc-pcre-light))) | |
117 | (home-page "http://documentup.com/feuerbach/tasty") | |
118 | (synopsis "QuickCheck support for the Tasty test framework") | |
119 | (description "This package provides QuickCheck support for the Tasty | |
120 | Haskell test framework.") | |
121 | (license license:expat))) | |
122 | ||
123 | (define-public ghc-tasty-golden | |
124 | (package | |
125 | (name "ghc-tasty-golden") | |
576b7dd5 | 126 | (version "2.3.2") |
a06b9b50 RW |
127 | (source |
128 | (origin | |
129 | (method url-fetch) | |
130 | (uri (string-append | |
131 | "https://hackage.haskell.org/package/tasty-golden/tasty-golden-" | |
132 | version | |
133 | ".tar.gz")) | |
134 | (sha256 | |
135 | (base32 | |
576b7dd5 | 136 | "0k3ibjhjc9vcwzrjnl4rnwvfm8l81q347nb7dgvcib6n5wm3s404")))) |
a06b9b50 RW |
137 | (build-system haskell-build-system) |
138 | (inputs | |
139 | `(("ghc-temporary" ,ghc-temporary) | |
140 | ("ghc-tasty" ,ghc-tasty) | |
a06b9b50 RW |
141 | ("ghc-optparse-applicative" ,ghc-optparse-applicative) |
142 | ("ghc-tagged" ,ghc-tagged) | |
143 | ("ghc-async" ,ghc-async) | |
144 | ("ghc-tasty-hunit" ,ghc-tasty-hunit) | |
145 | ("ghc-temporary-rc" ,ghc-temporary-rc))) | |
146 | (home-page | |
147 | "https://github.com/feuerbach/tasty-golden") | |
148 | (synopsis "Golden tests support for tasty") | |
149 | (description | |
36a4366d EF |
150 | "This package provides support for @code{golden testing}. A @dfn{golden |
151 | test} is an IO action that writes its result to a file. To pass the test, this | |
152 | output file should be identical to the corresponding @code{golden} file, which | |
49b9c800 | 153 | contains the correct result for the test.") |
a06b9b50 RW |
154 | (license license:expat))) |
155 | ||
a06b9b50 RW |
156 | (define-public ghc-tasty |
157 | (package | |
158 | (name "ghc-tasty") | |
9d1944a4 | 159 | (version "1.1.0.3") |
a06b9b50 RW |
160 | (source |
161 | (origin | |
162 | (method url-fetch) | |
163 | (uri (string-append | |
164 | "https://hackage.haskell.org/package/tasty/tasty-" | |
165 | version | |
166 | ".tar.gz")) | |
167 | (sha256 | |
168 | (base32 | |
9d1944a4 | 169 | "14riid753hjqr6lca1kgxpnvq0wykf0k3qc5jpag42hh8bszav22")))) |
a06b9b50 RW |
170 | (build-system haskell-build-system) |
171 | (inputs | |
a1eb8be8 | 172 | `(("ghc-tagged" ,ghc-tagged) |
669692eb | 173 | ("ghc-regex-tdfa" ,ghc-regex-tdfa) |
a06b9b50 RW |
174 | ("ghc-optparse-applicative" ,ghc-optparse-applicative) |
175 | ("ghc-unbounded-delays" ,ghc-unbounded-delays) | |
176 | ("ghc-async" ,ghc-async) | |
177 | ("ghc-ansi-terminal" ,ghc-ansi-terminal) | |
9d1944a4 TS |
178 | ("ghc-clock-bootstrap" ,ghc-clock-bootstrap) |
179 | ("ghc-wcwidth" ,ghc-wcwidth-bootstrap))) | |
a06b9b50 RW |
180 | (home-page "http://documentup.com/feuerbach/tasty") |
181 | (synopsis "Modern and extensible testing framework") | |
182 | (description "Tasty is a modern testing framework for Haskell. It lets | |
183 | you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, | |
184 | and any other types of tests into a single test suite.") | |
185 | (license license:expat))) | |
186 | ||
187 | (define-public ghc-tasty-hunit | |
188 | (package | |
189 | (name "ghc-tasty-hunit") | |
58182daa | 190 | (version "0.10.0.1") |
a06b9b50 RW |
191 | (source |
192 | (origin | |
193 | (method url-fetch) | |
194 | (uri (string-append | |
195 | "https://hackage.haskell.org/package/tasty-hunit/tasty-hunit-" | |
196 | version | |
197 | ".tar.gz")) | |
198 | (sha256 | |
199 | (base32 | |
58182daa | 200 | "0j3hgga6c3s8h5snzivb8a75h96207ia2rlbxzj07xbf4zpkp44g")))) |
a06b9b50 RW |
201 | (build-system haskell-build-system) |
202 | (inputs | |
58182daa TS |
203 | `(("ghc-call-stack" ,ghc-call-stack-boot) |
204 | ("ghc-tasty" ,ghc-tasty))) | |
a06b9b50 RW |
205 | (home-page "http://documentup.com/feuerbach/tasty") |
206 | (synopsis "HUnit support for the Tasty test framework") | |
207 | (description "This package provides HUnit support for the Tasty Haskell | |
208 | test framework.") | |
209 | (license license:expat))) | |
210 | ||
211 | (define-public ghc-tasty-kat | |
212 | (package | |
213 | (name "ghc-tasty-kat") | |
214 | (version "0.0.3") | |
215 | (source (origin | |
216 | (method url-fetch) | |
217 | (uri (string-append "https://hackage.haskell.org/package/" | |
218 | "tasty-kat/tasty-kat-" version ".tar.gz")) | |
219 | (sha256 | |
220 | (base32 | |
221 | "14yvlpli6cv6bn3kh8mlfp4x1l6ns4fvmfv6hmj75cvxyzq029d7")))) | |
222 | (build-system haskell-build-system) | |
223 | (inputs | |
224 | `(("ghc-tasty" ,ghc-tasty) | |
a06b9b50 RW |
225 | ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck) |
226 | ("ghc-tasty-hunit" ,ghc-tasty-hunit))) | |
227 | (home-page "https://github.com/vincenthz/tasty-kat") | |
228 | (synopsis "Known Answer Tests (KAT) framework for tasty") | |
229 | (description | |
230 | "This package provides a @dfn{Known Answer Tests} (KAT) framework for | |
231 | tasty.") | |
232 | (license license:expat))) | |
233 | ||
234 | (define-public ghc-tasty-th | |
235 | (package | |
236 | (name "ghc-tasty-th") | |
310d782e | 237 | (version "0.1.7") |
a06b9b50 RW |
238 | (source |
239 | (origin | |
240 | (method url-fetch) | |
241 | (uri (string-append | |
242 | "https://hackage.haskell.org/package/tasty-th/tasty-th-" | |
243 | version ".tar.gz")) | |
244 | (sha256 | |
245 | (base32 | |
310d782e | 246 | "0b2ivrw2257m4cy4rjnkwqlarh83j1y3zywnmaqqqbvy667sqnj3")))) |
a06b9b50 RW |
247 | (build-system haskell-build-system) |
248 | (inputs | |
310d782e TS |
249 | `(("ghc-haskell-src-exts" ,ghc-haskell-src-exts) |
250 | ("ghc-tasty" ,ghc-tasty) | |
251 | ("ghc-tasty-hunit" ,ghc-tasty-hunit))) | |
a06b9b50 RW |
252 | (home-page "https://github.com/bennofs/tasty-th") |
253 | (synopsis "Automatically generate tasty TestTrees") | |
254 | (description | |
255 | "Tasty-th automatically generates tasty TestTrees from functions of the | |
256 | current module, using TemplateHaskell. This is a fork the original | |
257 | test-framework-th package, modified to work with tasty instead of | |
258 | test-framework.") | |
259 | (license license:bsd-3))) | |
260 | ||
261 | (define-public ghc-tasty-rerun | |
262 | (package | |
263 | (name "ghc-tasty-rerun") | |
f752336c | 264 | (version "1.1.12") |
a06b9b50 RW |
265 | (source (origin |
266 | (method url-fetch) | |
267 | (uri (string-append | |
268 | "https://hackage.haskell.org/package/tasty-rerun/" | |
269 | "tasty-rerun-" version ".tar.gz")) | |
270 | (sha256 | |
271 | (base32 | |
f752336c | 272 | "05lp4zy6lwd916snq6hs43848n62j9vdfl3s8sfivqydrax0vvd8")))) |
a06b9b50 RW |
273 | (build-system haskell-build-system) |
274 | (inputs | |
f54f0475 | 275 | `(("ghc-optparse-applicative" ,ghc-optparse-applicative) |
a06b9b50 RW |
276 | ("ghc-reducers" ,ghc-reducers) |
277 | ("ghc-split" ,ghc-split) | |
a06b9b50 RW |
278 | ("ghc-tagged" ,ghc-tagged) |
279 | ("ghc-tasty" ,ghc-tasty))) | |
280 | (home-page "https://github.com/ocharles/tasty-rerun") | |
281 | (synopsis "Run tests by filtering the test tree") | |
282 | (description "This package adds the ability to run tests by filtering the | |
283 | test tree based on the result of a previous test run. You can use this to run | |
284 | only those tests that failed in the last run, or to only run the tests that have | |
285 | been added since previous test run.") | |
286 | (license license:bsd-3))) | |
287 | ||
ee448389 RW |
288 | (define-public ghc-tasty-expected-failure |
289 | (package | |
290 | (name "ghc-tasty-expected-failure") | |
665615e9 | 291 | (version "0.11.1.1") |
ee448389 RW |
292 | (source |
293 | (origin | |
294 | (method url-fetch) | |
295 | (uri (string-append "https://hackage.haskell.org/package/" | |
296 | "tasty-expected-failure/tasty-expected-failure-" | |
297 | version ".tar.gz")) | |
298 | (sha256 | |
299 | (base32 | |
665615e9 | 300 | "1i2s809m644b7hgiblqay9j364r3fjj1rwbrahsn1pgr5q6mr6ji")))) |
ee448389 RW |
301 | (build-system haskell-build-system) |
302 | (inputs | |
303 | `(("ghc-tagged" ,ghc-tagged) | |
304 | ("ghc-tasty" ,ghc-tasty))) | |
305 | (home-page "http://github.com/nomeata/tasty-expected-failure") | |
306 | (synopsis "Mark tasty tests as failure expected") | |
307 | (description | |
308 | "With the function @code{Test.Tasty.ExpectedFailure.expectFail} in the | |
309 | provided module @code{Test.Tasty.ExpectedFailure}, you can mark that you | |
310 | expect test cases to fail, and not to pass. This can be used for test-driven | |
311 | development.") | |
312 | (license license:expat))) | |
313 | ||
a06b9b50 RW |
314 | (define-public ghc-quickcheck-instances |
315 | (package | |
316 | (name "ghc-quickcheck-instances") | |
cdccdec1 | 317 | (version "0.3.18") |
a06b9b50 RW |
318 | (source |
319 | (origin | |
320 | (method url-fetch) | |
321 | (uri (string-append | |
322 | "https://hackage.haskell.org/package/" | |
323 | "quickcheck-instances/quickcheck-instances-" | |
324 | version ".tar.gz")) | |
325 | (sha256 | |
326 | (base32 | |
cdccdec1 | 327 | "1bh1pzz5fdcqvzdcirqxna6fnjms02min5md716299g5niz46w55")))) |
a06b9b50 | 328 | (build-system haskell-build-system) |
cdccdec1 | 329 | (arguments |
fc042487 TS |
330 | `(#:cabal-revision |
331 | ("1" "1sngfq3v71bvgjsl8cj5kh65m3fziwy8dkvwjzs0kxfrzr87faly"))) | |
a06b9b50 | 332 | (inputs |
04a69991 RW |
333 | `(("ghc-quickcheck" ,ghc-quickcheck) |
334 | ("ghc-base-compat" ,ghc-base-compat) | |
335 | ("ghc-case-insensitive" ,ghc-case-insensitive) | |
a06b9b50 | 336 | ("ghc-hashable" ,ghc-hashable) |
04a69991 | 337 | ("ghc-old-time" ,ghc-old-time) |
a06b9b50 | 338 | ("ghc-scientific" ,ghc-scientific) |
04a69991 | 339 | ("ghc-tagged" ,ghc-tagged) |
04a69991 RW |
340 | ("ghc-transformers-compat" ,ghc-transformers-compat) |
341 | ("ghc-unordered-containers" ,ghc-unordered-containers) | |
342 | ("ghc-uuid-types" ,ghc-uuid-types) | |
343 | ("ghc-vector" ,ghc-vector))) | |
344 | (home-page "https://github.com/aslatter/qc-instances") | |
a06b9b50 RW |
345 | (synopsis "Common quickcheck instances") |
346 | (description "This package provides QuickCheck instances for types | |
347 | provided by the Haskell Platform.") | |
348 | (license license:bsd-3))) | |
349 | ||
350 | (define-public ghc-quickcheck-unicode | |
351 | (package | |
352 | (name "ghc-quickcheck-unicode") | |
03de2634 | 353 | (version "1.0.1.0") |
a06b9b50 RW |
354 | (source |
355 | (origin | |
356 | (method url-fetch) | |
357 | (uri (string-append | |
03de2634 TGR |
358 | "https://hackage.haskell.org/package/quickcheck-unicode/" |
359 | "quickcheck-unicode-" version ".tar.gz")) | |
a06b9b50 RW |
360 | (sha256 |
361 | (base32 | |
03de2634 | 362 | "0s43s1bzbg3gwsjgm7fpyksd1339f0m26dlw2famxwyzgvm0a80k")))) |
a06b9b50 RW |
363 | (build-system haskell-build-system) |
364 | (inputs `(("ghc-quickcheck" ,ghc-quickcheck))) | |
365 | (home-page | |
366 | "https://github.com/bos/quickcheck-unicode") | |
367 | (synopsis "Generator functions Unicode-related tests") | |
368 | (description "This package provides generator and shrink functions for | |
369 | testing Unicode-related software.") | |
370 | (license license:bsd-3))) | |
371 | ||
372 | (define-public ghc-quickcheck-io | |
373 | (package | |
374 | (name "ghc-quickcheck-io") | |
bb0e9ca4 | 375 | (version "0.2.0") |
a06b9b50 RW |
376 | (source |
377 | (origin | |
378 | (method url-fetch) | |
379 | (uri (string-append | |
380 | "https://hackage.haskell.org/package/quickcheck-io/quickcheck-io-" | |
381 | version | |
382 | ".tar.gz")) | |
383 | (sha256 | |
384 | (base32 | |
bb0e9ca4 | 385 | "08k4v7pkgjf30pv5j2dfv1gqv6hclxlniyq2sps8zq4zswcr2xzv")))) |
a06b9b50 RW |
386 | (build-system haskell-build-system) |
387 | (inputs | |
388 | `(("ghc-quickcheck" ,ghc-quickcheck) | |
389 | ("ghc-hunit" ,ghc-hunit))) | |
390 | (home-page | |
391 | "https://github.com/hspec/quickcheck-io#readme") | |
392 | (synopsis "Use HUnit assertions as QuickCheck properties") | |
393 | (description "This package provides an orphan instance that allows you to | |
394 | use HUnit assertions as QuickCheck properties.") | |
395 | (license license:expat))) | |
396 | ||
397 | (define-public ghc-quickcheck | |
398 | (package | |
399 | (name "ghc-quickcheck") | |
178f69cb | 400 | (version "2.13.2") |
a06b9b50 RW |
401 | (outputs '("out" "doc")) |
402 | (source | |
403 | (origin | |
404 | (method url-fetch) | |
405 | (uri (string-append | |
406 | "https://hackage.haskell.org/package/QuickCheck/QuickCheck-" | |
407 | version | |
408 | ".tar.gz")) | |
409 | (sha256 | |
410 | (base32 | |
178f69cb | 411 | "0426j43af8v3qmdjjqxivazsvr3a2brac8yw09vpgpjkb2m0nmkv")))) |
a06b9b50 RW |
412 | (build-system haskell-build-system) |
413 | (arguments | |
09b52698 | 414 | `(#:tests? #f)) ; FIXME: currently missing libraries used for tests. |
a06b9b50 | 415 | (inputs |
7291ad1e | 416 | `(("ghc-random" ,ghc-random) |
178f69cb | 417 | ("ghc-splitmix" ,ghc-splitmix-bootstrap) |
7291ad1e RW |
418 | ("ghc-tf-random" ,ghc-tf-random))) |
419 | (home-page "https://github.com/nick8325/quickcheck") | |
420 | (synopsis "Automatic testing of Haskell programs") | |
a06b9b50 | 421 | (description |
7291ad1e RW |
422 | "QuickCheck is a library for random testing of program properties. The |
423 | programmer provides a specification of the program, in the form of properties | |
424 | which functions should satisfy, and QuickCheck then tests that the properties | |
425 | hold in a large number of randomly generated cases. Specifications are | |
426 | expressed in Haskell, using combinators defined in the QuickCheck library.") | |
a06b9b50 RW |
427 | (license license:bsd-3))) |
428 | ||
429 | (define-public ghc-test-framework | |
430 | (package | |
431 | (name "ghc-test-framework") | |
bc8bda50 | 432 | (version "0.8.2.0") |
a06b9b50 RW |
433 | (source |
434 | (origin | |
435 | (method url-fetch) | |
436 | (uri (string-append "https://hackage.haskell.org/package/test-framework/" | |
437 | "test-framework-" version ".tar.gz")) | |
438 | (sha256 | |
439 | (base32 | |
bc8bda50 | 440 | "1hhacrzam6b8f10hyldmjw8pb7frdxh04rfg3farxcxwbnhwgbpm")))) |
a06b9b50 | 441 | (build-system haskell-build-system) |
7fa02bc7 | 442 | (arguments |
bc8bda50 TS |
443 | `(#:tests? #f ; FIXME: Tests do not build. |
444 | #:phases | |
445 | (modify-phases %standard-phases | |
446 | (add-before 'configure 'update-constraints | |
447 | (lambda _ | |
448 | (substitute* "test-framework.cabal" | |
449 | (("QuickCheck >= 2\\.3 && < 2\\.10") | |
450 | "QuickCheck >= 2.3 && < 2.12"))))))) | |
a06b9b50 RW |
451 | (native-inputs |
452 | `(("ghc-hunit" ,ghc-hunit) | |
453 | ("ghc-quickcheck" ,ghc-quickcheck))) | |
454 | (inputs | |
455 | `(("ghc-ansi-terminal" ,ghc-ansi-terminal) | |
456 | ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint) | |
457 | ("ghc-hostname" ,ghc-hostname) | |
458 | ("ghc-old-locale" ,ghc-old-locale) | |
459 | ("ghc-random" ,ghc-random) | |
460 | ("ghc-regex-posix" ,ghc-regex-posix) | |
461 | ("ghc-xml" ,ghc-xml) | |
bc8bda50 TS |
462 | ("ghc-libxml" ,ghc-libxml) |
463 | ("ghc-semigroups" ,ghc-semigroups-bootstrap))) | |
a06b9b50 RW |
464 | (home-page "https://batterseapower.github.io/test-framework/") |
465 | (synopsis "Framework for running and organising tests") | |
466 | (description | |
467 | "This package allows tests such as QuickCheck properties and HUnit test | |
468 | cases to be assembled into test groups, run in parallel (but reported in | |
469 | deterministic order, to aid diff interpretation) and filtered and controlled | |
470 | by command line options. All of this comes with colored test output, progress | |
471 | reporting and test statistics output.") | |
472 | (license license:bsd-3))) | |
473 | ||
474 | (define-public ghc-test-framework-hunit | |
475 | (package | |
476 | (name "ghc-test-framework-hunit") | |
08bb5bbb | 477 | (version "0.3.0.2") |
a06b9b50 RW |
478 | (source |
479 | (origin | |
480 | (method url-fetch) | |
481 | (uri (string-append "https://hackage.haskell.org/package/" | |
482 | "test-framework-hunit/test-framework-hunit-" | |
483 | version ".tar.gz")) | |
484 | (sha256 | |
485 | (base32 | |
08bb5bbb | 486 | "1y0b6vg8nfm43v90lxxcydhi6qlxhfy4vpxbzm5ic2w55bh8xjwm")))) |
a06b9b50 | 487 | (build-system haskell-build-system) |
a5f7a5f6 | 488 | (arguments |
aeb1c6ab TS |
489 | `(#:cabal-revision |
490 | ("3" "0i9mlalv7cl1iq43ld5myrnpszq5rxmd79hk495dcb08rglhgl3z"))) | |
a06b9b50 RW |
491 | (inputs |
492 | `(("ghc-extensible-exceptions" ,ghc-extensible-exceptions) | |
493 | ("ghc-hunit" ,ghc-hunit) | |
494 | ("ghc-test-framework" ,ghc-test-framework))) | |
495 | (home-page "https://batterseapower.github.io/test-framework/") | |
496 | (synopsis "HUnit support for test-framework") | |
497 | (description | |
498 | "This package provides HUnit support for the test-framework package.") | |
499 | (license license:bsd-3))) | |
500 | ||
501 | (define-public ghc-test-framework-quickcheck2 | |
502 | (package | |
503 | (name "ghc-test-framework-quickcheck2") | |
e5199a2c | 504 | (version "0.3.0.4") |
a06b9b50 RW |
505 | (source |
506 | (origin | |
507 | (method url-fetch) | |
508 | (uri (string-append "https://hackage.haskell.org/package/" | |
509 | "test-framework-quickcheck2/" | |
510 | "test-framework-quickcheck2-" version ".tar.gz")) | |
511 | (sha256 | |
512 | (base32 | |
e5199a2c | 513 | "0vj834337r6jzr3258cv68ly2sv5999mklpsrfngyk51kywsyqyp")))) |
a06b9b50 | 514 | (build-system haskell-build-system) |
c2d2f275 TS |
515 | (arguments |
516 | `(#:cabal-revision | |
517 | ("1" "147ngmfdkskyg7mwsp5w73a4dbx3rp5s38bci3z03kn1m093lxff"))) | |
a06b9b50 RW |
518 | (inputs |
519 | `(("ghc-extensible-exceptions" ,ghc-extensible-exceptions) | |
520 | ("ghc-quickcheck" ,ghc-quickcheck) | |
521 | ("ghc-random" ,ghc-random) | |
522 | ("ghc-test-framework" ,ghc-test-framework))) | |
523 | (home-page "https://batterseapower.github.io/test-framework/") | |
524 | (synopsis "QuickCheck2 support for test-framework") | |
525 | (description | |
3c7b6509 | 526 | "This package provides QuickCheck2 support for the test-framework |
a06b9b50 RW |
527 | package.") |
528 | (license license:bsd-3))) | |
529 | ||
530 | (define-public ghc-test-framework-th | |
531 | (package | |
532 | (name "ghc-test-framework-th") | |
533 | (version "0.2.4") | |
534 | (source | |
535 | (origin | |
536 | (method url-fetch) | |
537 | (uri (string-append "https://hackage.haskell.org/package/" | |
538 | "test-framework-th-" version "/" | |
539 | "test-framework-th-" version ".tar.gz")) | |
540 | (sha256 | |
541 | (base32 | |
542 | "12lw7yj02jb9s0i7rb98jjam43j2h0gzmnbj9zi933fx7sg0sy4b")))) | |
543 | (build-system haskell-build-system) | |
544 | (inputs | |
545 | `(("ghc-test-framework" ,ghc-test-framework) | |
546 | ("ghc-language-haskell-extract" ,ghc-language-haskell-extract) | |
547 | ("ghc-haskell-src-exts" ,ghc-haskell-src-exts) | |
548 | ("ghc-regex-posix" ,ghc-regex-posix))) | |
549 | (home-page "https://github.com/finnsson/test-generator") | |
550 | (synopsis "Auto generate the HUnit- and Quickcheck-bulk-code | |
551 | using Template Haskell") | |
552 | (description "This library contains two functions: | |
553 | @code{defaultMainGenerator} and @code{testGroupGenerator}. | |
554 | ||
555 | @code{defaultMainGenerator} will extract all functions beginning with | |
556 | @code{case_}, @code{prop_}, or @code{test_} in the module and put them in a | |
557 | @code{testGroup}. | |
558 | ||
559 | @code{testGroupGenerator} is like @code{defaultMainGenerator} but without | |
560 | @code{defaultMain}. It is useful if you need a function for the testgroup | |
561 | \(e.g. if you want to be able to call the testgroup from another module).") | |
562 | (license license:bsd-3))) | |
563 | ||
564 | (define-public ghc-hunit | |
565 | (package | |
566 | (name "ghc-hunit") | |
f1ac3bba | 567 | (version "1.6.0.0") |
a06b9b50 RW |
568 | (outputs '("out" "doc")) |
569 | (source | |
570 | (origin | |
571 | (method url-fetch) | |
f1ac3bba RW |
572 | (uri (string-append "https://hackage.haskell.org/package/HUnit/" |
573 | "HUnit-" version ".tar.gz")) | |
a06b9b50 RW |
574 | (sha256 |
575 | (base32 | |
f1ac3bba | 576 | "1pnhwqq5v8h48gbp3ibv3skfj25mf4zs5svxcavq93p9cswycj3l")))) |
a06b9b50 | 577 | (build-system haskell-build-system) |
f1ac3bba RW |
578 | (inputs |
579 | ;; We cannot use ghc-call-stack there, because it depends on | |
580 | ;; ghc-nanospec, which depends on ghc-hunit. | |
581 | `(("ghc-call-stack" ,ghc-call-stack-boot))) | |
a06b9b50 RW |
582 | (home-page "http://hunit.sourceforge.net/") |
583 | (synopsis "Unit testing framework for Haskell") | |
584 | (description | |
585 | "HUnit is a unit testing framework for Haskell, inspired by the | |
586 | JUnit tool for Java.") | |
587 | (license license:bsd-3))) | |
588 | ||
589 | (define-public hspec-discover | |
590 | (package | |
591 | (name "hspec-discover") | |
8d04a5c9 | 592 | (version "2.5.5") |
a06b9b50 RW |
593 | (source |
594 | (origin | |
595 | (method url-fetch) | |
8d04a5c9 RW |
596 | (uri (string-append "https://hackage.haskell.org/package/" |
597 | "hspec-discover/hspec-discover-" | |
598 | version ".tar.gz")) | |
a06b9b50 RW |
599 | (sha256 |
600 | (base32 | |
8d04a5c9 | 601 | "04aidzi91ccr9bygmfkjzshz34z9vh8wvqj4zinx2clxq6r7gqfz")))) |
a06b9b50 | 602 | (build-system haskell-build-system) |
8d04a5c9 RW |
603 | (native-inputs |
604 | `(("ghc-quickcheck" ,ghc-quickcheck) | |
605 | ("ghc-hspec-meta" ,ghc-hspec-meta))) | |
78724a5a | 606 | (home-page "https://hspec.github.io/") |
a06b9b50 RW |
607 | (synopsis "Automatically discover and run Hspec tests") |
608 | (description "hspec-discover is a tool which automatically discovers and | |
609 | runs Hspec tests.") | |
610 | (license license:expat))) | |
611 | ||
612 | (define-public ghc-hspec-core | |
613 | (package | |
614 | (name "ghc-hspec-core") | |
3b8e4774 | 615 | (version "2.5.5") |
a06b9b50 RW |
616 | (source |
617 | (origin | |
618 | (method url-fetch) | |
3b8e4774 RW |
619 | (uri (string-append "https://hackage.haskell.org/package/hspec-core/" |
620 | "hspec-core-" version ".tar.gz")) | |
a06b9b50 RW |
621 | (sha256 |
622 | (base32 | |
3b8e4774 | 623 | "1vfrqlpn32s9wiykmkxbnrnd5p56yznw20pf8fwzw78ar4wpz55x")))) |
a06b9b50 RW |
624 | (build-system haskell-build-system) |
625 | (arguments `(#:tests? #f)) ; FIXME: testing libraries are missing. | |
626 | (inputs | |
627 | `(("ghc-setenv" ,ghc-setenv) | |
628 | ("ghc-ansi-terminal" ,ghc-ansi-terminal) | |
629 | ("ghc-async" ,ghc-async) | |
3b8e4774 | 630 | ("ghc-clock" ,ghc-clock) |
a06b9b50 RW |
631 | ("ghc-quickcheck-io" ,ghc-quickcheck-io) |
632 | ("ghc-hunit" ,ghc-hunit) | |
633 | ("ghc-quickcheck" ,ghc-quickcheck) | |
634 | ("ghc-hspec-expectations" ,ghc-hspec-expectations) | |
635 | ("ghc-silently" ,ghc-silently))) | |
78724a5a | 636 | (home-page "https://hspec.github.io/") |
a06b9b50 RW |
637 | (synopsis "Testing framework for Haskell") |
638 | (description "This library exposes internal types and functions that can | |
639 | be used to extend Hspec's functionality.") | |
640 | (license license:expat))) | |
641 | ||
642 | (define-public ghc-hspec-meta | |
643 | (package | |
644 | (name "ghc-hspec-meta") | |
31caca65 | 645 | (version "2.4.6") |
a06b9b50 RW |
646 | (source |
647 | (origin | |
648 | (method url-fetch) | |
31caca65 RW |
649 | (uri (string-append "https://hackage.haskell.org/package/hspec-meta/" |
650 | "hspec-meta-" version ".tar.gz")) | |
a06b9b50 RW |
651 | (sha256 |
652 | (base32 | |
31caca65 | 653 | "0qmvk01n79j6skn79r6zalg2pd0x0nqqn9qn8mhg0pgyzcdnfc9b")))) |
a06b9b50 RW |
654 | (build-system haskell-build-system) |
655 | (inputs | |
656 | `(("ghc-quickcheck" ,ghc-quickcheck) | |
657 | ("ghc-hunit" ,ghc-hunit) | |
658 | ("ghc-ansi-terminal" ,ghc-ansi-terminal) | |
659 | ("ghc-async" ,ghc-async) | |
660 | ("ghc-hspec-expectations" ,ghc-hspec-expectations) | |
661 | ("ghc-setenv" ,ghc-setenv) | |
662 | ("ghc-random" ,ghc-random) | |
663 | ("ghc-quickcheck-io" ,ghc-quickcheck-io))) | |
78724a5a | 664 | (home-page "https://hspec.github.io/") |
a06b9b50 RW |
665 | (synopsis "Version of Hspec to test Hspec itself") |
666 | (description "This library provides a stable version of Hspec which is | |
667 | used to test the in-development version of Hspec.") | |
668 | (license license:expat))) | |
669 | ||
670 | (define-public ghc-hspec | |
671 | (package | |
672 | (name "ghc-hspec") | |
c2c8d998 | 673 | (version "2.5.5") |
a06b9b50 RW |
674 | (source |
675 | (origin | |
676 | (method url-fetch) | |
c2c8d998 RW |
677 | (uri (string-append "https://hackage.haskell.org/package/hspec/" |
678 | "hspec-" version ".tar.gz")) | |
a06b9b50 RW |
679 | (sha256 |
680 | (base32 | |
c2c8d998 | 681 | "1yv4k5b5kkig2q3waj28587sq28wms7wfav5a3lq4dra6jybimfm")))) |
a06b9b50 RW |
682 | (build-system haskell-build-system) |
683 | (inputs | |
684 | `(("ghc-hspec-core" ,ghc-hspec-core) | |
685 | ("hspec-discover" ,hspec-discover) | |
686 | ("ghc-hspec-expectations" ,ghc-hspec-expectations) | |
687 | ("ghc-quickcheck" ,ghc-quickcheck) | |
688 | ("ghc-hunit" ,ghc-hunit) | |
689 | ("ghc-stringbuilder" ,ghc-stringbuilder) | |
690 | ("ghc-hspec-meta" ,ghc-hspec-meta))) | |
78724a5a | 691 | (home-page "https://hspec.github.io/") |
a06b9b50 RW |
692 | (synopsis "Testing Framework for Haskell") |
693 | (description "This library provides the Hspec testing framework for | |
694 | Haskell, inspired by the Ruby library RSpec.") | |
695 | (license license:expat))) | |
696 | ||
697 | (define-public ghc-hspec-contrib | |
698 | (package | |
699 | (name "ghc-hspec-contrib") | |
33a07859 | 700 | (version "0.5.0") |
a06b9b50 RW |
701 | (source (origin |
702 | (method url-fetch) | |
703 | (uri (string-append "https://hackage.haskell.org/package/" | |
704 | "hspec-contrib/hspec-contrib-" | |
705 | version ".tar.gz")) | |
706 | (sha256 | |
707 | (base32 | |
33a07859 | 708 | "13579xdqwbsy8k0vxdcvgy932d4p76mij1rzkzbpqbspfn7399yv")))) |
a06b9b50 RW |
709 | (build-system haskell-build-system) |
710 | (inputs | |
711 | `(("ghc-hspec-core" ,ghc-hspec-core) | |
712 | ("ghc-hunit" ,ghc-hunit) | |
713 | ("ghc-hspec" ,ghc-hspec) | |
714 | ("ghc-quickcheck" ,ghc-quickcheck))) | |
715 | (native-inputs | |
716 | `(("hspec-discover" ,hspec-discover))) | |
78724a5a | 717 | (home-page "https://hspec.github.io/") |
a06b9b50 RW |
718 | (synopsis "Contributed functionality for Hspec") |
719 | (description | |
720 | "This package provides contributed Hspec extensions.") | |
721 | (license license:expat))) | |
722 | ||
723 | (define-public ghc-hspec-expectations | |
724 | (package | |
725 | (name "ghc-hspec-expectations") | |
15fb81e5 | 726 | (version "0.8.2") |
a06b9b50 RW |
727 | (source |
728 | (origin | |
729 | (method url-fetch) | |
15fb81e5 RW |
730 | (uri (string-append "https://hackage.haskell.org/package/" |
731 | "hspec-expectations/hspec-expectations-" | |
732 | version ".tar.gz")) | |
a06b9b50 RW |
733 | (sha256 |
734 | (base32 | |
15fb81e5 | 735 | "1vxl9zazbaapijr6zmcj72j9wf7ka1pirrjbwddwwddg3zm0g5l1")))) |
a06b9b50 | 736 | (build-system haskell-build-system) |
15fb81e5 RW |
737 | ;; Tests depend on ghc-nanospec. |
738 | (arguments '(#:tests? #f)) | |
a06b9b50 RW |
739 | (inputs `(("ghc-hunit" ,ghc-hunit))) |
740 | (home-page "https://github.com/sol/hspec-expectations") | |
741 | (synopsis "Catchy combinators for HUnit") | |
742 | (description "This library provides catchy combinators for HUnit, see | |
743 | @uref{https://github.com/sol/hspec-expectations#readme, the README}.") | |
744 | (license license:expat))) | |
a54b7441 RW |
745 | |
746 | (define-public ghc-nanospec | |
747 | (package | |
748 | (name "ghc-nanospec") | |
749 | (version "0.2.2") | |
750 | (source | |
751 | (origin | |
752 | (method url-fetch) | |
753 | (uri (string-append "https://hackage.haskell.org/package/" | |
754 | "nanospec/nanospec-" | |
755 | version ".tar.gz")) | |
756 | (sha256 | |
757 | (base32 | |
758 | "1rcmhl9bhyfvanalnf1r86wkx6rq6wdvagnw1h011jcnnb1cq56g")))) | |
759 | (build-system haskell-build-system) | |
760 | (inputs | |
761 | `(("ghc-hspec" ,ghc-hspec) | |
762 | ("ghc-silently" ,ghc-silently))) | |
763 | (home-page "https://github.com/hspec/nanospec#readme") | |
764 | (synopsis "Lightweight implementation of a subset of Hspec's API") | |
765 | (description | |
766 | "Nanospec is a lightweight implementation of a subset of Hspec's API with | |
767 | minimal dependencies.") | |
768 | (license license:expat))) | |
47a6582b | 769 | |
770 | (define-public ghc-crypto-cipher-tests | |
771 | (package | |
772 | (name "ghc-crypto-cipher-tests") | |
773 | (version "0.0.11") | |
774 | (source | |
775 | (origin | |
776 | (method url-fetch) | |
777 | (uri (string-append "https://hackage.haskell.org/package/" | |
778 | "crypto-cipher-tests-" version "/" | |
779 | "crypto-cipher-tests-" version ".tar.gz")) | |
780 | (sha256 | |
781 | (base32 | |
782 | "19wqignlq90qwpam01hnmmrxaxh5lkax9l1l6rlbi4a07nvp1dnz")))) | |
783 | (build-system haskell-build-system) | |
784 | (inputs `(("ghc-quickcheck" ,ghc-quickcheck) | |
47a6582b | 785 | ("ghc-hunit" ,ghc-hunit) |
786 | ("ghc-test-framework" ,ghc-test-framework) | |
787 | ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2) | |
788 | ("ghc-test-framework-hunit" ,ghc-test-framework-hunit) | |
789 | ("ghc-byteable" ,ghc-byteable) | |
790 | ("ghc-securemem" ,ghc-securemem) | |
791 | ("ghc-crypto-cipher-types" ,ghc-crypto-cipher-types))) | |
792 | (home-page "https://github.com/vincenthz/hs-crypto-cipher") | |
793 | (synopsis "Generic cryptography cipher tests for Haskell") | |
794 | (description " This Haskell package contains generic tests for | |
795 | cryptographic ciphers, and is used by the test runners of various Haskell | |
796 | implementations of cryptographic ciphers.") | |
797 | (license license:bsd-3))) | |
2c4e4bc6 JM |
798 | |
799 | (define-public ghc-hedgehog | |
800 | (package | |
801 | (name "ghc-hedgehog") | |
802 | (version "0.6.1") | |
803 | (source | |
804 | (origin | |
805 | (method url-fetch) | |
806 | (uri (string-append | |
807 | "mirror://hackage/package/hedgehog/hedgehog-" | |
808 | version | |
809 | ".tar.gz")) | |
810 | (sha256 | |
811 | (base32 | |
812 | "0xz10ycdm5vk9nrcym1fi83k19frfwqz18bz8bnpzwvaj0j41yfj")))) | |
813 | (build-system haskell-build-system) | |
814 | (inputs | |
91732735 | 815 | `(("ghc-ansi-terminal" ,ghc-ansi-terminal) |
2c4e4bc6 JM |
816 | ("ghc-async" ,ghc-async) |
817 | ("ghc-concurrent-output" ,ghc-concurrent-output) | |
818 | ("ghc-exceptions" ,ghc-exceptions) | |
819 | ("ghc-lifted-async" ,ghc-lifted-async) | |
820 | ("ghc-mmorph" ,ghc-mmorph) | |
821 | ("ghc-monad-control" ,ghc-monad-control) | |
822 | ("ghc-pretty-show" ,ghc-pretty-show) | |
823 | ("ghc-primitive" ,ghc-primitive) | |
824 | ("ghc-random" ,ghc-random) | |
825 | ("ghc-resourcet" ,ghc-resourcet) | |
826 | ("ghc-semigroups" ,ghc-semigroups) | |
2c4e4bc6 JM |
827 | ("ghc-th-lift" ,ghc-th-lift) |
828 | ("ghc-transformers-base" ,ghc-transformers-base) | |
829 | ("ghc-wl-pprint-annotated" | |
830 | ,ghc-wl-pprint-annotated))) | |
831 | (home-page "https://hedgehog.qa") | |
832 | (synopsis "Property-based testing in the spirt of QuickCheck") | |
833 | (description | |
834 | "Hedgehog is a property-based testing system, in the spirit of | |
835 | QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the invariants | |
836 | of generated values by construction. | |
837 | ||
838 | To get started quickly, see the examples: | |
839 | @uref{https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example}") | |
840 | (license license:bsd-3))) | |
1ba35ab7 RV |
841 | |
842 | (define-public cabal-doctest | |
843 | (package | |
844 | (name "cabal-doctest") | |
ff25ccf4 | 845 | (version "1.0.8") |
1ba35ab7 RV |
846 | (source |
847 | (origin | |
848 | (method url-fetch) | |
849 | (uri (string-append "https://hackage.haskell.org/package/" | |
850 | "cabal-doctest/cabal-doctest-" | |
851 | version ".tar.gz")) | |
852 | (sha256 | |
853 | (base32 | |
ff25ccf4 | 854 | "03if74imlhhk7m56nci5f1wclniwqdmwl4hl177040j1gnlac9i0")))) |
1ba35ab7 | 855 | (build-system haskell-build-system) |
1ba35ab7 RV |
856 | (home-page "https://github.com/phadej/cabal-doctest") |
857 | (synopsis "Setup.hs helper for running doctests") | |
858 | (description | |
859 | "To properly work, the @code{doctest} package needs plenty of | |
860 | configuration. This library provides the common bits for writing custom | |
861 | @file{Setup.hs} files.") | |
862 | (license license:bsd-3))) |