[−][src]Trait ranged_num::AddU
typenum
doesn't currently allow you to easily add an Integer
with an Unsigned
.
The AddU
trait lets you add some Unsigned
to both Integer
s and Unsigned
s.
Example:
use typenum::*; use ranged_num::AddU; assert_type_eq!(<U6 as AddU<U3>>::Output, U9); assert_type_eq!(<P6 as AddU<U3>>::Output, P9); assert_type_eq!(<N6 as AddU<U3>>::Output, N3);
Associated Types
Loading content...Implementations on Foreign Types
impl<U, B, T> AddU<T> for UInt<U, B> where
T: Unsigned,
UInt<U, B>: Add<T>,
[src]
T: Unsigned,
UInt<U, B>: Add<T>,
impl<U, T> AddU<T> for PInt<U> where
T: Unsigned + NonZero,
U: Unsigned + NonZero,
PInt<U>: Add<PInt<T>>,
[src]
T: Unsigned + NonZero,
U: Unsigned + NonZero,
PInt<U>: Add<PInt<T>>,
impl<U, T> AddU<T> for NInt<U> where
T: Unsigned + NonZero,
U: Unsigned + NonZero,
NInt<U>: Add<PInt<T>>,
[src]
Loading content...T: Unsigned + NonZero,
U: Unsigned + NonZero,
NInt<U>: Add<PInt<T>>,