-
Notifications
You must be signed in to change notification settings - Fork 62
/
monad-bayes.cabal
254 lines (225 loc) · 6.49 KB
/
monad-bayes.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
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
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
cabal-version: 2.2
name: monad-bayes
version: 1.3.0.4
license: MIT
license-file: LICENSE.md
copyright: 2015-2020 Adam Scibior
maintainer: dominic.steinitz@tweag.io
author: Adam Scibior <adscib@gmail.com>
stability: experimental
tested-with:
GHC ==9.0.2 || ==9.2.7 || ==9.4.5 || ==9.6.4 || ==9.8.2 || ==9.10.1
homepage: http://github.com/tweag/monad-bayes#readme
bug-reports: https://github.com/tweag/monad-bayes/issues
synopsis: A library for probabilistic programming.
description:
A library for probabilistic programming using probability monads. The
emphasis is on composition of inference algorithms implemented in
terms of monad transformers.
Please refer to the [documentation](https://monad-bayes.netlify.app/)
for a quick-start user guide and a reference overview of how it all
works" and the included [README](#readme).
category: Statistics
build-type: Simple
extra-doc-files:
CHANGELOG.md
README.md
data-files: test/fixtures/*.txt
source-repository head
type: git
location: https://github.com/tweag/monad-bayes.git
flag dev
description: Turn on development settings.
default: False
manual: True
common deps
build-depends:
, base >=4.15 && <4.21
, brick >=2.3.1 && <2.6
, containers >=0.6 && <0.8
, foldl ^>=1.4
, free ^>=5.2
, histogram-fill ^>=0.9
, ieee754 ^>=0.8.0
, integration ^>=0.2
, lens >=5.2 && <5.4
, linear >=1.22 && <1.24
, log-domain >=0.12 && <0.14
, math-functions >=0.2.1 && <0.4
, matrix ^>=0.3
, monad-coroutine ^>=0.9.0
, monad-extras ^>=0.6
, mtl >=2.2.2 && <2.4
, mwc-random >=0.13.6 && <0.16
, pipes ^>=4.3
, pretty-simple ^>=4.1
, primitive >=0.8 && <0.10
, random ^>=1.2
, safe ^>=0.3.17
, scientific ^>=0.3
, statistics >=0.14.0 && <0.17
, text >=1.2 && <2.2
, transformers >=0.5.6 && <0.7
, vector >=0.12.0 && <0.14
, vty >=6.1 && <6.3
, vty-unix ^>=0.2.0.0
common test-deps
build-depends:
, abstract-par ^>=0.3
, criterion >=1.5 && <1.7
, directory ^>=1.3
, hspec >=2.10 && <2.12
, monad-bayes
, optparse-applicative >=0.17 && <0.19
, process ^>=1.6
, QuickCheck >=2.14 && <2.16
, time >=1.9 && <1.13
, typed-process ^>=0.2
autogen-modules: Paths_monad_bayes
other-modules: Paths_monad_bayes
library
import: deps
exposed-modules:
Control.Monad.Bayes.Class
Control.Monad.Bayes.Density.Free
Control.Monad.Bayes.Density.State
Control.Monad.Bayes.Enumerator
Control.Monad.Bayes.Inference.Lazy.MH
Control.Monad.Bayes.Inference.Lazy.WIS
Control.Monad.Bayes.Inference.MCMC
Control.Monad.Bayes.Inference.PMMH
Control.Monad.Bayes.Inference.RMSMC
Control.Monad.Bayes.Inference.SMC
Control.Monad.Bayes.Inference.SMC2
Control.Monad.Bayes.Inference.TUI
Control.Monad.Bayes.Integrator
Control.Monad.Bayes.Population
Control.Monad.Bayes.Sampler.Lazy
Control.Monad.Bayes.Sampler.Strict
Control.Monad.Bayes.Sequential.Coroutine
Control.Monad.Bayes.Traced
Control.Monad.Bayes.Traced.Basic
Control.Monad.Bayes.Traced.Dynamic
Control.Monad.Bayes.Traced.Static
Control.Monad.Bayes.Weighted
Math.Integrators.StormerVerlet
hs-source-dirs: src
other-modules: Control.Monad.Bayes.Traced.Common
default-language: Haskell2010
default-extensions:
BlockArguments
FlexibleContexts
ImportQualifiedPost
LambdaCase
OverloadedStrings
TupleSections
if flag(dev)
ghc-options:
-Wall -Werror -Wno-missing-local-signatures -Wno-trustworthy-safe
-Wno-missing-import-lists -Wno-implicit-prelude -Wno-name-shadowing
-Wno-monomorphism-restriction -Wredundant-constraints
else
ghc-options: -Wall
executable example
import: deps, test-deps
main-is: Single.hs
hs-source-dirs: benchmark models
other-modules:
Dice
Helper
HMM
LDA
LogReg
default-language: Haskell2010
if flag(dev)
ghc-options:
-Wall -Werror -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wnoncanonical-monad-instances
else
ghc-options: -Wall
default-extensions:
BlockArguments
FlexibleContexts
ImportQualifiedPost
LambdaCase
OverloadedStrings
TupleSections
test-suite monad-bayes-test
import: deps, test-deps
type: exitcode-stdio-1.0
main-is: Spec.hs
hs-source-dirs: test models
other-modules:
BetaBin
ConjugatePriors
Helper
HMM
LDA
LogReg
NonlinearSSM
NonlinearSSM.Algorithms
Sprinkler
TestAdvanced
TestBenchmarks
TestDistribution
TestEnumerator
TestInference
TestIntegrator
TestPipes
TestPopulation
TestSampler
TestSequential
TestSSMFixtures
TestStormerVerlet
TestWeighted
default-language: Haskell2010
if flag(dev)
ghc-options:
-Wall -Werror -Wno-missing-local-signatures -Wno-unsafe
-Wno-missing-import-lists -Wno-implicit-prelude
else
ghc-options: -Wall
default-extensions:
BlockArguments
FlexibleContexts
ImportQualifiedPost
LambdaCase
OverloadedStrings
TupleSections
benchmark ssm-bench
import: deps, test-deps
type: exitcode-stdio-1.0
main-is: SSM.hs
hs-source-dirs: models benchmark
other-modules:
NonlinearSSM
NonlinearSSM.Algorithms
default-language: Haskell2010
build-depends:
, base
, monad-bayes
, pretty-simple
, random
benchmark speed-bench
import: deps, test-deps
type: exitcode-stdio-1.0
main-is: Speed.hs
hs-source-dirs: models benchmark
other-modules:
HMM
LDA
LogReg
default-language: Haskell2010
if flag(dev)
ghc-options:
-Wall -Werror -Wno-missing-local-signatures -Wno-unsafe
-Wno-missing-import-lists -Wno-implicit-prelude
else
ghc-options: -Wall
default-extensions:
BlockArguments
FlexibleContexts
ImportQualifiedPost
LambdaCase
OverloadedStrings
TupleSections