Refactor the TypeScript data flow for full type safety and auto-generation of Rust types

.github/workflows/ci.yml

@@ -117,7 +117,7 @@ jobs:
           NODE_ENV: production
         run: |
           cd frontend
-          npm run lint
+          npm run check
 
   # Run the Rust tests on the self-hosted native runner
   test:

.github/workflows/website.yml

@@ -94,7 +94,7 @@ jobs:
         run: |
           cd website
           npm ci
-          npm run lint
+          npm run check
           zola --config config.toml build --minify
 
       - name: 📤 Publish to Cloudflare Pages

.vscode/settings.json

@@ -39,25 +39,12 @@
 	"rust-analyzer.check.command": "clippy",
 	"rust-analyzer.cargo.allTargets": false,
 	"rust-analyzer.procMacro.ignored": {
-		"serde_derive": ["Serialize", "Deserialize"],
-		"specta_macros": ["Type"] // Disabled because of: https://github.com/specta-rs/specta/issues/387
+		"serde_derive": ["Serialize", "Deserialize"]
 	},
 	// ESLint config
 	"eslint.format.enable": true,
 	"eslint.workingDirectories": ["./frontend", "./website"],
 	"eslint.validate": ["javascript", "typescript", "svelte"],
-	// Svelte config
-	"svelte.plugin.svelte.compilerWarnings": {
-		"css-unused-selector": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"vite-plugin-svelte-css-no-scopable-elements": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y-no-static-element-interactions": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y-no-noninteractive-element-interactions": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y-click-events-have-key-events": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y_consider_explicit_label": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y_click_events_have_key_events": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y_no_noninteractive_element_interactions": "ignore", // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-		"a11y_no_static_element_interactions": "ignore" // NOTICE: Keep this list in sync with the list in `frontend/vite.config.ts`
-	},
 	// Git Graph config
 	"git-graph.repository.fetchAndPrune": true,
 	"git-graph.repository.showRemoteHeads": false,

Cargo.toml

@@ -98,6 +98,7 @@ rustc-hash = "2.0"
 bytemuck = { version = "1.13", features = ["derive", "min_const_generics"] }
 serde = { version = "1.0", features = ["derive", "rc"] }
 serde_json = "1.0"
+serde_bytes = "0.11"
 serde-wasm-bindgen = "0.6"
 reqwest = { version = "0.13", features = ["blocking", "json"] }
 futures = "0.3"
@@ -176,11 +177,7 @@ fern = { version = "0.7", features = ["colored"] }
 num_enum = { version = "0.7", default-features = false }
 num-derive = "0.4"
 num-traits = { version = "0.2", default-features = false, features = ["libm"] }
-specta = { version = "2.0.0-rc.22", features = [
-	"glam",
-	"derive",
-	# "typescript",
-] }
+tsify = { version = "0.5", default-features = false, features = ["js"] }
 syn = { version = "2.0", default-features = false, features = [
 	"full",
 	"derive",
@@ -230,7 +227,6 @@ graphite-proc-macros = { opt-level = 1 }
 image = { opt-level = 2 }
 rustc-hash = { opt-level = 3 }
 serde_derive = { opt-level = 1 }
-specta-macros = { opt-level = 1 }
 syn = { opt-level = 1 }
 node-macro = { opt-level = 2 }
 

deny.toml

@@ -183,7 +183,7 @@ allow-git = []
 
 [sources.allow-org]
 # 1 or more github.com organizations to allow git sources for
-github = ["linebender", "Rust-GPU", "specta-rs"]
+github = ["linebender", "Rust-GPU"]
 # 1 or more gitlab.com organizations to allow git sources for
 #gitlab = [""]
 # 1 or more bitbucket.org organizations to allow git sources for

desktop/wrapper/src/intercept_frontend_message.rs

@@ -26,6 +26,7 @@ pub(super) fn intercept_frontend_message(dispatcher: &mut DesktopWrapperMessageD
 			});
 		}
 		FrontendMessage::TriggerSaveDocument { document_id, name, path, content } => {
+			let content = content.into_vec();
 			if let Some(path) = path {
 				dispatcher.respond(DesktopFrontendMessage::WriteFile { path, content });
 			} else {
@@ -42,6 +43,7 @@ pub(super) fn intercept_frontend_message(dispatcher: &mut DesktopWrapperMessageD
 			}
 		}
 		FrontendMessage::TriggerSaveFile { name, content } => {
+			let content = content.into_vec();
 			dispatcher.respond(DesktopFrontendMessage::SaveFileDialog {
 				title: "Save File".to_string(),
 				default_filename: name,

desktop/wrapper/src/utils.rs

@@ -15,7 +15,7 @@ pub(crate) mod menu {
 			[layout_group] => layout_group,
 			_ => panic!("Menu bar layout is supposed to have exactly one layout group"),
 		};
-		let LayoutGroup::Row { widgets } = layout_group else {
+		let LayoutGroup::Row(WidgetRow { widgets }) = layout_group else {
 			panic!("Menu bar layout group is supposed to be a row");
 		};
 		widgets

editor/Cargo.toml

@@ -29,12 +29,13 @@ log = { workspace = true }
 bitflags = { workspace = true }
 thiserror = { workspace = true }
 serde = { workspace = true }
+serde_bytes = { workspace = true }
 serde_json = { workspace = true }
 kurbo = { workspace = true }
 futures = { workspace = true }
 glam = { workspace = true }
 derivative = { workspace = true }
-specta = { workspace = true }
+tsify = { workspace = true }
 dyn-any = { workspace = true }
 num_enum = { workspace = true }
 usvg = { workspace = true }

editor/src/dispatcher.rs

@@ -596,7 +596,7 @@ mod test {
 				} = response
 				{
 					if let DiffUpdate::Layout(sub_layout) = &diff[0].new_value {
-						if let LayoutGroup::Row { widgets } = &sub_layout.0[0] {
+						if let LayoutGroup::Row(WidgetRow { widgets }) = &sub_layout.0[0] {
 							if let Widget::TextLabel(TextLabel { value, .. }) = &*widgets[0].widget {
 								print_problem_to_terminal_on_failure(value);
 							}