Struct DefaultToken 

pub struct DefaultToken(/* private fields */);

A small token that’s also checked at runtime, ensuring that a TokenCell is never accidentally used with another instance of the same token type.

Trait Implementations

impl TokenTrait for DefaultToken

type ConstructionError = Infallible

Constructing a token may fail.

type RunError = Infallible

TokenTrait::with_token may fail, typically if construction failed.

type Identifier = u16

Lets a TokenCell keep track of the token.

type ComparisonError = IdMismatch

core::convert::Infallible unless TokenTrait::compare is fallible (ie. comparison is done at runtime).

type Branded<'a> = DefaultToken

Rebrands the token, this is necessary for GhostToken to function properly

fn new() -> Result<Self, Self::ConstructionError>

Constructs a new Token.

fn with_token<R, F: FnOnce(Self) -> R>(f: F) -> Result<R, Self::RunError>

Constructs a new, lifetime-branded Token, and provides it to the closure.

fn identifier(&self) -> Self::Identifier

Returns the Token’s identifier, which cells may store to allow comparison.

fn compare(&self, id: &Self::Identifier) -> Result<(), Self::ComparisonError>

Allows the cell to compare its identifier to the Token.