Language.PureScript.Parser.Common

Useful common functions for building parsers

Documentation

properName :: TokenParser (ProperName a)

Parse a general proper name.

typeName :: TokenParser (ProperName TypeName)

Parse a proper name for a type.

kindName :: TokenParser (ProperName KindName)

Parse a proper name for a kind.

dataConstructorName :: TokenParser (ProperName ConstructorName)

Parse a proper name for a data constructor.

moduleName :: TokenParser ModuleName

Parse a module name

parseQualified :: TokenParser a -> TokenParser (Qualified a)

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

parseIdent :: TokenParser Ident

Parse an identifier.

parseLabel :: TokenParser PSString

Parse a label, which may look like an identifier or a string

parseOperator :: TokenParser (OpName a)

Parse an operator.

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

mark :: Parsec s ParseState a -> Parsec s ParseState a

Mark the current indentation level

checkIndentation :: (Column -> Text) -> (Column -> Column -> Bool) -> Parsec s ParseState ()

Check that the current identation level matches a predicate

indented :: Parsec s ParseState ()

Check that the current indentation level is past the current mark

same :: Parsec s ParseState ()

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

readComments :: Parsec [PositionedToken] u [Comment]

Read the comments from the the next token, without consuming it

runTokenParser :: FilePath -> TokenParser a -> [PositionedToken] -> Either ParseError a

Run a parser

toSourcePos :: SourcePos -> SourcePos

Convert from Parsec sourcepos

withSourceSpan :: (SourceSpan -> [Comment] -> a -> b) -> Parsec [PositionedToken] u a -> Parsec [PositionedToken] u b

Read source position information and comments

withSourceAnnF :: Parsec [PositionedToken] u (SourceAnn -> a) -> Parsec [PositionedToken] u a

withSourceSpan' :: (SourceSpan -> a -> b) -> Parsec [PositionedToken] u a -> Parsec [PositionedToken] u b