Struct fetish_lib::type_space::TypeSpace [−][src]
pub struct TypeSpace { /* fields omitted */ }
Expand description
Directory of currently-known non-primitive PartiallyAppliedTerm
s for a given
TypeId
in the context of an crate::interpreter_state::InterpreterState
.
Implementations
impl TypeSpace
[src]
impl TypeSpace
[src]pub fn get_num_terms(&self) -> usize
[src]
pub fn get_num_terms(&self) -> usize
[src]Gets the number of terms in this type-space
pub fn get(&self, term_index: usize) -> &PartiallyAppliedTerm
[src]
pub fn get(&self, term_index: usize) -> &PartiallyAppliedTerm
[src]Gets the term with the given index from this type-space
pub fn add(&mut self, term: PartiallyAppliedTerm) -> NonPrimitiveTermPointer
[src]
pub fn add(&mut self, term: PartiallyAppliedTerm) -> NonPrimitiveTermPointer
[src]Adds a given term to this type-space if it doesn’t already exist in that space, otherwise returns a reference to the previously-added term
Auto Trait Implementations
impl RefUnwindSafe for TypeSpace
impl Send for TypeSpace
impl Sync for TypeSpace
impl Unpin for TypeSpace
impl UnwindSafe for TypeSpace
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,