@@ -45,6 +45,7 @@ module Streamly.Prelude
@@ -84,7 +85,7 @@ import Prelude hiding (filter, drop, dropWhile, take,
84 mapM, mapM_, sequence, all, any,
85 mapM, mapM_, sequence, all, any,
85 sum, product, elem, notElem,
86 sum, product, elem, notElem,
86 maximum, minimum, head, last,
87 maximum, minimum, head, last,
87− tail, length, null)
88+ tail, length, null, reverse)
88import qualified Prelude
89import qualified Prelude
89import qualified System.IO as IO
90import qualified System.IO as IO
@@ -348,7 +349,7 @@ tail m =
348last :: (Streaming t, Monad m) => t m a -> m (Maybe a)
349last :: (Streaming t, Monad m) => t m a -> m (Maybe a)
349last = foldl (\_ y -> Just y) Nothing id
350last = foldl (\_ y -> Just y) Nothing id
351−-- | Determine wheter the stream is empty
352+-- | Determine whether the stream is empty.
352null :: (Streaming t, Monad m) => t m a -> m Bool
353null :: (Streaming t, Monad m) => t m a -> m Bool
354 let stop = return True
355 let stop = return True
@@ -379,6 +380,20 @@ notElem e m = go (toStream m)
379length :: (Streaming t, Monad m) => t m a -> m Int
380length :: (Streaming t, Monad m) => t m a -> m Int
380length = foldl (\n _ -> n + 1) 0 id
381length = foldl (\n _ -> n + 1) 0 id
383+-- | Returns the elements of the stream in reverse order.
384+-- The stream must be finite.
385+reverse :: (Streaming t) => t m a -> t m a
386+reverse m = fromStream $ go Nothing (toStream m)
388+ go rev rest = Stream $ \s stp yld ->
391+ Nothing -> runStream snil s stp yld
392+ Just str -> runStream str s stp yld
393+ yield a Nothing = runStream (a `scons` rev) s stp yld
394+ yield a (Just x) = runStream (go (Just $ a `scons` rev) x) s stp yld
395+ in runStream rest Nothing stop yield
382-- XXX replace the recursive "go" with continuation
397-- XXX replace the recursive "go" with continuation
383-- | Determine the minimum element in a stream.
398-- | Determine the minimum element in a stream.
384minimum :: (Streaming t, Monad m, Ord a) => t m a -> m (Maybe a)
399minimum :: (Streaming t, Monad m, Ord a) => t m a -> m (Maybe a)