polymath-rs 0.1.2

AsciiMath parser
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

//!
//! # AST
//!
//! This module contains different CSTs into a unified AST which will be used
//! by various backends (mathml for example).
//!

pub mod predictive;

use std::collections::VecDeque;

use crate::tokens::Token;

#[derive(Debug, Clone)]
pub struct AST<'a> {
    pub expressions: Expressions<'a>,
}

#[derive(Debug, Clone)]
pub struct Expressions<'a> {
    pub expressions: VecDeque<Expression<'a>>,
}

#[derive(Debug, Clone)]
pub enum Expression<'a> {
    Frac(BiExpression<'a>),
    Sub(BiExpression<'a>),
    Pow(BiExpression<'a>),
    SubPow(TriExpression<'a>),
    Group(Group<'a>),
    Unary(Unary<'a>),
    Binary(Binary<'a>),
    Literal(Literal<'a>),
    Expressions(Expressions<'a>),
    Unit,
}

#[derive(Debug, Clone)]
pub struct TriExpression<'a> {
    pub expression_1: Box<Expression<'a>>,
    pub expression_2: Box<Expression<'a>>,
    pub expression_3: Box<Expression<'a>>,
}

#[derive(Debug, Clone)]
pub struct BiExpression<'a> {
    pub expression_1: Box<Expression<'a>>,
    pub expression_2: Box<Expression<'a>>,
}

#[derive(Debug, Clone)]
pub struct Unary<'a> {
    pub operator: Token<'a>,
    pub expression: Box<Expression<'a>>,
}

#[derive(Debug, Clone)]
pub struct Binary<'a> {
    pub operator: Token<'a>,
    pub expression_1: Box<Expression<'a>>,
    pub expression_2: Box<Expression<'a>>,
}

#[derive(Debug, Clone)]
pub struct Group<'a> {
    pub l_brace: Token<'a>,
    pub expressions: Expressions<'a>,
    pub r_brace: Token<'a>,
}

#[derive(Debug, Clone)]
pub enum Literal<'a> {
    Literal(Token<'a>), // borrow cst literals
    Table(Table<'a>),
}

#[derive(Debug, Clone)]
pub struct Table<'a> {
    pub seperators: Vec<usize>,
    pub l_brace: Token<'a>,
    // first vec seperates tables that need seperation by a seperator
    // second vec seperates rows
    // third vec seperates columns
    pub rows: Vec<TableRow<'a>>,
    pub r_brace: Token<'a>,
}

#[derive(Debug, Clone)]
pub struct TableRow<'a> {
    pub cols: Vec<Expressions<'a>>,
}