Safe Haskell	Safe-Inferred
Language	Haskell2010

Parser.Lexer

Contents

Basic lexer parts
Symbols
Literals
Identifiers and reserved

Description

Provides lexer parts for the Parser module.

Synopsis

type Parser = Parsec Void Text
sc :: Parser ()
lexeme :: Parser a -> Parser a
symbol :: Text -> Parser Text
parens :: Parser a -> Parser a
braces :: Parser a -> Parser a
brackets :: Parser a -> Parser a
comma :: Parser Text
semicolon :: Parser Text
listed :: Parser a -> Parser [a]
listed1 :: Parser a -> Parser [a]
listedInPar :: Parser a -> Parser [a]
intLitP :: Parser Integer
decimalInt :: Parser Integer
binaryInt :: Parser Integer
octalInt :: Parser Integer
hexInt :: Parser Integer
abstractInt :: Parser a -> Parser Char -> ReadS Integer -> Parser Integer
readInteger :: ReadS Integer -> String -> Integer
boolLitP :: Parser Bool
stringLitP :: Parser Text
stringChar :: Parser Text
escapedChar :: Parser Text
identifierP :: Parser Identifier
kwVar :: Parser Text
kwFunc :: Parser Text
kwReturn :: Parser Text
kwIf :: Parser Text
kwElse :: Parser Text
kwFor :: Parser Text
kwBreak :: Parser Text
kwContinue :: Parser Text
kwVar' :: Text
kwFunc' :: Text
kwReturn' :: Text
kwIf' :: Text
kwElse' :: Text
kwFor' :: Text
kwBreak' :: Text
kwContinue' :: Text
keywords :: [Text]
idBool :: Parser Text
idInt :: Parser Text
idString :: Parser Text
idTrue :: Parser Text
idFalse :: Parser Text
idNil :: Parser Text
idLenFunc :: Parser Text
idPrintFunc :: Parser Text
idPrintlnFunc :: Parser Text
idPanicFunc :: Parser Text
idBool' :: Text
idInt' :: Text
idString' :: Text
idTrue' :: Text
idFalse' :: Text
idNil' :: Text
idLenFunc' :: Text
idPrintFunc' :: Text
idPrintlnFunc' :: Text
idPanicFunc' :: Text
predeclaredIdentifiers :: [Identifier]

Basic lexer parts

type Parser = Parsec Void Text Source #

Parser monad.

sc :: Parser () Source #

Space consumer, parses whitespace and comments.

lexeme :: Parser a -> Parser a Source #

Lexeme, automatically parses trailing whitespace and comments.

symbol :: Text -> Parser Text Source #

Symbol, automatically parses trailing whitespace and comments.

Symbols

parens :: Parser a -> Parser a Source #

Wraps given parser with parenthesis.

braces :: Parser a -> Parser a Source #

Wraps given parser with braces.

brackets :: Parser a -> Parser a Source #

Wraps given parser with brackets.

comma :: Parser Text Source #

Comma parser.

semicolon :: Parser Text Source #

Semicolon parser.

listed :: Parser a -> Parser [a] Source #

List parser.

listed1 :: Parser a -> Parser [a] Source #

listedInPar :: Parser a -> Parser [a] Source #

List parser.

Literals

intLitP :: Parser Integer Source #

Integer literal parser.

decimalInt :: Parser Integer Source #

Decimal integer literal parser.

binaryInt :: Parser Integer Source #

Binary integer literal parser.

octalInt :: Parser Integer Source #

Octal integer literal parser.

hexInt :: Parser Integer Source #

Hex integer literal parser.

abstractInt :: Parser a -> Parser Char -> ReadS Integer -> Parser Integer Source #

Abstract integer parser, encapsulates integer parser structure.

readInteger :: ReadS Integer -> String -> Integer Source #

Parse integer using given reader and integer string.

boolLitP :: Parser Bool Source #

Boolean literal parser.

stringLitP :: Parser Text Source #

String literal parser.

stringChar :: Parser Text Source #

String character parser.

escapedChar :: Parser Text Source #

Escaped character parser.

Identifiers and reserved

Identifier

identifierP :: Parser Identifier Source #

Custom identifier parser.

Keywords

kwVar :: Parser Text Source #

var keyword parser.

kwFunc :: Parser Text Source #

func keyword parser.

kwReturn :: Parser Text Source #

return keyword parser.

kwIf :: Parser Text Source #

if keyword parser.

kwElse :: Parser Text Source #

else keyword parser.

kwFor :: Parser Text Source #

for keyword parser.

kwBreak :: Parser Text Source #

break keyword parser.

kwContinue :: Parser Text Source #

continue keyword parser.

kwVar' :: Text Source #

kwFunc' :: Text Source #

kwReturn' :: Text Source #

kwIf' :: Text Source #

kwElse' :: Text Source #

kwFor' :: Text Source #

kwBreak' :: Text Source #

kwContinue' :: Text Source #

keywords :: [Text] Source #

Keywords.

Predeclared identifiers

idBool :: Parser Text Source #

bool identifier parser.

idInt :: Parser Text Source #

int identifier parser.

idString :: Parser Text Source #

string identifier parser.

idTrue :: Parser Text Source #

true identifier parser.

idFalse :: Parser Text Source #

false identifier parser.

idNil :: Parser Text Source #

nil identifier parser.

idLenFunc :: Parser Text Source #

len identifier parser.

idPrintFunc :: Parser Text Source #

print identifier parser.

idPrintlnFunc :: Parser Text Source #

println identifier parser.

idPanicFunc :: Parser Text Source #

panic identifier parser.

idBool' :: Text Source #

idInt' :: Text Source #

idString' :: Text Source #

idTrue' :: Text Source #

idFalse' :: Text Source #

idNil' :: Text Source #

idLenFunc' :: Text Source #

idPrintFunc' :: Text Source #

idPrintlnFunc' :: Text Source #

idPanicFunc' :: Text Source #

predeclaredIdentifiers :: [Identifier] Source #

Predeclared identifiers.