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
116
117
118
119
120
121
122
123
124
125
126
127
128
|
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:
-- default ghci module on top
CHAD.Example
CHAD.Analysis.Identity
CHAD.APIv1
CHAD.Array
CHAD.AST
CHAD.AST.Accum
CHAD.AST.Bindings
CHAD.AST.Count
CHAD.AST.Env
CHAD.AST.Pretty
CHAD.AST.Sparse
CHAD.AST.Sparse.Types
CHAD.AST.SplitLets
CHAD.AST.Types
CHAD.AST.UnMonoid
CHAD.AST.Weaken
CHAD.AST.Weaken.Auto
CHAD.Compile
CHAD.Compile.Exec
CHAD.Data
CHAD.Data.VarMap
CHAD.Drev
CHAD.Drev.Accum
CHAD.Drev.EnvDescr
CHAD.Drev.Top
CHAD.Drev.Types
CHAD.Drev.Types.ToTan
CHAD.Example.GMM
CHAD.Example.Types
CHAD.ForwardAD
CHAD.ForwardAD.DualNumbers
CHAD.ForwardAD.DualNumbers.Types
CHAD.Fusion
CHAD.Interpreter
-- CHAD.Interpreter.AccumOld
CHAD.Interpreter.Rep
CHAD.Language
CHAD.Language.AST
CHAD.Lemmas
CHAD.Simplify
CHAD.Simplify.TH
CHAD.Util.IdGen
other-modules:
build-depends:
base >= 4.19 && < 4.21,
containers,
deepseq,
dependent-map,
directory,
prettyprinter,
process,
some,
template-haskell,
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,
ansi-terminal,
concurrent-output,
hedgehog,
pqueue,
stm,
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,
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
|
