Language.Egison.Parser

Documentation

egisonDef :: LanguageDef ()

lexer :: GenTokenParser String () Identity

dot :: ParsecT String () Identity String

parens :: ParsecT String () Identity a -> ParsecT String () Identity a

brackets :: ParsecT String () Identity a -> ParsecT String () Identity a

braces :: ParsecT String () Identity a -> ParsecT String () Identity a

angles :: ParsecT String () Identity a -> ParsecT String () Identity a

identifier :: ParsecT String () Identity String

whiteSpace :: ParsecT String () Identity ()

lexeme :: ParsecT String () Identity a -> ParsecT String () Identity a

symbol :: Parser Char

symbol2 :: Parser Char

parseBool :: Parser EgisonExpr

parseBool2 :: Parser Bool

parseChar :: Parser EgisonExpr

parseChar2 :: Parser Char

parseOctalNumber :: Parser EgisonExpr

parseBinaryNumber :: Parser EgisonExpr

parseHexNumber :: Parser EgisonExpr

parseDecimalNumber :: Parser EgisonExpr

Parser for Integer, base 10

parseDecimalNumberMaybeExponent :: Parser EgisonExpr

Parser for a base 10 Integer that will also check to see if the number is followed by an exponent (scientific notation). If so, the integer is converted to a float of the given magnitude.

parseNumber :: Parser EgisonExpr

Parse an integer in any base

parseNumber2 :: Parser Integer

parseRealNumber :: Parser EgisonExpr

Parse a floating point number

parseRealNumber2 :: Parser Double

parseNumberExponent :: EgisonExpr -> Parser EgisonExpr

Parse the exponent section of a floating point number in scientific notation. Eg "e10" from "1.0e10"

parseEscapedChar :: GenParser Char st Char

parseString2 :: Parser String

parseString :: Parser EgisonExpr

parseIndexNums :: Parser [EgisonExpr]

parseInnerExp :: Parser InnerExpr

parsePatVar2 :: Parser VarExpr

parsePatVar :: Parser EgisonExpr

parseSymbol2 :: Parser VarExpr

parseSymbol :: Parser EgisonExpr

parseArgs :: Parser ArgsExpr

parseBindings :: Parser Bindings

parseRecursiveBindings :: Parser RecursiveBindings

parseVar :: Parser EgisonExpr

parseWildCard :: Parser EgisonExpr

parseCutPat :: Parser EgisonExpr

parseNotPat :: Parser EgisonExpr

parseValuePat :: Parser EgisonExpr

parseInnerExpr :: Parser InnerExpr

parsePattern :: Parser EgisonExpr

parseDestructInfoExpr :: Parser DestructInfoExpr

parseDestructClause :: Parser (String, EgisonExpr, [(PrimitivePattern, EgisonExpr)])

parseDestructClause2 :: Parser (PrimitivePattern, EgisonExpr)

parsePrimitivePattern :: Parser PrimitivePattern

parseMatchClause :: Parser MatchClause

parseExpr :: Parser EgisonExpr

Parse an expression

parseTopExpr :: Parser TopExpr

mainParser :: Parser TopExpr

readOrThrow :: Parser a -> String -> ThrowsError a

Use a parser to parse the given text, throwing an error if there is a problem parsing the text.

readTopExpr :: String -> ThrowsError TopExpr

Parse an top expression from a string of text

readExpr :: String -> ThrowsError EgisonExpr

Parse an expression from a string of text

readTopExprList :: String -> ThrowsError [TopExpr]

Parse many top expressions from a string of text