Enum ForceMode 

pub enum ForceMode {
    Lift,
    Scalar,
    Strict,
}

How leniently a value is coerced to syntax.

Variants

Lift

lift: scalars fold, a pair is built, a closure η-expands.

Scalar

What a staged site requires of a result. Stops short of Lift at closures: η-expanding one would compile a function nobody asked to compile, freezing its semantics.

Strict

force-code: code or an error, so a branch that fails to produce code is caught rather than silently η-expanded.

Trait Implementations

impl Clone for ForceMode

fn clone(&self) -> ForceMode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForceMode

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

Formats the value using the given formatter.

impl PartialEq for ForceMode

fn eq(&self, other: &ForceMode) -> 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 Copy for ForceMode

impl Eq for ForceMode

impl StructuralPartialEq for ForceMode