@mojir/dvala 0.0.18 → 0.0.19

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.19";
 //#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,6 +1,6 @@
 {
   "name": "@mojir/dvala",
-  "version": "0.0.18",
+  "version": "0.0.19",
   "description": "dvala",
   "author": "Albert Mojir",
   "license": "MIT",
@@ -136,7 +136,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",
@@ -157,7 +157,7 @@
     "@vscode/vsce": "^3.7.1",
     "esbuild": "^0.27.3",
     "eslint": "^10.0.3",
-    "open-cli": "8.0.0",
+    "open-cli": "^5.0.0",
     "rolldown": "^1.0.0-rc.8",
     "serve": "^14.2.6",
     "tslib": "^2.8.1",
@@ -298,6 +298,7 @@
         "src/**",
         "common/**",
         "reference/**/*.ts",
+        "tutorials/**",
         "rolldown.config.playground-builder.mjs",
         "rolldown.config.playground-www.mjs",
         "rolldown.plugins.mjs",
@@ -326,5 +327,8 @@
       ],
       "clean": "if-file-deleted"
     }
+  },
+  "dependencies": {
+    "marked": "^17.0.4"
   }
 }