Enum cl_typeck::node::NodeSource

pub enum NodeSource<'a> {
    Root,
    Module(&'a Module),
    Alias(&'a Alias),
    Enum(&'a Enum),
    Variant(&'a Variant),
    Struct(&'a Struct),
    Const(&'a Const),
    Static(&'a Static),
    Function(&'a Function),
    Local(&'a Let),
    Impl(&'a Impl),
    Use(&'a Use),
    Ty(&'a TyKind),
}

Variants

Root

Module(&'a Module)

Alias(&'a Alias)

Enum(&'a Enum)

Variant(&'a Variant)

Struct(&'a Struct)

Const(&'a Const)

Static(&'a Static)

Function(&'a Function)

Local(&'a Let)

Impl(&'a Impl)

Use(&'a Use)

Ty(&'a TyKind)

Implementations

impl<'a> NodeSource<'a>

pub fn name(&self) -> Option<Sym>

pub fn is_named_value(&self) -> bool

Returns true if this NodeSource defines a named value

pub fn is_named_type(&self) -> bool

Returns true if this NodeSource defines a named type

pub fn is_anon_type(&self) -> bool

Returns true if this NodeSource refers to a Ty with no name

pub fn is_impl(&self) -> bool

Returns true if this NodeSource refers to an Impl block

pub fn is_use_import(&self) -> bool

Returns true if this NodeSource refers to a Use import

Trait Implementations

impl<'a> Clone for NodeSource<'a>

fn clone(&self) -> NodeSource<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for NodeSource<'a>

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

Formats the value using the given formatter.

impl Display for NodeSource<'_>

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

Formats the value using the given formatter.

impl<'a> Hash for NodeSource<'a>

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

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<'a> PartialEq for NodeSource<'a>

fn eq(&self, other: &NodeSource<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> TypeResolvable<'a> for NodeSource<'a>

type Out = DefKind

The return type upon success

fn resolve_type( self, prj: &mut Prj<'a>, id: DefID ) -> Result<Self::Out, &'static str>

Resolves type expressions within this node

impl<'a> Copy for NodeSource<'a>

impl<'a> Eq for NodeSource<'a>

impl<'a> StructuralPartialEq for NodeSource<'a>