Fields§
§names: HashSet<TrueName>
§is_interchangeable: bool
Implementations§
source§impl Name
impl Name
pub fn trim_any(&self) -> Self
pub fn trim(&self, ty: &str) -> Self
sourcepub fn trim_super(&self, ctx: &Context) -> Self
pub fn trim_super(&self, ctx: &Context) -> Self
Trim Name by removing any in the set which are superset of other members in the set.
pub fn as_direct(&self) -> HashSet<StringName>
sourcepub fn is_interchangeable(&self, is_interchangeable: bool) -> Self
pub fn is_interchangeable(&self, is_interchangeable: bool) -> Self
Any means that if one check if another [is_superset_of] self, then it will be true if it is just a superset of one.
pub fn contains(&self, item: &TrueName) -> bool
sourcepub fn is_temporary(&self) -> bool
pub fn is_temporary(&self) -> bool
True if this was a temporary name, which is a name which starts with ‘@’.
pub fn as_name(&self, true_name: &TrueName, pos: Position) -> TypeResult<Name>
pub fn temp_map(
&self,
other: &Name,
pos: Position
) -> TypeResult<HashMap<Name, Name>>
Trait Implementations§
source§impl ContainsTemp for Name
impl ContainsTemp for Name
fn contains_temp(&self) -> bool
source§impl From<&Expression> for Name
impl From<&Expression> for Name
source§fn from(value: &Expression) -> Self
fn from(value: &Expression) -> Self
Converts to this type from the input type.
source§impl From<&StringName> for Name
impl From<&StringName> for Name
source§fn from(name: &StringName) -> Self
fn from(name: &StringName) -> Self
Converts to this type from the input type.
source§impl HasParent<&Name> for Class
impl HasParent<&Name> for Class
source§fn has_parent(&self, name: &Name, ctx: &Context, pos: Position) -> TypeResult<bool>
fn has_parent(&self, name: &Name, ctx: &Context, pos: Position) -> TypeResult<bool>
Has name as parent. Read more
source§impl IsSuperSet<Name> for Name
impl IsSuperSet<Name> for Name
fn is_superset_of(
&self,
other: &Name,
ctx: &Context,
pos: Position
) -> TypeResult<bool>
source§impl LookupClass<&Name, HashSet<Class, RandomState>> for Context
impl LookupClass<&Name, HashSet<Class, RandomState>> for Context
source§impl Ord for Name
impl Ord for Name
source§impl PartialEq<Name> for Name
impl PartialEq<Name> for Name
source§impl PartialOrd<Name> for Name
impl PartialOrd<Name> for Name
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read more