Language.PureScript.Parser.Lexer

The first step in the parsing process - turns source code into a list of lexemes

Documentation

data PositionedToken

Constructors

PositionedToken

Fields

• ptSourcePos :: SourcePos

  Start position of this token

• ptEndPos :: SourcePos

  End position of this token (not including whitespace)

• ptPrevEndPos :: Maybe SourcePos

  End position of the previous token

• ptToken :: Token
• ptComments :: [Comment]

Instances

Eq PositionedToken

Methods

(==) :: PositionedToken -> PositionedToken -> Bool

(/=) :: PositionedToken -> PositionedToken -> Bool

Show PositionedToken

Methods

showsPrec :: Int -> PositionedToken -> ShowS

show :: PositionedToken -> String

showList :: [PositionedToken] -> ShowS

data Token

Instances

Eq Token

Methods

(==) :: Token -> Token -> Bool

(/=) :: Token -> Token -> Bool

Ord Token

Methods

compare :: Token -> Token -> Ordering

(<) :: Token -> Token -> Bool

(<=) :: Token -> Token -> Bool

(>) :: Token -> Token -> Bool

(>=) :: Token -> Token -> Bool

max :: Token -> Token -> Token

min :: Token -> Token -> Token

Show Token

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

type TokenParser a = Parsec [PositionedToken] ParseState a

lex :: FilePath -> String -> Either ParseError [PositionedToken]

anyToken :: TokenParser PositionedToken

token :: (Token -> Maybe a) -> TokenParser a

match :: Token -> TokenParser ()

lparen :: TokenParser ()

rparen :: TokenParser ()

parens :: TokenParser a -> TokenParser a

lbrace :: TokenParser ()

rbrace :: TokenParser ()

braces :: TokenParser a -> TokenParser a

lsquare :: TokenParser ()

rsquare :: TokenParser ()

squares :: TokenParser a -> TokenParser a

indent :: TokenParser Int

indentAt :: Column -> TokenParser ()

larrow :: TokenParser ()

rarrow :: TokenParser ()

lfatArrow :: TokenParser ()

rfatArrow :: TokenParser ()

colon :: TokenParser ()

doubleColon :: TokenParser ()

equals :: TokenParser ()

pipe :: TokenParser ()

tick :: TokenParser ()

dot :: TokenParser ()

comma :: TokenParser ()

semi :: TokenParser ()

at :: TokenParser ()

underscore :: TokenParser ()

holeLit :: TokenParser String

semiSep :: TokenParser a -> TokenParser [a]

Parse zero or more values separated by semicolons

semiSep1 :: TokenParser a -> TokenParser [a]

Parse one or more values separated by semicolons

commaSep :: TokenParser a -> TokenParser [a]

Parse zero or more values separated by commas

commaSep1 :: TokenParser a -> TokenParser [a]

Parse one or more values separated by commas

lname :: TokenParser String

lname' :: String -> TokenParser ()

qualifier :: TokenParser String

tyname :: TokenParser String

uname :: TokenParser String

uname' :: String -> TokenParser ()

mname :: TokenParser String

reserved :: String -> TokenParser ()

symbol :: TokenParser String

symbol' :: String -> TokenParser ()

identifier :: TokenParser String

charLiteral :: TokenParser Char

stringLiteral :: TokenParser String

number :: TokenParser (Either Integer Double)

natural :: TokenParser Integer

reservedPsNames :: [String]

A list of purescript reserved identifiers

reservedTypeNames :: [String]

isSymbolChar :: Char -> Bool

The characters allowed for use in operators

isUnquotedKey :: String -> Bool

Strings allowed to be left unquoted in a record key