pub struct NonValueU16<const V: u16>(/* private fields */);
Expand description
An unsigned integer that is known not to equal some specific value.
It has the same memory layout optimization as NonZeroU16
,
so that Option<NonValueU16>
is the same size as NonValueU16
.
§Examples
assert![NonValueI8::<13>::new(13).is_none()];
assert![NonValueI8::<13>::new(12).unwrap().get() == 12];
See also NonExtremeU16
.
Implementations§
Source§impl<const V: u16> NonValueU16<V>
impl<const V: u16> NonValueU16<V>
Sourcepub const VALID_VALUES: u16 = 65_535u16
pub const VALID_VALUES: u16 = 65_535u16
Returns the number of valid values.
Sourcepub const INVALID_VALUES: u16 = 1u16
pub const INVALID_VALUES: u16 = 1u16
Returns the number of invalid values.
Sourcepub const fn new(value: u16) -> Option<Self> ⓘ
pub const fn new(value: u16) -> Option<Self> ⓘ
Returns a NonValueU16
with the given value
, if it is not equal to V
.
Sourcepub const unsafe fn new_unchecked(value: u16) -> Self
pub const unsafe fn new_unchecked(value: u16) -> Self
Sourcepub const fn checked_add(&self, other: u16) -> NumResult<Self>
pub const fn checked_add(&self, other: u16) -> NumResult<Self>
Sourcepub const fn checked_sub(&self, other: u16) -> NumResult<Self>
pub const fn checked_sub(&self, other: u16) -> NumResult<Self>
Sourcepub const fn strict_add(&self, other: u16) -> Self
pub const fn strict_add(&self, other: u16) -> Self
Strict integer addition. Computes self + rhs
.
§Panics
Panics on overflow or if the result equals the forbidden value V
.
Sourcepub const fn strict_sub(&self, other: u16) -> Self
pub const fn strict_sub(&self, other: u16) -> Self
Strict integer substration. Computes self - rhs
.
§Panics
Panics on overflow or if the result equals the forbidden value V
.
Sourcepub const fn saturating_add(&self, other: u16) -> Self
pub const fn saturating_add(&self, other: u16) -> Self
Saturating integer addition. Computes self + rhs
.
Saturates at the numeric bounds instead of overflowing.
If the result would equal V
it will return V - 1
.
Sourcepub const fn saturating_sub(&self, other: u16) -> Self
pub const fn saturating_sub(&self, other: u16) -> Self
Saturating integer substration. Computes self - rhs
.
Saturates at the numeric bounds instead of overflowing.
If the result would equal V
it will return V + 1
.
Sourcepub const fn wrapping_add(&self, other: u16) -> Self
pub const fn wrapping_add(&self, other: u16) -> Self
Wraping integer addition. Computes self + rhs
.
Wraps at the numeric bounds instead of overflowing.
If the result would equal V
it will return V + 1
.
Sourcepub const fn wrapping_sub(&self, other: u16) -> Self
pub const fn wrapping_sub(&self, other: u16) -> Self
Wraping integer subtraction. Computes self - rhs
.
Wraps at the numeric bounds instead of overflowing.
If the result would equal V
it will return V - 1
.
Trait Implementations§
Source§impl<const V: u16> Binary for NonValueU16<V>
impl<const V: u16> Binary for NonValueU16<V>
Source§impl<const V: u16> BitSized<{$IP::BYTE_SIZE * 8}> for NonValueU16<V>
impl<const V: u16> BitSized<{$IP::BYTE_SIZE * 8}> for NonValueU16<V>
Source§const BIT_SIZE: usize = _
const BIT_SIZE: usize = _
Source§const MIN_BYTE_SIZE: usize = _
const MIN_BYTE_SIZE: usize = _
Source§impl<const V: u16> CheckedBitPattern for NonValueU16<V>
impl<const V: u16> CheckedBitPattern for NonValueU16<V>
Source§type Bits = u16
type Bits = u16
Self
must have the same layout as the specified Bits
except for
the possible invalid bit patterns being checked during
is_valid_bit_pattern
.Source§fn is_valid_bit_pattern(bits: &Self::Bits) -> bool
fn is_valid_bit_pattern(bits: &Self::Bits) -> bool
bits
as &Self
.Source§impl<const V: u16> Clone for NonValueU16<V>
impl<const V: u16> Clone for NonValueU16<V>
Source§fn clone(&self) -> NonValueU16<V>
fn clone(&self) -> NonValueU16<V>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl<const V: u16> Debug for NonValueU16<V>
impl<const V: u16> Debug for NonValueU16<V>
Source§impl<const V: u16> Display for NonValueU16<V>
impl<const V: u16> Display for NonValueU16<V>
Source§impl<const V: u16> FromStr for NonValueU16<V>
impl<const V: u16> FromStr for NonValueU16<V>
Source§impl<const V: u16> Hash for NonValueU16<V>
impl<const V: u16> Hash for NonValueU16<V>
Source§impl<const V: u16> LowerHex for NonValueU16<V>
impl<const V: u16> LowerHex for NonValueU16<V>
Source§impl<const V: u16> Octal for NonValueU16<V>
impl<const V: u16> Octal for NonValueU16<V>
Source§impl<const V: u16> Ord for NonValueU16<V>
impl<const V: u16> Ord for NonValueU16<V>
Source§fn cmp(&self, other: &NonValueU16<V>) -> Ordering
fn cmp(&self, other: &NonValueU16<V>) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl<const V: u16> PartialEq for NonValueU16<V>
impl<const V: u16> PartialEq for NonValueU16<V>
Source§impl<const V: u16> PartialOrd for NonValueU16<V>
impl<const V: u16> PartialOrd for NonValueU16<V>
Source§impl<const V: u16> UpperHex for NonValueU16<V>
impl<const V: u16> UpperHex for NonValueU16<V>
impl<const V: u16> Copy for NonValueU16<V>
impl<const V: u16> Eq for NonValueU16<V>
impl<const V: u16> NoUninit for NonValueU16<V>
impl<const V: u16> PodInOption for NonValueU16<V>
impl<const V: u16> StructuralPartialEq for NonValueU16<V>
impl<const V: u16> ZeroableInOption for NonValueU16<V>
Auto Trait Implementations§
impl<const V: u16> Freeze for NonValueU16<V>
impl<const V: u16> RefUnwindSafe for NonValueU16<V>
impl<const V: u16> Send for NonValueU16<V>
impl<const V: u16> Sync for NonValueU16<V>
impl<const V: u16> Unpin for NonValueU16<V>
impl<const V: u16> UnwindSafe for NonValueU16<V>
Blanket Implementations§
§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> ByteSized for T
impl<T> ByteSized for T
Source§const BYTE_ALIGN: usize = _
const BYTE_ALIGN: usize = _
Source§fn byte_align(&self) -> usize ⓘ
fn byte_align(&self) -> usize ⓘ
Source§fn ptr_size_ratio(&self) -> [usize; 2]
fn ptr_size_ratio(&self) -> [usize; 2]
Source§impl<T, R> Chain<R> for Twhere
T: ?Sized,
impl<T, R> Chain<R> for Twhere
T: ?Sized,
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.Source§impl<T> ExtAny for T
impl<T> ExtAny for T
Source§fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
Source§impl<T> ExtMem for Twhere
T: ?Sized,
impl<T> ExtMem for Twhere
T: ?Sized,
Source§const NEEDS_DROP: bool = _
const NEEDS_DROP: bool = _
Source§fn mem_align_of_val(&self) -> usize ⓘ
fn mem_align_of_val(&self) -> usize ⓘ
Source§fn mem_size_of_val(&self) -> usize ⓘ
fn mem_size_of_val(&self) -> usize ⓘ
Source§fn mem_needs_drop(&self) -> bool
fn mem_needs_drop(&self) -> bool
true
if dropping values of this type matters. Read moreSource§fn mem_forget(self)where
Self: Sized,
fn mem_forget(self)where
Self: Sized,
self
without running its destructor. Read moreSource§fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
Source§unsafe fn mem_zeroed<T>() -> T
unsafe fn mem_zeroed<T>() -> T
unsafe_layout
only.T
represented by the all-zero byte-pattern. Read moreSource§unsafe fn mem_transmute_copy<Src, Dst>(src: &Src) -> Dst
unsafe fn mem_transmute_copy<Src, Dst>(src: &Src) -> Dst
unsafe_layout
only.T
represented by the all-zero byte-pattern. Read moreSource§fn mem_as_bytes(&self) -> &[u8] ⓘ
fn mem_as_bytes(&self) -> &[u8] ⓘ
unsafe_slice
only.§impl<S> FromSample<S> for S
impl<S> FromSample<S> for S
fn from_sample_(s: S) -> S
Source§impl<T> Hook for T
impl<T> Hook for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
fn into_sample(self) -> T
§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError> ⓘ
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError> ⓘ
§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
out
indicating that a T
is niched.