Struct TypeSpace 

pub struct TypeSpace { /* private fields */ }

Directory of currently-known non-primitive PartiallyAppliedTerms for a given TypeId in the context of an crate::interpreter_state::InterpreterState.

Implementations

impl TypeSpace

pub fn new(id: TypeId) -> TypeSpace

Constructs a new, initially-empty TypeSpace for the given TypeId

pub fn get_num_terms(&self) -> usize

Gets the number of terms in this type-space

pub fn get(&self, term_index: usize) -> &PartiallyAppliedTerm

Gets the term with the given index from this type-space

pub fn add(&mut self, term: PartiallyAppliedTerm) -> NonPrimitiveTermPointer

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