Move definition of Step to Stream.Monadic
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 21 Sep 2008 06:23:33 +0000 (06:23 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sun, 21 Sep 2008 06:23:33 +0000 (06:23 +0000)
Data/Vector/Fusion/Stream.hs
Data/Vector/Fusion/Stream/Monadic.hs
Data/Vector/Fusion/Stream/Step.hs [deleted file]
vector.cabal

index 2d5ef0e..a016510 100644 (file)
@@ -59,7 +59,7 @@ module Data.Vector.Fusion.Stream (
 ) where
 
 import Data.Vector.Fusion.Stream.Size
-import Data.Vector.Fusion.Stream.Step
+import Data.Vector.Fusion.Stream.Monadic ( Step(..) )
 import qualified Data.Vector.Fusion.Stream.Monadic as M
 
 import Prelude hiding ( length, null,
index 8546190..c50a461 100644 (file)
@@ -15,7 +15,7 @@
 #include "phases.h"
 
 module Data.Vector.Fusion.Stream.Monadic (
-  Stream(..),
+  Stream(..), Step(..),
 
   -- * Size hints
   size, sized,
@@ -55,7 +55,6 @@ module Data.Vector.Fusion.Stream.Monadic (
   toList, fromList
 ) where
 
-import Data.Vector.Fusion.Stream.Step
 import Data.Vector.Fusion.Stream.Size
 
 import Control.Monad  ( liftM )
@@ -69,6 +68,12 @@ import Prelude hiding ( length, null,
                         foldl, foldl1, foldr, foldr1 )
 import qualified Prelude
 
+-- | Result of taking a single step in a stream
+data Step s a = Yield a s  -- ^ a new element and a new seed
+              | Skip    s  -- ^ just a new seed
+              | Done       -- ^ end of stream
+
+-- | Monadic streams
 data Stream m a = forall s. Stream (s -> m (Step s a)) s Size
 
 -- | 'Size' hint of a 'Stream'
diff --git a/Data/Vector/Fusion/Stream/Step.hs b/Data/Vector/Fusion/Stream/Step.hs
deleted file mode 100644 (file)
index 9c1bd6f..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-module Data.Vector.Fusion.Stream.Step (
-  Step(..)
-) where
-
-data Step s a = Yield a s
-              | Skip    s
-              | Done
-
index 557aa45..e7396f1 100644 (file)
@@ -23,7 +23,6 @@ Library
   Extensions: CPP
   Exposed-Modules:
         Data.Vector.Fusion.Stream.Size
-        Data.Vector.Fusion.Stream.Step
         Data.Vector.Fusion.Stream.Monadic
         Data.Vector.Fusion.Stream