9e23d29 · streamly · git.iko.soy

benchmark/Streamly/Benchmark/Data/Parser/ParserK.hs+1−1

compare with master

unifiedsplit

@@ -20,7 +20,7 @@ import Control.Monad.IO.Class (MonadIO)

20import Data.Foldable (asum)

21import Streamly.Data.Array (Array, Unbox)

22import Streamly.Internal.Data.Fold.Type (Fold(..))

23−import Streamly.Data.Stream.StreamK (StreamK)

23+import Streamly.Data.StreamK (StreamK)

24import Streamly.Internal.Data.Parser

25 (ParseError(..), Parser(..), Initial(..), Step(..))

26import Streamly.Internal.Data.Stream.StreamD (Stream)

benchmark/Streamly/Benchmark/Data/Stream/Eliminate.hs+1−1

@@ -51,7 +51,7 @@ import Streamly.Internal.Data.Stream.StreamD (Stream)

51import qualified Streamly.Internal.Data.Stream.StreamD as S

52#ifdef USE_STREAMK

53import Streamly.Internal.Data.Stream.StreamK (StreamK)

54−import qualified Streamly.Data.Stream.StreamK as StreamK

54+import qualified Streamly.Data.StreamK as StreamK

55#else

56import qualified Streamly.Internal.Data.Stream.StreamD as StreamK

57#endif

core/src/Streamly/Data/Stream/StreamK.hs → core/src/Streamly/Data/StreamK.hsrenamed+2−2

@@ -1,5 +1,5 @@

1-- |

2−-- Module : Streamly.Data.Stream.StreamK

2+-- Module : Streamly.Data.StreamK

4--

5-- License : BSD3

@@ -21,7 +21,7 @@

21-- rewritten to a K version of f.

22-- XXX Need to add rewrite rules for all missing StreamD operations.

23--

24−module Streamly.Data.Stream.StreamK

24+module Streamly.Data.StreamK

25 (

26 StreamK

27

core/src/Streamly/Internal/Data/Fold/Chunked.hs+1−1

@@ -23,7 +23,7 @@

23-- >>> import qualified Streamly.Internal.Data.Stream.Chunked as ArrayStream

24-- >>> import qualified Streamly.Internal.Data.Fold.Chunked as ChunkFold

25-- >>> import qualified Streamly.Data.Stream as Stream

26−-- >>> import qualified Streamly.Data.Stream.StreamK as StreamK

26+-- >>> import qualified Streamly.Data.StreamK as StreamK

27--

28-- >>> f = ChunkFold.fromFold (Fold.take 7 Fold.toList)

29-- >>> s = Stream.arraysOf 5 $ Stream.fromList "hello world"

core/src/Streamly/Internal/Data/Stream/StreamD/Generate.hs+1−1

@@ -177,7 +177,7 @@ nil = Stream (\_ _ -> pure Stop) ()

177-- This function should only be used to statically fuse an element with a

178-- stream. Do not use this recursively or where it cannot be inlined.

179--

180−-- See "Streamly.Data.Stream.StreamK" for a 'cons' that can be used to

180+-- See "Streamly.Data.StreamK" for a 'cons' that can be used to

181-- construct a stream recursively.

182--

183-- Definition:

core/src/Streamly/Internal/Data/Stream/StreamD/Nesting.hs+1−1

@@ -236,7 +236,7 @@ data AppendState s1 s2 = AppendFirst s1 | AppendSecond s2

236-- This function should only be used to statically fuse a stream with another

237-- stream. Do not use this recursively or where it cannot be inlined.

238--

239−-- See "Streamly.Data.Stream.StreamK" for an 'append' that can be used to

239+-- See "Streamly.Data.StreamK" for an 'append' that can be used to

240-- construct a stream recursively.

241--

242{-# INLINE_NORMAL append #-}

core/src/Streamly/Internal/Data/Stream/StreamK.hs+3−3

@@ -11,7 +11,7 @@

11--

12-- >>> import qualified Streamly.Data.Fold as Fold

13-- >>> import qualified Streamly.Data.Stream as Stream

14−-- >>> import qualified Streamly.Data.Stream.StreamK as StreamK

14+-- >>> import qualified Streamly.Data.StreamK as StreamK

15--

16-- We will add some more imports in the examples as needed.

17--

@@ -29,7 +29,7 @@

29--

30-- `cons` adds a pure value at the head of the stream:

31--

32−-- >>> import Streamly.Data.Stream.StreamK (StreamK, cons, consM, nil)

32+-- >>> import Streamly.Data.StreamK (StreamK, cons, consM, nil)

33-- >>> stream = 1 `cons` 2 `cons` nil :: StreamK IO Int

34--

35-- Convert 'StreamK' to 'Stream' to use functions from the

@@ -257,7 +257,7 @@ import Streamly.Internal.Data.Parser.ParserD (ParseError(..))

257-- >>> import qualified Streamly.Data.Fold as Fold

258-- >>> import qualified Streamly.Data.Parser as Parser

259-- >>> import qualified Streamly.Data.Stream as Stream

260−-- >>> import qualified Streamly.Data.Stream.StreamK as StreamK

260+-- >>> import qualified Streamly.Data.StreamK as StreamK

261-- >>> import qualified Streamly.Internal.Data.Stream.StreamK as StreamK

262--

263

core/src/Streamly/Internal/Data/Stream/StreamK/Type.hs+1−1

@@ -169,7 +169,7 @@ import Prelude hiding

169-- >>> import Streamly.Internal.Data.Stream.StreamK (CrossStreamK(..))

170-- >>> import qualified Streamly.Data.Fold as Fold

171-- >>> import qualified Streamly.Data.Stream as Stream

172−-- >>> import qualified Streamly.Data.Stream.StreamK as StreamK

172+-- >>> import qualified Streamly.Data.StreamK as StreamK

173-- >>> import qualified Streamly.Internal.Data.Stream.StreamK as StreamK

174-- >>> import qualified Streamly.Internal.FileSystem.Dir as Dir

175

core/streamly-core.cabal+1−1

@@ -389,7 +389,7 @@ library

389 , Streamly.Data.Parser

390 , Streamly.Data.ParserK

391 , Streamly.Data.Stream

392− , Streamly.Data.Stream.StreamK

392+ , Streamly.Data.StreamK

393 , Streamly.Data.Unfold

394 , Streamly.FileSystem.Dir

395 , Streamly.FileSystem.File