Crate mangle_interpreter 

Mangle Interpreter

A pure Rust interpreter for the Mangle Intermediate Representation (IR).

This crate enables the Edge Mode of execution, allowing Mangle programs to run on devices or in environments where a WebAssembly runtime is not available or desired.

It executes the Physical IR operations (Op) directly.

Usage

See mangle-driver for the high-level API to compile and execute source code.

Structs

Interpreter

A pure Rust interpreter for Mangle IR.

MemStore

A simple in-memory implementation of Store. Supports semi-naive evaluation by tracking “stable” and “delta” facts.

ProvenanceEntry

A record of one derivation: which fact was derived and which premises were used.

ProvenanceRecorder

Lightweight recorder that captures derivation provenance during execution.

Enums

CompoundKind

Identifies the kind of a compound value. When type information is available (concrete types), the kind is redundant. For /any or union-typed columns the kind tag makes the value self-describing.

Value

Traits

Store

Abstract interface for relation storage (Edge Mode).

Functions

eval_function

Evaluate a built-in function call.