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
  • = Pos
  • | Neg
• data ArgOp
  • = Float
  • | Power
  • | Rational
  • | Func
  • | ExpSeq
  • | Sum_
  • | Prod_
  • | Less
  • | Equal
  • | NotEq
  • | Not_
  • | And_
  • | Range
  • | List
• data InertExpr
  • = InertName Text
  • | InertNum NumOp Integer
  • | InertArgs ArgOp [InertExpr]
• func :: Parser InertExpr
• name :: 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
• 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