Enum Disposition 

pub enum Disposition {
    Generated {
        unit: Identity<GeneratedUnit>,
    },
    NotApplicable {
        because: OwnerFact,
    },
    NotRequested {
        because: OwnerFact,
    },
    UnavailableUnderProfile {
        profile: Profile,
        because: OwnerFact,
    },
}

What happened to one kind that could have been generated.

Silence is not a variant: where a projection is absent, the absence has a name and cites the fact that caused it. There is no refused answer either, because a request that fails a step of the road is refused whole and produces a diagnostic rather than a set.

Variants

Generated

It was generated, and this is the unit it produced.

Fields

unit: Identity<GeneratedUnit>

The generated unit’s semantic key.

NotApplicable

It does not apply here, and this is the fact that makes it inapplicable.

Fields

because: OwnerFact

The fact the answer rests on.

NotRequested

Nobody asked for it, and this is the fact that says so.

Fields

because: OwnerFact

The fact the answer rests on.

UnavailableUnderProfile

The profile the request ran under does not offer it.

Fields

profile: Profile

The profile that does not offer it.

because: OwnerFact

The fact naming what that profile could not furnish.

Trait Implementations

impl Clone for Disposition

fn clone(&self) -> Disposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Disposition

impl Debug for Disposition

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

Formats the value using the given formatter.

impl Eq for Disposition

impl Hash for Disposition

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Disposition

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Disposition