Trait nonzero_ext::NonZero

pub trait NonZero {
    type Primitive;

    fn new(n: Self::Primitive) -> Option<Self>
    where
        Self: Sized;
    fn get(self) -> Self::Primitive;
}

A trait identifying a non-zero integral type. It is useful mostly in order to give to genericized helper functions as impl NonZero arguments.

Required Associated Types

type Primitive

The primitive type (e.g. u8) underlying this integral type.

Required Methods

fn new(n: Self::Primitive) -> Option<Self>where
    Self: Sized,

Creates a new non-zero object from an integer that might be zero.

fn get(self) -> Self::Primitive

Returns the value as a primitive type.

Implementations on Foreign Types

impl NonZero for NonZeroU8

type Primitive = u8

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

fn get(self) -> Self::Primitive

impl NonZero for NonZeroU16

type Primitive = u16

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

fn get(self) -> Self::Primitive

impl NonZero for NonZeroU32

type Primitive = u32

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

fn get(self) -> Self::Primitive

impl NonZero for NonZeroU64

type Primitive = u64

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

fn get(self) -> Self::Primitive

impl NonZero for NonZeroU128

type Primitive = u128

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

fn get(self) -> Self::Primitive

impl NonZero for NonZeroUsize

type Primitive = usize

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

fn get(self) -> Self::Primitive

Implementors