asklyphe/asklyphe-frontend/src/math.rs

175 lines
3.6 KiB
Rust
Raw Normal View History

2025-06-22 12:09:21 +12:00
use tracing::{debug, error};
use once_cell::sync::Lazy;
#[derive(Debug)]
pub struct Calculation {
pub equation: String,
pub result: String,
}
pub fn calculate(query: &str) -> Option<Calculation> {
debug!("Got query {}", query);
let mut parser = Parser::new(Lexer::new(query));
2025-09-04 08:54:21 +12:00
debug!("Parse tree: {:?}", parser.parse());
2025-06-22 12:09:21 +12:00
// debug!("final token was: {:?}", lexer.next());
// debug!("Tokens: {:?}", lexer.lex_all());
None
}
// TODO: put into own crate with dependency astro-float = "0.9.2" so I can use more than f64
#[derive(Debug)]
enum Token {
2025-09-04 08:54:21 +12:00
Op(Op),
Atom(f64),
/* Number(f64),
Func(Func),*/
}
#[derive(Debug)]
enum Op {
2025-06-22 12:09:21 +12:00
Add,
Subtract,
Multiply,
Divide,
Exponent,
LParen,
RParen,
2025-09-04 08:54:21 +12:00
Func(Func)
}
#[derive(Debug)]
enum Atom {
2025-06-22 12:09:21 +12:00
Number(f64),
}
#[derive(Debug)]
enum Func {
Sine,
Cosine,
Tangent,
// sin-1, cos-1, tan-1
ArcSine,
ArcCosine,
ArcTangent,
Log2,
Log10,
LogN,
Square,
SquareRoot,
}
#[derive(Debug)]
2025-09-04 08:54:21 +12:00
enum LexErr {
2025-06-22 12:09:21 +12:00
Eof,
Invalid,
}
// this can probably be swapped out with a lexer generator like Logos if needed
struct Lexer<'a> {
data: &'a str,
data_ptr: &'a str,
idx: usize,
}
// TODO: refactor with iterator that returns Option(Token) where one token option is Eof (or a enum of Token(Token) and Eof, or just Option(Option(Token)))
impl Lexer<'_> {
fn new(data: &str) -> Lexer { Lexer {data, data_ptr: data, idx: 0} }
2025-09-04 08:54:21 +12:00
fn next(&mut self) -> Result<Token, LexErr> {
2025-06-22 12:09:21 +12:00
match self.data.chars().nth(self.idx) {
Some(val) => {
debug!("lexing char '{}' at idx {}", val, self.idx);
// debug!("current char '{}'", self.data.chars().nth(0).unwrap());
self.idx += 1;
// TODO: make more efficient
self.data_ptr = &self.data[self.idx..];
match val {
'+' => Ok(Token::Add),
'-' => Ok(Token::Subtract),
'×' | '*' => Ok(Token::Multiply),
'÷' | '/' => Ok(Token::Divide),
'^' => Ok(Token::Exponent),
'(' => Ok(Token::LParen),
')' => Ok(Token::RParen),
_ if val.is_whitespace() => self.next(),
// TODO: parse - as part of number so I can do '1 + -1' and similar
_ if val.is_digit(10) => {
let start = self.idx - 1;
self.data_ptr.chars().take_while(|c| c.is_digit(10)).for_each(|_| self.idx += 1);//.next().unwrap_or(' ').is_digit(10) {self.idx += 1;}
match self.data[start..self.idx].parse() {
Ok(val) => Ok(Token::Number(val)),
2025-09-04 08:54:21 +12:00
Err(e) => Err(LexErr::Invalid),
2025-06-22 12:09:21 +12:00
}
},
_ => {
debug!("got invalid char '{}'", val);
2025-09-04 08:54:21 +12:00
Err(LexErr::Invalid)
2025-06-22 12:09:21 +12:00
}
}
}
2025-09-04 08:54:21 +12:00
None => Err(LexErr::Eof),
2025-06-22 12:09:21 +12:00
}
}
// TODO: replace with iterator so I can do parser.parse(lexer.iter()) and parse does lex_iter.next() & such
fn lex_all(&mut self) -> Option<Vec<Token>> {
let mut tokens: Vec<Token> = vec![];
loop {
match self.next() {
2025-09-04 08:54:21 +12:00
Err(LexErr::Eof) => return Some(tokens),
Err(LexErr::Invalid) => return None,
2025-06-22 12:09:21 +12:00
Ok(tok) => tokens.push(tok),
}
// debug!("tokens: {:?}", tokens);
}
}
}
struct Parser<'a> {
lex: Lexer<'a>,
}
2025-09-04 08:54:21 +12:00
#[derive(Debug)]
enum ParseErr {
Eof,
Invalid,
// TODO, add more or maybe just use an option instead
}
2025-06-22 12:09:21 +12:00
impl Parser<'_> {
fn new(lex: Lexer) -> Parser { Parser {lex} }
2025-09-04 08:54:21 +12:00
fn parse(&mut self) -> Option<Expr> {
self.parse_expr(0.0).ok()
}
fn parse_expr(&mut self, min_bp: f64) -> Result<Expr, ParseErr> {
while let Ok(val) = self.lexer.next() {debug!("token: {:?}", )}
match self.lex.next().ok()? {
_ => return Err(ParseErr::Invalid),
}
}
2025-06-22 12:09:21 +12:00
}
2025-09-04 08:54:21 +12:00
/*#[derive(Debug)]
enum Op {
Add(Expr, Expr),
Sub(Expr, Expr),
Mul(Expr, Expr),
Div(Expr, Expr),
Func(Func, Expr),
}*/
2025-06-22 12:09:21 +12:00
// TODO: look at that parser video again
2025-09-04 08:54:21 +12:00
#[derive(Debug)]
enum Expr {
Atom(Token),
Node(Op, Vec<Expr>),
2025-06-22 12:09:21 +12:00
}