Struct ResolvedDeclarations 

pub struct ResolvedDeclarations(/* private fields */);

A project’s declarations, checked and projected into signature data by Declarations::resolve.

A newtype over SignatureDb rather than the bare database, and the distinction is load-bearing at exactly one boundary: this is the only signature data the parser accepts. A value of this type can only have come from a declaration block, so parse_with_declarations cannot be handed a document’s merged scope — which would make the tree a function of package scans and scanned definitions, the thing AGENTS.md decision #8 holds the line on. Keeping the invariant in the type rather than in review is the same move the formatter’s Gap makes for trivia.

Implementations

impl ResolvedDeclarations

pub fn as_db(&self) -> &SignatureDb

The declared tier as signature data, for merging into a document’s scope (where it is the top tier: a declaration is the user explicitly correcting an inference).

pub fn is_empty(&self) -> bool

Whether nothing was declared — the common case, and the one that must cost the parse nothing.

Trait Implementations

impl Clone for ResolvedDeclarations

fn clone(&self) -> ResolvedDeclarations

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedDeclarations

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

Formats the value using the given formatter.

impl Default for ResolvedDeclarations

fn default() -> ResolvedDeclarations

Returns the “default value” for a type.

impl Eq for ResolvedDeclarations

impl PartialEq for ResolvedDeclarations

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ResolvedDeclarations