pub struct NInt<U: Unsigned + NonZero> { /* private fields */ }
Expand description
Type-level signed integers with negative sign.
Implementations§
Trait Implementations§
source§impl<Ul, Ur: Unsigned + NonZero> Add<NInt<Ur>> for PInt<Ul>
impl<Ul, Ur: Unsigned + NonZero> Add<NInt<Ur>> for PInt<Ul>
P(Ul) + N(Ur)
: We resolve this with our PrivateAdd
source§impl<Ul: Unsigned + NonZero, Ur> Add<PInt<Ur>> for NInt<Ul>
impl<Ul: Unsigned + NonZero, Ur> Add<PInt<Ur>> for NInt<Ul>
N(Ul) + P(Ur)
: We resolve this with our PrivateAdd
source§impl<Nl: Unsigned + NonZero, Nr: Cmp<Nl> + Unsigned + NonZero> Cmp<NInt<Nr>> for NInt<Nl>
impl<Nl: Unsigned + NonZero, Nr: Cmp<Nl> + Unsigned + NonZero> Cmp<NInt<Nr>> for NInt<Nl>
-X <==> -Y
source§impl<U: Ord + Unsigned + NonZero> Ord for NInt<U>
impl<U: Ord + Unsigned + NonZero> Ord for NInt<U>
source§impl<U: PartialEq + Unsigned + NonZero> PartialEq for NInt<U>
impl<U: PartialEq + Unsigned + NonZero> PartialEq for NInt<U>
source§impl<U: PartialOrd + Unsigned + NonZero> PartialOrd for NInt<U>
impl<U: PartialOrd + Unsigned + NonZero> PartialOrd for NInt<U>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B0>>> for NInt<Ul>
impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B0>>> for NInt<Ul>
N(Ul)^P(Ur) = P(Ul^Ur) if Ur is even
source§impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B1>>> for NInt<Ul>
impl<Ul, Ur: Unsigned> Pow<PInt<UInt<Ur, B1>>> for NInt<Ul>
N(Ul)^P(Ur) = N(Ul^Ur) if Ur is odd
source§impl<Ul: Unsigned + NonZero, Ur> Sub<NInt<Ur>> for NInt<Ul>
impl<Ul: Unsigned + NonZero, Ur> Sub<NInt<Ur>> for NInt<Ul>
N(Ul) - N(Ur)
: We resolve this with our PrivateAdd
impl<U: Copy + Unsigned + NonZero> Copy for NInt<U>
impl<U: Eq + Unsigned + NonZero> Eq for NInt<U>
impl<U: Unsigned + NonZero> NonZero for NInt<U>
impl<U: Unsigned + NonZero> StructuralPartialEq for NInt<U>
Auto Trait Implementations§
impl<U> Freeze for NInt<U>where
U: Freeze,
impl<U> RefUnwindSafe for NInt<U>where
U: RefUnwindSafe,
impl<U> Send for NInt<U>where
U: Send,
impl<U> Sync for NInt<U>where
U: Sync,
impl<U> Unpin for NInt<U>where
U: Unpin,
impl<U> UnwindSafe for NInt<U>where
U: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<M, N> PartialDiv<N> for M
impl<M, N> PartialDiv<N> for M
source§fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output
fn partial_div(self, rhs: N) -> <M as PartialDiv<N>>::Output
Method for performing the division