Struct CurriedFn 

pub struct CurriedFn<D: Domain> { /* private fields */ }

Wraps a DSL function in a struct that manages currying of the arguments which are fed in one at a time through .apply(). Example: the “+” primitive evaluates to a CurriedFn with arity 2 and empty partial_args. The expression (app + 3) evals to a CurriedFn with vec![3] as the partial_args. The expression (app (app + 3) 4) will evaluate to 7 (since .apply() will fill the last argument, notice that all arguments are filled, and return the result).

Implementations

impl<D: Domain> CurriedFn<D>

pub fn new(name: Symbol, arity: usize) -> Self

pub fn new_with_args(name: Symbol, arity: usize, partial_args: Env<D>) -> Self

pub fn apply(&self, arg: LazyVal<D>, handle: &Evaluator<'_, D>) -> VResult<D>

Feed one more argument into the function, returning a new CurriedFn if still not all the arguments have been received. Evaluate the function if all arguments have been received. Does not mutate the original.

Trait Implementations

impl<D: Clone + Domain> Clone for CurriedFn<D>

fn clone(&self) -> CurriedFn<D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<D: Debug + Domain> Debug for CurriedFn<D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, D> Deserialize<'de> for CurriedFn<D>

where D: Deserialize<'de> + Domain,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<D: Hash + Domain> Hash for CurriedFn<D>

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<D: PartialEq + Domain> PartialEq for CurriedFn<D>

fn eq(&self, other: &CurriedFn<D>) -> 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<D> Serialize for CurriedFn<D>

where D: Serialize + Domain,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<D: Eq + Domain> Eq for CurriedFn<D>

impl<D: Domain> StructuralPartialEq for CurriedFn<D>