summaryrefslogtreecommitdiff
path: root/chad-fast.cabal
blob: 94af6510f6287335312983f91fc97264ef6fd5ce (plain)
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
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.Sparse
    AST.Sparse.Types
    AST.SplitLets
    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
    Data.VarMap
    Example
    Example.GMM
    Example.Types
    ForwardAD
    ForwardAD.DualNumbers
    ForwardAD.DualNumbers.Types
    Interpreter
    -- Interpreter.AccumOld
    Interpreter.Rep
    Language
    Language.AST
    Lemmas
    Simplify
    Simplify.TH
    Util.IdGen
  other-modules:
  build-depends:
    base >= 4.19 && < 4.21,
    containers,
    deepseq,
    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,
    concurrent-output,
    hedgehog,
    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,
    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