pub struct StateId<T>(/* private fields */)
where
T: StateValue;
Expand description
Unique identifier of a value in a state map.
The type T
is the value type.
static_id! {
static ref FOO_ID: StateId<bool>;
}
let mut owned_state = OwnedStateMap::<()>::default();
let foo = owned_state.borrow_mut().set(*FOO_ID, true);
§Memory
The internal number is a NonZeroU64
, that means that
Option<StateId>
and
StateId
are the same size as u64
.
§As Hash
The generated internal number has good statistical distribution and can be used as its own hash,
although it is not cryptographically safe, as it is simply a sequential counter scrambled using splitmix64
.
§Static
The unique ID cannot be generated at compile time, but you can use the static_id!
macro to declare
a lazy static that instantiates the ID.
Implementations§
source§impl<T> StateId<T>where
T: StateValue,
impl<T> StateId<T>where
T: StateValue,
sourcepub fn new_unique() -> StateId<T>
pub fn new_unique() -> StateId<T>
Generates a new unique ID.
sourcepub fn sequential(self) -> u64
pub fn sequential(self) -> u64
Un-scramble the underlying value to get the original sequential count number.
If two IDs, id0
and id1
where generated by the same thread then id0.sequential() < id1.sequential()
.
sourcepub fn from_raw(raw: u64) -> StateId<T>
pub fn from_raw(raw: u64) -> StateId<T>
Creates an ID from a raw value.
The value must not be zero, panics if it is, the value must have been provided by get
otherwise
the ID will not be unique.
sourcepub fn from_sequential(num: u64) -> StateId<T>
pub fn from_sequential(num: u64) -> StateId<T>
Creates an ID from a sequential
number.
§Safety
The value must not be zero, panics if it is, the value must have been provided by sequential
otherwise
the ID will not be unique.
Trait Implementations§
source§impl<T> Clone for StateId<T>where
T: StateValue,
impl<T> Clone for StateId<T>where
T: StateValue,
source§impl<T> Debug for StateId<T>where
T: StateValue,
impl<T> Debug for StateId<T>where
T: StateValue,
source§impl<T> Hash for StateId<T>where
T: StateValue,
impl<T> Hash for StateId<T>where
T: StateValue,
source§impl<T> PartialEq for StateId<T>where
T: StateValue,
impl<T> PartialEq for StateId<T>where
T: StateValue,
source§impl<T> UniqueId for StateId<T>where
T: StateValue,
impl<T> UniqueId for StateId<T>where
T: StateValue,
source§fn new_unique() -> StateId<T>
fn new_unique() -> StateId<T>
impl<T> Copy for StateId<T>where
T: StateValue,
impl<T> Eq for StateId<T>where
T: StateValue,
impl<T> NoUninit for StateId<T>where
T: StateValue,
impl<T> PodInOption for StateId<T>where
T: StateValue,
impl<T> ZeroableInOption for StateId<T>where
T: StateValue,
Auto Trait Implementations§
impl<T> Freeze for StateId<T>
impl<T> RefUnwindSafe for StateId<T>where
T: RefUnwindSafe,
impl<T> Send for StateId<T>
impl<T> Sync for StateId<T>
impl<T> Unpin for StateId<T>where
T: Unpin,
impl<T> UnwindSafe for StateId<T>where
T: UnwindSafe,
Blanket Implementations§
§impl<T> AnyEq for T
impl<T> AnyEq for T
source§impl<T> AnyVarValue for Twhere
T: VarValue,
impl<T> AnyVarValue for Twhere
T: VarValue,
source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
dyn Any
methods.source§fn clone_boxed(&self) -> Box<dyn AnyVarValue>
fn clone_boxed(&self) -> Box<dyn AnyVarValue>
source§fn clone_boxed_var(&self) -> Box<dyn AnyVar>
fn clone_boxed_var(&self) -> Box<dyn AnyVar>
LocalVar<Self>
.source§fn eq_any(&self, other: &(dyn AnyVarValue + 'static)) -> bool
fn eq_any(&self, other: &(dyn AnyVarValue + 'static)) -> bool
self
equals other
.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
)§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§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> FsChangeNote for T
impl<T> FsChangeNote 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> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§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