Trait comlib_math::NonZero

pub trait NonZero: Sized + Copy {
    type Base;
    fn new(value: Self::Base) -> Option<Self>;
    unsafe fn new_unchecked(value: Self::Base) -> Self;
    fn get(self) -> Self::Base;
}

Trait implemented by numeric types which cannot contain 0.

Associated Types

type Base

Corresponding zeroable numeric type.

Required methods

fn new(value: Self::Base) -> Option<Self>

Creates a new non-zero value.

Returns None if the given value is 0.

unsafe fn new_unchecked(value: Self::Base) -> Self

Creates a new non-zero value without checking that the value is non-zero.

Safety

The given value must be non-zero.

fn get(self) -> Self::Base

Gets the value as a zeroable type.

Implementations on Foreign Types

impl NonZero for NonZeroU8

type Base = u8

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroU16

type Base = u16

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroU32

type Base = u32

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroU64

type Base = u64

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroU128

type Base = u128

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroUsize

type Base = usize

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroI8

type Base = i8

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroI16

type Base = i16

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroI32

type Base = i32

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroI64

type Base = i64

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroI128

type Base = i128

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

impl NonZero for NonZeroIsize

type Base = isize

fn new(value: Self::Base) -> Option<Self>

unsafe fn new_unchecked(value: Self::Base) -> Self

fn get(self) -> Self::Base

Implementors