Struct Scalar 

pub struct Scalar {
    pub module: &'static str,
    pub name: &'static str,
}

One scalar type: the module of zelkova-core its declaration lives in, and the name that declaration writes.

The module is written out with its dots, as a module header writes it, so a nested module name is spelled the one way everywhere. The package is not a field: it is CORE_PACKAGE for all five.

Fields

module: &'static str

name: &'static str

Implementations

impl Scalar

pub fn declares(&self, name: &QualName) -> bool

Whether name is this scalar’s declaration.

All three parts have to match: Example.Int is not INT, and neither is a Basics.Int declared by any package but CORE_PACKAGE. An Int that resolves to nothing never reaches here at all — canonicalization rejects the name rather than building a type out of it.

pub fn qual_name(&self) -> QualName

This scalar’s declaration, as the qualified name every phase after canonicalization spells a type with.

The inverse of Scalar::declares, and what a phase reaches for when it needs to name a scalar rather than recognise one — the typer builds the type of an if condition out of BOOL this way.

Trait Implementations

impl Clone for Scalar

fn clone(&self) -> Scalar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Scalar

impl Debug for Scalar

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

Formats the value using the given formatter.

impl Eq for Scalar

impl PartialEq for Scalar

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Scalar