Struct Unchecked

Source
pub struct Unchecked<T, D = WithoutDeref> { /* private fields */ }
Expand description

Intermediate result of artimetic operations on Checked value that might contain overflow

At any point contains either a value of the inner type T, or a marker that overflow was detected and any subsequent artimetic operations will keep resulting in overflow, similiarly to how NaN behaves.

Implementations§

Source§

impl<T, D> Unchecked<T, D>

Source

pub fn check(self) -> Option<Checked<T, D>>

Convert back to Checked.

Returns None if inner value denotes overflow.

Trait Implementations§

Source§

impl<T, D, Rhs> Add<Rhs> for Unchecked<T, D>
where T: CheckedAdd<Rhs>,

Source§

type Output = Unchecked<<T as CheckedAdd<Rhs>>::Output, D>

The resulting type after applying the + operator.
Source§

fn add(self, rhs: Rhs) -> Self::Output

Performs the + operation. Read more
Source§

impl<T, D> Clone for Unchecked<T, D>
where T: Clone,

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<T: Debug, D: Debug> Debug for Unchecked<T, D>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl<T, D, Rhs> Div<Rhs> for Unchecked<T, D>
where T: CheckedDiv<Rhs>,

Source§

type Output = Unchecked<<T as CheckedDiv<Rhs>>::Output, D>

The resulting type after applying the / operator.
Source§

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation. Read more
Source§

impl<T, D, Rhs> Mul<Rhs> for Unchecked<T, D>
where T: CheckedMul<Rhs>,

Source§

type Output = Unchecked<<T as CheckedMul<Rhs>>::Output, D>

The resulting type after applying the * operator.
Source§

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation. Read more
Source§

impl<T, D, Rhs> Sub<Rhs> for Unchecked<T, D>
where T: CheckedSub<Rhs>,

Source§

type Output = Unchecked<<T as CheckedSub<Rhs>>::Output, D>

The resulting type after applying the - operator.
Source§

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation. Read more
Source§

impl<T, D> Copy for Unchecked<T, D>
where T: Copy,

Auto Trait Implementations§

§

impl<T, D> Freeze for Unchecked<T, D>
where T: Freeze,

§

impl<T, D> RefUnwindSafe for Unchecked<T, D>

§

impl<T, D> Send for Unchecked<T, D>
where T: Send, D: Send,

§

impl<T, D> Sync for Unchecked<T, D>
where T: Sync, D: Sync,

§

impl<T, D> Unpin for Unchecked<T, D>
where T: Unpin, D: Unpin,

§

impl<T, D> UnwindSafe for Unchecked<T, D>
where T: UnwindSafe, D: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.