Bio.Streaming.Parse

Parsers for use with ByteStreams.

Documentation

data Parser r m a

Instances

MonadTrans (Parser r)

Defined in Bio.Streaming.Parse

Methods

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

Monad (Parser r m)

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)

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)

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)

Defined in Bio.Streaming.Parse

Methods

liftIO :: IO a -> Parser r m a

MonadThrow (Parser r m)

Defined in Bio.Streaming.Parse

Methods

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

data ParseError

Constructors

ParseError

Fields

• errorContexts :: [String]
• errorMessage :: String

Instances

Show ParseError

Defined in Bio.Streaming.Parse

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Exception ParseError

Defined in Bio.Streaming.Parse

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

data EofException

Constructors

EofException

Instances

Show EofException

Defined in Bio.Streaming.Parse

Methods

showsPrec :: Int -> EofException -> ShowS

show :: EofException -> String

showList :: [EofException] -> ShowS

Exception EofException

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 (Either r (a, ByteStream m r)))

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

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

abortParse :: Monad m => Parser r m a

isFinished :: Monad m => Parser r m Bool

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

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

getByte :: Monad m => Parser r m Word8

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

getWord32 :: Monad m => Parser r m Word32

getWord64 :: Monad m => Parser r m Word64

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

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