Enum Cause 

pub enum Cause<P, O, E> {
    Enter {
        probe: P,
        error: E,
    },
    Missing(P),
    Unexpected {
        probe: P,
        observed: O,
    },
    Residual {
        probe: P,
        submit: U32<0, { u32::MAX }>,
        complete: U32<0, { u32::MAX }>,
    },
    Check(Failure<P, O>),
}

Exact kernel or completion evidence that stopped a capability canary.

Variants

Enter

Fields

probe: P

error: E

Missing(P)

Unexpected

Fields

probe: P

observed: O

Residual

Fields

probe: P

submit: U32<0, { u32::MAX }>

complete: U32<0, { u32::MAX }>

Check(Failure<P, O>)

Implementations

impl<P, O: Copy, E> Cause<P, O, E>

pub fn unread(&self) -> Option<O>

Returns only evidence whose completion remains at the queue head.

Trait Implementations

impl<P: Clone, O: Clone, E: Clone> Clone for Cause<P, O, E>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Copy, O: Copy, E: Copy> Copy for Cause<P, O, E>

impl<P: Debug, O: Debug, E: Debug> Debug for Cause<P, O, E>

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

Formats the value using the given formatter.

impl<P: Eq, O: Eq, E: Eq> Eq for Cause<P, O, E>

impl<P, O, E, I, L, C, F> From<Cause<P, O, E>> for Checked<P, O, E, I, L, C, F>

fn from(cause: Cause<P, O, E>) -> Self

Converts to this type from the input type.

impl<P: PartialEq, O: PartialEq, E: PartialEq> PartialEq for Cause<P, O, E>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<P: PartialEq, O: PartialEq, E: PartialEq> StructuralPartialEq for Cause<P, O, E>