Struct VarRef

pub struct VarRef { /* private fields */ }

Represents a reference to a variable (which doesn’t have to exist).

Variable references are different from SymbolKeys because they maintain the case of the reference (for error display purposes) and because they carry an optional type annotation.

Implementations

impl VarRef

pub fn new<T: Into<String>>(name: T, ref_type: Option<ExprType>) -> Self

Creates a new reference to the variable with name and the optional ref_type type.

pub fn name(&self) -> &str

Returns the name of this reference, without any type annotations.

pub fn ref_type(&self) -> Option<ExprType>

Returns the type of this reference.

pub fn accepts(&self, other: ExprType) -> bool

Returns true if this reference is compatible with the given type.

pub fn accepts_callable(&self, other: Option<ExprType>) -> bool

Returns true if this reference is compatible with the return type of a callable.

Trait Implementations

impl Clone for VarRef

fn clone(&self) -> VarRef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VarRef

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

Formats the value using the given formatter.

impl Display for VarRef

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

Formats the value using the given formatter.

impl PartialEq for VarRef

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

impl StructuralPartialEq for VarRef