enumerator 0.4.1 → 0.4.2

raw patch · 2 files changed

+4/−16 lines, 2 filesdep −MonadCatchIO-transformersdep ~textPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: MonadCatchIO-transformers

Dependency ranges changed: text

API changes (from Hackage documentation)

- Data.Enumerator: instance (Eq a) => Eq (Stream a)

- Data.Enumerator: instance (Monad m) => Applicative (Iteratee a m)

- Data.Enumerator: instance (Monad m) => Functor (Iteratee a m)

- Data.Enumerator: instance (Monad m) => Monad (Iteratee a m)

- Data.Enumerator: instance (MonadCatchIO m) => MonadCatchIO (Iteratee a m)

- Data.Enumerator: instance (MonadIO m) => MonadIO (Iteratee a m)

- Data.Enumerator: instance (Show a) => Show (Stream a)

+ Data.Enumerator: instance Eq a => Eq (Stream a)

+ Data.Enumerator: instance Monad m => Applicative (Iteratee a m)

+ Data.Enumerator: instance Monad m => Functor (Iteratee a m)

+ Data.Enumerator: instance Monad m => Monad (Iteratee a m)

+ Data.Enumerator: instance MonadIO m => MonadIO (Iteratee a m)

+ Data.Enumerator: instance Show a => Show (Stream a)

- Data.Enumerator: ($$) :: (Monad m) => (Step a m b -> Iteratee a' m b') -> Iteratee a m b -> Iteratee a' m b'

+ Data.Enumerator: ($$) :: Monad m => (Step a m b -> Iteratee a' m b') -> Iteratee a m b -> Iteratee a' m b'

- Data.Enumerator: (<==<) :: (Monad m) => (Step a m b -> Iteratee a' m b') -> Enumerator a m b -> Step a m b -> Iteratee a' m b'

+ Data.Enumerator: (<==<) :: Monad m => (Step a m b -> Iteratee a' m b') -> Enumerator a m b -> Step a m b -> Iteratee a' m b'

- Data.Enumerator: (==<<) :: (Monad m) => (Step a m b -> Iteratee a' m b') -> Iteratee a m b -> Iteratee a' m b'

+ Data.Enumerator: (==<<) :: Monad m => (Step a m b -> Iteratee a' m b') -> Iteratee a m b -> Iteratee a' m b'

- Data.Enumerator: (>==>) :: (Monad m) => Enumerator a m b -> (Step a m b -> Iteratee a' m b') -> Step a m b -> Iteratee a' m b'

+ Data.Enumerator: (>==>) :: Monad m => Enumerator a m b -> (Step a m b -> Iteratee a' m b') -> Step a m b -> Iteratee a' m b'

- Data.Enumerator: (>>==) :: (Monad m) => Iteratee a m b -> (Step a m b -> Iteratee a' m b') -> Iteratee a' m b'

+ Data.Enumerator: (>>==) :: Monad m => Iteratee a m b -> (Step a m b -> Iteratee a' m b') -> Iteratee a' m b'

- Data.Enumerator: break :: (Monad m) => (a -> Bool) -> Iteratee a m [a]

+ Data.Enumerator: break :: Monad m => (a -> Bool) -> Iteratee a m [a]

- Data.Enumerator: catchError :: (Monad m) => Iteratee a m b -> (SomeException -> Iteratee a m b) -> Iteratee a m b

+ Data.Enumerator: catchError :: Monad m => Iteratee a m b -> (SomeException -> Iteratee a m b) -> Iteratee a m b

