Trait fetish_lib::func_impl::FuncImpl

pub trait FuncImpl: HasFuncSignature {
    fn evaluate(
        &self, 
        state: &mut InterpreterState<'_>, 
        args: Vec<TermReference>
    ) -> (TermReference, NewlyEvaluatedTerms);
}

Trait for primitive function implementations.

Required methods

fn evaluate(
    &self,
    state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

Given a handle on the current InterpreterState (primarily useful if additional terms need to be evaluated / looked up) and the collection of TermReference arguments to apply this function implementation to, yields a TermReference to the result, along with a collection of any NewlyEvaluatedTerms which may have arisen as part of the implementation of this method. See func_impl.rs in the source for sample implementations.

Trait Implementations

impl Hash for dyn FuncImpl + '_

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<dyn FuncImpl + '_> for dyn FuncImpl + '_

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Eq for dyn FuncImpl + '_

Implementors

impl FuncImpl for BinaryFuncImpl

fn evaluate(
    &self,
    _state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for ComposeImpl

fn evaluate(
    &self,
    state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for ConstImpl

fn evaluate(
    &self,
    _state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for FillImpl

fn evaluate(
    &self,
    state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for HeadImpl

fn evaluate(
    &self,
    _state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for MapImpl

fn evaluate(
    &self,
    state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for ReduceImpl

fn evaluate(
    &self,
    state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for RotateImpl

fn evaluate(
    &self,
    _state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)

impl FuncImpl for SetHeadImpl

fn evaluate(
    &self,
    _state: &mut InterpreterState<'_>,
    args: Vec<TermReference>
) -> (TermReference, NewlyEvaluatedTerms)