Struct mamba::check::context::name::NameUnion

pub struct NameUnion { /* fields omitted */ }

Methods

impl NameUnion

pub fn new(names: &[Name]) -> NameUnion

pub fn is_empty(&self) -> bool

pub fn as_direct(
    &self,
    msg: &str,
    pos: &Position
) -> TypeResult<HashSet<DirectName>>

pub fn empty() -> NameUnion

pub fn names(&self) -> IntoIter<Name>

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

Trait Implementations

impl AsMutable for NameUnion

fn as_mutable(&self) -> Self

impl AsNullable for NameUnion

fn as_nullable(&self) -> Self

impl Clone for NameUnion

fn clone(&self) -> NameUnion

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NameUnion

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

Formats the value using the given formatter.

impl Display for NameUnion

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

Formats the value using the given formatter.

impl Eq for NameUnion

impl<'_> From<&'_ DirectName> for NameUnion

fn from(name: &DirectName) -> Self

Performs the conversion.

impl<'_> From<&'_ Expression> for NameUnion

fn from(value: &Expression) -> Self

Performs the conversion.

impl<'_> From<&'_ HashSet<NameUnion, RandomState>> for NameUnion

fn from(names: &HashSet<NameUnion, RandomState>) -> Self

Performs the conversion.

impl<'_> From<&'_ Name> for NameUnion

fn from(name: &Name) -> Self

Performs the conversion.

impl<'_> From<&'_ Subscript> for NameUnion

fn from(sub: &Subscript) -> Self

Performs the conversion.

impl<'_> From<&'_ str> for NameUnion

fn from(name: &str) -> Self

Performs the conversion.

impl<'_> HasParent<&'_ NameUnion> for Class

fn has_parent(
    &self,
    name: &NameUnion,
    ctx: &Context,
    pos: &Position
) -> Result<bool, Vec<TypeErr>>

Has name as parent.

impl<'_> HasParent<&'_ NameUnion> for ClassTuple

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

Has name as parent.

impl<'_> HasParent<&'_ NameUnion> for ClassUnion

fn has_parent(
    &self,
    name: &NameUnion,
    ctx: &Context,
    pos: &Position
) -> Result<bool, Vec<TypeErr>>

Has name as parent.

impl Hash for NameUnion

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, 

Feeds a slice of this type into the given [Hasher].

impl IsNullable for NameUnion

fn is_nullable(&self) -> bool

impl IsSuperSet<NameUnion> for NameUnion

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

impl<'_> LookupClass<&'_ NameUnion, ClassUnion> for Context

fn class(
    &self,
    name: &NameUnion,
    pos: &Position
) -> Result<ClassUnion, Vec<TypeErr>>

Look up GenericClass and substitute generics to yield a Class.

Error

If NameUnion is empty.

impl PartialEq<NameUnion> for NameUnion

fn eq(&self, other: &Self) -> bool

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for NameUnion

impl<'_> TryFrom<&'_ AST> for NameUnion

type Error = Vec<TypeErr>

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<'_> TryFrom<&'_ Box<AST>> for NameUnion

type Error = Vec<TypeErr>

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<&'_ Vec<AST>> for NameUnion

type Error = Vec<TypeErr>

The type returned in the event of a conversion error.

fn try_from(asts: &Vec<AST>) -> Result<Self, Self::Error>

Performs the conversion.

impl Union<DirectName> for NameUnion

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

impl Union<Name> for NameUnion

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

impl Union<NameUnion> for NameUnion

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