Enum Engine 

pub enum Engine {
    Interpreter(JitMode),
    Closures(Provenance),
    Native(Provenance),
    PureNative(Provenance),
}

The engine a program runs on. Every engine accepts every program the interpreter accepts, or refuses it with a reason (KernelError::Refused); the choice changes how fast the program runs and nothing else (docs/design/engines.md §7).

Variants

Interpreter(JitMode)

The interpreter, with as much of its graph fused into native cones as the JitMode says: what compile() builds, under the assembler’s mode.

Closures(Provenance)

The closure tier: every node runs its generated closure over one slot buffer.

Native(Provenance)

Native code where a node has a lowering, its closure elsewhere: the P3 tier. Built in every configuration: a build without the jit feature runs the same kernel with every step a closure and no native segment in it, which plan() reports.

PureNative(Provenance)

Native code and nothing else: the differential tier behind Engine::Native (engines.md §8). It differs from Native in what it does with a node that has no native lowering, which is to refuse the program rather than run that node’s closure. A host asks for it to be told whether its program is fully native, which Native can never answer because it always succeeds. Refused by a build without the jit feature.

Only Provenance::Raw and Provenance::PushPull have a pure kernel; the other named modes are refused, and Provenance::Auto resolves to one of the two.

Trait Implementations

impl Clone for Engine

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Engine

impl Debug for Engine

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

Formats the value using the given formatter.

impl Default for Engine

fn default() -> Self

The engine a host gets when it names none: the fastest this build has, P3 with the jit feature and the closure tier without, with the provenance mode left to the selector. Compiled code is the default; the interpreter is a choice.

impl Display for Engine

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

Formats the value using the given formatter.

impl Eq for Engine

impl Hash for Engine

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Engine

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Engine