Enum erg_compiler::ty::value::GenTypeObj
source · pub enum GenTypeObj {
Class(ClassTypeObj),
Subclass(InheritedTypeObj),
Trait(TraitTypeObj),
Subtrait(SubsumedTypeObj),
StructuralTrait(TraitTypeObj),
Union(UnionTypeObj),
}
Variants
Class(ClassTypeObj)
Subclass(InheritedTypeObj)
Trait(TraitTypeObj)
Subtrait(SubsumedTypeObj)
StructuralTrait(TraitTypeObj)
Union(UnionTypeObj)
Implementations
sourceimpl GenTypeObj
impl GenTypeObj
pub fn class(t: Type, require: 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 subsumed(
t: Type,
sup: TypeObj,
impls: Option<TypeObj>,
additional: Option<TypeObj>
) -> Self
pub fn union(t: Type, lhs: TypeObj, rhs: TypeObj) -> Self
pub fn require_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
sourceimpl Clone for GenTypeObj
impl Clone for GenTypeObj
sourcefn clone(&self) -> GenTypeObj
fn clone(&self) -> GenTypeObj
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for GenTypeObj
impl Debug for GenTypeObj
sourceimpl Display for GenTypeObj
impl Display for GenTypeObj
sourceimpl Hash for GenTypeObj
impl Hash for GenTypeObj
sourceimpl PartialEq<GenTypeObj> for GenTypeObj
impl PartialEq<GenTypeObj> for GenTypeObj
sourcefn eq(&self, other: &GenTypeObj) -> bool
fn eq(&self, other: &GenTypeObj) -> bool
impl Eq for GenTypeObj
impl StructuralEq for GenTypeObj
impl StructuralPartialEq for GenTypeObj
Auto Trait Implementations
impl !RefUnwindSafe for GenTypeObj
impl !Send for GenTypeObj
impl !Sync for GenTypeObj
impl Unpin for GenTypeObj
impl !UnwindSafe for GenTypeObj
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more