Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

bump base to 4.19 #310

Closed
wants to merge 10 commits into from
+3,254 −401
Closed

bump base to 4.19 #310

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
634b208
Replace dunai MSFs by Automata
turion Jan 5, 2024
bc6d16d
Move position of monad in Except types
turion May 7, 2024
6dec448
Generalise flow type signature
turion Apr 16, 2024
4293ff7
Add benchmarks
turion Mar 28, 2024
cb81a99
rhine-bayes: Bump nParticles, since it's much faster now
turion Feb 5, 2024
26cf5d8
Formatting
turion Apr 16, 2024
7de0936
Implement resampling buffers in initial encoding as well
turion Apr 18, 2024
10d9c2e
Fix haddocks
turion May 3, 2024
4951fa0
FIXME
turion May 12, 2024
41003ad
bump base to 4.19
ners May 13, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
FIXME
@turion
turion committed May 12, 2024
commit 4951fa01bb5399268570ef7fe9cf1552f41d27da
1 change: 1 addition & 0 deletions automaton/src/Data/Stream/Except.hs
View file
Original file line number Diff line number Diff line change
@@ -20,6 +20,7 @@ import Data.Stream.Final.Except
import Data.Stream.Optimized (OptimizedStreamT, applyExcept, constM, selectExcept)
import Data.Stream.Optimized qualified as StreamOptimized

-- FIXME basic haddocks in this file
data StreamExcept a m e
= -- | When using '>>=', this encoding needs to be used.
FinalExcept (Final (ExceptT e m) a)