Rust Docs · The Rust Web Kernel

AREA 08 · RUST DOCS

Building High-Performance Web Applications in Pure Rust

No macros, no JSX, no virtual DOM. Pure typed Rust builders with zero allocations in hot rendering paths.

Performance A11y lab

VIEW-IR API

Declarative UI Composition in Pure Rust

velvet_html::view provides fluent constructor functions mapping to native CSS layouts

Composing Views with Builders

Zero proc-macro tax with instant IDE completion

rust

use velvet_html::view::{ surface, stack, text, badge, btn_kv, Intent, Variant, Surface};

pub fn telemetry_card(title: &str, count: u32) -> View {
    surface(stack([
        badge("Live Telemetry").tone(Intent::Ok).variant(Variant::Solid),
        text(title).tone(Intent::Accent),
        btn_kv("refresh", "Sync", BtnKind::Primary, &[("target", "telemetry")]),
    ]))
    .with_surface(Surface::Elevated)
}

All view constructors return the closed View enum with zero heap allocations for leaf nodes.

Layout Primitives

Deterministic spacing & gaps

stack([kid1, kid2]).gap(Gap::Md)cluster([chip1, chip2])bento([card1.span(2), card2.span(1)])split(left_view, right_view)

STATE MACHINE

Closed Acts & Deterministic Reducers

One central reducer driving both server-side rendering and WebAssembly island morphing

rust

velvet_html::closed_act! {
    pub enum HomeAct {
        Ping => "saas_showcase_ping" {
            islands = &["count"],
            form = NoteForm
        },
    }
}

// In the application reducer:
match HomeAct::dispatch(act)? {
    HomeAct::Ping => {
        let form = NoteForm::from_payload(&payload)?;
        state.count = state.count.saturating_add(1);
    }
}

Acts guarantee thread safety and wire safety across native, web, and MCP agent calls.

ISLAND MORPHING

Surgical DOM Patching without Virtual DOM

Tagged islands update with sub-microsecond latency without traversing a secondary tree

WASM Island Contract

island("id", view)

When state mutates, the motor computes diffs only on dirty tagged islands, applying direct textContent, classList, and value updates in browser DOM.

rust

island("active_sessions", metric(&count.to_string(), "Sessions"))

Building High-Performance Web Applications in Pure Rust

Declarative UI Composition in Pure Rust

Composing Views with Builders

Layout Primitives

Closed Acts & Deterministic Reducers

Surgical DOM Patching without Virtual DOM

WASM Island Contract

Velvet DevTools

Settings

Composing Views with Builders

Layout Primitives

WASM Island Contract

Command Palette

Select an item

Keyboard Shortcuts

Velvet DevTools

Settings