Struct mamba::check::context::field::Field

pub struct Field {
    pub is_py_type: bool,
    pub name: String,
    pub mutable: bool,
    pub in_class: Option<StringName>,
    pub ty: Name,
    pub assigned_to: bool,
}

A Field, which may either be top-level, or optionally within a class.

May have a type.

Fields

is_py_type: bool

name: String

mutable: bool

in_class: Option<StringName>

ty: Name

assigned_to: bool

Trait Implementations

impl Clone for Field

fn clone(&self) -> Field

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Field

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

Formats the value using the given formatter.

impl Display for Field

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 Hash for Field

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 LookupField<&str, Field> for Context

fn field(&self, field: &str, pos: Position) -> Result<Field, Vec<TypeErr>>

Look up a field and substitutes generics to yield a Field.

impl PartialEq<Field> for Field

fn eq(&self, other: &Field) -> 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<(&GenericField, &HashMap<Name, Name, RandomState>, Position)> for Field

type Error = Vec<TypeErr, Global>

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Eq for Field

impl StructuralEq for Field

impl StructuralPartialEq for Field