Enum ForceMode 

pub enum ForceMode {
    Lift,
    Strict,
}

How Cont::ForceCode treats a non-Code value.

The reference (base.scm) has two distinct operations that narju once conflated into a single lenient force-code:

• force-code — strict projection: (code e) → e, anything else errors expected code, not .... This is what reifyc wraps, so it governs If-Code branches, both Run arms (staged and run-now), the body of a lift-Clo η-expansion, and code?’s staged second argument. Verified against base.scm running under Chez: e.g. (run 0 (lambda (var 1))), (run 0 5), (if (lift 1) 2 3), (code? (lift 1) 2), and (lift (lambda 5)) all error.

• lift — the NBE reify operator: numbers/symbols self-represent, closures η-expand, pairs recurse on force-code’d components. This is the only lenient coercion in the reference, and only lift itself (plus narju’s LiftRef and staged-log paths, whose strictness base.scm never exercises, so they have no oracle to check against) may use it.

Variants

Lift

lift semantics: coerce leniently, η-expand Clo.

Strict

force-code semantics: Code or error.

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