Struct ModuleExports 

pub struct ModuleExports {
    pub name: String,
    pub description: String,
    pub exports: HashMap<String, ModuleFn>,
    pub async_exports: HashMap<String, AsyncModuleFn>,
    pub schemas: HashMap<String, ModuleFunction>,
    pub export_visibility: HashMap<String, ModuleExportVisibility>,
    pub shape_sources: Vec<(String, String)>,
    pub module_artifacts: Vec<ModuleArtifact>,
    pub method_intrinsics: HashMap<String, HashMap<String, ModuleFn>>,
    pub type_schemas: Vec<TypeSchema>,
}

A Rust-implemented module exposed via <name>.

Fields

name: String

Module name (e.g., “csv”, “json”, “duckdb”)

description: String

Human-readable description of this module

exports: HashMap<String, ModuleFn>

Exported sync functions: name → implementation

async_exports: HashMap<String, AsyncModuleFn>

Exported async functions: name → implementation

schemas: HashMap<String, ModuleFunction>

Function schemas for LSP + validation: name → schema

export_visibility: HashMap<String, ModuleExportVisibility>

Export visibility controls: name → visibility.

shape_sources: Vec<(String, String)>

Shape source files bundled with this extension. Compiled and merged with core stdlib at startup. Vec of (filename, source_code) pairs.

Legacy compatibility field. New code should use module_artifacts.

module_artifacts: Vec<ModuleArtifact>

Bundled module artifacts (source/compiled/both).

method_intrinsics: HashMap<String, HashMap<String, ModuleFn>>

Method intrinsics for fast dispatch on typed Objects. Outer key: type name (e.g., “DuckDbQuery”) Inner key: method name (e.g., “build_sql”) Dispatched BEFORE callable-property and UFCS fallback.

type_schemas: Vec<TypeSchema>

Type schemas to register in the VM’s runtime TypeSchemaRegistry. Extensions can use this to declare types that the runtime can use for TypedObject creation and field validation.

Implementations

impl ModuleExports

pub fn new(name: impl Into<String>) -> Self

Create a new extension module.

pub fn add_function<F>(&mut self, name: impl Into<String>, f: F) -> &mut Self

where F: for<'ctx> Fn(&[ValueWord], &ModuleContext<'ctx>) -> Result<ValueWord, String> + Send + Sync + 'static,

Register an exported function.

pub fn add_function_with_schema<F>( &mut self, name: impl Into<String>, f: F, schema: ModuleFunction, ) -> &mut Self

where F: for<'ctx> Fn(&[ValueWord], &ModuleContext<'ctx>) -> Result<ValueWord, String> + Send + Sync + 'static,

Register an exported function with its schema.

pub fn add_async_function<F, Fut>( &mut self, name: impl Into<String>, f: F, ) -> &mut Self

where F: Fn(Vec<ValueWord>) -> Fut + Send + Sync + 'static, Fut: Future<Output = Result<ValueWord, String>> + Send + 'static,

Register an async exported function.

pub fn add_async_function_with_schema<F, Fut>( &mut self, name: impl Into<String>, f: F, schema: ModuleFunction, ) -> &mut Self

where F: Fn(Vec<ValueWord>) -> Fut + Send + Sync + 'static, Fut: Future<Output = Result<ValueWord, String>> + Send + 'static,

Register an async exported function with its schema.

pub fn set_export_visibility( &mut self, name: impl Into<String>, visibility: ModuleExportVisibility, ) -> &mut Self

Set visibility for one export name.

pub fn export_visibility(&self, name: &str) -> ModuleExportVisibility

Resolve visibility for one export (defaults to Public).

pub fn is_export_available(&self, name: &str, comptime_mode: bool) -> bool

Return true when the export can be called in the current compiler mode.

pub fn is_export_public_surface(&self, name: &str, comptime_mode: bool) -> bool

Return true when the export should appear in user-facing completion/hover surfaces.

pub fn export_names_available(&self, comptime_mode: bool) -> Vec<&str>

List exports available for the requested mode (sync + async).

pub fn export_names_public_surface(&self, comptime_mode: bool) -> Vec<&str>

List user-facing exports for completion/hover (sync + async).

pub fn add_shape_source(&mut self, filename: &str, source: &str) -> &mut Self

Bundle a Shape source file with this extension. The source will be compiled and merged with stdlib at startup.

pub fn add_shape_artifact( &mut self, module_path: impl Into<String>, source: Option<String>, compiled: Option<Vec<u8>>, ) -> &mut Self

Register a bundled module artifact (source/compiled/both).

pub fn add_intrinsic<F>( &mut self, type_name: &str, method_name: &str, f: F, ) -> &mut Self

where F: for<'ctx> Fn(&[ValueWord], &ModuleContext<'ctx>) -> Result<ValueWord, String> + Send + Sync + 'static,

Register a method intrinsic for fast dispatch on typed Objects. Called before callable-property and UFCS fallback in handle_object_method().

pub fn add_type_schema(&mut self, schema: TypeSchema) -> SchemaId

Register a type schema that the VM will add to its runtime registry. Returns the schema ID for reference.

pub fn has_export(&self, name: &str) -> bool

Check if this module exports a given name (sync or async).

pub fn get_export(&self, name: &str) -> Option<&ModuleFn>

Get a sync exported function by name.

pub fn get_async_export(&self, name: &str) -> Option<&AsyncModuleFn>

Get an async exported function by name.

pub fn is_async(&self, name: &str) -> bool

Check if a function is async.

pub fn get_schema(&self, name: &str) -> Option<&ModuleFunction>

Get the schema for an exported function.

pub fn export_names(&self) -> Vec<&str>

List all export names (sync + async).

pub fn to_parsed_schema(&self) -> ParsedModuleSchema

Convert this module’s schema to a ParsedModuleSchema for the semantic analyzer, mirroring the conversion in BytecodeExecutor::module_schemas().

pub fn stdlib_module_schemas() -> Vec<ParsedModuleSchema>

Return ParsedModuleSchema entries for all shipped native stdlib modules. Used during engine initialization to make these globals visible at compile time.

Trait Implementations

impl Clone for ModuleExports

fn clone(&self) -> ModuleExports

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleExports

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

Formats the value using the given formatter.