Enum StandardDeclaration 

pub enum StandardDeclaration<S> {
    Declared(S),
    Workspace,
    Inherited(S),
}

One declared standard-field value as it travels from the manifest to the resolved package model. Mirrors the DependencySource::Workspace contract: cabin-manifest constructs Declared (literal) or Workspace (the { workspace = true } opt-in marker), cabin-workspace rewrites every marker into Inherited(value) before any consumer sees the Package, and a marker that survives past the loader is a workspace invariant violation. Marker semantics deliberately split by consumer: .is_some()-based relevance checks (imposes_requirement, find_standard_flag_conflicts, is_empty) count an unresolved marker as a declaration, while the *_value() accessors treat it as absent - both cases are unreachable post-loader under the rewrite invariant.

Variants

Declared(S)

Literal value written in this manifest → source package (or target for a target-level field).

Workspace

Unresolved { workspace = true } opt-in marker.

Inherited(S)

Value resolved from the workspace root’s [workspace] declaration → source workspace.

Implementations

impl<S> StandardDeclaration<S>

pub fn value(self) -> Option<S>

The resolved standard value. None only for an unresolved marker, which must not reach consumers (debug-asserted).

Trait Implementations

impl<S: Clone> Clone for StandardDeclaration<S>

fn clone(&self) -> StandardDeclaration<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Copy> Copy for StandardDeclaration<S>

impl<S: Debug> Debug for StandardDeclaration<S>

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

Formats the value using the given formatter.

impl<'de, S: Deserialize<'de>> Deserialize<'de> for StandardDeclaration<S>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S: Eq> Eq for StandardDeclaration<S>

impl<S: PartialEq> PartialEq for StandardDeclaration<S>

fn eq(&self, other: &StandardDeclaration<S>) -> 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<S: Serialize> Serialize for StandardDeclaration<S>

fn serialize<Ser>(&self, serializer: Ser) -> Result<Ser::Ok, Ser::Error>

where Ser: Serializer,

Serialize this value into the given Serde serializer.

impl<S: PartialEq> StructuralPartialEq for StandardDeclaration<S>