- Data.Enumerator: checkDone :: (Monad m) => ((Stream a -> Iteratee a m b) -> Iteratee a' m (Step a m b)) -> Enumeratee a' a m b

+ Data.Enumerator: checkDone :: Monad m => ((Stream a -> Iteratee a m b) -> Iteratee a' m (Step a m b)) -> Enumeratee a' a m b

- Data.Enumerator: concatEnums :: (Monad m) => [Enumerator a m b] -> Enumerator a m b

+ Data.Enumerator: concatEnums :: Monad m => [Enumerator a m b] -> Enumerator a m b

- Data.Enumerator: consume :: (Monad m) => Iteratee a m [a]

+ Data.Enumerator: consume :: Monad m => Iteratee a m [a]

- Data.Enumerator: continue :: (Monad m) => (Stream a -> Iteratee a m b) -> Iteratee a m b

+ Data.Enumerator: continue :: Monad m => (Stream a -> Iteratee a m b) -> Iteratee a m b

- Data.Enumerator: drop :: (Monad m) => Integer -> Iteratee a m ()

+ Data.Enumerator: drop :: Monad m => Integer -> Iteratee a m ()

- Data.Enumerator: dropWhile :: (Monad m) => (a -> Bool) -> Iteratee a m ()

+ Data.Enumerator: dropWhile :: Monad m => (a -> Bool) -> Iteratee a m ()

- Data.Enumerator: enumEOF :: (Monad m) => Enumerator a m b

+ Data.Enumerator: enumEOF :: Monad m => Enumerator a m b

- Data.Enumerator: enumList :: (Monad m) => Integer -> [a] -> Enumerator a m b

+ Data.Enumerator: enumList :: Monad m => Integer -> [a] -> Enumerator a m b

- Data.Enumerator: head :: (Monad m) => Iteratee a m (Maybe a)

+ Data.Enumerator: head :: Monad m => Iteratee a m (Maybe a)

- Data.Enumerator: isEOF :: (Monad m) => Iteratee a m Bool

+ Data.Enumerator: isEOF :: Monad m => Iteratee a m Bool

- Data.Enumerator: joinI :: (Monad m) => Iteratee a m (Step a' m b) -> Iteratee a m b

+ Data.Enumerator: joinI :: Monad m => Iteratee a m (Step a' m b) -> Iteratee a m b

- Data.Enumerator: last :: (Monad m) => Iteratee a m (Maybe a)

+ Data.Enumerator: last :: Monad m => Iteratee a m (Maybe a)

- Data.Enumerator: length :: (Monad m) => Iteratee a m Integer

+ Data.Enumerator: length :: Monad m => Iteratee a m Integer

- Data.Enumerator: liftFoldL :: (Monad m) => (b -> a -> b) -> b -> Iteratee a m b

+ Data.Enumerator: liftFoldL :: Monad m => (b -> a -> b) -> b -> Iteratee a m b

- Data.Enumerator: liftFoldL' :: (Monad m) => (b -> a -> b) -> b -> Iteratee a m b

+ Data.Enumerator: liftFoldL' :: Monad m => (b -> a -> b) -> b -> Iteratee a m b

- Data.Enumerator: liftFoldM :: (Monad m) => (b -> a -> m b) -> b -> Iteratee a m b

+ Data.Enumerator: liftFoldM :: Monad m => (b -> a -> m b) -> b -> Iteratee a m b

- Data.Enumerator: liftI :: (Monad m) => (Stream a -> Step a m b) -> Iteratee a m b

+ Data.Enumerator: liftI :: Monad m => (Stream a -> Step a m b) -> Iteratee a m b

- Data.Enumerator: map :: (Monad m) => (ao -> ai) -> Enumeratee ao ai m b

+ Data.Enumerator: map :: Monad m => (ao -> ai) -> Enumeratee ao ai m b

- Data.Enumerator: peek :: (Monad m) => Iteratee a m (Maybe a)

+ Data.Enumerator: peek :: Monad m => Iteratee a m (Maybe a)

- Data.Enumerator: returnI :: (Monad m) => Step a m b -> Iteratee a m b

+ Data.Enumerator: returnI :: Monad m => Step a m b -> Iteratee a m b

- Data.Enumerator: run :: (Monad m) => Iteratee a m b -> m (Either SomeException b)

+ Data.Enumerator: run :: Monad m => Iteratee a m b -> m (Either SomeException b)

- Data.Enumerator: run_ :: (Monad m) => Iteratee a m b -> m b

+ Data.Enumerator: run_ :: Monad m => Iteratee a m b -> m b

- Data.Enumerator: sequence :: (Monad m) => Iteratee ao m ai -> Enumeratee ao ai m b

+ Data.Enumerator: sequence :: Monad m => Iteratee ao m ai -> Enumeratee ao ai m b

- Data.Enumerator: span :: (Monad m) => (a -> Bool) -> Iteratee a m [a]

+ Data.Enumerator: span :: Monad m => (a -> Bool) -> Iteratee a m [a]

- Data.Enumerator: yield :: (Monad m) => b -> Stream a -> Iteratee a m b

+ Data.Enumerator: yield :: Monad m => b -> Stream a -> Iteratee a m b

- Data.Enumerator.IO: enumHandle :: (MonadIO m) => Integer -> Handle -> Enumerator ByteString m b

+ Data.Enumerator.IO: enumHandle :: MonadIO m => Integer -> Handle -> Enumerator ByteString m b

- Data.Enumerator.IO: iterHandle :: (MonadIO m) => Handle -> Iteratee ByteString m ()

+ Data.Enumerator.IO: iterHandle :: MonadIO m => Handle -> Iteratee ByteString m ()

- Data.Enumerator.Text: decode :: (Monad m) => Codec -> Enumeratee ByteString Text m b

+ Data.Enumerator.Text: decode :: Monad m => Codec -> Enumeratee ByteString Text m b

- Data.Enumerator.Text: encode :: (Monad m) => Codec -> Enumeratee Text ByteString m b

+ Data.Enumerator.Text: encode :: Monad m => Codec -> Enumeratee Text ByteString m b

- Data.Enumerator.Text: enumHandle :: (MonadIO m) => Handle -> Enumerator Text m b

+ Data.Enumerator.Text: enumHandle :: MonadIO m => Handle -> Enumerator Text m b

- Data.Enumerator.Text: iterHandle :: (MonadIO m) => Handle -> Iteratee Text m ()

+ Data.Enumerator.Text: iterHandle :: MonadIO m => Handle -> Iteratee Text m ()

Files

enumerator.cabal +4/−5
hs/Data/Enumerator.hs +0/−11

enumerator.cabal view

@@ -1,5 +1,5 @@ name: enumerator-version: 0.4.1+version: 0.4.2 synopsis: Implementation of Oleg Kiselyov's left-fold enumerators license: MIT license-file: license.txt@@ -22,18 +22,17 @@   readme.txt  source-repository head-  type: darcs+  type: bazaar   location: http://john-millikin.com/software/enumerator/  library-  ghc-options: -Wall -fno-warn-unused-do-bind+  ghc-options: -Wall   hs-source-dirs: hs    build-depends:       transformers >= 0.2 && < 0.3     , bytestring >= 0.9 && < 0.10-    , text >= 0.7 && < 0.10-    , MonadCatchIO-transformers >= 0.0 && < 0.3+    , text >= 0.7 && < 0.11    if impl(ghc >= 6.10)     build-depends:

hs/Data/Enumerator.hs view

@@ -72,7 +72,6 @@ import Control.Monad (liftM, ap) import qualified Control.Monad.IO.Class as MIO import qualified Control.Monad.Trans.Class as MT-import qualified Control.Monad.CatchIO as CatchIO import qualified Data.List as DataList import Control.Monad (foldM) import Prelude hiding (span)@@ -175,16 +174,6 @@ instance MIO.MonadIO m => MIO.MonadIO (Iteratee a m) where 	liftIO = MT.lift . MIO.liftIO 	{-# INLINE liftIO #-}--instance CatchIO.MonadCatchIO m => CatchIO.MonadCatchIO (Iteratee a m) where-	catch m f = Iteratee (CatchIO.catch (runIteratee m) (runIteratee . f))-	{-# INLINE catch #-}-	-	block = Iteratee . CatchIO.block . runIteratee-	{-# INLINE block #-}-	-	unblock = Iteratee . CatchIO.unblock . runIteratee-	{-# INLINE unblock #-} -- | Lift an 'Iteratee' onto a monad transformer, re-wrapping the -- 'Iteratee'&#x2019;s inner monadic values. liftTrans :: (Monad m, MT.MonadTrans t, Monad (t m)) =>