Struct PartiallyAppliedTerm 

pub struct PartiallyAppliedTerm {
    pub func_ptr: PrimitiveTermPointer,
    pub args: Vec<TermReference>,
}

The application of some PrimitiveTermPointer (which points to a FuncImpl) to some number of TermReference arguments.

Fields

func_ptr: PrimitiveTermPointer

args: Vec<TermReference>

Implementations

impl PartiallyAppliedTerm

pub fn new(func_ptr: PrimitiveTermPointer) -> PartiallyAppliedTerm

Constructs a new PartiallyAppliedTerm with the given func_ptr as its function, and an initially-empty list of TermReference arguments.

Trait Implementations

impl Clone for PartiallyAppliedTerm

fn clone(&self) -> PartiallyAppliedTerm

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl DisplayableWithState for PartiallyAppliedTerm

fn display(&self, state: &InterpreterState<'_>) -> String

impl Hash for PartiallyAppliedTerm

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PartiallyAppliedTerm

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PartiallyAppliedTerm

impl StructuralPartialEq for PartiallyAppliedTerm