| Safe Haskell | None |
|---|
Data.Conduit.Attoparsec
Description
Consume attoparsec parsers via conduit.
This code was taken from attoparsec-enumerator and adapted for conduits.
- sinkParser :: (AttoparsecInput a, MonadThrow m) => Parser a b -> Consumer a m b
- conduitParser :: (AttoparsecInput a, MonadThrow m) => Parser a b -> Conduit a m (PositionRange, b)
- conduitParserEither :: (Monad m, AttoparsecInput a) => Parser a b -> Conduit a m (Either ParseError (PositionRange, b))
- data ParseError
- = ParseError { }
- | DivergentParser
- data Position = Position {}
- data PositionRange = PositionRange {
- posRangeStart :: !Position
- posRangeEnd :: !Position
- class AttoparsecInput a
Sink
sinkParser :: (AttoparsecInput a, MonadThrow m) => Parser a b -> Consumer a m b
Convert an Attoparsec Parser into a Sink. The parser will
be streamed bytes until it returns Done or Fail.
If parsing fails, a ParseError will be thrown with monadThrow.
Since 0.5.0
Conduit
conduitParser :: (AttoparsecInput a, MonadThrow m) => Parser a b -> Conduit a m (PositionRange, b)
Consume a stream of parsed tokens, returning both the token and
the position it appears at. This function will raise a ParseError
on bad input.
Since 0.5.0
conduitParserEither :: (Monad m, AttoparsecInput a) => Parser a b -> Conduit a m (Either ParseError (PositionRange, b))
Same as conduitParser, but we return an Either type instead
of raising an exception.
Types
data ParseError
The context and message from a Fail value.
Constructors
| ParseError | |
Fields
| |
| DivergentParser | |
Instances
data Position
data PositionRange
Constructors
| PositionRange | |
Fields
| |
Instances