Text.ParserCombinators.UU.Utils

This module provides some higher-level types and infrastructure to make it easier to use.

Single-char parsers

pCR :: Parser Char

pLF :: Parser Char

pLower :: Parser Char

pUpper :: Parser Char

pLetter :: Parser Char

pAscii :: Parser Char

pDigit :: Parser Char

pDigitAsNum :: Num a => Parser a

pAnySym :: (IsLocationUpdatedBy loc Char, ListLike state Char) => String -> P (Str Char state loc) Char

Whitespace and comments (comments - not yet supported)

pSpaces :: Parser String

Lexeme parsers (as opposed to Raw parsers)

lexeme :: ParserTrafo a a

Lexeme Parsers skip trailing whitespace (this terminology comes from Parsec)

pDot :: Parser Char

pComma :: Parser Char

pDQuote :: Parser Char

pLParen :: Parser Char

pRParen :: Parser Char

pLBracket :: Parser Char

pRBracket :: Parser Char

pLBrace :: Parser Char

pRBrace :: Parser Char

pSymbol :: (IsLocationUpdatedBy loc Char, ListLike state Char) => String -> P (Str Char state loc) String

Raw parsers for numbers

pNaturalRaw :: Num a => Parser a

pIntegerRaw :: Num a => Parser a

pDoubleRaw :: Read a => Parser a

pDoubleStr :: Parser [Char]

Lexeme parsers for numbers

pNatural :: Num a => Parser a

pInteger :: Num a => Parser a

pDouble :: Parser Double

pPercent :: Parser Double

Parsers for Enums

pEnumRaw :: forall a. (Enum a, Show a) => Parser a

pEnum :: (Enum a, Show a) => Parser a

pEnumStrs :: [String] -> Parser String

Parenthesized parsers

pParens :: ParserTrafo a a

pBraces :: ParserTrafo a a

pBrackets :: ParserTrafo a a

listParser :: ParserTrafo a [a]

eg [1,2,3]

tupleParser :: ParserTrafo a [a]

eg (1,2,3)

pTuple :: (IsLocationUpdatedBy loc Char, ListLike state Char) => [P (Str Char state loc) a] -> P (Str Char state loc) [a]

Lexeme parsers for Date-s

pDay :: Parser Day

pDayMonthYear :: (Num d, Num y) => Parser (d, Int, y)

Lexeme parser for quoted String-s

pParentheticalString :: Char -> Parser String

pQuotedString :: Parser String

Read-compatability

parserReadsPrec :: Parser a -> Int -> ReadS a

Converts a UU Parser into a read-style one.

This is intended to facilitate migration from read-style parsers to UU-based ones.

Basic facility for runninga parser, getting at most a single error message

execParser :: Parser a -> String -> (a, [Error LineColPos])

The lower-level interface. Returns all errors.

runParser :: String -> Parser a -> String -> a

The higher-level interface. (Calls error with a simplified error). Runs the parser; if the complete input is accepted without problems return the result else fail with reporting unconsumed tokens