Struct PythonBackend 

pub struct PythonBackend {
    pub module: PythonModule,
    pub fn_map: HashMap<String, String>,
    pub fresh_counter: usize,
}

Python code generation backend.

Compiles LCNF function declarations to a PythonModule containing Python 3.10+ code with type hints.

Fields

module: PythonModule

The module being built.

fn_map: HashMap<String, String>

Mapping from LCNF names to mangled Python names.

fresh_counter: usize

Counter for generating fresh temporary variable names.

Implementations

impl PythonBackend

pub fn new() -> Self

Create a new Python backend.

pub fn fresh_var(&mut self) -> String

Generate a fresh temporary variable name: _t0, _t1, etc.

pub fn mangle_name(&self, name: &str) -> String

Mangle an LCNF name into a valid Python identifier.

Rules:

• Replace . with _
• Replace ' (prime) with _prime
• Replace - with _
• Prefix Python reserved words with _

pub fn compile_module(decls: &[LcnfFunDecl]) -> Result<String, String>

Top-level entry point: compile a slice of LCNF function declarations into a Python module string.

pub fn compile_decl( &mut self, decl: &LcnfFunDecl, ) -> Result<PythonFunction, String>

Compile a single LCNF function declaration into a PythonFunction.

pub fn emit_module(&self) -> String

Emit the compiled module as a Python string.

Trait Implementations

impl Default for PythonBackend

fn default() -> Self

Returns the “default value” for a type.