[−][src]Struct type_checking::type_system::TypeSystem
Fields
defined_classes: HashMap<Symbol<'src>, Rc<ClassDef<'src, 'ast>>>
Methods
impl<'src, 'ast> TypeSystem<'src, 'ast>[src]
impl<'src, 'ast> TypeSystem<'src, 'ast>pub fn is_type_defined(&self, name: Symbol<'src>) -> bool[src]
pub fn is_type_defined(&self, name: Symbol<'src>) -> boolpub fn add_class_def<'a>(
&'a mut self,
class_def: ClassDef<'src, 'ast>
) -> Result<ClassDefId<'src>, ClassAlreadyDeclared>[src]
pub fn add_class_def<'a>(
&'a mut self,
class_def: ClassDef<'src, 'ast>
) -> Result<ClassDefId<'src>, ClassAlreadyDeclared>pub fn class_mut(&mut self, id: ClassDefId<'src>) -> &mut ClassDef<'src, 'ast>[src]
pub fn class_mut(&mut self, id: ClassDefId<'src>) -> &mut ClassDef<'src, 'ast>pub fn class(&self, id: ClassDefId<'src>) -> Rc<ClassDef<'src, 'ast>>[src]
pub fn class(&self, id: ClassDefId<'src>) -> Rc<ClassDef<'src, 'ast>>pub fn lookup_class_mut(
&mut self,
name: Symbol<'src>
) -> Option<&mut ClassDef<'src, 'ast>>[src]
pub fn lookup_class_mut(
&mut self,
name: Symbol<'src>
) -> Option<&mut ClassDef<'src, 'ast>>pub fn lookup_class(
&self,
name: Symbol<'src>
) -> Option<(Rc<ClassDef<'src, 'ast>>, ClassDefId<'src>)>[src]
pub fn lookup_class(
&self,
name: Symbol<'src>
) -> Option<(Rc<ClassDef<'src, 'ast>>, ClassDefId<'src>)>pub fn defined_classes(&self) -> &HashMap<Symbol, Rc<ClassDef>>[src]
pub fn defined_classes(&self) -> &HashMap<Symbol, Rc<ClassDef>>Trait Implementations
impl<'src, 'ast> Default for TypeSystem<'src, 'ast>[src]
impl<'src, 'ast> Default for TypeSystem<'src, 'ast>fn default() -> TypeSystem<'src, 'ast>[src]
fn default() -> TypeSystem<'src, 'ast>impl<'src, 'ast> Debug for TypeSystem<'src, 'ast>[src]
impl<'src, 'ast> Debug for TypeSystem<'src, 'ast>Auto Trait Implementations
impl<'src, 'ast> !Send for TypeSystem<'src, 'ast>
impl<'src, 'ast> !Send for TypeSystem<'src, 'ast>impl<'src, 'ast> !Sync for TypeSystem<'src, 'ast>
impl<'src, 'ast> !Sync for TypeSystem<'src, 'ast>Blanket Implementations
impl<T> From for T[src]
impl<T> From for Timpl<T, U> Into for T where
U: From<T>, [src]
impl<T, U> Into for T where
U: From<T>, impl<T, U> TryFrom for T where
T: From<U>, [src]
impl<T, U> TryFrom for T where
T: From<U>, type Error = !
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>impl<T> Borrow for T where
T: ?Sized, [src]
impl<T> Borrow for T where
T: ?Sized, impl<T> BorrowMut for T where
T: ?Sized, [src]
impl<T> BorrowMut for T where
T: ?Sized, fn borrow_mut(&mut self) -> &mut T[src]
fn borrow_mut(&mut self) -> &mut Timpl<T, U> TryInto for T where
U: TryFrom<T>, [src]
impl<T, U> TryInto for T where
U: TryFrom<T>, type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>impl<T> Any for T where
T: 'static + ?Sized, [src]
impl<T> Any for T where
T: 'static + ?Sized, fn get_type_id(&self) -> TypeId[src]
fn get_type_id(&self) -> TypeId