Moduleconduit-extra-1.3.8Haskell2010

Data.Conduit.Attoparsec

Consume attoparsec parsers via conduit.

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

3 types
1 class
4 values

Packageconduit-extra-1.3.8
Exports8
LanguageHaskell2010
LicenceMIT
SourceAttoparsec.hs

Sink

2 declarations

valuesinkParser

:: (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

valuesinkParserEither

:: (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

2 declarations

valueconduitParser

:: (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

valueconduitParserEither

:: (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

3 declarations

datadata ParseError

The context and message from a Fail value.

Constructors

ParseError
- errorContexts :: [String]
- errorMessage :: String
- errorPosition :: Position
DivergentParser

Instances2Show, Exception

Show ParseErrorDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
Exception ParseErrorDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec

datadata Position

Constructors

Position
- posLine :: !Int
- posCol :: !Int
- posOffset :: !Int

Instances3Eq, Ord, Show

Eq PositionDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
Ord PositionDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
Show PositionDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec

datadata PositionRange

Constructors

PositionRange
- posRangeStart :: !Position
- posRangeEnd :: !Position

Instances3Eq, Ord, Show

Eq PositionRangeDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
Ord PositionRangeDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
Show PositionRangeDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec

Classes

1 declaration

classclass AttoparsecInput a where

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

Instances2AttoparsecInput

AttoparsecInput ByteStringDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec
AttoparsecInput TextDefined in conduit-extra-1.3.8 · Data.Conduit.Attoparsec