Struct mamba::check::context::clss::Class

pub struct Class {
    pub is_py_type: bool,
    pub name: StringName,
    pub concrete: bool,
    pub args: Vec<FunctionArg>,
    pub fields: HashSet<Field>,
    pub parents: HashSet<TrueName>,
    pub functions: HashSet<Function>,
}

Concrete type.

Has fields and functions defined within and from parents for easy access.

Parents are immediate parents.

Vector of fields signifies the fields of self, followed by fields of consecutive parents and their parents. The same goes for functions.

Fields

is_py_type: bool

name: StringName

concrete: bool

args: Vec<FunctionArg>

fields: HashSet<Field>

parents: HashSet<TrueName>

functions: HashSet<Function>

Implementations

impl Class

pub fn constructor(&self, without_self: bool) -> Function

Trait Implementations

impl Clone for Class

fn clone(&self) -> Class

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Class

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

Formats the value using the given formatter.

impl Display for Class

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

Formats the value using the given formatter.

impl GetField<Field> for Class

fn field(&self, name: &str, ctx: &Context, pos: Position) -> TypeResult<Field>

impl GetFun<Function> for Class

fn fun(
    &self,
    name: &StringName,
    ctx: &Context,
    pos: Position
) -> TypeResult<Function>

Get function of class.

If class does not implement function, traverse parents until function found.

impl HasParent<&Name> for Class

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

Has name as parent.

impl HasParent<&StringName> for Class

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

Has name as parent.

impl HasParent<&TrueName> for Class

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

Has name as parent.

impl Hash for Class

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 LookupClass<&StringName, Class> for Context

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

Look up union of GenericClass and substitute generics to yield set of classes.

Substitutes all generics in the class when found.

impl LookupClass<&TrueName, Class> for Context

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

impl PartialEq<Class> for Class

fn eq(&self, other: &Self) -> 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 TryFrom<(&GenericClass, &HashMap<Name, Name, RandomState>, Position)> for Class

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Eq for Class

impl StructuralEq for Class