Data.Conduit.Attoparsec

Consume attoparsec parsers via conduit.

This code was taken from attoparsec-enumerator and adapted for conduits.

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

sinkParserEither :: (AttoparsecInput a, Monad m) => Parser a b -> Consumer a m (Either ParseError b)

Same as sinkParser, but we return an Either type instead of raising an exception.

Since 1.1.5

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

errorContexts :: [String]

errorMessage :: String

errorPosition :: Position

DivergentParser

Instances

Show ParseError

Exception ParseError

Typeable * ParseError

data Position

Constructors

Position

Fields

posLine :: !Int

posCol :: !Int

Instances

Eq Position

Ord Position

Show Position

data PositionRange

Constructors

PositionRange

Fields

posRangeStart :: !Position

posRangeEnd :: !Position

Instances

Eq PositionRange

Ord PositionRange

Show PositionRange

Classes

class AttoparsecInput a

A class of types which may be consumed by an Attoparsec parser.

Minimal complete definition

parseA, feedA, empty, isNull, notEmpty, getLinesCols, stripFromEnd

Instances

AttoparsecInput ByteString

AttoparsecInput Text