pub struct Discrete(pub usize);Expand description
Defines a set of discrete integers starting at 0.
The value held by this structure defines the largest inclusive value that exists within the derived set.
TODO: Update to support negative values.
Tuple Fields§
§0: usizeTrait Implementations§
Source§impl Ord for Discrete
impl Ord for Discrete
Source§impl PartialOrd for Discrete
impl PartialOrd for Discrete
impl Eq for Discrete
impl StructuralPartialEq for Discrete
Auto Trait Implementations§
impl Freeze for Discrete
impl RefUnwindSafe for Discrete
impl Send for Discrete
impl Sync for Discrete
impl Unpin for Discrete
impl UnwindSafe for Discrete
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.