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
|
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.Accum
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
CHAD.Types.ToTan
Compile
Compile.Exec
Data
Example
Example.GMM
Example.Types
ForwardAD
ForwardAD.DualNumbers
ForwardAD.DualNumbers.Types
Interpreter
-- Interpreter.AccumOld
Interpreter.Rep
Language
Language.AST
Lemmas
Simplify
Util.IdGen
other-modules:
build-depends:
base >= 4.19 && < 4.21,
containers,
deepseq,
directory,
-- template-haskell,
prettyprinter,
process,
some,
transformers,
unix,
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
library test-framework
exposed-modules: Test.Framework
build-depends:
base,
hedgehog,
time,
transformers
hs-source-dirs: test-framework
default-language: Haskell2010
ghc-options: -Wall -threaded
test-suite test
type: exitcode-stdio-1.0
main-is: Main.hs
build-depends:
chad-fast,
test-framework,
base,
containers,
dependent-map,
hedgehog,
text,
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
|
