Struct PreludeTypeScope 

pub struct PreludeTypeScope { /* private fields */ }

Implicit prelude type-level symbols visible without an import.

The module resolver intentionally resolves source module aliases only. The Graphcal prelude is different: it is implicitly in scope in every module but still needs a canonical owner once we cross into HIR. This small typed scope models that boundary without falling back to flat strings.

Implementations

impl PreludeTypeScope

pub fn new(owner: DagId, dimensions: impl IntoIterator<Item = DimName>) -> Self

Create a prelude type scope from its canonical owner and dimension names.

pub fn graphcal() -> Self

Create the built-in Graphcal prelude type scope.

Trait Implementations

impl Clone for PreludeTypeScope

fn clone(&self) -> PreludeTypeScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PreludeTypeScope

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

Formats the value using the given formatter.

impl Eq for PreludeTypeScope

impl PartialEq for PreludeTypeScope

fn eq(&self, other: &PreludeTypeScope) -> 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 StructuralPartialEq for PreludeTypeScope