@@ -83,6 +83,8 @@ module Streamly.Internal.Data.Fold
83 -- $toListRev
83 -- $toListRev
84 , toStream
84 , toStream
85 , toStreamRev
85 , toStreamRev
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
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
165 , isClosed
169 , isClosed
@@ -278,14 +282,18 @@ module Streamly.Internal.Data.Fold
279 -- ** Splitting
283 -- ** Splitting
281 , chunksOf
286 , chunksOf
282 , chunksBetween
287 , chunksBetween
284 -- ** Nesting
291 -- ** Nesting
285 , unfoldMany
292 , unfoldMany
286 , concatSequence
293 , concatSequence
287 , concatMap
294 , concatMap
288 , duplicate
295 , duplicate
290 -- * Deprecated
298 -- * Deprecated