composewell/streamly
1
1
Fork 0
mirror of https://github.com/composewell/streamly.git synced 2024-09-20 16:08:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

Use substream functions from StreamD not the imported Stream.

Browse Source
This commit is contained in:
Pranay Sashank 2018-11-16 19:37:45 +05:30
parent dbcf5363e8
commit 9ccee33329
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Streamly/Prelude.hs
View File

@ -801,7 +801,7 @@ elemIndex a = findIndex (==a)
--
{-# INLINE isPrefixOf #-}
isPrefixOf :: (Eq a, IsStream t, Monad m) => t m a -> t m a -> m Bool
isPrefixOf m1 m2 = S.isPrefixOf (toStreamD m1) (toStreamD m2)
isPrefixOf m1 m2 = D.isPrefixOf (toStreamD m1) (toStreamD m2)
-- | Takes two streams and returns 'True' if all the elements of the
-- first stream occur, in order, in the second stream. The elements do
@ -809,7 +809,7 @@ isPrefixOf m1 m2 = S.isPrefixOf (toStreamD m1) (toStreamD m2)
--
{-# INLINE isSubsequenceOf #-}
isSubsequenceOf :: (Eq a, IsStream t, Monad m) => t m a -> t m a -> m Bool
isSubsequenceOf m1 m2 = S.isSubsequenceOf (toStreamD m1) (toStreamD m2)
isSubsequenceOf m1 m2 = D.isSubsequenceOf (toStreamD m1) (toStreamD m2)
-- | Drops the given prefix from a stream. Returns Nothing if the stream
-- doesn't start with the prefix given.
@ -817,7 +817,7 @@ isSubsequenceOf m1 m2 = S.isSubsequenceOf (toStreamD m1) (toStreamD m2)
{-# INLINE stripPrefix #-}
stripPrefix :: (Eq a, IsStream t, Monad m) => t m a -> t m a -> m (Maybe (t m a))
stripPrefix m1 m2 = fmap (fmap fromStreamD) $
S.stripPrefix (toStreamD m1) (toStreamD m2)
D.stripPrefix (toStreamD m1) (toStreamD m2)
------------------------------------------------------------------------------
-- Map and Fold