-
Notifications
You must be signed in to change notification settings - Fork 1
/
quickcheck-higherorder.cabal
77 lines (72 loc) · 2.13 KB
/
quickcheck-higherorder.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
name: quickcheck-higherorder
version: 0.1.0.1
synopsis: QuickCheck extension for higher-order properties
description:
Enhancements for property-based testing of higher-order properties.
.
* Associate types to their representations with the
@Constructible@ class.
* @Testable'@ class,
variant of @Testable@ with an improved instance for @(->)@.
* Representation of higher-order functions (via test-fun).
* Testable equality @TestEq@.
* Explicit testable type of @Equation@.
.
See also README.
homepage: https://github.com/Lysxia/quickcheck-higherorder#readme
license: MIT
license-file: LICENSE
author: Li-yao Xia
maintainer: [email protected]
copyright: 2020 Li-yao Xia
category: Testing
build-type: Simple
extra-source-files: README.md, CHANGELOG.md
cabal-version: >=1.10
tested-with: GHC == 8.0.2 || == 8.2.2 || == 8.4.4 || == 8.6.5 || == 8.8.2 || == 9.0.2 || == 9.2.1
library
hs-source-dirs: src
exposed-modules:
Test.QuickCheck.HigherOrder
Test.QuickCheck.HigherOrder.Internal.Constructible
Test.QuickCheck.HigherOrder.Internal.Function
Test.QuickCheck.HigherOrder.Internal.Testable
Test.QuickCheck.HigherOrder.Internal.Testable.Class
Test.QuickCheck.HigherOrder.Internal.TestEq
build-depends:
QuickCheck >= 2.12,
test-fun,
base >= 4.9 && < 5
ghc-options: -Wall
default-language: Haskell2010
test-suite qcho-test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: test.hs
build-depends:
quickcheck-higherorder,
tasty,
tasty-hunit,
tasty-quickcheck,
base
ghc-options: -Wall
default-language: Haskell2010
test-suite qcho-sample
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: sample.hs
build-depends:
QuickCheck,
quickcheck-higherorder,
test-fun,
base
ghc-options: -Wall
default-language: Haskell2010
if !flag(sample)
buildable: False
flag sample
default: False
manual: True
source-repository head
type: git
location: https://github.com/Lysxia/quickcheck-higherorder