pub struct Interned<T>(pub &'static T)
where
    T: 'static + ?Sized;
Expand description

An interned value. Will stay valid until the end of the program and will not drop.

For details on interning, see the module level docs.

§Comparisons

Interned values use reference equality, meaning they implement Eq and Hash regardless of whether T implements these traits. Two interned values are only guaranteed to compare equal if they were interned using the same Interner instance.

#[derive(PartialEq, Eq, Hash, Debug)]
struct Value(i32);
impl Internable for Value {
    // ...
}
let interner_1 = Interner::new();
let interner_2 = Interner::new();
// Even though both values are identical, their interned forms do not
// compare equal as they use different interner instances.
assert_ne!(interner_1.intern(&Value(42)), interner_2.intern(&Value(42)));

Tuple Fields§

§0: &'static T

Trait Implementations§

source§

impl AppLabel for Interned<dyn AppLabel>

source§

fn as_dyn_eq(&self) -> &(dyn DynEq + 'static)

Casts this value to a form where it can be compared with other type-erased values.

source§

fn dyn_clone(&self) -> Box<dyn AppLabel>

Clones this AppLabel.
source§

fn dyn_hash(&self, state: &mut dyn Hasher)

Feeds this value into the given [Hasher].
source§

fn intern(&self) -> Interned<dyn AppLabel>

Returns an Interned value corresponding to self.
source§

impl<T> Clone for Interned<T>
where T: ?Sized,

source§

fn clone(&self) -> Interned<T>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<T> Debug for Interned<T>
where T: Debug + ?Sized,

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl<T> Deref for Interned<T>
where T: ?Sized,

§

type Target = T

The resulting type after dereferencing.
source§

fn deref(&self) -> &<Interned<T> as Deref>::Target

Dereferences the value.
source§

impl<T> From<&Interned<T>> for Interned<T>

source§

fn from(value: &Interned<T>) -> Interned<T>

Converts to this type from the input type.
source§

impl<T> Hash for Interned<T>
where T: Internable + ?Sized,

source§

fn hash<H>(&self, state: &mut H)
where H: Hasher,

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<T> PartialEq for Interned<T>
where T: Internable + ?Sized,

source§

fn eq(&self, other: &Interned<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl ScheduleLabel for Interned<dyn ScheduleLabel>

source§

fn as_dyn_eq(&self) -> &(dyn DynEq + 'static)

Casts this value to a form where it can be compared with other type-erased values.

source§

fn dyn_clone(&self) -> Box<dyn ScheduleLabel>

Clones this ScheduleLabel.
source§

fn dyn_hash(&self, state: &mut dyn Hasher)

Feeds this value into the given Hasher.
source§

fn intern(&self) -> Interned<dyn ScheduleLabel>

Returns an Interned value corresponding to self.
source§

impl SystemSet for Interned<dyn SystemSet>

source§

fn as_dyn_eq(&self) -> &(dyn DynEq + 'static)

Casts this value to a form where it can be compared with other type-erased values.

source§

fn system_type(&self) -> Option<TypeId>

Returns Some if this system set is a SystemTypeSet.
source§

fn is_anonymous(&self) -> bool

Returns true if this system set is an AnonymousSet.
source§

fn dyn_clone(&self) -> Box<dyn SystemSet>

Clones this SystemSet.
source§

fn dyn_hash(&self, state: &mut dyn Hasher)

Feeds this value into the given Hasher.
source§

fn intern(&self) -> Interned<dyn SystemSet>

Returns an Interned value corresponding to self.
source§

impl<T> Copy for Interned<T>
where T: ?Sized,

source§

impl<T> Eq for Interned<T>
where T: Internable + ?Sized,

Auto Trait Implementations§

§

impl<T> Freeze for Interned<T>
where T: ?Sized,

§

impl<T> RefUnwindSafe for Interned<T>
where T: RefUnwindSafe + ?Sized,

§

impl<T> Send for Interned<T>
where T: Sync + ?Sized,

§

impl<T> Sync for Interned<T>
where T: Sync + ?Sized,

§

impl<T> Unpin for Interned<T>
where T: ?Sized,

§

impl<T> UnwindSafe for Interned<T>
where T: RefUnwindSafe + ?Sized,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> Downcast for T
where T: Any,

source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert 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.
source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> DynEq for T
where T: Any + Eq,

source§

fn as_any(&self) -> &(dyn Any + 'static)

Casts the type to dyn Any.
source§

fn dyn_eq(&self, other: &(dyn DynEq + 'static)) -> bool

This method tests for self and other values to be equal. Read more
source§

impl<T> DynHash for T
where T: DynEq + Hash,

source§

fn as_dyn_eq(&self) -> &(dyn DynEq + 'static)

Casts the type to dyn Any.
source§

fn dyn_hash(&self, state: &mut dyn Hasher)

Feeds this value into the given Hasher.
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<S> IntoSystemSet<()> for S
where S: SystemSet,

§

type Set = S

The type of SystemSet this instance converts into.
source§

fn into_system_set(self) -> <S as IntoSystemSet<()>>::Set

Converts this instance to its associated SystemSet type.
source§

impl<S> IntoSystemSetConfigs for S
where S: SystemSet,

source§

fn into_configs(self) -> NodeConfigs<Interned<dyn SystemSet>>

source§

fn in_set(self, set: impl SystemSet) -> NodeConfigs<Interned<dyn SystemSet>>

Add these system sets to the provided set.
source§

fn before<M>( self, set: impl IntoSystemSet<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Runs before all systems in set. If self has any systems that produce Commands or other Deferred operations, all systems in set will see their effect. Read more
source§

fn after<M>( self, set: impl IntoSystemSet<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Runs before all systems in set. If set has any systems that produce Commands or other Deferred operations, all systems in self will see their effect. Read more
source§

fn before_ignore_deferred<M>( self, set: impl IntoSystemSet<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Run before all systems in set. Read more
source§

fn after_ignore_deferred<M>( self, set: impl IntoSystemSet<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Run after all systems in set. Read more
source§

fn run_if<M>( self, condition: impl Condition<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Run the systems in this set(s) only if the Condition is true. Read more
source§

fn ambiguous_with<M>( self, set: impl IntoSystemSet<M> ) -> NodeConfigs<Interned<dyn SystemSet>>

Suppress warnings and errors that would result from systems in these sets having ambiguities (conflicting access but indeterminate order) with systems in set.
source§

fn ambiguous_with_all(self) -> NodeConfigs<Interned<dyn SystemSet>>

Suppress warnings and errors that would result from systems in these sets having ambiguities (conflicting access but indeterminate order) with any other system.
source§

fn chain(self) -> NodeConfigs<Interned<dyn SystemSet>>

Treat this collection as a sequence of system sets. Read more
source§

fn chain_ignore_deferred( self ) -> NodeConfigs<Box<dyn System<In = (), Out = ()>>>

Treat this collection as a sequence of systems. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> TypeData for T
where T: 'static + Send + Sync + Clone,

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more