on master help sign in
Unexpose the scanning ops that are available via Fold
commit238bb2b9c8b2f9dc68451d949f222c1c1a1ba1f7 authorHarendra Kumar <harendra@composewell.com> dateWed 7 Dec 2022, 19:09 (4 years ago) parent6107908
1 file changed+14−7
core/src/Streamly/Data/Stream.hs+14−7
core/src/Streamly/Data/Stream.hs+14−7
@@ -234,6 +234,7 @@ module Streamly.Data.Stream
234234 -- express all others.
235235 , fold -- XXX rename to run? We can have a Stream.run and Fold.run.
236236 -- XXX fold1 can be achieved using Monoids or Refolds.
237+ -- XXX We can call this just "break" and parseBreak as "munch"
237238 , foldBreak
238239
239240 -- * Builders
@@ -331,19 +332,25 @@ module Streamly.Data.Stream
331332 , drop
332333 , dropWhile
333334 , dropWhileM
334− , deleteBy
335− , uniq
336335
337− -- ** Sampling
338− , strideFromThen
336+ -- XXX These are available as scans in folds. We need to check the
337+ -- performance though. If these are common and we need convenient stream
338+ -- ops then we can expose these.
339339
340− -- ** Searching
340+ -- , deleteBy
341+ -- , uniq
342+ -- , uniqBy
343+
344+ -- -- ** Sampling
345+ -- , strideFromThen
346+
347+ -- -- ** Searching
341348 -- Finding the presence or location of an element, a sequence of elements
342349 -- or another stream within a stream.
343350
344351 -- -- ** Searching Elements
345− , findIndices
346− , elemIndices
352+ -- , findIndices
353+ -- , elemIndices
347354
348355 -- * Combining Two Streams
349356 -- ** Appending