Searched refs:charEscape (Results 1 – 7 of 7) sorted by relevance
145 characterChar = charLetter <|> charEscape148 charEscape :: IParser Char149 charEscape = do{ _ <- char '\\'; escapeCode } function
216 static final String charEscape = "\b\t\n\f\r\"\'\\";229 int j = charEscape.indexOf(c);
424 characterChar = charLetter <|> charEscape427 charEscape = do{ _ <- char '\\'; escapeCode } function
597 charEscape, charLetter :: TokenParsing m => m Char function598 characterChar = charLetter <|> charEscape <?> "literal character"601 charEscape = highlight EscapeCode $ char '\\' *> escapeCode function