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
|
cabal-version: 2.2
name: chad-fast
synopsis: Fast CHAD
version: 0.1.0.0
license: BSD-3-Clause
license-file: LICENSE
author: Tom Smeding
maintainer: tom@tomsmeding.com
build-type: Simple
library
exposed-modules:
Analysis.Identity
Array
AST
AST.Bindings
AST.Count
AST.Env
AST.Pretty
AST.Types
AST.UnMonoid
AST.Weaken
AST.Weaken.Auto
CHAD
CHAD.Accum
CHAD.EnvDescr
CHAD.Top
CHAD.Types
Compile
-- CompileCu
Data
Example
Example.GMM
Example.Types
ForwardAD
ForwardAD.DualNumbers
ForwardAD.DualNumbers.Types
Interpreter
-- Interpreter.AccumOld
Interpreter.Rep
Language
Language.AST
-- Language.Haskell.TH.HashableGADT
Lemmas
-- PreludeCu
Simplify
Util.IdGen
other-modules:
build-depends:
base >= 4.19 && < 4.21,
containers,
deepseq,
-- hashable,
prettyprinter,
-- template-haskell,
transformers,
vector,
ansi-terminal,
prettyprinter-ansi-terminal,
text,
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall
test-suite example
type: exitcode-stdio-1.0
main-is: Main.hs
build-depends: base, chad-fast
hs-source-dirs: example
default-language: Haskell2010
ghc-options: -Wall -threaded
test-suite test
type: exitcode-stdio-1.0
main-is: Main.hs
build-depends:
chad-fast,
base,
containers,
dependent-map,
hedgehog,
transformers,
hs-source-dirs: test
default-language: Haskell2010
ghc-options: -Wall -threaded -rtsopts
benchmark bench
type: exitcode-stdio-1.0
main-is: Main.hs
other-modules:
build-depends:
chad-fast,
base,
criterion,
deepseq,
hs-source-dirs: bench
default-language: Haskell2010
ghc-options: -Wall -threaded
|
