biohazard-2.1: bioinformatics support library

Safe HaskellNone
LanguageHaskell2010

Bio.Streaming.Parse

Description

Parsers for use with ByteStreams.

Documentation

data Parser r m a Source #

Instances
MonadTrans (Parser r) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

lift :: Monad m => m a -> Parser r m a #

Monad (Parser r m) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

(>>=) :: Parser r m a -> (a -> Parser r m b) -> Parser r m b #

(>>) :: Parser r m a -> Parser r m b -> Parser r m b #

return :: a -> Parser r m a #

fail :: String -> Parser r m a #

Functor (Parser r m) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

fmap :: (a -> b) -> Parser r m a -> Parser r m b #

(<$) :: a -> Parser r m b -> Parser r m a #

Applicative (Parser r m) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

pure :: a -> Parser r m a #

(<*>) :: Parser r m (a -> b) -> Parser r m a -> Parser r m b #

liftA2 :: (a -> b -> c) -> Parser r m a -> Parser r m b -> Parser r m c #

(*>) :: Parser r m a -> Parser r m b -> Parser r m b #

(<*) :: Parser r m a -> Parser r m b -> Parser r m a #

MonadIO m => MonadIO (Parser r m) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

liftIO :: IO a -> Parser r m a #

MonadThrow (Parser r m) Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

throwM :: Exception e => e -> Parser r m a #

data ParseError Source #

Constructors

ParseError 

Fields

Instances
Show ParseError Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

showsPrec :: Int -> ParseError -> ShowS #

show :: ParseError -> String #

showList :: [ParseError] -> ShowS #

Exception ParseError Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

toException :: ParseError -> SomeException #

fromException :: SomeException -> Maybe ParseError #

displayException :: ParseError -> String #

data EofException Source #

Constructors

EofException 
Instances
Show EofException Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

showsPrec :: Int -> EofException -> ShowS #

show :: EofException -> String #

showList :: [EofException] -> ShowS #

Exception EofException Source # 
Instance details

Defined in Bio.Streaming.Parse

Methods

toException :: EofException -> SomeException #

fromException :: SomeException -> Maybe EofException #

displayException :: EofException -> String #

parse :: Monad m => (Int64 -> Parser r m a) -> ByteStream m r -> m (Either (SomeException, ByteStream m r) (Either r (a, ByteStream m r))) Source #

parseIO :: MonadIO m => (Int64 -> Parser r m a) -> ByteStream m r -> m (Either r (a, ByteStream m r)) Source #

parseLog :: MonadLog m => Level -> (Int64 -> Parser r m a) -> ByteStream m r -> m (Either r (a, ByteStream m r)) Source #

parseM :: MonadThrow m => (Int64 -> Parser r m a) -> ByteStream m r -> m (Either r (a, ByteStream m r)) Source #

abortParse :: Monad m => Parser r m a Source #

isFinished :: Monad m => Parser r m Bool Source #

drop :: Monad m => Int -> Parser r m () Source #

dropLine :: Monad m => Parser r m () Source #

getByte :: Monad m => Parser r m Word8 Source #

getString :: Monad m => Int -> Parser r m ByteString Source #

getWord32 :: Monad m => Parser r m Word32 Source #

getWord64 :: Monad m => Parser r m Word64 Source #

isolate :: Monad m => Int -> Parser (ByteStream m r) m a -> Parser r m a Source #

atto :: Monad m => Parser a -> Parser r m a Source #