diff options
author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-07-26 10:52:03 +0300 |
---|---|---|
committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-07-26 10:52:03 +0300 |
commit | bf4632c461508de5202db98d25cd7ec06787c8dd (patch) | |
tree | dab8ddb1b0dcb7a20b9ab2e7067e26344776db4c /src | |
parent | c810925fce7d5de1845e09538b6943f54f266cb0 (diff) | |
download | myslip-bf4632c461508de5202db98d25cd7ec06787c8dd.tar.gz myslip-bf4632c461508de5202db98d25cd7ec06787c8dd.zip |
Created necessary data structures and utilities for integers and their operations; added tests for them
Diffstat (limited to 'src')
-rw-r--r-- | src/lib.rs | 1 | ||||
-rw-r--r-- | src/sexp/mod.rs | 27 | ||||
-rw-r--r-- | src/sexp/step.rs | 49 | ||||
-rw-r--r-- | src/sexp/util.rs | 27 |
4 files changed, 104 insertions, 0 deletions
diff --git a/src/lib.rs b/src/lib.rs new file mode 100644 index 0000000..42cc883 --- /dev/null +++ b/src/lib.rs @@ -0,0 +1 @@ +pub mod sexp; diff --git a/src/sexp/mod.rs b/src/sexp/mod.rs new file mode 100644 index 0000000..c920e41 --- /dev/null +++ b/src/sexp/mod.rs @@ -0,0 +1,27 @@ + +pub mod step; +pub mod util; + +/// A leaf node for S-Expressions. +/// +/// May represent built-in operators, +/// variables (to be added), functions +/// (to be added) or values. +#[derive(Debug)] +#[derive(PartialEq)] +pub enum SLeaf { + Add, + Sub, + Mul, + Div, + Int(i32), +} + +/// An S-Expression; the defining structure of the language. +#[derive(Debug)] +#[derive(PartialEq)] +pub enum SExp { + SCons(Box<SExp>, Box<SExp>), + Atom(SLeaf), +} + diff --git a/src/sexp/step.rs b/src/sexp/step.rs new file mode 100644 index 0000000..86ad9ea --- /dev/null +++ b/src/sexp/step.rs @@ -0,0 +1,49 @@ + +use crate::sexp::SExp; + +impl SExp { + + /// Evaluates the s-expression one step. + /// + /// **Integer operations** + /// + /// Addition, subtraction, multiplication and division + /// are supported. + /// ```rust + /// use melisp::sexp::{SExp::*, SLeaf::*, util::*}; + /// + /// assert_eq!( + /// sexp(Add, sexp(1, 1)).step().unwrap(), + /// Atom(Int(2)) + /// ); + /// + /// assert_eq!( + /// sexp(Sub, sexp(1, 2).step().unwrap()), + /// Atom(Int(-1)) + /// ); + /// + /// assert_eq!( + /// sexp(Mul, sexp(2, 3).step().unwrap()), + /// Atom(Int(6)) + /// ); + /// + /// assert_eq!( + /// sexp(Div, sexp(6, 2).step().unwrap()), + /// Atom(Int(3)) + /// ); + /// ``` + /// + /// Division truncates the decimals. + /// ```rust + /// use melisp::sexp::{SExp::*, SLeaf::*, util::*}; + /// + /// assert_eq!( + /// sexp(Div, sexp(5, 2).step().unwrap()), + /// Atom(Int(2)) + /// ); + /// + /// ``` + pub fn step(self) -> Result<Self, String> { + todo!(); + } +} diff --git a/src/sexp/util.rs b/src/sexp/util.rs new file mode 100644 index 0000000..a4e3ab4 --- /dev/null +++ b/src/sexp/util.rs @@ -0,0 +1,27 @@ + +use crate::sexp::SExp; +use crate::sexp::SLeaf; +use crate::sexp::SExp::*; +use crate::sexp::SLeaf::*; + +impl From<i32> for Box<SExp> { + fn from(int: i32) -> Self { + Box::new(Atom(Int(int))) + } +} + +impl From<SLeaf> for Box<SExp> { + fn from(leaf: SLeaf) -> Self { + Box::new(Atom(leaf)) + } +} + +impl From<i32> for SLeaf { + fn from(int: i32) -> Self { + Int(int) + } +} + +pub fn sexp(x: impl Into<Box<SExp>>, y: impl Into<Box<SExp>>) -> SExp { + SCons(x.into(), y.into()) +} |