From 5dffdecd5112d6c60c6ff285a8dd871086b7bc30 Mon Sep 17 00:00:00 2001 From: Justin Bedo Date: Wed, 16 Aug 2023 16:38:39 +1000 Subject: remove lazy bytestrings --- dedumi.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'dedumi.hs') diff --git a/dedumi.hs b/dedumi.hs index aa682f1..4215026 100644 --- a/dedumi.hs +++ b/dedumi.hs @@ -15,6 +15,7 @@ import Data.Function import GHC.Prim (RealWorld) import GHC.TypeLits import Lens.Micro +import qualified Streamly.Data.Fold as F import qualified Streamly.Data.Stream as S import System.Environment @@ -42,10 +43,10 @@ insert' :: (KnownNat b, KnownNat f) => CuckooFilter RealWorld b f ByteString -> insert' f x = let y = B.take (umiLength + extraHashBases) (x ^. _1 . nucs) <> B.take (umiLength + extraHashBases) (x ^. _2 . nucs) in member f y >>= \case - True -> pure True + True -> pure False False -> insert f y >>= \case - True -> pure False + True -> pure True False -> error "filter full" main :: IO () @@ -57,4 +58,5 @@ main = do parse p1 p2 & S.filterM (insert' f) & fmap trim + -- & S.fold (F.drainMapM print) & unparse p3 p4 -- cgit v1.2.3