Enum Prim1 

pub enum Prim1 {
    Car,
    Cdr,
    IsNum,
    IsSym,
    IsNil,
    IsPair,
    CellNew,
    CellRead,
    Spawn,
    Receive,
    Monitor,
    SpawnMonitor,
    IsRaise,
    RaiseValue,
    IsCodeFun,
}

Grouped under one variant because every member obeys the same staging rule (residualize if the argument is Code, otherwise compute), so the specializer states that rule once.

Variants

Car

Cdr

IsNum

IsSym

IsNil

IsPair

CellNew

CellRead

Spawn

Receive

Unary because the floor is; the argument is ignored.

Monitor

SpawnMonitor

Not sugar: a turn ends wherever the step budget runs out, so a separate spawn and monitor can be parted by it, letting the child die before the watch registers and the watcher hear noproc rather than the cause.

IsRaise

The two exceptions to the staging rule above. A raise reaches these rather than propagating past them, and neither residualizes - which is what folds an interpreter’s raise test away during compilation, leaving the emitted code to get the floor’s own discipline instead.

RaiseValue

IsCodeFun

Applying a code operator commits to the floor’s calling convention, sound only for functions the floor lifted itself. Scoped per region.

Implementations

impl Prim1

pub fn from_name(s: &str) -> Option<Prim1>

pub fn name(self) -> &'static str

pub fn pure(self) -> bool

Distinguishes what may be folded or shared from what may only be residualized in place.

Trait Implementations

impl Clone for Prim1

fn clone(&self) -> Prim1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Prim1

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

Formats the value using the given formatter.

impl PartialEq for Prim1

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

impl Eq for Prim1

impl StructuralPartialEq for Prim1