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 -> ConduitT a o 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 throwM.

Since 0.5.0

sinkParserEither :: (AttoparsecInput a, Monad m) => Parser a b -> ConduitT a o 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 -> ConduitT a (PositionRange, b) m ()

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 -> ConduitT a (Either ParseError (PositionRange, b)) m ()

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

Defined in Data.Conduit.Attoparsec

Methods

showsPrec :: Int -> ParseError -> ShowS

show :: ParseError -> String

showList :: [ParseError] -> ShowS

Exception ParseError

Defined in Data.Conduit.Attoparsec

Methods

toException :: ParseError -> SomeException

fromException :: SomeException -> Maybe ParseError

displayException :: ParseError -> String

data Position

Constructors

Position

Fields

• posLine :: !Int
• posCol :: !Int
• posOffset :: !Int

  Since: 1.2.0

Instances

Eq Position

Defined in Data.Conduit.Attoparsec

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Ord Position

Defined in Data.Conduit.Attoparsec

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

(<=) :: Position -> Position -> Bool

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Defined in Data.Conduit.Attoparsec

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

data PositionRange

Constructors

PositionRange

Fields

• posRangeStart :: !Position
• posRangeEnd :: !Position

Instances

Eq PositionRange

Defined in Data.Conduit.Attoparsec

Methods

(==) :: PositionRange -> PositionRange -> Bool

(/=) :: PositionRange -> PositionRange -> Bool

Ord PositionRange

Defined in Data.Conduit.Attoparsec

Methods

compare :: PositionRange -> PositionRange -> Ordering

(<) :: PositionRange -> PositionRange -> Bool

(<=) :: PositionRange -> PositionRange -> Bool

(>) :: PositionRange -> PositionRange -> Bool

(>=) :: PositionRange -> PositionRange -> Bool

max :: PositionRange -> PositionRange -> PositionRange

min :: PositionRange -> PositionRange -> PositionRange

Show PositionRange

Defined in Data.Conduit.Attoparsec

Methods

showsPrec :: Int -> PositionRange -> ShowS

show :: PositionRange -> String

showList :: [PositionRange] -> ShowS

Classes

class AttoparsecInput a

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

Minimal complete definition

parseA, feedA, empty, isNull, getLinesCols, stripFromEnd

Instances

AttoparsecInput ByteString

Defined in Data.Conduit.Attoparsec

Methods

parseA :: Parser ByteString b -> ByteString -> IResult ByteString b

feedA :: IResult ByteString b -> ByteString -> IResult ByteString b

empty :: ByteString

isNull :: ByteString -> Bool

getLinesCols :: ByteString -> Position

stripFromEnd :: ByteString -> ByteString -> ByteString

AttoparsecInput Text

Defined in Data.Conduit.Attoparsec

Methods

parseA :: Parser Text b -> Text -> IResult Text b

feedA :: IResult Text b -> Text -> IResult Text b

empty :: Text

isNull :: Text -> Bool

getLinesCols :: Text -> Position

stripFromEnd :: Text -> Text -> Text