Generalize type signature of usingStateT

composewell · Jan 6, 2025 · c459071 · c459071
1 parent 17848f2
commit c459071
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/src/Streamly/Internal/Data/Stream/Transformer.hs b/core/src/Streamly/Internal/Data/Stream/Transformer.hs
@@ -203,7 +203,7 @@ runStateT initial (Stream step state) = Stream step' (state, initial)
 usingStateT
     :: Monad m
     => m s
-    -> (Stream (StateT s m) a -> Stream (StateT s m) a)
-    -> Stream m a
+    -> (Stream (StateT s m) a -> Stream (StateT s m) b)
     -> Stream m a
+    -> Stream m b
 usingStateT s f = evalStateT s . f . liftInner