Trait NonZero 

pub trait NonZero: Sized + Copy {
    type Int: PrimUnsignedInt<NonZero = Self>;

    // Required methods
    unsafe fn new_unchecked(n: Self::Int) -> Self;
    fn new(n: Self::Int) -> Option<Self>;
    fn get(self) -> Self::Int;
}

Functions for primitive type, which has a non-zero correspondant.

Required Associated Types

type Int: PrimUnsignedInt<NonZero = Self>

The primitive unsigned int correspondant.

Required Methods

unsafe fn new_unchecked(n: Self::Int) -> Self

Create a non-zero without checking the value.

Safety

The value must not be zero.

fn new(n: Self::Int) -> Option<Self>

Create a non-zero if the given value is not zero.

fn get(self) -> Self::Int

Returns the value as the primitive type.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl NonZero for NonZero<u8>

type Int = u8

unsafe fn new_unchecked(n: <NonZero<u8> as NonZero>::Int) -> NonZero<u8>

fn new(n: <NonZero<u8> as NonZero>::Int) -> Option<NonZero<u8>>

fn get(self) -> <NonZero<u8> as NonZero>::Int

impl NonZero for NonZero<u16>

type Int = u16

unsafe fn new_unchecked(n: <NonZero<u16> as NonZero>::Int) -> NonZero<u16>

fn new(n: <NonZero<u16> as NonZero>::Int) -> Option<NonZero<u16>>

fn get(self) -> <NonZero<u16> as NonZero>::Int

impl NonZero for NonZero<u32>

type Int = u32

unsafe fn new_unchecked(n: <NonZero<u32> as NonZero>::Int) -> NonZero<u32>

fn new(n: <NonZero<u32> as NonZero>::Int) -> Option<NonZero<u32>>

fn get(self) -> <NonZero<u32> as NonZero>::Int

impl NonZero for NonZero<u64>

type Int = u64

unsafe fn new_unchecked(n: <NonZero<u64> as NonZero>::Int) -> NonZero<u64>

fn new(n: <NonZero<u64> as NonZero>::Int) -> Option<NonZero<u64>>

fn get(self) -> <NonZero<u64> as NonZero>::Int

impl NonZero for NonZero<u128>

type Int = u128

unsafe fn new_unchecked(n: <NonZero<u128> as NonZero>::Int) -> NonZero<u128>

fn new(n: <NonZero<u128> as NonZero>::Int) -> Option<NonZero<u128>>

fn get(self) -> <NonZero<u128> as NonZero>::Int

impl NonZero for NonZero<usize>

type Int = usize

unsafe fn new_unchecked(n: <NonZero<usize> as NonZero>::Int) -> NonZero<usize>

fn new(n: <NonZero<usize> as NonZero>::Int) -> Option<NonZero<usize>>

fn get(self) -> <NonZero<usize> as NonZero>::Int

Implementors