Skip to main content

ModuleLoader

proof_engine::scripting::modules

Trait ModuleLoader 

Source 
pub trait ModuleLoader: Send + Sync {
    // Required method
    fn load_source(&self, path: &str) -> Result<String, String>;
}
Expand description

Pluggable backend for loading module source code.

Required Methods§

Source

fn load_source(&self, path: &str) -> Result<String, String>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§