Enum ExclResource 

pub enum ExclResource<T: Clone + Eq> {
    Excl(T),
    Invalid,
}

A resource in the Excl CMRA: either an exclusive value or “invalid” (composed with itself).

Variants

Excl(T)

Exclusive ownership of T.

Invalid

Invalid (composition of two exclusive resources).

Implementations

impl<T: Clone + Eq> ExclResource<T>

pub fn compose(&self, _other: &Self) -> Self

Compose two resources.

pub fn is_valid(&self) -> bool

Validity: Excl(v) is valid; Invalid is not.

pub fn core(&self) -> Option<Self>

Core map (returns None for exclusive resources).

Trait Implementations

impl<T: Clone + Clone + Eq> Clone for ExclResource<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Clone + Eq> Debug for ExclResource<T>

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

Formats the value using the given formatter.

impl<T: PartialEq + Clone + Eq> PartialEq for ExclResource<T>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Eq + Clone + Eq> Eq for ExclResource<T>

impl<T: Clone + Eq> StructuralPartialEq for ExclResource<T>