core/src/Streamly/Internal/Data/Stream/StreamDK.hs · streamly

git.iko.soy/streamly

on efe0be3 help sign in

streamly/core/src/Streamly/Internal/Data/Stream/StreamDK.hs

52 lines 2.3 kB history raw

1-- |

2-- Module : Streamly.Internal.Data.Stream.StreamDK

4-- License : BSD-3-Clause

5-- Maintainer : streamly@composewell.com

6-- Stability : experimental

7-- Portability : GHC

8--

9--

10-- This module has the following problems due to rewrite rules:

11--

12-- * Rewrite rules lead to optimization problems, blocking fusion in some

13-- cases, specifically when combining multiple operations e.g. (filter . drop).

14-- * Rewrite rules lead to problems when calling a function recursively. For

15-- example, the StreamD version of foldBreak cannot be used recursively when

16-- wrapped in rewrite rules because each recursive call adds a roundtrip

17-- conversion from D to K and back to D. We can use the StreamK versions of

18-- these though because the rewrite rule gets eliminated in that case.

19-- * If we have a unified module, we need two different versions of several

20-- operations e.g. appendK and appendD, both are useful in different cases.

21--

22module Streamly.Internal.Data.Stream.StreamDK

23 ( module Streamly.Internal.Data.Stream.Type

24 , module Streamly.Internal.Data.Stream.Bottom

25 , module Streamly.Internal.Data.Stream.Eliminate

26 , module Streamly.Internal.Data.Stream.Exception

27 , module Streamly.Internal.Data.Stream.Expand

28 , module Streamly.Internal.Data.Stream.Generate

29 , module Streamly.Internal.Data.Stream.Lift

30 , module Streamly.Internal.Data.Stream.Reduce

31 , module Streamly.Internal.Data.Stream.Transform

32 , module Streamly.Internal.Data.Stream.Cross

33 , module Streamly.Internal.Data.Stream.Zip

35 -- modules having dependencies on libraries other than base

36 , module Streamly.Internal.Data.Stream.Transformer

37 )

38where

40import Streamly.Internal.Data.Stream.Bottom

41import Streamly.Internal.Data.Stream.Cross

42import Streamly.Internal.Data.Stream.Eliminate

43import Streamly.Internal.Data.Stream.Exception

44import Streamly.Internal.Data.Stream.Expand

45import Streamly.Internal.Data.Stream.Generate

46import Streamly.Internal.Data.Stream.Lift

47import Streamly.Internal.Data.Stream.Reduce

48import Streamly.Internal.Data.Stream.Transform

49import Streamly.Internal.Data.Stream.Type

50import Streamly.Internal.Data.Stream.Zip

52import Streamly.Internal.Data.Stream.Transformer