Enum erg_compiler::context::ClassDefType

pub enum ClassDefType {
    Simple(Type),
    ImplTrait {
        class: Type,
        impl_trait: Type,
    },
}

Variants

Simple(Type)

ImplTrait

Fields

class: Type

impl_trait: Type

Implementations

impl ClassDefType

pub const fn impl_trait(class: Type, impl_trait: Type) -> Self

pub fn get_class(&self) -> &Type

pub fn get_impl_trait(&self) -> Option<&Type>

pub fn is_class_of(&self, t: &Type) -> bool

pub fn is_impl_of(&self, trait_: &Type) -> bool

Trait Implementations

impl Clone for ClassDefType

fn clone(&self) -> ClassDefType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ClassDefType

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

Formats the value using the given formatter.

impl Display for ClassDefType

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

Formats the value using the given formatter.

impl Hash for ClassDefType

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 PartialEq for ClassDefType

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

impl StructuralPartialEq for ClassDefType