Bio.Iteratee.Base

Monadic Iteratees: incremental input parsers, processors and transformers

Types

data Stream c

A stream is a (continuing) sequence of elements bundled in Chunks. The first variant indicates termination of the stream. Chunk a gives the currently available part of the stream. The stream is not terminated yet. The case (null Chunk) signifies a stream with no currently available data but which is still continuing. A stream processor should, informally speaking, ``suspend itself'' and wait for more data to arrive.

Constructors

EOF (Maybe SomeException)

Chunk c

Instances

Functor Stream

Map a function over a stream.

Methods

fmap :: (a -> b) -> Stream a -> Stream b

(<$) :: a -> Stream b -> Stream a

Eq c => Eq (Stream c)

Methods

(==) :: Stream c -> Stream c -> Bool

(/=) :: Stream c -> Stream c -> Bool

Show c => Show (Stream c)

Methods

showsPrec :: Int -> Stream c -> ShowS

show :: Stream c -> String

showList :: [Stream c] -> ShowS

Semigroup c => Semigroup (Stream c)

Methods

(<>) :: Stream c -> Stream c -> Stream c

sconcat :: NonEmpty (Stream c) -> Stream c

stimes :: Integral b => b -> Stream c -> Stream c

Monoid c => Monoid (Stream c)

Methods

mempty :: Stream c

mappend :: Stream c -> Stream c -> Stream c

mconcat :: [Stream c] -> Stream c

data StreamStatus

Describe the status of a stream of data.

Constructors

DataRemaining

EofNoError

EofError SomeException

Instances

Show StreamStatus

Methods

showsPrec :: Int -> StreamStatus -> ShowS

show :: StreamStatus -> String

showList :: [StreamStatus] -> ShowS

Exception types

module Bio.Iteratee.Exception

Iteratees

newtype Iteratee s m a

Monadic iteratee

Constructors

Iteratee

Fields

• runIter :: forall r. (a -> Stream s -> m r) -> ((Stream s -> Iteratee s m a) -> Maybe SomeException -> m r) -> m r

Instances

NullPoint s => MonadTrans (Iteratee s)

Methods

lift :: Monad m => m a -> Iteratee s m a

(Monad m, Nullable s) => Monad (Iteratee s m)

Methods

(>>=) :: Iteratee s m a -> (a -> Iteratee s m b) -> Iteratee s m b

(>>) :: Iteratee s m a -> Iteratee s m b -> Iteratee s m b

return :: a -> Iteratee s m a

fail :: String -> Iteratee s m a

Functor m => Functor (Iteratee s m)

Methods

fmap :: (a -> b) -> Iteratee s m a -> Iteratee s m b

(<$) :: a -> Iteratee s m b -> Iteratee s m a

(Functor m, Monad m, Nullable s) => Applicative (Iteratee s m)

Methods

pure :: a -> Iteratee s m a

(<*>) :: Iteratee s m (a -> b) -> Iteratee s m a -> Iteratee s m b

liftA2 :: (a -> b -> c) -> Iteratee s m a -> Iteratee s m b -> Iteratee s m c

(*>) :: Iteratee s m a -> Iteratee s m b -> Iteratee s m b

(<*) :: Iteratee s m a -> Iteratee s m b -> Iteratee s m a

(MonadIO m, Nullable s, NullPoint s) => MonadIO (Iteratee s m)

Methods

liftIO :: IO a -> Iteratee s m a

(MonadCatch m, Nullable s, NullPoint s) => MonadCatch (Iteratee s m)

Methods

catch :: Exception e => Iteratee s m a -> (e -> Iteratee s m a) -> Iteratee s m a

(MonadMask m, Nullable s, NullPoint s) => MonadMask (Iteratee s m)

Methods

mask :: ((forall a. Iteratee s m a -> Iteratee s m a) -> Iteratee s m b) -> Iteratee s m b

uninterruptibleMask :: ((forall a. Iteratee s m a -> Iteratee s m a) -> Iteratee s m b) -> Iteratee s m b

(MonadThrow m, Nullable s, NullPoint s) => MonadThrow (Iteratee s m)

Methods

throwM :: Exception e => e -> Iteratee s m a

Functions

Control functions

run :: Monad m => Iteratee s m a -> m a

Send EOF to the Iteratee and disregard the unconsumed part of the stream. If the iteratee is in an exception state, that exception is thrown with throw. Iteratees that do not terminate on EOF will throw EofException.

tryRun :: (Exception e, Monad m) => Iteratee s m a -> m (Either e a)

Run an iteratee, returning either the result or the iteratee exception. Note that only internal iteratee exceptions will be returned; exceptions thrown with Control.Exception.throw or Control.Monad.CatchIO.throw will not be returned.

See IFException for details.

ilift :: (Monad m, Monad n) => (forall r. m r -> n r) -> Iteratee s m a -> Iteratee s n a

Lift a computation in the inner monad of an iteratee.

A simple use would be to lift a logger iteratee to a monad stack.

logger :: Iteratee String IO ()
logger = mapChunksM_ putStrLn

loggerG :: MonadIO m => Iteratee String m ()
loggerG = ilift liftIO logger

A more complex example would involve lifting an iteratee to work with interleaved streams. See the example at merge.

ifold :: (Monad m, Monad n) => (forall r. m r -> acc -> n (r, acc)) -> acc -> Iteratee s m a -> Iteratee s n (a, acc)

Lift a computation in the inner monad of an iteratee, while threading through an accumulator.

Creating Iteratees

idone :: a -> Stream s -> Iteratee s m a

icont :: (Stream s -> Iteratee s m a) -> Maybe SomeException -> Iteratee s m a

liftI :: (Stream s -> Iteratee s m a) -> Iteratee s m a

idoneM :: Monad m => a -> Stream s -> m (Iteratee s m a)

icontM :: Monad m => (Stream s -> Iteratee s m a) -> Maybe SomeException -> m (Iteratee s m a)

Stream Functions

setEOF :: Stream c -> SomeException

Produce the EOF error message. If the stream was terminated because of an error, keep the error message.

Classes

class NullPoint c where

NullPoint class. Containers that have a null representation, corresponding to Data.Monoid.mempty.

Minimal complete definition

emptyP

Methods

emptyP :: c

Instances

NullPoint ByteString

Methods

emptyP :: ByteString

NullPoint ByteString

Methods

emptyP :: ByteString

NullPoint BgzfChunk

Methods

emptyP :: BgzfChunk

NullPoint Block

Methods

emptyP :: Block

NullPoint [a]

Methods

emptyP :: [a]

NullPoint (Endo a)

Methods

emptyP :: Endo a

class NullPoint c => Nullable c where

Nullable container class

Minimal complete definition

nullC

Methods

nullC :: c -> Bool

Instances

Nullable ByteString

Methods

nullC :: ByteString -> Bool

Nullable ByteString

Methods

nullC :: ByteString -> Bool

Nullable BgzfChunk

Methods

nullC :: BgzfChunk -> Bool

Nullable Block

Methods

nullC :: Block -> Bool

Nullable [a]

Methods

nullC :: [a] -> Bool

Nullable (Endo BgzfTokens)

Methods

nullC :: Endo BgzfTokens -> Bool