Enum ParamKind

pub enum ParamKind {
    Explicit(Option<ParamMode>),
    At,
    Pound,
    Colon,
    Loc,
    Error,
}

How a parameter was declared in the surface syntax.

Variants

Explicit(Option<ParamMode>)

A parameter declared in an explicit scope, e.g., fn foo[hdl n: int](x: i32[n])

At

An implicitly scoped parameter declared with @a syntax

Pound

An implicitly scoped parameter declared with #a syntax

Colon

An implicitly scoped parameter declared with x: T syntax.

Loc

A location declared with x: &strg T syntax.

Error

A parameter introduced with x: T syntax that we know syntactically is always and error to use inside a refinement. For example, consider the following:

fn(x: {v. i32[v] | v > 0}) -> i32[x]

In this definition, we know syntactically that x binds to a non-base type so it’s an error to use x as an index in the return type.

These parameters should not appear in a desugared item and we only track them during name resolution to report errors at the use site.

Implementations

impl ParamKind

pub fn is_loc(&self) -> bool

Trait Implementations

impl Clone for ParamKind

fn clone(&self) -> ParamKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ParamKind

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

Formats the value using the given formatter.

impl PartialEq for ParamKind

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

impl Eq for ParamKind

impl StructuralPartialEq for ParamKind