Enum Saturation 

pub enum Saturation {
    Saturated,
    Partial,
}

Whether an application supplies every argument its callee takes.

A saturated application at a callee whose arity is known emits as a direct call; everything else goes through the runtime’s $curry helper (DEC-18 decision 3). An Apply node supplies one argument, so this is a property of a node within the application spine and not of the spine as a whole: f a b at a two-parameter f is Partial on the inner node and Saturated on the outer one.

Variants

Saturated

This node supplies the last of the arguments the callee takes.

Partial

It does not — either because arguments are still missing, because the spine has already run past the callee’s arity, or because the callee has no arity at all. A callee that is a parameter, or any other expression that is not a name, is a value rather than a declaration and has no arity.

Trait Implementations

impl Clone for Saturation

fn clone(&self) -> Saturation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Saturation

impl Debug for Saturation

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

Formats the value using the given formatter.

impl Eq for Saturation

impl PartialEq for Saturation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Saturation