Enum erg_compiler::ty::value::GenTypeObj

pub enum GenTypeObj {
    Class(ClassTypeObj),
    Subclass(InheritedTypeObj),
    Trait(TraitTypeObj),
    Subtrait(SubsumedTypeObj),
    Structural(StructuralTypeObj),
    Union(UnionTypeObj),
    Intersection(IntersectionTypeObj),
    Patch(PatchObj),
}

Variants

Class(ClassTypeObj)

Subclass(InheritedTypeObj)

Trait(TraitTypeObj)

Subtrait(SubsumedTypeObj)

Structural(StructuralTypeObj)

Union(UnionTypeObj)

Intersection(IntersectionTypeObj)

Patch(PatchObj)

Implementations

impl GenTypeObj

pub fn class(t: Type, require: Option<TypeObj>, impls: Option<TypeObj>) -> Self

pub fn inherited( t: Type, sup: TypeObj, impls: Option<TypeObj>, additional: Option<TypeObj> ) -> Self

pub fn trait_(t: Type, require: TypeObj, impls: Option<TypeObj>) -> Self

pub fn patch(t: Type, base: TypeObj, impls: Option<TypeObj>) -> Self

pub fn subsumed( t: Type, sup: TypeObj, impls: Option<TypeObj>, additional: Option<TypeObj> ) -> Self

pub fn union(t: Type, lhs: TypeObj, rhs: TypeObj) -> Self

pub fn intersection(t: Type, lhs: TypeObj, rhs: TypeObj) -> Self

pub fn structural(t: Type, type_: TypeObj) -> Self

pub fn base_or_sup(&self) -> Option<&TypeObj>

pub fn impls(&self) -> Option<&TypeObj>

pub fn impls_mut(&mut self) -> Option<&mut Option<Box<TypeObj>>>

pub fn additional(&self) -> Option<&TypeObj>

pub fn meta_type(&self) -> Type

pub fn typ(&self) -> &Type

pub fn typ_mut(&mut self) -> &mut Type

pub fn into_typ(self) -> Type

Trait Implementations

impl Clone for GenTypeObj

fn clone(&self) -> GenTypeObj

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GenTypeObj

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

Formats the value using the given formatter.

impl Display for GenTypeObj

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

Formats the value using the given formatter.

impl Hash for GenTypeObj

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<GenTypeObj> for GenTypeObj

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

impl StructuralEq for GenTypeObj

impl StructuralPartialEq for GenTypeObj