Enum Probed 

pub enum Probed<T> {
    Present {
        value: T,
        evidence: Evidence,
    },
    Absent {
        reason: AbsenceReason,
    },
    NotProbed,
}

The outcome of one capability probe.

Present always carries the Evidence that justified the answer, so a reader can audit why the agent believes a device exists. Absent carries the AbsenceReason so a reader can tell “looked, not there” apart from “advertised, but lied”. NotProbed is the only honest answer when the probe has not run yet (e.g. a destructive probe deferred out of the runtime phase).

Variants

Present

The capability is present; evidence records what proved it.

Fields

value: T

evidence: Evidence

Absent

The capability is genuinely absent; reason records why we concluded so.

Fields

reason: AbsenceReason

NotProbed

The probe has not run (deferred, or this phase forbids it).

Implementations

impl<T> Probed<T>

pub fn is_present(&self) -> bool

True only for Probed::Present.

pub fn value(&self) -> Option<&T>

The probed value, if present.

pub fn present(value: T, evidence: Evidence) -> Self

Construct a Present carrying its evidence.

pub fn absent(reason: AbsenceReason) -> Self

Construct an Absent carrying its reason.

Trait Implementations

impl<T: Clone> Clone for Probed<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Probed<T>

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

Formats the value using the given formatter.

impl<T> Default for Probed<T>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, T> Deserialize<'de> for Probed<T>

where T: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T: Eq> Eq for Probed<T>

impl<T: PartialEq> PartialEq for Probed<T>

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

Equality operator ==.

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

Inequality operator !=.

impl<T> Serialize for Probed<T>

where T: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: PartialEq> StructuralPartialEq for Probed<T>