Struct fetish_lib::interpreter_state::InterpreterState

pub struct InterpreterState<'a> {
    pub application_tables: HashMap<TypeId, ApplicationTable<'a>>,
    pub type_spaces: HashMap<TypeId, TypeSpace>,
    pub ctxt: &'a Context,
}

Represents the state of a simple interpreter for the combinatorial language defined through the referenced Context, with the given TypeId-indexed TypeSpaces and ApplicationTables memoizing all known non-primitive terms and results of term evaluations, respectively.

Fields

application_tables: HashMap<TypeId, ApplicationTable<'a>>

type_spaces: HashMap<TypeId, TypeSpace>

ctxt: &'a Context

Implementations

impl<'a> InterpreterState<'a>

pub fn get_context(&self) -> &Context

Gets the Context that this InterpreterState operates within.

pub fn store_term(
    &mut self,
    type_id: TypeId,
    term: PartiallyAppliedTerm
) -> NonPrimitiveTermPointer

Stores the given PartiallyAppliedTerm in the TypeSpace for the given TypeId, if it wasn’t already present. Returns a NonPrimitiveTermPointer referencing where it was stored in this InterpreterState.

pub fn get(&self, term_ptr: TermPointer) -> PartiallyAppliedTerm

Given a TermPointer, yields the PartiallyAppliedTerm which is stored at that location within this InterpreterState (or, in the case of a primitive, within the containing Context)

pub fn get_nonprimitive(
    &self,
    term_ptr: NonPrimitiveTermPointer
) -> &PartiallyAppliedTerm

Given a NonPrimitiveTermPointer, yields the PartiallyAppliedTerm which is stored at that location within this InterpreterState.

pub fn get_app_results_with_arg(
    &self,
    arg: &TermReference
) -> Vec<TermApplicationResult>

Gets all currently-known TermApplicationResults which use the given TermReference argument.

pub fn get_app_results_with_func(
    &self,
    func: TermPointer
) -> Vec<TermApplicationResult>

Gets all currently-known TermApplicationResults which involve the function that the given TermPointer points to.

pub fn get_app_results_with_result(
    &self,
    result_term: &TermReference
) -> Vec<TermApplicationResult>

Gets all currently-known TermApplicationResults which had the given TermReference result.

pub fn evaluate(
    &mut self,
    term_app: &TermApplication
) -> (TermReference, NewlyEvaluatedTerms)

Evaluates the given TermApplication against this InterpreterState, assuming that the function pointed to in the TermApplication is a primitive. Yields a TermReference to the result of the evaluation, and a list of NewlyEvaluatedTerms for this InterpreterState which resulted from evaluating the application.

pub fn ensure_every_type_has_a_term_on_init(&mut self) -> NewlyEvaluatedTerms

Convenience method that ensures that every type has at least one term, assuming that this InterpreterState was just-initialized. Returns NewlyEvaluatedTerms for evaluations that were performed as a result of this operation.

pub fn new(ctxt: &'a Context) -> InterpreterState<'a>

Constructs a fresh InterpreterState operating within the given Context.