Maciej Bendkowski
|
e85e894f41
|
Get rid of redundant parentheses
|
2022-03-20 19:15:16 +01:00 |
|
Maciej Bendkowski
|
b74fb6e5fe
|
Get rid of Samplable
|
2022-03-20 19:12:53 +01:00 |
|
Maciej Bendkowski
|
20607c1167
|
Explicit export list for Sampler.TH
|
2022-03-20 18:59:44 +01:00 |
|
Maciej Bendkowski
|
92c605cefd
|
Rename Utils to TH
|
2022-03-20 18:53:25 +01:00 |
|
Maciej Bendkowski
|
c0403d41bb
|
Remove obsolete TemplateHaskell modules.
|
2022-03-20 18:46:43 +01:00 |
|
Maciej Bendkowski
|
f609f76503
|
New sampler generator
|
2022-03-20 18:35:07 +01:00 |
|
Maciej Bendkowski
|
9f2bc8d7ed
|
Prototype support for newtype samplers.
|
2022-03-13 13:30:18 +01:00 |
|
Maciej Bendkowski
|
950713ce3b
|
Restore weight in the Samplable type class
|
2022-03-05 21:09:58 +01:00 |
|
Maciej Bendkowski
|
9e17fb9024
|
Inlinable sample instances
|
2022-02-25 19:52:01 +01:00 |
|
Maciej Bendkowski
|
5eb9efea3e
|
Support lists in specifications.
|
2022-02-24 19:47:40 +01:00 |
|
Maciej Bendkowski
|
a66aa915cd
|
Add bang pattern to generated samplers
|
2022-02-20 19:07:14 +01:00 |
|
Maciej Bendkowski
|
9f769340c4
|
Get rid of weight type class
|
2022-02-20 19:02:47 +01:00 |
|
Maciej Bendkowski
|
07d6bc6301
|
Move hasAdmissibleFrequencies to the Samplable TH module.
|
2022-02-20 18:00:58 +01:00 |
|
Maciej Bendkowski
|
a7a5edaf21
|
Inline's and rejection sampler with tolerance
|
2022-02-20 17:49:53 +01:00 |
|
Maciej Bendkowski
|
6e6f89b5d9
|
Profile executable for lambda terms
|
2022-02-20 15:03:49 +01:00 |
|
Maciej Bendkowski
|
1e2938c13d
|
Convenience mkSystemBoltzmannSampler
|
2022-02-20 14:26:41 +01:00 |
|
Maciej Bendkowski
|
60da3d5bb4
|
Minor naming changes ub public API
|
2022-02-20 13:36:41 +01:00 |
|
Maciej Bendkowski
|
69ad5570a5
|
Refine BuffonMachine and Sampler interfaces
|
2022-02-20 13:20:09 +01:00 |
|
Maciej Bendkowski
|
0a8d042eb3
|
Revert the idea of specifiable types
|
2022-02-18 19:26:20 +01:00 |
|
Maciej Bendkowski
|
f9507a181b
|
Move distribution into Samplable
|
2022-02-15 16:24:24 +01:00 |
|
Maciej Bendkowski
|
e67ebd6c3a
|
Remove specifiable and the related oracle.
|
2022-02-14 21:09:05 +01:00 |
|
Maciej Bendkowski
|
8324963ba7
|
Draft: Template Haskell sampler generation.
|
2022-02-14 20:23:45 +01:00 |
|
Maciej Bendkowski
|
3e34051a6f
|
Profile executable.
|
2022-02-07 21:33:32 +01:00 |
|
Maciej Bendkowski
|
e186b51c0b
|
Evaluate to normal form in benchmarks.
|
2022-01-29 19:53:55 +01:00 |
|
Maciej Bendkowski
|
6ed4956c34
|
Better benchmark for bin trees.
|
2022-01-29 19:25:19 +01:00 |
|
Maciej Bendkowski
|
66c047e070
|
Benchmark bulk generation of binTrees.
|
2022-01-25 21:22:12 +01:00 |
|
Maciej Bendkowski
|
52a2e5a9ba
|
Move binTree benchmark.
|
2022-01-23 20:03:52 +01:00 |
|
Maciej Bendkowski
|
58f8ab83ba
|
Rename Sampler.Utils to Sampler.TH
|
2022-01-23 19:55:17 +01:00 |
|
Maciej Bendkowski
|
90727a1474
|
Use WHNF in benchmarks.
|
2022-01-23 19:40:26 +01:00 |
|
Maciej Bendkowski
|
2924341479
|
Enable fourmolu code formatter
|
2022-01-23 14:13:59 +01:00 |
|
Maciej Bendkowski
|
04bfff59c9
|
Minimal Haddock documentation.
|
2022-01-14 21:39:04 +01:00 |
|
Maciej Bendkowski
|
35cf7afd05
|
Haddock documentation for Specifiable.
|
2022-01-14 20:42:56 +01:00 |
|
Maciej Bendkowski
|
6407706157
|
Haddock documentation for Data.BuffonMachine
|
2022-01-14 20:00:30 +01:00 |
|
Maciej Bendkowski
|
54bb7e40bc
|
Update synopsis and category.
|
2022-01-14 16:59:13 +01:00 |
|
Maciej Bendkowski
|
6554f2640e
|
Use benchmarks instead of executables.
|
2022-01-14 16:55:15 +01:00 |
|
Maciej Bendkowski
|
3e0408ce47
|
Initial benchmark for BinTree.
|
2022-01-14 16:10:03 +01:00 |
|
Maciej Bendkowski
|
797fcd458c
|
Constructor frequency tests.
|
2022-01-13 21:48:35 +01:00 |
|
Maciej Bendkowski
|
1d867aa76e
|
TypeSpec unit tests.
|
2022-01-13 21:34:06 +01:00 |
|
Maciej Bendkowski
|
31483a57f2
|
Test trivial distribution.
|
2022-01-13 21:12:11 +01:00 |
|
Maciej Bendkowski
|
78b0b88ae7
|
Unit tests for BuffonMachine's choice.
|
2022-01-13 21:03:06 +01:00 |
|
Maciej Bendkowski
|
1a43ed39d1
|
Remove weight and frequency from Specification's export list.
|
2022-01-13 20:02:02 +01:00 |
|
Maciej Bendkowski
|
696249432e
|
Unit tests for computing frequencies.
|
2022-01-13 19:54:19 +01:00 |
|
Maciej Bendkowski
|
76dbcd9e38
|
Specification unit tests: collectTypes and getWeight
|
2022-01-12 21:27:17 +01:00 |
|
Maciej Bendkowski
|
105d03bace
|
Lambda list sampler tests.
|
2022-01-12 20:22:11 +01:00 |
|
Maciej Bendkowski
|
ac4a340d47
|
Rename Variables to Params .
|
2022-01-12 18:40:11 +01:00 |
|
Maciej Bendkowski
|
f709e3bfe4
|
Introduce mkSpecSampler .
|
2022-01-12 18:32:23 +01:00 |
|
Maciej Bendkowski
|
8b7d88eb79
|
Minimal, initial README.
|
2022-01-12 16:57:38 +01:00 |
|
Maciej Bendkowski
|
83f4479808
|
Initial commit
|
2022-01-12 16:47:07 +01:00 |
|