Enum Lifter 

pub enum Lifter {
    Cfg,
    Calls,
    Main,
}

A way to lift a program to an engine config. A lifter panics on a program it cannot take; lower tries the function lifters in order, so a caller that runs one lifter at a time (a process or an instance per attempt) takes the same path.

Variants

Cfg

The single-function CFG lifter.

Calls

The multi-function lifter: Call terminators and the engine’s frame stack, for recursion.

Main

The whole program from its ## Main, each Show a record the engine streams.

Implementations

impl Lifter

pub const FUNCTION: [Lifter; 2]

The lifters a function is tried with, in order.

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

The name a host reads (lifter= in emit_wpe_soc’s facts).

pub fn lift(self, src: &str, func: &str) -> WProgConfig

Lift func of src — or, for Lifter::Main, its ## Main.

Trait Implementations

impl Clone for Lifter

fn clone(&self) -> Lifter

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Lifter

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

Formats the value using the given formatter.

impl PartialEq for Lifter

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

impl Eq for Lifter

impl StructuralPartialEq for Lifter