Struct mamba::check::name::true_name::TrueName

pub struct TrueName {
    pub is_nullable: bool,
    pub is_mutable: bool,
    pub variant: StringName,
}

Fields

is_nullable: bool

is_mutable: bool

variant: StringName

Implementations

impl TrueName

pub fn new(lit: &str, generics: &[Name]) -> TrueName

pub fn trim(&self, ty: &str) -> Option<TrueName>

Trait Implementations

impl Any for TrueName

fn any() -> Self

impl Clone for TrueName

fn clone(&self) -> TrueName

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ColType for TrueName

fn col_type(&self, ctx: &Context, pos: Position) -> TypeResult<Option<Name>>

impl ContainsTemp for TrueName

fn contains_temp(&self) -> bool

impl Debug for TrueName

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

Formats the value using the given formatter.

impl Display for TrueName

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

Formats the value using the given formatter.

impl Empty for TrueName

fn is_empty(&self) -> bool

fn empty() -> TrueName

impl From<&Expression> for TrueName

fn from(value: &Expression) -> TrueName

Converts to this type from the input type.

impl From<&StringName> for TrueName

fn from(name: &StringName) -> Self

Converts to this type from the input type.

impl From<&TrueName> for Name

fn from(name: &TrueName) -> Self

Converts to this type from the input type.

impl From<&TrueName> for StringName

fn from(value: &TrueName) -> Self

Converts to this type from the input type.

impl From<&str> for TrueName

fn from(name: &str) -> Self

Converts to this type from the input type.

impl HasParent<&TrueName> for Class

fn has_parent(
    &self,
    name: &TrueName,
    ctx: &Context,
    pos: Position
) -> TypeResult<bool>

Has name as parent.

impl Hash for TrueName

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 IsSuperSet<TrueName> for TrueName

fn is_superset_of(
    &self,
    other: &TrueName,
    ctx: &Context,
    pos: Position
) -> TypeResult<bool>

Check if TrueName is supertype of other TrueName.

If self is nullable, then super of other iff:

• Other is null.
• Or, variant is supertype of other’s variant. (Other may or may not be nullable.) If self is not nullable, then super of other iff:
• Other is not nullable.
• And, variant is supertype of other’s variant.

impl IsTemp for TrueName

fn is_temp(&self) -> bool

impl LookupClass<&TrueName, Class> for Context

fn class(&self, class: &TrueName, pos: Position) -> TypeResult<Class>

impl MatchTempName for TrueName

fn temp_map(
    &self,
    other: &StringName,
    mapping: HashMap<Name, Name>,
    pos: Position
) -> TypeResult<HashMap<Name, Name>>

impl Mutable for TrueName

fn as_mutable(&self) -> Self

impl Nullable for TrueName

fn is_nullable(&self) -> bool

fn is_null(&self) -> bool

fn as_nullable(&self) -> Self

impl Ord for TrueName

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<TrueName> for TrueName

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

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Substitute for TrueName

fn substitute(
    &self,
    generics: &HashMap<Name, Name>,
    pos: Position
) -> TypeResult<TrueName>

impl ToPy for TrueName

fn to_py(&self, imp: &mut Imports) -> Core

impl TryFrom<&AST> for TrueName

fn try_from(ast: &AST) -> TypeResult<TrueName>

Try to construct Name from AST.

In the case of Generics, isa field is ignored and we only look at the true_name of the generic itself.

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

impl TryFrom<&Box<AST, Global>> for TrueName

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

fn try_from(ast: &Box<AST>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<(&GenericParent, &HashMap<Name, Name, RandomState>, Position)> for TrueName

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

fn try_from(
    (parent, generics, pos): (&GenericParent, &HashMap<Name, Name>, Position)
) -> Result<Self, Self::Error>

Performs the conversion.

impl TupleCallable<bool, Vec<Name, Global>, Name> for TrueName

fn tuple(names: &[Name]) -> Self

fn callable(args: &[Name], ret_ty: &Name) -> Self

fn is_tuple(&self) -> bool

fn is_callable(&self) -> bool

fn elements(&self, pos: Position) -> TypeResult<Vec<Name>>

fn args(&self, pos: Position) -> TypeResult<Vec<Name>>

fn ret_ty(&self, pos: Position) -> TypeResult<Name>

impl Union<TrueName> for Name

fn union(&self, name: &TrueName) -> Self

impl Eq for TrueName

impl StructuralEq for TrueName

impl StructuralPartialEq for TrueName