Enum deadnix::Scope

source ·
pub enum Scope {
    LambdaPattern(Pattern, SyntaxNode<NixLanguage>),
    LambdaArg(Ident, SyntaxNode<NixLanguage>),
    LetIn(LetIn),
    RecAttrSet(AttrSet),
}
Expand description

AST subtree that declares variables

Variants§

§

LambdaPattern(Pattern, SyntaxNode<NixLanguage>)

{ ... }: ...

§

LambdaArg(Ident, SyntaxNode<NixLanguage>)

...: ...

§

LetIn(LetIn)

let ... in ...

§

RecAttrSet(AttrSet)

rec { ... }

Implementations§

source§

impl Scope

source

pub fn new(node: &SyntaxNode<NixLanguage>) -> Option<Self>

Construct a new Scope if this is an AST node that opens a new scope

source

pub fn is_lambda_arg(&self) -> bool

Is this a ...: ... which can be ignored in Settings

source

pub fn is_lambda_pattern_name(&self, name: &Ident) -> bool

Is this a { ... }: ... which can be ignored in Settings

source

pub fn bindings(&self) -> Box<dyn Iterator<Item = Binding>>

The set of Bindings this Scope introduces

source

pub fn bodies(&self) -> Box<dyn Iterator<Item = SyntaxNode<NixLanguage>>>

The code subtrees in which the introduced variables are available

source

pub fn inherits_from(&self, name: &Ident) -> bool

Check the inherit (var) ... and inherit vars clauses for a given name.

Although a scope may shadow existing variable bindings, it can inherit bindings from the outer scope.

source

pub fn color(&self) -> Color

Output color for dead code warnings

Trait Implementations§

source§

impl Clone for Scope

source§

fn clone(&self) -> Scope

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Scope

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for Scope

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl !RefUnwindSafe for Scope

§

impl !Send for Scope

§

impl !Sync for Scope

§

impl Unpin for Scope

§

impl !UnwindSafe for Scope

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> Fmt for T
where T: Display,

source§

fn fg<C>(self, color: C) -> Foreground<Self>
where C: Into<Option<Color>>, Self: Display,

Give this value the specified foreground colour.
source§

fn bg<C>(self, color: C) -> Background<Self>
where C: Into<Option<Color>>, Self: Display,

Give this value the specified background colour.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.