Language.PureScript.Parser.Common

Constants, and utility functions to be used when parsing

Documentation

reservedPsNames :: [String]

A list of purescript reserved identifiers

opChars :: [Char]

The characters allowed for use in operators

reservedTypeNames :: [String]

A list of reserved identifiers for types

reservedOpNames :: [String]

A list of reserved operators

identStart :: Parsec String u Char

Valid first characters for an identifier

identLetter :: Parsec String u Char

Valid identifier characters

opStart :: Parsec String u Char

Valid first characters for an operator

opLetter :: Parsec String u Char

Valid operators characters

langDef :: GenLanguageDef String u Identity

The PureScript language definition

tokenParser :: GenTokenParser String u Identity

A token parser based on the language definition

lexeme :: Parsec String u a -> Parsec String u a

Parse a token

identifier :: Parsec String u String

Parse an identifier

identifierName :: Parsec String u String

Parse an identifier in a more permissive position

reserved :: String -> Parsec String u ()

Parse a reserved word

reservedOp :: String -> Parsec String u ()

Parse a reserved operator

operator :: Parsec String u String

Parse an operator

stringLiteral :: Parsec String u String

Parse a string literal

whiteSpace :: Parsec String u ()

Parse whitespace

semi :: Parsec String u String

Semicolon

colon :: Parsec String u String

Colon

dot :: Parsec String u String

Period

comma :: Parsec String u String

Comma

tick :: Parsec String u Char

Backtick

pipe :: Parsec String u Char

Pipe character

natural :: Parsec String u Integer

Natural number

properName :: Parsec String u ProperName

Parse a proper name

moduleName :: Parsec String ParseState ModuleName

Parse a module name

parseQualified :: Parsec String ParseState a -> Parsec String ParseState (Qualified a)

Parse a qualified name, i.e. M.name or just name

integerOrFloat :: Parsec String u (Either Integer Double)

Parse an integer or floating point value

parseIdent :: Parsec String ParseState Ident

Parse an identifier or parenthesized operator

squares :: Parsec String ParseState a -> Parsec String ParseState a

Parse a token inside square brackets

parens :: Parsec String ParseState a -> Parsec String ParseState a

Parse a token inside parentheses

braces :: Parsec String ParseState a -> Parsec String ParseState a

Parse a token inside braces

angles :: Parsec String ParseState a -> Parsec String ParseState a

Parse a token inside angle brackets

sepBy :: Parsec String ParseState a -> Parsec String ParseState sep -> Parsec String ParseState [a]

Parse zero or more values separated by a separator token

sepBy1 :: Parsec String ParseState a -> Parsec String ParseState sep -> Parsec String ParseState [a]

Parse one or more values separated by a separator token

semiSep :: Parsec String ParseState a -> Parsec String ParseState [a]

Parse zero or more values separated by semicolons

semiSep1 :: Parsec String ParseState a -> Parsec String ParseState [a]

Parse one or more values separated by semicolons

commaSep :: Parsec String ParseState a -> Parsec String ParseState [a]

Parse zero or more values separated by commas

commaSep1 :: Parsec String ParseState a -> Parsec String ParseState [a]

Parse one or more values separated by commas

augment :: Stream s m t => ParsecT s u m a -> ParsecT s u m b -> (a -> b -> a) -> ParsecT s u m a

Run the first parser, then match the second if possible, applying the specified function on a successful match

fold :: Stream s m t => ParsecT s u m a -> ParsecT s u m b -> (a -> b -> a) -> ParsecT s u m a

Run the first parser, then match the second zero or more times, applying the specified function for each match

buildPostfixParser :: Stream s m t => [a -> ParsecT s u m a] -> ParsecT s u m a -> ParsecT s u m a

Build a parser from a smaller parser and a list of parsers for postfix operators

parseIdentInfix :: Parsec String ParseState (Qualified Ident)

Parse an identifier in backticks or an operator

mark :: Parsec String ParseState a -> Parsec String ParseState a

Mark the current indentation level

checkIndentation :: (Column -> Column -> Bool) -> Parsec String ParseState ()

Check that the current identation level matches a predicate

indented :: Parsec String ParseState ()

Check that the current indentation level is past the current mark

same :: Parsec String ParseState ()

Check that the current indentation level is at the same indentation as the current mark

runIndentParser :: FilePath -> Parsec String ParseState a -> String -> Either ParseError a

Run a parser which supports indentation