pub struct RuntimeToken(/* private fields */);Expand description
The default runtime-checked token type.
Because this token type is checked at runtime, it can make sense to have a global token type for your whole application.
And because this runtime token is backed by a u64, it would take you 60 years continuously instantiating them at 10GHz
(which is unfeasible with existing hardware) before an overflow may cause multiple tokens to share the same runtime identifier;
so you can safely assume that this token type will never let you access a cell that you shouldn’t be accessing.
Trait Implementations§
Source§impl TokenTrait for RuntimeToken
impl TokenTrait for RuntimeToken
Source§type ComparisonMaySpuriouslyEq = False
type ComparisonMaySpuriouslyEq = False
Whether or not comparison between two distinct token could yield
eq. Read moreSource§type RunError = Infallible
type RunError = Infallible
TokenTrait::with_token may fail, typically if construction failed. Read moreSource§type ComparisonError = IdMismatch<u64>
type ComparisonError = IdMismatch<u64>
core::convert::Infallible unless TokenTrait::compare is fallible (ie. comparison is done at runtime).Source§type Branded<'a> = RuntimeToken
type Branded<'a> = RuntimeToken
Rebrands the token, this is necessary for
GhostToken to function properlySource§fn with_token<R, F: for<'a> FnOnce(Self::Branded<'a>) -> R>(
f: F,
) -> Result<R, Self::RunError>
fn with_token<R, F: for<'a> FnOnce(Self::Branded<'a>) -> R>( f: F, ) -> Result<R, Self::RunError>
Constructs a new, lifetime-branded Token, and provides it to the closure. Read more
Source§fn identifier(&self) -> Self::Identifier
fn identifier(&self) -> Self::Identifier
Returns the Token’s identifier, which cells may store to allow comparison.
Source§fn compare(&self, id: &Self::Identifier) -> Result<(), Self::ComparisonError>
fn compare(&self, id: &Self::Identifier) -> Result<(), Self::ComparisonError>
Allows the cell to compare its identifier to the Token. Read more
Source§impl UnscopedToken for RuntimeToken
impl UnscopedToken for RuntimeToken
Source§type ConstructionError = Infallible
type ConstructionError = Infallible
Constructing a token may fail.
Source§fn new() -> Selfwhere
Self: UnscopedToken<ConstructionError = Infallible>,
fn new() -> Selfwhere
Self: UnscopedToken<ConstructionError = Infallible>,
Constructs a new Token. This method may be used instead of
UnscopedToken::try_new when .Auto Trait Implementations§
impl Freeze for RuntimeToken
impl RefUnwindSafe for RuntimeToken
impl Send for RuntimeToken
impl Sync for RuntimeToken
impl Unpin for RuntimeToken
impl UnsafeUnpin for RuntimeToken
impl UnwindSafe for RuntimeToken
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