@mojir/dvala 0.0.18 → 0.0.24

package/dist/cli/cli.js

@@ -478,7 +478,7 @@ function findAllOccurrences(input, pattern) {
 }
 //#endregion
 //#region package.json
-var version = "0.0.18";
+var version = "0.0.24";
 //#endregion
 //#region src/typeGuards/string.ts
 function isString(value, options = {}) {
@@ -5232,7 +5232,7 @@ function generateDocString(reference) {
       ${argStrings(reference).join("\n      ")}
 
     Examples:
-${reference.examples.map((example) => smartTrim(example, 4)).join("\n\n")}`);
+${reference.examples.map((example) => smartTrim(typeof example === "string" ? example : example.code, 4)).join("\n\n")}`);
 }
 function isEffectRef(ref) {
 	return "effect" in ref;
@@ -24391,7 +24391,13 @@ const standardEffects = {
 				description: "Value to print."
 			} },
 			variants: [{ argumentNames: ["value"] }],
-			examples: ["perform(effect(dvala.io.print), \"hello\")", "perform(effect(dvala.io.print), 42)"],
+			examples: [{
+				code: "perform(effect(dvala.io.print), \"hello\")",
+				noRun: true
+			}, {
+				code: "perform(effect(dvala.io.print), 42)",
+				noRun: true
+			}],
 			seeAlso: [
 				"-effect-dvala.io.println",
 				"-effect-dvala.io.error",
@@ -24413,7 +24419,13 @@ const standardEffects = {
 				description: "Value to print."
 			} },
 			variants: [{ argumentNames: ["value"] }],
-			examples: ["perform(effect(dvala.io.println), \"hello\")", "perform(effect(dvala.io.println), [1, 2, 3])"],
+			examples: [{
+				code: "perform(effect(dvala.io.println), \"hello\")",
+				noRun: true
+			}, {
+				code: "perform(effect(dvala.io.println), [1, 2, 3])",
+				noRun: true
+			}],
 			seeAlso: [
 				"-effect-dvala.io.print",
 				"-effect-dvala.io.error",
@@ -24445,7 +24457,10 @@ const standardEffects = {
 				description: "Value to write to stderr."
 			} },
 			variants: [{ argumentNames: ["value"] }],
