Crate auto_impl_ops
source · [−]Expand description
semi-automatic implementation proc-macro for binary operations
#[auto_ops]
make implementation for T += U
, T + U
, T + &U
, &T + U
, &T + &U
from implementation for T += &U
.
supported list (@
is +
, -
, *
, /
, or %
.)
T @= &U
=>T @= U
,T @ U
,T @ &U
,&T @ U
,&T @ &U
&T @ &U
=>T @ U
,&T @ U
,T @ &U
,T @= &U
,T @= U
T @ &U
=>T @ U
,&T @ U
,&T @ &U
,T @= &U
,T @= U
Example
use std::ops::*;
#[auto_impl_ops::auto_ops]
impl<M> AddAssign<&A<M>> for A<M>
where
for<'x> &'x M: Add<Output = M>,
{
fn add_assign(&mut self, other: &Self) {
self.0 = &self.0 + &other.0;
}
}
Above code is expanded into below code.
For more examples see examples/a.rs
.
use std::ops::*;
impl<'a, M> AddAssign<&'a A<M>> for A<M>
where
for<'x> &'x M: Add<Output = M>,
{
fn add_assign(&mut self, other: &Self) {
self.0 = &self.0 + &other.0;
}
}
#[allow(clippy::extra_unused_lifetimes)]
impl<'a, M> AddAssign<A<M>> for A<M>
where
for<'x> &'x M: Add<Output = M>,
{
fn add_assign(&mut self, rhs: A<M>) {
self.add_assign(&rhs);
}
}
impl<'a, M> Add<&'a A<M>> for &'a A<M>
where
for<'x> &'x M: Add<Output = M>,
A<M>: Clone,
{
type Output = A<M>;
fn add(self, rhs: &'a A<M>) -> Self::Output {
let mut out = self.clone();
out.add_assign(rhs);
out
}
}
impl<'a, M> Add<A<M>> for &'a A<M>
where
for<'x> &'x M: Add<Output = M>,
A<M>: Clone,
{
type Output = A<M>;
fn add(self, rhs: A<M>) -> Self::Output {
let mut out = self.clone();
out.add_assign(&rhs);
out
}
}
impl<'a, M> Add<&'a A<M>> for A<M>
where
for<'x> &'x M: Add<Output = M>,
{
type Output = Self;
fn add(mut self, rhs: &'a A<M>) -> Self::Output {
self.add_assign(rhs);
self
}
}
#[allow(clippy::extra_unused_lifetimes)]
impl<'a, M> Add<A<M>> for A<M>
where
for<'x> &'x M: Add<Output = M>,
{
type Output = Self;
fn add(mut self, rhs: A<M>) -> Self::Output {
self.add_assign(&rhs);
self
}
}
License
auto-impl-ops
is AGPL-3.0-or-later.
The code generated by this proc-macro is exception of AGPL.
You can choose its license as you like.