| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Hakaru.Parser.Maple
Synopsis
- style :: GenLanguageDef Text st Identity
- type TokenParser a = GenTokenParser Text a Identity
- lexer :: TokenParser ()
- integer :: Parser Integer
- parens :: Parser a -> Parser a
- identifier :: Parser Text
- stringLiteral :: Parser Text
- comma :: Parser String
- commaSep :: Parser a -> Parser [a]
- symTable :: [(Text, Text)]
- rename :: Text -> Text
- arg :: Parser a -> Parser [a]
- text :: Text -> Parser Text
- data NumOp
- data ArgOp
- data InertExpr
- func :: Parser InertExpr
- name :: Parser InertExpr
- localname :: Parser InertExpr
- assignedname :: Parser InertExpr
- assignedlocalname :: Parser InertExpr
- expseq :: Parser InertExpr
- intpos :: Parser InertExpr
- intneg :: Parser InertExpr
- float :: Parser InertExpr
- power :: Parser InertExpr
- range :: Parser InertExpr
- and :: Parser InertExpr
- list :: Parser InertExpr
- sum :: Parser InertExpr
- product :: Parser InertExpr
- rational :: Parser InertExpr
- lessthan :: Parser InertExpr
- not :: Parser InertExpr
- lesseq :: Parser InertExpr
- equal :: Parser InertExpr
- noteq :: Parser InertExpr
- expr :: Parser InertExpr
- parseMaple :: Text -> Either ParseError InertExpr
- collapseNaryOp :: NaryOp -> [AST' Text] -> [AST' Text]
- maple2AST :: InertExpr -> AST' Text
- maple2ReducerAST :: InertExpr -> Reducer' Text
- mapleDatum2AST :: Text -> InertExpr -> AST' Text
- maple2Type :: InertExpr -> TypeAST'
- branch :: InertExpr -> Branch' Text
- maple2Pattern :: InertExpr -> Pattern' Text
- maple2DCode :: InertExpr -> [AST' Text]
- maple2Patterns :: InertExpr -> [Pattern' Text]
Documentation
type TokenParser a = GenTokenParser Text a Identity Source #
lexer :: TokenParser () Source #
identifier :: Parser Text Source #
Grammar of Inert Expressions
parseMaple :: Text -> Either ParseError InertExpr Source #
maple2Type :: InertExpr -> TypeAST' Source #