-			examples: ["perform(effect(dvala.io.error), \"something went wrong\")"],
+			examples: [{
+				code: "perform(effect(dvala.io.error), \"something went wrong\")",
+				noRun: true
+			}],
 			seeAlso: [
 				"-effect-dvala.io.print",
 				"-effect-dvala.io.println",
@@ -25331,14 +25346,11 @@ function deriveEffectReference() {
 	return result;
 }
 const effectReference = deriveEffectReference();
-const allReference = sortByCategory({
+sortByCategory({
 	...apiReference,
 	...moduleReference,
 	...effectReference
 });
-Object.values(allReference).forEach((ref) => {
-	ref.title = ref.title.replace(/"/g, """);
-});
 function sortByCategory(ref) {
 	return Object.fromEntries(Object.entries(ref).sort(([keyA, refA], [keyB, refB]) => {
 		const catA = refA.category === "special-expression" ? "" : refA.category;
@@ -28110,6 +28122,22 @@ var ResumeFromSignal = class {
 function isResumeFromSignal(value) {
 	return value instanceof ResumeFromSignal;
 }
+/**
+* Thrown (as a promise rejection) by `halt()` inside a host handler.
+* Caught by the effect trampoline loop — NOT by Dvala-level try/catch.
+* Terminates execution immediately and returns a halted result.
+*/
+var HaltSignal = class {
+	_brand = "HaltSignal";
+	constructor(value, snapshots, nextSnapshotIndex) {
+		this.value = value;
+		this.snapshots = snapshots;
+		this.nextSnapshotIndex = nextSnapshotIndex;
+	}
+};
+function isHaltSignal(value) {
+	return value instanceof HaltSignal;
+}
 //#endregion
 //#region src/evaluator/effectRef.ts
 const internMap = /* @__PURE__ */ new Map();
@@ -30671,6 +30699,8 @@ function dispatchHostHandler(effectName, matchingHandlers, args, k, signal, sour
 	}
 	function tryHandler(index) {
 		if (index >= matchingHandlers.length) {
+			const standardHandler = getStandardEffectHandler(effectName);
+			if (standardHandler) return standardHandler(args, k, sourceCodeInfo);
 			if (effectName === "dvala.error") throw new UserDefinedError(typeof argsArray[0] === "string" ? argsArray[0] : String(argsArray[0] ?? "Unknown error"), sourceCodeInfo);
 			if (effectName === "dvala.checkpoint") return {
 				type: "Value",
@@ -30679,11 +30709,7 @@ function dispatchHostHandler(effectName, matchingHandlers, args, k, signal, sour
 			};
 			throw new DvalaError(`Unhandled effect: '${effectName}'`, sourceCodeInfo);
 		}
-		const [pattern, handler] = matchingHandlers[index];
-		if (pattern === "*") {
-			const standardHandler = getStandardEffectHandler(effectName);
-			if (standardHandler) return standardHandler(args, k, sourceCodeInfo);
-		}
+		const [_pattern, handler] = matchingHandlers[index];
 		let outcome;
 		let settled = false;
 		function assertNotSettled(operation) {
@@ -30758,10 +30784,17 @@ function dispatchHostHandler(effectName, matchingHandlers, args, k, signal, sour
 					kind: "throw",
 					error: new ResumeFromSignal(found.continuation, value, found.index)
 				};
+			},
+			halt: (value = null) => {
+				assertNotSettled("halt");
+				outcome = {
+					kind: "throw",
+					error: new HaltSignal(value, snapshotState ? snapshotState.snapshots : [], snapshotState ? snapshotState.nextSnapshotIndex : 0)
+				};
 			}
 		});
 		if (!(handlerResult instanceof Promise)) {
-			if (!outcome) throw new DvalaError(`Effect handler for '${effectName}' did not call resume(), fail(), suspend(), or next()`, sourceCodeInfo);
+			if (!outcome) throw new DvalaError(`Effect handler for '${effectName}' did not call resume(), fail(), suspend(), halt(), or next()`, sourceCodeInfo);
 			return resolveOutcome(outcome, index + 1);
 		}
 		if (outcome) {
@@ -30769,11 +30802,11 @@ function dispatchHostHandler(effectName, matchingHandlers, args, k, signal, sour
 			return resolveOutcome(outcome, index + 1);
 		}
 		return handlerResult.then(() => {
-			if (!outcome) throw new DvalaError(`Effect handler for '${effectName}' did not call resume(), fail(), suspend(), or next()`, sourceCodeInfo);
+			if (!outcome) throw new DvalaError(`Effect handler for '${effectName}' did not call resume(), fail(), suspend(), halt(), or next()`, sourceCodeInfo);
 			return resolveOutcome(outcome, index + 1);
 		}, (e) => {
 			if (outcome) return resolveOutcome(outcome, index + 1);
-			if (isSuspensionSignal(e) || isResumeFromSignal(e)) throw e;
+			if (isSuspensionSignal(e) || isResumeFromSignal(e) || isHaltSignal(e)) throw e;
 			return {
 				type: "Error",
 				error: e instanceof DvalaError ? e : new DvalaError(e instanceof Error ? e : `${e}`, sourceCodeInfo),
@@ -31697,7 +31730,7 @@ function tick(step, handlers, signal, snapshotState) {
 			}
 		}
 	} catch (error) {
-		if (isSuspensionSignal(error)) throw error;
+		if (isSuspensionSignal(error) || isHaltSignal(error)) throw error;
 		if (error instanceof DvalaError) {
 			const effectStep = tryDispatchDvalaError(error, step.type === "Value" ? step.k.slice(1) : step.k, handlers, signal, snapshotState);
 			if (effectStep !== null) return effectStep;
@@ -31833,8 +31866,9 @@ async function runEffectLoop(initial, handlers, signal, initialSnapshotState, ma
 		const continuation = serializeTerminalSnapshot(snapshotState.snapshots, snapshotState.nextSnapshotIndex);
 		const meta = {};
 		if (options?.error) meta.error = options.error.toJSON();
+		if (options?.halted) meta.halted = true;
 		if (options?.result !== void 0) meta.result = options.result;
-		const message = options?.error ? "Run failed with error" : "Run completed successfully";
+		const message = options?.error ? "Run failed with error" : options?.halted ? "Program halted" : "Run completed successfully";
 		return createSnapshot({
 			continuation,
 			timestamp: Date.now(),
@@ -31901,6 +31935,20 @@ async function runEffectLoop(initial, handlers, signal, initialSnapshotState, ma
 				effectArgs: error.effectArgs
 			})
 		};
+		if (isHaltSignal(error)) {
+			const snapshot = createTerminalSnapshot({
+				result: error.value,
+				halted: true
+			});
+			return snapshot ? {
+				type: "halted",
+				value: error.value,
+				snapshot
+			} : {
+				type: "halted",
+				value: error.value
+			};
+		}
 		if (error instanceof DvalaError) {
 			const snapshot = createTerminalSnapshot({ error });
 			return snapshot ? {
@@ -33910,7 +33958,7 @@ function getArgumentInfo(fmt, reference) {
 const dvala = createDvala({ debug: false });
 function getCliFunctionExamples(fmt, reference) {
 	const { examples } = reference;
-	return examples.map((example) => example.trim()).map((example) => {
+	return examples.map((example) => (typeof example === "string" ? example : example.code).trim()).map((example) => {
 		const oldLog = console.log;
 		console.log = function() {};
 		let result;

package/package.json

@@ -1,7 +1,10 @@
 {
   "name": "@mojir/dvala",
-  "version": "0.0.18",
-  "description": "dvala",
+  "overrides": {
+    "file-type": "^21.3.2"
+  },
+  "version": "0.0.24",
+  "description": "A suspendable, time-traveling functional language for JavaScript with algebraic effects",
   "author": "Albert Mojir",
   "license": "MIT",
   "repository": {
@@ -9,15 +12,21 @@
     "url": "git+https://github.com/mojir/dvala.git"
   },
   "keywords": [
-    "Dvala",
-    "Functional",
-    "Pure",
-    "Typescript",
-    "Web",
-    "Compiler",
-    "AST",
-    "Interpreter",
-    "Clojure"
+    "dvala",
+    "functional",
+    "programming-language",
+    "interpreter",
+    "suspendable",
+    "resumable",
+    "algebraic-effects",
+    "time-travel",
+    "pure",
+    "immutable",
+    "expression-language",
+    "typescript",
+    "javascript",
+    "lisp",
+    "clojure"
   ],
   "exports": {
     ".": {
@@ -124,8 +133,8 @@
     "lint:no-fix": "wireit",
     "typecheck": "wireit",
     "typecheck:watch": "tsc -p ./tsconfig.compile.json --noEmit --watch",
-    "check": "npm install && npm run lint && npm run typecheck && npm run test && npm run build",
-    "check:no-fix": "npm run lint:no-fix && npm run typecheck && npm run test",
+    "check": "npm install && npm run lint && npm run typecheck && npm run test && npm run build && [ -n \"$CI\" ] || npm run test:e2e",
+    "check:no-fix": "npm run lint:no-fix && npm run typecheck && npm run test && [ -n \"$CI\" ] || npm run test:e2e",
     "clean": "npm run clean-dvala && npm run clean-playground && rm -rf .wireit coverage test-results vscode-dvala/out",
     "clean-dvala": "rm -rf dist build",
     "clean-playground": "rm -rf playground-builder/build playground-www/build",
@@ -136,7 +145,7 @@
     "build-playground": "wireit",
     "build-vscode-ext": "wireit",
     "dvala": "node ./dist/cli/cli.js",
-    "dev": "npx serve docs -p 9901",
+    "dev": "npx serve docs -p 9901 --single",
     "test:e2e": "npx playwright test",
     "test:e2e:prod": "E2E_BASE_URL=https://mojir.github.io/dvala npx playwright test",
     "test:e2e:headed": "npx playwright test --headed",
@@ -145,25 +154,22 @@
     "mcp:inspect": "npx @modelcontextprotocol/inspector node ./dist/mcp-server/server.js"
   },
   "devDependencies": {
-    "@antfu/eslint-config": "^7.7.0",
     "@eslint/js": "^10.0.1",
-    "@mermaid-js/mermaid-cli": "^11.12.0",
     "@modelcontextprotocol/sdk": "^1.27.1",
     "@playwright/test": "^1.58.2",
     "@stylistic/eslint-plugin": "^5.10.0",
-    "@types/node": "^25.3.5",
-    "@types/vscode": "^1.109.0",
-    "@vitest/coverage-v8": "^4.0.18",
+    "@types/node": "^25.5.0",
+    "@types/vscode": "^1.110.0",
+    "@vitest/coverage-v8": "^4.1.0",
     "@vscode/vsce": "^3.7.1",
-    "esbuild": "^0.27.3",
+    "esbuild": "^0.27.4",
     "eslint": "^10.0.3",
-    "open-cli": "8.0.0",
-    "rolldown": "^1.0.0-rc.8",
+    "open-cli": "^8.0.0",
+    "rolldown": "^1.0.0-rc.9",
     "serve": "^14.2.6",
-    "tslib": "^2.8.1",
     "typescript": "^5.9.3",
-    "typescript-eslint": "^8.56.1",
-    "vitest": "^4.0.18",
+    "typescript-eslint": "^8.57.1",
+    "vitest": "^4.1.0",
     "wireit": "^0.14.12",
     "zod": "^4.3.6"
   },
@@ -298,6 +304,7 @@
         "src/**",
         "common/**",
         "reference/**/*.ts",
+        "tutorials/**",
         "rolldown.config.playground-builder.mjs",
         "rolldown.config.playground-www.mjs",
         "rolldown.plugins.mjs",
@@ -326,5 +333,8 @@
       ],
       "clean": "if-file-deleted"
     }
+  },
+  "dependencies": {
+    "marked": "^17.0.4"
   }
 }