1.0.0[−][src]Trait verified::Add
The addition operator +
.
Note that Rhs
is Self
by default, but this is not mandatory. For
example, std::time::SystemTime
implements Add<Duration>
, which permits
operations of the form SystemTime = SystemTime + Duration
.
Examples
Add
able points
use std::ops::Add; #[derive(Debug, Copy, Clone, PartialEq)] struct Point { x: i32, y: i32, } impl Add for Point { type Output = Self; fn add(self, other: Self) -> Self { Self { x: self.x + other.x, y: self.y + other.y, } } } assert_eq!(Point { x: 1, y: 0 } + Point { x: 2, y: 3 }, Point { x: 3, y: 3 });
Implementing Add
with generics
Here is an example of the same Point
struct implementing the Add
trait
using generics.
use std::ops::Add; #[derive(Debug, Copy, Clone, PartialEq)] struct Point<T> { x: T, y: T, } // Notice that the implementation uses the associated type `Output`. impl<T: Add<Output = T>> Add for Point<T> { type Output = Self; fn add(self, other: Self) -> Self::Output { Self { x: self.x + other.x, y: self.y + other.y, } } } assert_eq!(Point { x: 1, y: 0 } + Point { x: 2, y: 3 }, Point { x: 3, y: 3 });
Associated Types
type Output
The resulting type after applying the +
operator.
Required methods
Loading content...Implementations on Foreign Types
impl Add<Duration> for Instant
[src]
type Output = Instant
fn add(self, other: Duration) -> Instant
[src]
Panics
This function may panic if the resulting point in time cannot be represented by the
underlying data structure. See checked_add
for a version without panic.
impl Add<Duration> for SystemTime
[src]
type Output = SystemTime
fn add(self, dur: Duration) -> SystemTime
[src]
Panics
This function may panic if the resulting point in time cannot be represented by the
underlying data structure. See checked_add
for a version without panic.
impl<'_, '_> Add<&'_ Wrapping<u32>> for &'_ Wrapping<u32>
[src]
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
fn add(
self,
other: &Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
[src]
self,
other: &Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl Add<Wrapping<i128>> for Wrapping<i128>
[src]
impl<'a> Add<usize> for &'a usize
[src]
type Output = <usize as Add<usize>>::Output
fn add(self, other: usize) -> <usize as Add<usize>>::Output
[src]
impl<'a> Add<i8> for &'a i8
[src]
impl<'_> Add<&'_ Wrapping<isize>> for Wrapping<isize>
[src]
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
fn add(
self,
other: &Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
[src]
self,
other: &Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'_> Add<&'_ Wrapping<u64>> for Wrapping<u64>
[src]
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
fn add(
self,
other: &Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
[src]
self,
other: &Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i128>> for &'_ Wrapping<i128>
[src]
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
fn add(
self,
other: &Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
[src]
self,
other: &Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl Add<u8> for u8
[src]
impl<'_, '_> Add<&'_ i16> for &'_ i16
[src]
impl<'a> Add<Wrapping<u128>> for &'a Wrapping<u128>
[src]
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
fn add(
self,
other: Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
[src]
self,
other: Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'_, '_> Add<&'_ u32> for &'_ u32
[src]
impl<'_> Add<&'_ isize> for isize
[src]
type Output = <isize as Add<isize>>::Output
fn add(self, other: &isize) -> <isize as Add<isize>>::Output
[src]
impl<'_> Add<&'_ u64> for u64
[src]
impl<'a> Add<i16> for &'a i16
[src]
impl<'a> Add<f64> for &'a f64
[src]
impl Add<u32> for u32
[src]
impl Add<Wrapping<i16>> for Wrapping<i16>
[src]
impl Add<Wrapping<u32>> for Wrapping<u32>
[src]
impl<'_> Add<&'_ i8> for i8
[src]
impl<'a> Add<i32> for &'a i32
[src]
impl<'a> Add<i128> for &'a i128
[src]
type Output = <i128 as Add<i128>>::Output
fn add(self, other: i128) -> <i128 as Add<i128>>::Output
[src]
impl Add<Wrapping<i32>> for Wrapping<i32>
[src]
impl<'a> Add<u64> for &'a u64
[src]
impl<'a> Add<u16> for &'a u16
[src]
impl<'a> Add<Wrapping<i32>> for &'a Wrapping<i32>
[src]
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
fn add(
self,
other: Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
[src]
self,
other: Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'_> Add<&'_ u16> for u16
[src]
impl<'_> Add<&'_ f32> for f32
[src]
impl<'a> Add<Wrapping<i64>> for &'a Wrapping<i64>
[src]
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
fn add(
self,
other: Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
[src]
self,
other: Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i16>> for &'_ Wrapping<i16>
[src]
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
fn add(
self,
other: &Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
[src]
self,
other: &Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl<'_, '_> Add<&'_ Wrapping<i32>> for &'_ Wrapping<i32>
[src]
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
fn add(
self,
other: &Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
[src]
self,
other: &Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'a> Add<u128> for &'a u128
[src]
type Output = <u128 as Add<u128>>::Output
fn add(self, other: u128) -> <u128 as Add<u128>>::Output
[src]
impl<'_> Add<&'_ i128> for i128
[src]
type Output = <i128 as Add<i128>>::Output
fn add(self, other: &i128) -> <i128 as Add<i128>>::Output
[src]
impl Add<Wrapping<i64>> for Wrapping<i64>
[src]
impl<'_> Add<&'_ Wrapping<u16>> for Wrapping<u16>
[src]
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
fn add(
self,
other: &Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
[src]
self,
other: &Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'a> Add<u8> for &'a u8
[src]
impl Add<Wrapping<u8>> for Wrapping<u8>
[src]
impl<'a> Add<Wrapping<i8>> for &'a Wrapping<i8>
[src]
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
fn add(self, other: Wrapping<i8>) -> <Wrapping<i8> as Add<Wrapping<i8>>>::Output
[src]
impl Add<Wrapping<usize>> for Wrapping<usize>
[src]
impl<'_, '_> Add<&'_ u16> for &'_ u16
[src]
impl Add<i64> for i64
[src]
impl<'a> Add<Wrapping<i128>> for &'a Wrapping<i128>
[src]
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
fn add(
self,
other: Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
[src]
self,
other: Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl Add<i8> for i8
[src]
impl Add<u128> for u128
[src]
impl<'a> Add<i64> for &'a i64
[src]
impl<'_> Add<&'_ Wrapping<i64>> for Wrapping<i64>
[src]
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
fn add(
self,
other: &Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
[src]
self,
other: &Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl<'a> Add<Wrapping<isize>> for &'a Wrapping<isize>
[src]
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
fn add(
self,
other: Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
[src]
self,
other: Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'_> Add<&'_ u128> for u128
[src]
type Output = <u128 as Add<u128>>::Output
fn add(self, other: &u128) -> <u128 as Add<u128>>::Output
[src]
impl<'_> Add<&'_ Wrapping<i16>> for Wrapping<i16>
[src]
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
fn add(
self,
other: &Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
[src]
self,
other: &Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl<'_, '_> Add<&'_ u64> for &'_ u64
[src]
impl<'a> Add<Wrapping<u16>> for &'a Wrapping<u16>
[src]
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
fn add(
self,
other: Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
[src]
self,
other: Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'_, '_> Add<&'_ Wrapping<u8>> for &'_ Wrapping<u8>
[src]
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
fn add(
self,
other: &Wrapping<u8>
) -> <Wrapping<u8> as Add<Wrapping<u8>>>::Output
[src]
self,
other: &Wrapping<u8>
) -> <Wrapping<u8> as Add<Wrapping<u8>>>::Output
impl<'_> Add<&'_ Wrapping<usize>> for Wrapping<usize>
[src]
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
fn add(
self,
other: &Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
[src]
self,
other: &Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
impl Add<u16> for u16
[src]
impl<'_, '_> Add<&'_ isize> for &'_ isize
[src]
type Output = <isize as Add<isize>>::Output
fn add(self, other: &isize) -> <isize as Add<isize>>::Output
[src]
impl<'a> Add<Wrapping<usize>> for &'a Wrapping<usize>
[src]
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
fn add(
self,
other: Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
[src]
self,
other: Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
impl<'_> Add<&'_ f64> for f64
[src]
impl<'a> Add<u32> for &'a u32
[src]
impl<'_, '_> Add<&'_ i32> for &'_ i32
[src]
impl<'_> Add<&'_ Wrapping<u8>> for Wrapping<u8>
[src]
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
fn add(
self,
other: &Wrapping<u8>
) -> <Wrapping<u8> as Add<Wrapping<u8>>>::Output
[src]
self,
other: &Wrapping<u8>
) -> <Wrapping<u8> as Add<Wrapping<u8>>>::Output
impl<'_, '_> Add<&'_ Wrapping<usize>> for &'_ Wrapping<usize>
[src]
type Output = <Wrapping<usize> as Add<Wrapping<usize>>>::Output
fn add(
self,
other: &Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
[src]
self,
other: &Wrapping<usize>
) -> <Wrapping<usize> as Add<Wrapping<usize>>>::Output
impl<'a> Add<f32> for &'a f32
[src]
impl<'a> Add<Wrapping<u64>> for &'a Wrapping<u64>
[src]
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
fn add(
self,
other: Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
[src]
self,
other: Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl Add<Wrapping<i8>> for Wrapping<i8>
[src]
impl<'_, '_> Add<&'_ Wrapping<isize>> for &'_ Wrapping<isize>
[src]
type Output = <Wrapping<isize> as Add<Wrapping<isize>>>::Output
fn add(
self,
other: &Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
[src]
self,
other: &Wrapping<isize>
) -> <Wrapping<isize> as Add<Wrapping<isize>>>::Output
impl<'_> Add<&'_ Wrapping<u32>> for Wrapping<u32>
[src]
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
fn add(
self,
other: &Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
[src]
self,
other: &Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl<'a> Add<Wrapping<u32>> for &'a Wrapping<u32>
[src]
type Output = <Wrapping<u32> as Add<Wrapping<u32>>>::Output
fn add(
self,
other: Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
[src]
self,
other: Wrapping<u32>
) -> <Wrapping<u32> as Add<Wrapping<u32>>>::Output
impl<'_, '_> Add<&'_ f32> for &'_ f32
[src]
impl Add<usize> for usize
[src]
impl<'_> Add<&'_ Wrapping<u128>> for Wrapping<u128>
[src]
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
fn add(
self,
other: &Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
[src]
self,
other: &Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'_> Add<&'_ u32> for u32
[src]
impl Add<isize> for isize
[src]
impl Add<i16> for i16
[src]
impl<'_> Add<&'_ Wrapping<i8>> for Wrapping<i8>
[src]
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
fn add(
self,
other: &Wrapping<i8>
) -> <Wrapping<i8> as Add<Wrapping<i8>>>::Output
[src]
self,
other: &Wrapping<i8>
) -> <Wrapping<i8> as Add<Wrapping<i8>>>::Output
impl Add<i128> for i128
[src]
impl Add<f64> for f64
[src]
impl<'_, '_> Add<&'_ Wrapping<i64>> for &'_ Wrapping<i64>
[src]
type Output = <Wrapping<i64> as Add<Wrapping<i64>>>::Output
fn add(
self,
other: &Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
[src]
self,
other: &Wrapping<i64>
) -> <Wrapping<i64> as Add<Wrapping<i64>>>::Output
impl Add<Wrapping<u16>> for Wrapping<u16>
[src]
impl Add<f32> for f32
[src]
impl<'_> Add<&'_ u8> for u8
[src]
impl Add<u64> for u64
[src]
impl<'_, '_> Add<&'_ Wrapping<u128>> for &'_ Wrapping<u128>
[src]
type Output = <Wrapping<u128> as Add<Wrapping<u128>>>::Output
fn add(
self,
other: &Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
[src]
self,
other: &Wrapping<u128>
) -> <Wrapping<u128> as Add<Wrapping<u128>>>::Output
impl<'_, '_> Add<&'_ usize> for &'_ usize
[src]
type Output = <usize as Add<usize>>::Output
fn add(self, other: &usize) -> <usize as Add<usize>>::Output
[src]
impl Add<i32> for i32
[src]
impl<'_> Add<&'_ i64> for i64
[src]
impl<'a> Add<Wrapping<i16>> for &'a Wrapping<i16>
[src]
type Output = <Wrapping<i16> as Add<Wrapping<i16>>>::Output
fn add(
self,
other: Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
[src]
self,
other: Wrapping<i16>
) -> <Wrapping<i16> as Add<Wrapping<i16>>>::Output
impl Add<Wrapping<isize>> for Wrapping<isize>
[src]
impl<'_> Add<&'_ Wrapping<i32>> for Wrapping<i32>
[src]
type Output = <Wrapping<i32> as Add<Wrapping<i32>>>::Output
fn add(
self,
other: &Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
[src]
self,
other: &Wrapping<i32>
) -> <Wrapping<i32> as Add<Wrapping<i32>>>::Output
impl<'_, '_> Add<&'_ u8> for &'_ u8
[src]
impl<'_> Add<&'_ i32> for i32
[src]
impl<'_> Add<&'_ i16> for i16
[src]
impl<'_, '_> Add<&'_ i8> for &'_ i8
[src]
impl<'_, '_> Add<&'_ u128> for &'_ u128
[src]
type Output = <u128 as Add<u128>>::Output
fn add(self, other: &u128) -> <u128 as Add<u128>>::Output
[src]
impl Add<Wrapping<u64>> for Wrapping<u64>
[src]
impl<'_, '_> Add<&'_ i64> for &'_ i64
[src]
impl Add<Wrapping<u128>> for Wrapping<u128>
[src]
impl<'_> Add<&'_ Wrapping<i128>> for Wrapping<i128>
[src]
type Output = <Wrapping<i128> as Add<Wrapping<i128>>>::Output
fn add(
self,
other: &Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
[src]
self,
other: &Wrapping<i128>
) -> <Wrapping<i128> as Add<Wrapping<i128>>>::Output
impl<'_> Add<&'_ usize> for usize
[src]
type Output = <usize as Add<usize>>::Output
fn add(self, other: &usize) -> <usize as Add<usize>>::Output
[src]
impl<'_, '_> Add<&'_ Wrapping<u64>> for &'_ Wrapping<u64>
[src]
type Output = <Wrapping<u64> as Add<Wrapping<u64>>>::Output
fn add(
self,
other: &Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
[src]
self,
other: &Wrapping<u64>
) -> <Wrapping<u64> as Add<Wrapping<u64>>>::Output
impl<'_, '_> Add<&'_ f64> for &'_ f64
[src]
impl<'a> Add<isize> for &'a isize
[src]
type Output = <isize as Add<isize>>::Output
fn add(self, other: isize) -> <isize as Add<isize>>::Output
[src]
impl<'_, '_> Add<&'_ Wrapping<u16>> for &'_ Wrapping<u16>
[src]
type Output = <Wrapping<u16> as Add<Wrapping<u16>>>::Output
fn add(
self,
other: &Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
[src]
self,
other: &Wrapping<u16>
) -> <Wrapping<u16> as Add<Wrapping<u16>>>::Output
impl<'a> Add<Wrapping<u8>> for &'a Wrapping<u8>
[src]
type Output = <Wrapping<u8> as Add<Wrapping<u8>>>::Output
fn add(self, other: Wrapping<u8>) -> <Wrapping<u8> as Add<Wrapping<u8>>>::Output
[src]
impl Add<Duration> for Duration
[src]
impl<'_, '_> Add<&'_ i128> for &'_ i128
[src]
type Output = <i128 as Add<i128>>::Output
fn add(self, other: &i128) -> <i128 as Add<i128>>::Output
[src]
impl<'_, '_> Add<&'_ Wrapping<i8>> for &'_ Wrapping<i8>
[src]
type Output = <Wrapping<i8> as Add<Wrapping<i8>>>::Output
fn add(
self,
other: &Wrapping<i8>
) -> <Wrapping<i8> as Add<Wrapping<i8>>>::Output
[src]
self,
other: &Wrapping<i8>
) -> <Wrapping<i8> as Add<Wrapping<i8>>>::Output
impl<'a> Add<Cow<'a, str>> for Cow<'a, str>
[src]
type Output = Cow<'a, str>
fn add(self, rhs: Cow<'a, str>) -> <Cow<'a, str> as Add<Cow<'a, str>>>::Output
[src]
impl<'_> Add<&'_ str> for String
[src]
Implements the +
operator for concatenating two strings.
This consumes the String
on the left-hand side and re-uses its buffer (growing it if
necessary). This is done to avoid allocating a new String
and copying the entire contents on
every operation, which would lead to O(n^2)
running time when building an n
-byte string by
repeated concatenation.
The string on the right-hand side is only borrowed; its contents are copied into the returned
String
.
Examples
Concatenating two String
s takes the first by value and borrows the second:
let a = String::from("hello"); let b = String::from(" world"); let c = a + &b; // `a` is moved and can no longer be used here.
If you want to keep using the first String
, you can clone it and append to the clone instead:
let a = String::from("hello"); let b = String::from(" world"); let c = a.clone() + &b; // `a` is still valid here.
Concatenating &str
slices can be done by converting the first to a String
:
let a = "hello"; let b = " world"; let c = a.to_string() + b;
impl<'a> Add<&'a str> for Cow<'a, str>
[src]
Loading content...
Implementors
impl Add<ATerm> for ATerm
[src]
impl Add<B0> for UTerm
[src]
UTerm + B0 = UTerm
impl Add<B1> for UTerm
[src]
UTerm + B1 = UInt<UTerm, B1>
impl<Al, Vl, Ar, Vr> Add<TArr<Vr, Ar>> for TArr<Vl, Al> where
Al: Add<Ar>,
Vl: Add<Vr>,
[src]
Al: Add<Ar>,
Vl: Add<Vr>,
type Output = TArr<<Vl as Add<Vr>>::Output, <Al as Add<Ar>>::Output>
fn add(self, rhs: TArr<Vr, Ar>) -> <TArr<Vl, Al> as Add<TArr<Vr, Ar>>>::Output
[src]
impl<I> Add<I> for Z0 where
I: Integer,
[src]
I: Integer,
Z0 + I = I
impl<SizeL: Unsigned, SizeR: Unsigned, Element> Add<Vec<SizeR, Element>> for Vec<SizeL, Element> where
<SizeL as Add<SizeR>>::Output: Unsigned,
<SizeL as Add<SizeR>>::Output: Cmp,
<SizeL as Add<SizeR>>::Output: IsEqual<<SizeL as Add<SizeR>>::Output>,
SizeL: Add<SizeR>,
[src]
<SizeL as Add<SizeR>>::Output: Unsigned,
<SizeL as Add<SizeR>>::Output: Cmp,
<SizeL as Add<SizeR>>::Output: IsEqual<<SizeL as Add<SizeR>>::Output>,
SizeL: Add<SizeR>,
type Output = Vec<<SizeL as Add<SizeR>>::Output, Element>
fn add(self, Vec: Vec<SizeR, Element>) -> Self::Output
[src]
impl<U> Add<B1> for UInt<U, B0> where
U: Unsigned,
[src]
U: Unsigned,
UInt<U, B0> + B1 = UInt<U + B1>
impl<U> Add<B1> for UInt<U, B1> where
U: Unsigned + Add<B1>,
<U as Add<B1>>::Output: Unsigned,
[src]
U: Unsigned + Add<B1>,
<U as Add<B1>>::Output: Unsigned,
UInt<U, B1> + B1 = UInt<U + B1, B0>
type Output = UInt<<U as Add<B1>>::Output, B0>
fn add(self, B1) -> <UInt<U, B1> as Add<B1>>::Output
[src]
impl<U> Add<Z0> for NInt<U> where
U: NonZero + Unsigned,
[src]
U: NonZero + Unsigned,
NInt + Z0 = NInt
impl<U> Add<Z0> for PInt<U> where
U: NonZero + Unsigned,
[src]
U: NonZero + Unsigned,
PInt + Z0 = PInt
impl<U> Add<U> for UTerm where
U: Unsigned,
[src]
U: Unsigned,
UTerm + U = U
impl<U, B> Add<B0> for UInt<U, B> where
B: Bit,
U: Unsigned,
[src]
B: Bit,
U: Unsigned,
U + B0 = U
impl<U, B> Add<UTerm> for UInt<U, B> where
B: Bit,
U: Unsigned,
[src]
B: Bit,
U: Unsigned,
UInt<U, B> + UTerm = UInt<U, B>
impl<Ul, Ur> Add<NInt<Ur>> for NInt<Ul> where
Ul: NonZero + Unsigned + Add<Ur>,
Ur: NonZero + Unsigned,
<Ul as Add<Ur>>::Output: Unsigned,
<Ul as Add<Ur>>::Output: NonZero,
[src]
Ul: NonZero + Unsigned + Add<Ur>,
Ur: NonZero + Unsigned,
<Ul as Add<Ur>>::Output: Unsigned,
<Ul as Add<Ur>>::Output: NonZero,
N(Ul) + N(Ur) = N(Ul + Ur)
type Output = NInt<<Ul as Add<Ur>>::Output>
fn add(self, NInt<Ur>) -> <NInt<Ul> as Add<NInt<Ur>>>::Output
[src]
impl<Ul, Ur> Add<NInt<Ur>> for PInt<Ul> where
Ul: NonZero + Unsigned + Cmp<Ur> + PrivateIntegerAdd<<Ul as Cmp<Ur>>::Output, Ur>,
Ur: NonZero + Unsigned,
[src]
Ul: NonZero + Unsigned + Cmp<Ur> + PrivateIntegerAdd<<Ul as Cmp<Ur>>::Output, Ur>,
Ur: NonZero + Unsigned,
P(Ul) + N(Ur)
: We resolve this with our PrivateAdd
type Output = <Ul as PrivateIntegerAdd<<Ul as Cmp<Ur>>::Output, Ur>>::Output
fn add(self, rhs: NInt<Ur>) -> <PInt<Ul> as Add<NInt<Ur>>>::Output
[src]
impl<Ul, Ur> Add<PInt<Ur>> for NInt<Ul> where
Ul: NonZero + Unsigned,
Ur: NonZero + Unsigned + Cmp<Ul> + PrivateIntegerAdd<<Ur as Cmp<Ul>>::Output, Ul>,
[src]
Ul: NonZero + Unsigned,
Ur: NonZero + Unsigned + Cmp<Ul> + PrivateIntegerAdd<<Ur as Cmp<Ul>>::Output, Ul>,
N(Ul) + P(Ur)
: We resolve this with our PrivateAdd
type Output = <Ur as PrivateIntegerAdd<<Ur as Cmp<Ul>>::Output, Ul>>::Output
fn add(self, rhs: PInt<Ur>) -> <NInt<Ul> as Add<PInt<Ur>>>::Output
[src]
impl<Ul, Ur> Add<PInt<Ur>> for PInt<Ul> where
Ul: NonZero + Unsigned + Add<Ur>,
Ur: NonZero + Unsigned,
<Ul as Add<Ur>>::Output: Unsigned,
<Ul as Add<Ur>>::Output: NonZero,
[src]
Ul: NonZero + Unsigned + Add<Ur>,
Ur: NonZero + Unsigned,
<Ul as Add<Ur>>::Output: Unsigned,
<Ul as Add<Ur>>::Output: NonZero,
P(Ul) + P(Ur) = P(Ul + Ur)
type Output = PInt<<Ul as Add<Ur>>::Output>
fn add(self, PInt<Ur>) -> <PInt<Ul> as Add<PInt<Ur>>>::Output
[src]
impl<Ul, Ur> Add<UInt<Ur, B0>> for UInt<Ul, B0> where
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
[src]
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
UInt<Ul, B0> + UInt<Ur, B0> = UInt<Ul + Ur, B0>
type Output = UInt<<Ul as Add<Ur>>::Output, B0>
fn add(self, rhs: UInt<Ur, B0>) -> <UInt<Ul, B0> as Add<UInt<Ur, B0>>>::Output
[src]
impl<Ul, Ur> Add<UInt<Ur, B0>> for UInt<Ul, B1> where
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
[src]
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
UInt<Ul, B1> + UInt<Ur, B0> = UInt<Ul + Ur, B1>
type Output = UInt<<Ul as Add<Ur>>::Output, B1>
fn add(self, rhs: UInt<Ur, B0>) -> <UInt<Ul, B1> as Add<UInt<Ur, B0>>>::Output
[src]
impl<Ul, Ur> Add<UInt<Ur, B1>> for UInt<Ul, B0> where
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
[src]
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
UInt<Ul, B0> + UInt<Ur, B1> = UInt<Ul + Ur, B1>
type Output = UInt<<Ul as Add<Ur>>::Output, B1>
fn add(self, rhs: UInt<Ur, B1>) -> <UInt<Ul, B0> as Add<UInt<Ur, B1>>>::Output
[src]
impl<Ul, Ur> Add<UInt<Ur, B1>> for UInt<Ul, B1> where
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
<Ul as Add<Ur>>::Output: Add<B1>,
[src]
Ul: Unsigned + Add<Ur>,
Ur: Unsigned,
<Ul as Add<Ur>>::Output: Add<B1>,
UInt<Ul, B1> + UInt<Ur, B1> = UInt<(Ul + Ur) + B1, B0>