formawasm 0.0.1-beta

Backend that compiles a typed FormaLang IR module into a WebAssembly component.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

//! formawasm — WebAssembly component backend for the formalang IR.
//!
//! See `README.md` for the project spec and `CHANGELOG.md` for the
//! phase-by-phase history. This crate re-exports the upstream IR
//! types it consumes so callers do not need a separate `formalang`
//! dependency to use the backend.

mod backend;
pub mod component;
pub(crate) mod compound;
#[cfg(feature = "dwarf")]
pub mod dwarf;
pub(crate) mod ident;
pub mod layout;
pub mod lower;
pub mod module;
pub mod module_lowering;
pub mod preflight;
pub(crate) mod string_pool;
pub mod survey;
pub mod types;
pub mod wit;

#[cfg(feature = "wasm-opt")]
pub use backend::optimize_core_module;
pub use backend::{WasmBackend, WasmBackendError};
pub use component::{ComponentWrapError, wrap_component};
pub use layout::{
    ArrayLayout, EnumLayout, FieldLayout, LayoutError, RangeLayout, StructLayout, VTableLayout,
    VariantLayout, plan_array, plan_enum, plan_range, plan_struct, plan_vtable,
};
pub use lower::{BindingMap, FunctionMap, LowerContext, LowerError};
pub use module::ModuleBuilder;
pub use module_lowering::{ModuleLowerError, lower_module};
pub use preflight::PreflightError;
pub use survey::PublicSurface;
pub use types::TypeMapError;
pub use wit::{WitEmitError, emit_wit};

pub use formalang::ir::{
    EnumId, FunctionId, IrFunction, IrFunctionParam, IrFunctionSig, IrImport, IrImportItem,
    IrModule, IrTrait, ResolvedType, StructId, TraitId,
};
pub use formalang::pipeline::{Backend, IrPass, Pipeline, PipelineError};