Struct Pap 

pub struct Pap {
    pub closure: Closure,
    pub args: Vec<RtObject>,
}

A partial application (PAP).

Created when a closure is applied to fewer arguments than its arity. The PAP stores the original closure and the arguments applied so far.

Fields

closure: Closure

The original closure being partially applied.

args: Vec<RtObject>

Arguments applied so far.

Implementations

impl Pap

pub fn new(closure: Closure, args: Vec<RtObject>) -> Self

Create a new PAP.

pub fn remaining_arity(&self) -> u16

Number of arguments still needed.

pub fn total_arity(&self) -> u16

Total arity of the underlying closure.

pub fn num_applied(&self) -> usize

Number of arguments applied so far.

pub fn is_saturated(&self) -> bool

Check if the PAP is fully saturated (should not happen, but defensive).

pub fn apply(&self, new_args: &[RtObject]) -> PapResult

Apply additional arguments. Returns either a new PAP or indicates saturation.

pub fn all_args(&self) -> Vec<RtObject>

Get all arguments (environment + applied).

Trait Implementations

impl Clone for Pap

fn clone(&self) -> Pap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Pap

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

Formats the value using the given formatter.

impl Display for Pap

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

Formats the value using the given formatter.