on master help sign in
Export strideFromThen
dae4693Harendra Kumar
core/src/Streamly/Data/Stream.hs+3
@@ -338,6 +338,9 @@ module Streamly.Data.Stream
338 , deleteBy
338 , deleteBy
339 , uniq
339 , uniq
340
340
341+ -- ** Sampling
342+ , strideFromThen
343+
341 -- ** Searching
344 -- ** Searching
342 -- Finding the presence or location of an element, a sequence of elements
345 -- Finding the presence or location of an element, a sequence of elements
343 -- or another stream within a stream.
346 -- or another stream within a stream.
core/src/Streamly/Internal/Data/Stream/Top.hs−2
@@ -85,8 +85,6 @@ import Prelude hiding (filter, zipWith, concatMap, concat)
85-- >>> Stream.fold Fold.toList $ Stream.strideFromThen 2 3 $ Stream.enumerateFromTo 0 10
85-- >>> Stream.fold Fold.toList $ Stream.strideFromThen 2 3 $ Stream.enumerateFromTo 0 10
86-- [2,5,8]
86-- [2,5,8]
87--
87--
88−-- /Pre-release/
89−--
90{-# INLINE strideFromThen #-}
88{-# INLINE strideFromThen #-}
91strideFromThen :: Monad m => Int -> Int -> Stream m a -> Stream m a
89strideFromThen :: Monad m => Int -> Int -> Stream m a -> Stream m a
92strideFromThen offset stride =
90strideFromThen offset stride =