Remove restrictive mtl bound

tweag · Jan 3, 2024 · 9bef9eb · 9bef9eb
1 parent 959183d
commit 9bef9eb
Show file tree

Hide file tree

Showing 7 changed files with 5,428 additions and 0 deletions.
diff --git a/applicative_do*>.txt b/applicative_do*>.txt
diff --git a/applicative_do.txt b/applicative_do.txt
diff --git a/applicative_do_* b/applicative_do_*
diff --git a/applicative_do_*>_bench_apdo.txt b/applicative_do_*>_bench_apdo.txt
diff --git a/hie.yaml b/hie.yaml
@@ -0,0 +1,88 @@
+cradle:
+  cabal:
+    - path: "src"
+      component: "lib:monad-bayes"
+
+    - path: "benchmark/Single.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/Single.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "benchmark/Dice.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "benchmark/Helper.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "benchmark/HMM.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "benchmark/LDA.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "benchmark/LogReg.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/Dice.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/Helper.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/HMM.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/LDA.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "models/LogReg.hs"
+      component: "monad-bayes:exe:example"
+
+    - path: "test"
+      component: "monad-bayes:test:monad-bayes-test"
+
+    - path: "models"
+      component: "monad-bayes:test:monad-bayes-test"
+
+    - path: "models/SSM.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "benchmark/SSM.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "models/NonlinearSSM.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "models/NonlinearSSM/Algorithms.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "benchmark/NonlinearSSM.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "benchmark/NonlinearSSM/Algorithms.hs"
+      component: "monad-bayes:bench:ssm-bench"
+
+    - path: "models/Speed.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "benchmark/Speed.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "models/HMM.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "models/LDA.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "models/LogReg.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "benchmark/HMM.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "benchmark/LDA.hs"
+      component: "monad-bayes:bench:speed-bench"
+
+    - path: "benchmark/LogReg.hs"
+      component: "monad-bayes:bench:speed-bench"
diff --git a/master.txt b/master.txt
diff --git a/src/Control/Monad/Bayes/Traced/MetropolisHastings.hs b/src/Control/Monad/Bayes/Traced/MetropolisHastings.hs
@@ -0,0 +1,4 @@
+module Control.Monad.Bayes.Traced.MetropolisHastings where
+
+class MonadMetropolisHastings m where
+  mhSteps :: m a