Trait SimpleToken 

pub trait SimpleToken: Sized {
    // Required methods
    fn instance_id(&self) -> Loc;
    fn arbitrary() -> Self;
}

Interface for VerusSync tokens created for a field marked with the bool or persistent_bool strategy.

VerusSync Strategy	Field type	Token trait
bool	bool	UniqueSimpleToken<V>
persistent_bool	bool	SimpleToken<V> + Copy

The token contains no additional data; its presence indicates that the boolean field is true.

Required Methods

fn instance_id(&self) -> Loc

fn arbitrary() -> Self

Return an arbitrary token. It’s not possible to do anything interesting with this token because it doesn’t have a specified instance.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors