Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.Parser.Lexer
Description
The first step in the parsing process - turns source code into a list of lexemes
- data PositionedToken = PositionedToken {
- ptSourcePos :: SourcePos
- ptEndPos :: SourcePos
- ptPrevEndPos :: Maybe SourcePos
- ptToken :: Token
- ptComments :: [Comment]
- data Token
- type TokenParser a = Parsec [PositionedToken] ParseState a
- lex :: FilePath -> Text -> Either ParseError [PositionedToken]
- lexLenient :: FilePath -> Text -> 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 Text
- semiSep :: TokenParser a -> TokenParser [a]
- semiSep1 :: TokenParser a -> TokenParser [a]
- commaSep :: TokenParser a -> TokenParser [a]
- commaSep1 :: TokenParser a -> TokenParser [a]
- lname :: TokenParser Text
- lname' :: Text -> TokenParser ()
- qualifier :: TokenParser Text
- tyname :: TokenParser Text
- kiname :: TokenParser Text
- dconsname :: TokenParser Text
- uname :: TokenParser Text
- uname' :: Text -> TokenParser ()
- mname :: TokenParser Text
- reserved :: Text -> TokenParser ()
- symbol :: TokenParser Text
- symbol' :: Text -> TokenParser ()
- identifier :: TokenParser Text
- charLiteral :: TokenParser Char
- stringLiteral :: TokenParser PSString
- number :: TokenParser (Either Integer Double)
- natural :: TokenParser Integer
- reservedPsNames :: [Text]
- reservedTypeNames :: [Text]
- isSymbolChar :: Char -> Bool
- isUnquotedKey :: Text -> Bool
Documentation
data PositionedToken #
Constructors
PositionedToken | |
Fields
|
Instances
type TokenParser a = Parsec [PositionedToken] ParseState a #
lex :: FilePath -> Text -> Either ParseError [PositionedToken] #
lexLenient :: FilePath -> Text -> Either ParseError [PositionedToken] #
Lexes the given file, and on encountering a parse error, returns the progress made up to that point, instead of returning an error
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 Text #
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 Text #
lname' :: Text -> TokenParser () #
tyname :: TokenParser Text #
kiname :: TokenParser Text #
uname :: TokenParser Text #
uname' :: Text -> TokenParser () #
mname :: TokenParser Text #
reserved :: Text -> TokenParser () #
symbol :: TokenParser Text #
symbol' :: Text -> TokenParser () #
reservedPsNames :: [Text] #
A list of purescript reserved identifiers
reservedTypeNames :: [Text] #
isSymbolChar :: Char -> Bool #
The characters allowed for use in operators
isUnquotedKey :: Text -> Bool #
Strings allowed to be left unquoted in a record key