on master help sign in
Expose some missing functions from Internal.Data.Fold
108af63Harendra Kumar
core/src/Streamly/Internal/Data/Fold.hs+8
@@ -83,6 +83,8 @@ module Streamly.Internal.Data.Fold
83 -- $toListRev
83 -- $toListRev
84 , toStream
84 , toStream
85 , toStreamRev
85 , toStreamRev
86+ , toStreamK
87+ , toStreamKRev
86 , topBy
88 , topBy
87 , top
89 , top
88 , bottomBy
90 , bottomBy
@@ -115,6 +117,7 @@ module Streamly.Internal.Data.Fold
115 -- | Folds that return a result without consuming any input.
117 -- | Folds that return a result without consuming any input.
116 , fromPure
118 , fromPure
117 , fromEffect
119 , fromEffect
120+ , fromRefold
118
121
119 -- *** Singleton folds
122 -- *** Singleton folds
120 -- | Folds that terminate after consuming exactly one input element. All
123 -- | Folds that terminate after consuming exactly one input element. All
@@ -162,6 +165,7 @@ module Streamly.Internal.Data.Fold
162 -- * Building Incrementally
165 -- * Building Incrementally
163 , extractM
166 , extractM
164 , reduce
167 , reduce
168+ , close
165 , isClosed
169 , isClosed
166 , snoc
170 , snoc
167 , snocl
171 , snocl
@@ -278,14 +282,18 @@ module Streamly.Internal.Data.Fold
278
282
279 -- ** Splitting
283 -- ** Splitting
280 , many
284 , many
285+ , manyPost
281 , chunksOf
286 , chunksOf
282 , chunksBetween
287 , chunksBetween
288+ , refoldMany
289+ , refoldMany1
283
290
284 -- ** Nesting
291 -- ** Nesting
285 , unfoldMany
292 , unfoldMany
286 , concatSequence
293 , concatSequence
287 , concatMap
294 , concatMap
288 , duplicate
295 , duplicate
296+ , refold
289
297
290 -- * Deprecated
298 -- * Deprecated
291 , foldr
299 , foldr