Data.ParserCombinators.Attoparsec.Internal

Simple, efficient parser combinators for lazy ByteString strings, loosely based on Text.ParserCombinators.Parsec.

Parser

type ParseError = String

data Parser a

Instances

Monad Parser

Functor Parser

MonadFix Parser

MonadPlus Parser

Applicative Parser

Alternative Parser

Running parsers

parse :: Parser a -> ByteString -> (ByteString, Either ParseError a)

Run a parser.

parseAt :: Parser a -> ByteString -> Int64 -> (ByteString, Either ParseError (a, Int64))

parseTest :: Show a => Parser a -> ByteString -> IO ()

subParse :: Parser a -> ByteString -> Parser a

Combinators

(<?>) :: Parser a -> String -> Parser a

Name the parser.

Things vaguely like those in Parsec.Combinator (and Parsec.Prim)

try :: Parser a -> Parser a

choice :: [Parser a] -> Parser a

Try multiple parsers.

manyTill :: Parser a -> Parser b -> Parser [a]

eof :: Parser ()

Detect 'end of file'.

notFollowedBy :: Parser a -> Parser ()

skipMany :: Parser a -> Parser ()

skipMany - skip zero or many instances of the parser

skipMany1 :: Parser a -> Parser ()

skipMany1 - skip one or many instances of the parser

count :: Int -> Parser a -> Parser [a]

Apply the given parser repeatedly, returning every parse result.

lookAhead :: Parser a -> Parser a

peek :: Parser a -> Parser (Maybe a)

sepBy :: Parser a -> Parser s -> Parser [a]

sepBy1 :: Parser a -> Parser s -> Parser [a]

Things like in Parsec.Char

satisfy :: (Word8 -> Bool) -> Parser Word8

Character parser.

anyWord8 :: Parser Word8

word8 :: Word8 -> Parser Word8

Satisfy a specific character.

notWord8 :: Word8 -> Parser Word8

Satisfy a specific character.

string :: ByteString -> Parser ByteString

Satisfy a literal string.

stringTransform :: (ByteString -> ByteString) -> ByteString -> Parser ByteString

Satisfy a literal string, after applying a transformation to both it and the matching text.

Parser converters.

eitherP :: Parser a -> Parser b -> Parser (Either a b)

eitherF :: Parser a -> Parser (Either (ByteString, [String]) a)

Miscellaneous functions.

err :: [String] -> Parser a

getInput :: Parser ByteString

Get remaining input.

getConsumed :: Parser Int64

Get number of bytes consumed so far.

takeWhile :: (Word8 -> Bool) -> Parser ByteString

Consume characters while the predicate is true.

takeWhile1 :: (Word8 -> Bool) -> Parser ByteString

takeTill :: (Word8 -> Bool) -> Parser ByteString

takeAll :: Parser ByteString

skipWhile :: (Word8 -> Bool) -> Parser ()

Skip over characters while the predicate is true.

notEmpty :: Parser ByteString -> Parser ByteString

Test that a parser returned a non-null ByteString.

match :: Parser a -> Parser ByteString

Parse some input with the given parser and return that input without copying it.