Crates.io | gen_ops |
lib.rs | gen_ops |
version | 0.4.0 |
source | src |
created_at | 2022-05-29 18:41:38.132265 |
updated_at | 2023-06-17 08:33:55.707409 |
description | Macros for operator overloading for generic types |
homepage | |
repository | https://github.com/K-Vinayak/gen_ops |
max_upload_size | |
id | 596607 |
size | 89,822 |
Rust macros for operator overloading of generic types.
The macros need four statements
Note All statements end with a semicolon except the where clause.
#[derive(Debug, Copy, Clone, PartialEq)]
struct Pair<T>(pub T, pub T);
#[inline]
fn sub_pair<T>(a: &Pair<T>, b: &Pair<T>) -> Pair<T>
where T: Sub<Output=T> + Copy {
Pair(a.0 - b.0, a.1 - b.1)
}
gen_ops!(
<T>; // Generic parameter names
types Pair<T>, Pair<T> => Pair<T>; // Type signature
//add doc strings like below
/// Add two pairs
///
/// Returns `Pair`
for + call |a: &Pair<T>, b: &Pair<T>| {
Pair(a.0 + b.0, a.1 + b.1)
}; // Callable expressions for operators
(where T: Add<Output=T>)
for - call sub_pair; // Or use an existing function
(where T: Sub<Output=T>) //where clause for - operator only
where T: Copy //Where clause for all impls
);
let a = Pair(2, 3);
let b = Pair(1, 8);
println!("a + b = {:?}", a + b); //a + b = Pair(3, 11)
println!("a - b = {:?}", a - b); //a - b = Pair(1, -5)
The primary macro for all operators.
#[derive(Debug, Copy, Clone, PartialEq)]
struct Pair<T>(pub T, pub T);
gen_ops!(
<T>;
types Pair<T>, Pair<T> => Pair<T>;
for + call |a: &Pair<T>, b: &Pair<T>| Pair(a.0 + b.0, a.1 + b.1);
(where T: Add<Output=T>)
for - call |a: &Pair<T>, b: &Pair<T>| Pair(a.0 - b.0, a.1 - b.1);
(where T: Sub<Output=T>)
where T: Copy
);
let a = Pair(10, 5);
let b = Pair(8, 9);
println!("a + b = {:?}", a + b); // a + b = Pair(18, 14)
println!("a - b = {:?}", a - b); // a - b = Pair(2, -4)
Implements commutative operations.
#[derive(Debug, Copy, Clone, PartialEq)]
struct Pair<T>(pub T, pub T);
gen_ops_comm!(
<T>;
types Pair<T>, i32 => Pair<T>;
for * call |a: &Pair<T>, b:&i32| Pair(a.0 * *b, a.1 * *b);
(where T: Mul<i32, Output=T>)
for & call |a: &Pair<T>, b:&i32| Pair(a.0 & *b, a.1 & *b);
(where T: BitAnd<i32, Output=T>)
where T: Copy
);
let a = Pair(12, 3);
println!("a * 5 = {:?}", a * 5); //a * 5 = Pair(60, 15)
println!("5 * a = {:?}", 5 * a); //5 * a = Pair(60, 15)
println!("a & 2 = {:?}", a & 2); //a & 2 = Pair(0, 2)
println!("2 & a = {:?}", 2 & a); //2 & a = Pair(0, 2)
Implements trait for borrowed types.
#[derive(Debug, Copy, Clone, PartialEq)]
struct Pair<T>(pub T, pub T);
gen_ops_ex!(
<T>;
types mut Pair<T>, T => Pair<T>;
for * call |a: &Pair<T>, b:&T| Pair(a.0 * *b, a.1 * *b);
where T: Mul<Output=T> + Copy
);
let mut a = Pair(12, 3);
{
let mut b = &mut a;
println!("&mut a * 2 = {:?}", b * 2);// &mut a * 2 = Pair(24, 6)
}
println!("&a * 2 = {:?}", &a * 2);// &a * 2 = Pair(24, 6)
println!("a * 2 = {:?}", a * 2);// a * 2 = Pair(24, 6)
Implements commutative operations for borrowed types.
#[derive(Debug, Copy, Clone, PartialEq)]
struct Pair<T>(pub T, pub T);
gen_ops_comm_ex!(
<T>;
types ref Pair<T>, i32 => Pair<T>;
for * call |a: &Pair<T>, b:&i32| Pair(a.0 * *b, a.1 * *b);
where T: Mul<i32, Output=T> + Copy
);
let a = Pair(12, 3);
println!("a * 5 = {:?}", a * 5); //a * 5 = Pair(60, 15)
println!("5 * a = {:?}", 5 * a); //5 * a = Pair(60, 15)
println!("5 * &a = {:?}", 5 * &a); //5 * &a = Pair(60, 15)
println!("&a * 5 = {:?}", &a * 5); //&a * 5 = Pair(60, 15)
For more details see docs.
This project is inspired by auto_ops