Enum IndexDeclKind 

pub enum IndexDeclKind<P: Phase = Raw> {
    Named {
        variants: Vec<Spanned<IndexVariantName>>,
    },
    Range {
        start: Box<Expr<P>>,
        end: Box<Expr<P>>,
        step: Box<Expr<P>>,
    },
    RequiredNamed,
    RequiredRange {
        dimension: DimExpr,
    },
}

Variants

Named

Named variants: { Departure, Correction, Insertion }

Fields

variants: Vec<Spanned<IndexVariantName>>

Range

Numeric range: linspace(start, end, step: step)

Fields

start: Box<Expr<P>>

end: Box<Expr<P>>

step: Box<Expr<P>>

RequiredNamed

Required named index (no variants): index Foo;

Must be bound via parameterized import.

RequiredRange

Required range index with dimension constraint: index Foo: Time;

Must be bound via parameterized import.

Fields

dimension: DimExpr

Implementations

impl<P: Phase> IndexDeclKind<P>

pub const fn is_required(&self) -> bool

Returns true for required index declarations that must be bound via import.

Trait Implementations

impl<P: Clone + Phase> Clone for IndexDeclKind<P>

fn clone(&self) -> IndexDeclKind<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + Phase> Debug for IndexDeclKind<P>

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

Formats the value using the given formatter.

impl FormatEquivalent for IndexDeclKind

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.

impl From<IndexDeclKind> for IndexDeclKind<Desugared>

fn from(k: IndexDeclKind<Raw>) -> Self

Converts to this type from the input type.