-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathnarrowcheck.cabal
64 lines (62 loc) · 2 KB
/
narrowcheck.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
-- Initial y.cabal generated by cabal init. For further documentation, see
-- http://haskell.org/cabal/users-guide/
name: narrowcheck
version: 0.1.0.0
synopsis: Property based testing with narrowing and overlapping patterns
-- description:
-- license:
license-file: LICENSE
author: Jon Fowler
maintainer: [email protected]
-- copyright:
category: Testing
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
executable narrowcheck
main-is: Main.hs
ghc-options:
-O2
build-depends: base ==4.*,
mtl >=2.2.1,
containers == 0.*,
lens == 4.*,
random == 1.*,
wl-pprint == 1.2,
parsers == 0.12.*,
trifecta == 1.6.*,
time == 1.6.*,
free,
text,
deepseq
hs-source-dirs: src
default-language: Haskell2010
default-extensions: GeneralizedNewtypeDeriving,
TemplateHaskell,
RankNTypes,
MultiParamTypeClasses,
FunctionalDependencies,
FlexibleInstances,
FlexibleContexts,
DeriveFunctor,
DeriveFoldable,
DeriveTraversable,
DeriveGeneric,
TypeFamilies
other-modules:
Overlap.Printer,
Overlap.Lens,
Overlap.Parser.Conv,
Overlap.Parser.Indent,
Overlap.Parser.Module,
Overlap.Parser.PExpr,
Overlap.Parser.Parse,
Overlap.Parser.Tokens,
Overlap.Parser.Desugar,
Overlap.Eval.Expr,
Overlap.Eval.Env,
Overlap.Eval.Monad,
Overlap.Eval.Generate,
Overlap.Eval.Narrow,
Overlap.Eval.Reduce,
Overlap.Eval.Enumerate