Trait HasNonZero 

pub trait HasNonZero: Sized {
    type NonZero: Copy;

    // Required methods
    fn into_nonzero(self) -> Option<Self::NonZero>;
    fn nonzero_get(nz: Self::NonZero) -> Self;
}

Bridge to core::num::NonZero — “the non-zero form of Self”.

This does not duplicate core::num::NonZero: for the integer primitives NonZero is core::num::NonZero<Self>, with its real niche. (core::num::NonZero<T> is sealed to primitives, so a future bignum backend supplies its own non-zero type as the associated type instead.)

The value is recovered through the crate-owned const accessor nonzero_get rather than an Into<Self> bound: From<NonZero<T>> for T is not const, so such a bound would poison every generic const consumer.

Required Associated Types

type NonZero: Copy

The non-zero form of Self (core::num::NonZero<Self> for primitives).

Required Methods

fn into_nonzero(self) -> Option<Self::NonZero>

Some iff self != 0.

fn nonzero_get(nz: Self::NonZero) -> Self

Recover the underlying value from its non-zero form.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl HasNonZero for u8

type NonZero = NonZero<u8>

fn into_nonzero(self) -> Option<NonZero<u8>>

fn nonzero_get(nz: NonZero<u8>) -> u8

impl HasNonZero for u16

type NonZero = NonZero<u16>

fn into_nonzero(self) -> Option<NonZero<u16>>

fn nonzero_get(nz: NonZero<u16>) -> u16

impl HasNonZero for u32

type NonZero = NonZero<u32>

fn into_nonzero(self) -> Option<NonZero<u32>>

fn nonzero_get(nz: NonZero<u32>) -> u32

impl HasNonZero for u64

type NonZero = NonZero<u64>

fn into_nonzero(self) -> Option<NonZero<u64>>

fn nonzero_get(nz: NonZero<u64>) -> u64

impl HasNonZero for u128

type NonZero = NonZero<u128>

fn into_nonzero(self) -> Option<NonZero<u128>>

fn nonzero_get(nz: NonZero<u128>) -> u128

impl HasNonZero for usize

type NonZero = NonZero<usize>

fn into_nonzero(self) -> Option<NonZero<usize>>

fn nonzero_get(nz: NonZero<usize>) -> usize

Implementors