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
#[macro_export]
macro_rules! operator_allowed {
($tpe: ty, $op: ident, $fn_name: ident) => {
impl<Rhs> ::std::ops::$op<Rhs> for $tpe where
Rhs: $crate::expression::AsExpression<
<<$tpe as $crate::Expression>::SqlType as $crate::types::ops::$op>::Rhs
>,
{
type Output = $crate::expression::ops::$op<Self, Rhs::Expression>;
fn $fn_name(self, rhs: Rhs) -> Self::Output {
$crate::expression::ops::$op::new(self, rhs.as_expression())
}
}
}
}
#[macro_export]
macro_rules! numeric_expr {
($tpe: ty) => {
operator_allowed!($tpe, Add, add);
operator_allowed!($tpe, Sub, sub);
operator_allowed!($tpe, Div, div);
operator_allowed!($tpe, Mul, mul);
}
}
macro_rules! generic_numeric_expr_inner {
($tpe: ident, ($($param: ident),*), $op: ident, $fn_name: ident) => {
impl<Rhs, $($param),*> ::std::ops::$op<Rhs> for $tpe<$($param),*> where
$tpe<$($param),*>: $crate::expression::Expression,
<$tpe<$($param),*> as $crate::Expression>::SqlType: $crate::types::ops::$op,
Rhs: $crate::expression::AsExpression<
<<$tpe<$($param),*> as $crate::Expression>::SqlType as $crate::types::ops::$op>::Rhs,
>,
{
type Output = $crate::expression::ops::$op<Self, Rhs::Expression>;
fn $fn_name(self, rhs: Rhs) -> Self::Output {
$crate::expression::ops::$op::new(self, rhs.as_expression())
}
}
}
}
macro_rules! generic_numeric_expr {
($tpe: ident, $($param: ident),*) => {
generic_numeric_expr_inner!($tpe, ($($param),*), Add, add);
generic_numeric_expr_inner!($tpe, ($($param),*), Sub, sub);
generic_numeric_expr_inner!($tpe, ($($param),*), Div, div);
generic_numeric_expr_inner!($tpe, ($($param),*), Mul, mul);
}
}
mod numeric;
pub use self::numeric::{Add, Sub, Mul, Div};