Struct deranged::OptionRangedI32
source · pub struct OptionRangedI32<const MIN: i32, const MAX: i32>(/* private fields */);
Expand description
A RangedI32
that is optional. Equivalent to Option<RangedI32>
with niche value optimization.
If MIN
is i32::MIN
and MAX
is i32::MAX
then compilation will fail. This is because there is no way to represent the niche value.
This type is useful when you need to store an optional ranged value in a struct, but
do not want the overhead of an Option
type. This reduces the size of the struct
overall, and is particularly useful when you have a large number of optional fields.
Note that most operations must still be performed on the Option
type, which is
obtained with OptionRangedI32::get
.
Implementations§
source§impl<const MIN: i32, const MAX: i32> OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> OptionRangedI32<MIN, MAX>
sourcepub const fn Some(value: RangedI32<MIN, MAX>) -> Self
pub const fn Some(value: RangedI32<MIN, MAX>) -> Self
Creates an optional ranged value that is present.
sourcepub const fn get(self) -> Option<RangedI32<MIN, MAX>>
pub const fn get(self) -> Option<RangedI32<MIN, MAX>>
Returns the value as the standard library’s Option
type.
sourcepub const unsafe fn some_unchecked(value: i32) -> Self
pub const unsafe fn some_unchecked(value: i32) -> Self
Creates an optional ranged integer without checking the value.
§Safety
The value must be within the range MIN..=MAX
. As the value used for niche
value optimization is unspecified, the provided value must not be the niche
value.
pub const fn get_primitive(self) -> Option<i32>
Trait Implementations§
source§impl<const MIN: i32, const MAX: i32> Clone for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Clone for OptionRangedI32<MIN, MAX>
source§fn clone(&self) -> OptionRangedI32<MIN, MAX>
fn clone(&self) -> OptionRangedI32<MIN, MAX>
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl<const MIN: i32, const MAX: i32> From<Option<RangedI32<MIN, MAX>>> for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> From<Option<RangedI32<MIN, MAX>>> for OptionRangedI32<MIN, MAX>
source§impl<const MIN: i32, const MAX: i32> From<OptionRangedI32<MIN, MAX>> for Option<RangedI32<MIN, MAX>>
impl<const MIN: i32, const MAX: i32> From<OptionRangedI32<MIN, MAX>> for Option<RangedI32<MIN, MAX>>
source§fn from(value: OptionRangedI32<MIN, MAX>) -> Self
fn from(value: OptionRangedI32<MIN, MAX>) -> Self
source§impl<const MIN: i32, const MAX: i32> Ord for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Ord for OptionRangedI32<MIN, MAX>
source§impl<const MIN_A: i32, const MAX_A: i32, const MIN_B: i32, const MAX_B: i32> PartialEq<OptionRangedI32<MIN_B, MAX_B>> for OptionRangedI32<MIN_A, MAX_A>
impl<const MIN_A: i32, const MAX_A: i32, const MIN_B: i32, const MAX_B: i32> PartialEq<OptionRangedI32<MIN_B, MAX_B>> for OptionRangedI32<MIN_A, MAX_A>
source§fn eq(&self, other: &OptionRangedI32<MIN_B, MAX_B>) -> bool
fn eq(&self, other: &OptionRangedI32<MIN_B, MAX_B>) -> bool
self
and other
values to be equal, and is used by ==
.source§impl<const MIN_A: i32, const MAX_A: i32, const MIN_B: i32, const MAX_B: i32> PartialOrd<OptionRangedI32<MIN_B, MAX_B>> for OptionRangedI32<MIN_A, MAX_A>
impl<const MIN_A: i32, const MAX_A: i32, const MIN_B: i32, const MAX_B: i32> PartialOrd<OptionRangedI32<MIN_B, MAX_B>> for OptionRangedI32<MIN_A, MAX_A>
impl<const MIN: i32, const MAX: i32> Copy for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Eq for OptionRangedI32<MIN, MAX>
Auto Trait Implementations§
impl<const MIN: i32, const MAX: i32> Freeze for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> RefUnwindSafe for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Send for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Sync for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> Unpin for OptionRangedI32<MIN, MAX>
impl<const MIN: i32, const MAX: i32> UnwindSafe for OptionRangedI32<MIN, MAX>
Blanket Implementations§
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)