Trait UniqueValueToken 

pub trait UniqueValueToken<Value>: ValueToken<Value> { }

Interface for VerusSync tokens created for a field marked with the variable or option strategies.

See the super-trait ValueToken for more information.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<K, V, Pred: InvariantPredicate<K, V>> UniqueValueToken<()> for pending_writer<K, V, Pred>

impl<K, V, Pred: InvariantPredicate<K, V>> UniqueValueToken<()> for writer<K, V, Pred>

impl<K, V, Pred: InvariantPredicate<K, V>> UniqueValueToken<bool> for flag_exc<K, V, Pred>

impl<K, V, Pred: InvariantPredicate<K, V>> UniqueValueToken<nat> for flag_rc<K, V, Pred>