git.iko.soy/streamly
on master help sign in
Make signatures of scan/postscan polymorphic
be920a2Harendra Kumar
src/Streamly/Internal/Prelude.hs+2−4
compare with master
unifiedsplit
@@ -1589,18 +1589,16 @@ scanl1' step m = fromStreamD $ D.scanl1' step $ toStreamD m
1589--
1589--
1590-- @since 0.7.0
1590-- @since 0.7.0
1591{-# INLINE scan #-}
1591{-# INLINE scan #-}
1592−scan :: Monad m => Fold m a b -> SerialT m a -> SerialT m b
1592+scan :: (IsStream t, Monad m) => Fold m a b -> t m a -> t m b
1593scan (Fold step begin done) = P.scanlMx' step begin done
1593scan (Fold step begin done) = P.scanlMx' step begin done
1594
1594
1595-- | Postscan a stream using the given monadic fold.
1595-- | Postscan a stream using the given monadic fold.
1596--
1596--
1597-- @since 0.7.0
1597-- @since 0.7.0
1598{-# INLINE postscan #-}
1598{-# INLINE postscan #-}
1599−postscan :: Monad m => Fold m a b -> SerialT m a -> SerialT m b
1599+postscan :: (IsStream t, Monad m) => Fold m a b -> t m a -> t m b
1600postscan (Fold step begin done) = P.postscanlMx' step begin done
1600postscan (Fold step begin done) = P.postscanlMx' step begin done
1601
1601
1602−-- XXX runPrescan
1603−
1604------------------------------------------------------------------------------
1602------------------------------------------------------------------------------
1605-- Transformation by Filtering
1603-- Transformation by Filtering
1606------------------------------------------------------------------------------
1604------------------------------------------------------------------------------