Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
The first step in the parsing process - turns source code into a list of lexemes
- data PositionedToken = PositionedToken {
- ptSourcePos :: SourcePos
- ptToken :: Token
- ptComments :: [Comment]
- data Token
- 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 ()
- semiSep :: TokenParser a -> TokenParser [a]
- semiSep1 :: TokenParser a -> TokenParser [a]
- commaSep :: TokenParser a -> TokenParser [a]
- commaSep1 :: TokenParser a -> TokenParser [a]
- lname :: TokenParser String
- qualifier :: 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]
- reservedTypeNames :: [String]
- opChars :: [Char]
Documentation
data PositionedToken Source
PositionedToken | |
|
type TokenParser a = Parsec [PositionedToken] ParseState a Source
lex :: FilePath -> String -> Either ParseError [PositionedToken] Source
token :: (Token -> Maybe a) -> TokenParser a Source
match :: Token -> TokenParser () Source
lparen :: TokenParser () Source
rparen :: TokenParser () Source
parens :: TokenParser a -> TokenParser a Source
lbrace :: TokenParser () Source
rbrace :: TokenParser () Source
braces :: TokenParser a -> TokenParser a Source
lsquare :: TokenParser () Source
rsquare :: TokenParser () Source
squares :: TokenParser a -> TokenParser a Source
indentAt :: Column -> TokenParser () Source
larrow :: TokenParser () Source
rarrow :: TokenParser () Source
lfatArrow :: TokenParser () Source
rfatArrow :: TokenParser () Source
colon :: TokenParser () Source
doubleColon :: TokenParser () Source
equals :: TokenParser () Source
pipe :: TokenParser () Source
tick :: TokenParser () Source
dot :: TokenParser () Source
comma :: TokenParser () Source
semi :: TokenParser () Source
at :: TokenParser () Source
underscore :: TokenParser () Source
semiSep :: TokenParser a -> TokenParser [a] Source
Parse zero or more values separated by semicolons
semiSep1 :: TokenParser a -> TokenParser [a] Source
Parse one or more values separated by semicolons
commaSep :: TokenParser a -> TokenParser [a] Source
Parse zero or more values separated by commas
commaSep1 :: TokenParser a -> TokenParser [a] Source
Parse one or more values separated by commas
uname' :: String -> TokenParser () Source
reserved :: String -> TokenParser () Source
symbol' :: String -> TokenParser () Source
reservedPsNames :: [String] Source
A list of purescript reserved identifiers