Enum DefKind 

pub enum DefKind {
    Module(ModuleDef),
    Expr(ExprDef),
    Ty(TyDef),
    Import(ImportDef),
    Unresolved(Option<Box<DefKind>>),
}

Variants

Module(ModuleDef)

Expr(ExprDef)

Ty(TyDef)

Import(ImportDef)

Unresolved(Option<Box<DefKind>>)

A definition that has not yet been resolved. Created during the first pass of the AST, must not be present in a fully resolved module structure.

Implementations

impl DefKind

pub fn is_module(&self) -> bool

Returns true if this is a DefKind::Module, otherwise false

pub fn as_module_mut(&mut self) -> Option<&mut ModuleDef>

Optionally returns mutable references to the inner fields if this is a DefKind::Module, otherwise None

pub fn as_module(&self) -> Option<&ModuleDef>

Optionally returns references to the inner fields if this is a DefKind::Module, otherwise None

pub fn into_module(self) -> Result<ModuleDef, Self>

Returns the inner fields if this is a DefKind::Module, otherwise returns back the enum in the Err case of the result

pub fn is_expr(&self) -> bool

Returns true if this is a DefKind::Expr, otherwise false

pub fn as_expr_mut(&mut self) -> Option<&mut ExprDef>

Optionally returns mutable references to the inner fields if this is a DefKind::Expr, otherwise None

pub fn as_expr(&self) -> Option<&ExprDef>

Optionally returns references to the inner fields if this is a DefKind::Expr, otherwise None

pub fn into_expr(self) -> Result<ExprDef, Self>

Returns the inner fields if this is a DefKind::Expr, otherwise returns back the enum in the Err case of the result

pub fn is_ty(&self) -> bool

Returns true if this is a DefKind::Ty, otherwise false

pub fn as_ty_mut(&mut self) -> Option<&mut TyDef>

Optionally returns mutable references to the inner fields if this is a DefKind::Ty, otherwise None

pub fn as_ty(&self) -> Option<&TyDef>

Optionally returns references to the inner fields if this is a DefKind::Ty, otherwise None

pub fn into_ty(self) -> Result<TyDef, Self>

Returns the inner fields if this is a DefKind::Ty, otherwise returns back the enum in the Err case of the result

pub fn is_import(&self) -> bool

Returns true if this is a DefKind::Import, otherwise false

pub fn as_import_mut(&mut self) -> Option<&mut ImportDef>

Optionally returns mutable references to the inner fields if this is a DefKind::Import, otherwise None

pub fn as_import(&self) -> Option<&ImportDef>

Optionally returns references to the inner fields if this is a DefKind::Import, otherwise None

pub fn into_import(self) -> Result<ImportDef, Self>

Returns the inner fields if this is a DefKind::Import, otherwise returns back the enum in the Err case of the result

pub fn is_unresolved(&self) -> bool

Returns true if this is a DefKind::Unresolved, otherwise false

pub fn as_unresolved_mut(&mut self) -> Option<&mut Option<Box<DefKind>>>

Optionally returns mutable references to the inner fields if this is a DefKind::Unresolved, otherwise None

pub fn as_unresolved(&self) -> Option<&Option<Box<DefKind>>>

Optionally returns references to the inner fields if this is a DefKind::Unresolved, otherwise None

pub fn into_unresolved(self) -> Result<Option<Box<DefKind>>, Self>

Returns the inner fields if this is a DefKind::Unresolved, otherwise returns back the enum in the Err case of the result

Trait Implementations

impl Clone for DefKind

fn clone(&self) -> DefKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefKind

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

Formats the value using the given formatter.

impl From<Expr> for DefKind

fn from(expr: Expr) -> Self

Converts to this type from the input type.

impl From<ModuleDef> for DefKind

fn from(value: ModuleDef) -> Self

Converts to this type from the input type.

impl PartialEq for DefKind

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