pub struct NonValueU8<const V: u8>(/* private fields */);
Expand description
An unsigned integer that is known not to equal some specific value.
It has the same memory layout optimization as NonZeroU8
,
so that Option<NonValueU8>
is the same size as NonValueU8
.
§Examples
assert![NonValueI8::<13>::new(13).is_none()];
assert![NonValueI8::<13>::new(12).unwrap().get() == 12];
See also NonExtremeU8
.
Implementations§
Source§impl<const V: u8> NonValueU8<V>
impl<const V: u8> NonValueU8<V>
Sourcepub const VALID_VALUES: u8 = 255u8
pub const VALID_VALUES: u8 = 255u8
Returns the number of valid values.
Sourcepub const INVALID_VALUES: u8 = 1u8
pub const INVALID_VALUES: u8 = 1u8
Returns the number of invalid values.
Sourcepub const fn new(value: u8) -> Option<Self> ⓘ
pub const fn new(value: u8) -> Option<Self> ⓘ
Returns a NonValueU8
with the given value
, if it is not equal to V
.
Sourcepub const unsafe fn new_unchecked(value: u8) -> Self
pub const unsafe fn new_unchecked(value: u8) -> Self
Sourcepub const fn checked_add(&self, other: u8) -> NumResult<Self>
pub const fn checked_add(&self, other: u8) -> NumResult<Self>
Sourcepub const fn checked_sub(&self, other: u8) -> NumResult<Self>
pub const fn checked_sub(&self, other: u8) -> NumResult<Self>
Sourcepub const fn strict_add(&self, other: u8) -> Self
pub const fn strict_add(&self, other: u8) -> 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: u8) -> Self
pub const fn strict_sub(&self, other: u8) -> 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: u8) -> Self
pub const fn saturating_add(&self, other: u8) -> 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: u8) -> Self
pub const fn saturating_sub(&self, other: u8) -> 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: u8) -> Self
pub const fn wrapping_add(&self, other: u8) -> 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: u8) -> Self
pub const fn wrapping_sub(&self, other: u8) -> 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: u8> Binary for NonValueU8<V>
impl<const V: u8> Binary for NonValueU8<V>
Source§impl<const V: u8> BitSized<{$IP::BYTE_SIZE * 8}> for NonValueU8<V>
impl<const V: u8> BitSized<{$IP::BYTE_SIZE * 8}> for NonValueU8<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: u8> CheckedBitPattern for NonValueU8<V>
impl<const V: u8> CheckedBitPattern for NonValueU8<V>
Source§type Bits = u8
type Bits = u8
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: u8> Clone for NonValueU8<V>
impl<const V: u8> Clone for NonValueU8<V>
Source§fn clone(&self) -> NonValueU8<V>
fn clone(&self) -> NonValueU8<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: u8> Debug for NonValueU8<V>
impl<const V: u8> Debug for NonValueU8<V>
Source§impl<const V: u8> Display for NonValueU8<V>
impl<const V: u8> Display for NonValueU8<V>
Source§impl<const V: u8> FromStr for NonValueU8<V>
impl<const V: u8> FromStr for NonValueU8<V>
Source§impl<const V: u8> Hash for NonValueU8<V>
impl<const V: u8> Hash for NonValueU8<V>
Source§impl<const V: u8> LowerHex for NonValueU8<V>
impl<const V: u8> LowerHex for NonValueU8<V>
Source§impl<const V: u8> Octal for NonValueU8<V>
impl<const V: u8> Octal for NonValueU8<V>
Source§impl<const V: u8> Ord for NonValueU8<V>
impl<const V: u8> Ord for NonValueU8<V>
Source§fn cmp(&self, other: &NonValueU8<V>) -> Ordering
fn cmp(&self, other: &NonValueU8<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: u8> PartialEq for NonValueU8<V>
impl<const V: u8> PartialEq for NonValueU8<V>
Source§impl<const V: u8> PartialOrd for NonValueU8<V>
impl<const V: u8> PartialOrd for NonValueU8<V>
Source§impl<const V: u8> UpperHex for NonValueU8<V>
impl<const V: u8> UpperHex for NonValueU8<V>
impl<const V: u8> Copy for NonValueU8<V>
impl<const V: u8> Eq for NonValueU8<V>
impl<const V: u8> NoUninit for NonValueU8<V>
impl<const V: u8> PodInOption for NonValueU8<V>
impl<const V: u8> StructuralPartialEq for NonValueU8<V>
impl<const V: u8> ZeroableInOption for NonValueU8<V>
Auto Trait Implementations§
impl<const V: u8> Freeze for NonValueU8<V>
impl<const V: u8> RefUnwindSafe for NonValueU8<V>
impl<const V: u8> Send for NonValueU8<V>
impl<const V: u8> Sync for NonValueU8<V>
impl<const V: u8> Unpin for NonValueU8<V>
impl<const V: u8> UnwindSafe for NonValueU8<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.