Enum Decl

pub enum Decl {
    Func(SpannedDecl),
    ImportAlias(SpannedDecl),
    Var(SpannedDecl),
    IdentRef(SpannedDecl),
    Module(ModuleDecl),
    ModuleAlias(SpannedDecl),
    PathStem(SpannedDecl),
    ImportPath(SpannedDecl),
    IncludePath(SpannedDecl),
    Import(SpannedDecl),
    ContentRef(SpannedDecl),
    Label(SpannedDecl),
    StrName(SpannedDecl),
    ModuleImport(SpanDecl),
    Closure(SpanDecl),
    Pattern(SpanDecl),
    Spread(SpanDecl),
    Content(SpanDecl),
    Constant(SpanDecl),
    BibEntry(NameRangeDecl),
    Docs(DocsDecl),
    Generated(GeneratedDecl),
}

Variants

Func(SpannedDecl)

ImportAlias(SpannedDecl)

Var(SpannedDecl)

IdentRef(SpannedDecl)

Module(ModuleDecl)

ModuleAlias(SpannedDecl)

PathStem(SpannedDecl)

ImportPath(SpannedDecl)

IncludePath(SpannedDecl)

Import(SpannedDecl)

ContentRef(SpannedDecl)

Label(SpannedDecl)

StrName(SpannedDecl)

ModuleImport(SpanDecl)

Closure(SpanDecl)

Pattern(SpanDecl)

Spread(SpanDecl)

Content(SpanDecl)

Constant(SpanDecl)

BibEntry(NameRangeDecl)

Docs(DocsDecl)

Generated(GeneratedDecl)

Implementations

impl Decl

pub fn name(&self) -> &Interned<str>

pub fn span(&self) -> Span

impl Decl

pub fn func(ident: Ident<'_>) -> Decl

pub fn lit(name: &str) -> Decl

pub fn lit_(name: Interned<str>) -> Decl

pub fn var(ident: Ident<'_>) -> Decl

pub fn import_alias(ident: Ident<'_>) -> Decl

pub fn ident_ref(ident: Ident<'_>) -> Decl

pub fn math_ident_ref(ident: MathIdent<'_>) -> Decl

pub fn module(name: Interned<str>, fid: FileId) -> Decl

pub fn module_alias(ident: Ident<'_>) -> Decl

pub fn import(ident: Ident<'_>) -> Decl

pub fn label(name: &str, at: Span) -> Decl

pub fn ref_(ident: Ref<'_>) -> Decl

pub fn str_name(s: SyntaxNode, name: &str) -> Decl

pub fn calc_path_stem(s: &str) -> Interned<str>

pub fn path_stem(s: SyntaxNode, name: Interned<str>) -> Decl

pub fn import_path(s: Span, name: Interned<str>) -> Decl

pub fn include_path(s: Span, name: Interned<str>) -> Decl

pub fn module_import(s: Span) -> Decl

pub fn closure(s: Span) -> Decl

pub fn pattern(s: Span) -> Decl

pub fn spread(s: Span) -> Decl

pub fn content(s: Span) -> Decl

pub fn constant(s: Span) -> Decl

pub fn docs(base: Interned<Decl>, var: Interned<TypeVar>) -> Decl

pub fn generated(def_id: DefId) -> Decl

pub fn bib_entry( name: Interned<str>, fid: FileId, name_range: Range<usize>, range: Option<Range<usize>>, ) -> Decl

pub fn is_def(&self) -> bool

pub fn kind(&self) -> DefKind

pub fn file_id(&self) -> Option<FileId>

Gets file location of the declaration.

pub fn full_range(&self) -> Option<Range<usize>>

Gets full range of the declaration.

pub fn as_def(this: &Interned<Decl>, val: Option<Ty>) -> Interned<RefExpr>

impl Decl

pub fn strict_cmp(&self, other: &Decl) -> Ordering

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Decl

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

Formats the value using the given formatter.

impl From<Decl> for Expr

fn from(decl: Decl) -> Expr

Converts to this type from the input type.

impl Hash for Decl

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Internable for Decl

fn storage() -> &'static InternStorage<Decl>

impl Ord for Decl

fn cmp(&self, other: &Decl) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Decl

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

fn partial_cmp(&self, other: &Decl) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Decl

impl StructuralPartialEq for Decl