Enum ScopeKind

pub enum ScopeKind {
    Module(Identifier),
    Function,
    Root,
    TypeConstructor,
    ExpressionWithBindings,
}

Not used in the compiler heavily yet, but extremely useful for understanding what kind of scope you are in.

Variants

Module(Identifier)

A module scope. This is the top level scope for a module.

Function

A function scope. This is the scope of a function body. Notably, function scopes are where all the function parameters are declared.

Root

The root scope of the user code. There is only ever one ScopeKind::Root in a compilation. All scopes are descendents of the root.

TypeConstructor

This might not be needed – the scope within a type constructor function.

ExpressionWithBindings

For a let… expression, this is the scope of the expression and its bindings.

Trait Implementations

impl Clone for ScopeKind

fn clone(&self) -> ScopeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScopeKind

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

Formats the value using the given formatter.

impl Copy for ScopeKind