functionalscript 0.35.2 → 0.37.0

package/fs/types/string/module.f.js

@@ -15,10 +15,10 @@
  * cmp('apple')('banana') // -1
  * ```
  */
-import { reduce as listReduce, repeat as listRepeat } from "../list/module.f.js";
-import { compose } from "../function/module.f.js";
-import { cmp as uCmp } from "../function/compare/module.f.js";
-import { join as joinOp, concat as concatOp } from "../function/operator/module.f.js";
+import { reduce as listReduce, repeat as listRepeat } from '../list/module.f.js';
+import { compose } from '../function/module.f.js';
+import { cmp as uCmp } from '../function/compare/module.f.js';
+import { join as joinOp, concat as concatOp } from '../function/operator/module.f.js';
 const reduce = o => listReduce(o)('');
 export const join = compose(joinOp)(reduce);
 export const concat = reduce(concatOp);

package/fs/types/string/proof.f.js

@@ -1,5 +1,5 @@
-import { join, concat, repeat, cmp, splitAt } from "./module.f.js";
-import { repeat as repeatList } from "../list/module.f.js";
+import { join, concat, repeat, cmp, splitAt } from './module.f.js';
+import { repeat as repeatList } from '../list/module.f.js';
 export const proof = {
     example: () => {
         const words = ['hello', 'world'];

package/fs/types/string_set/module.f.js

@@ -19,13 +19,13 @@
  * if (contains('banana')(mySet)) { throw '4' }
  * ```
  */
-import { empty as btEmpty, values as btValues } from "../btree/module.f.js";
-import { find, isFound } from "../btree/find/module.f.js";
-import { remove as btreeRemove } from "../btree/remove/module.f.js";
-import { set as btreeSet } from "../btree/set/module.f.js";
+import { empty as btEmpty, values as btValues } from '../btree/module.f.js';
+import { find, isFound } from '../btree/find/module.f.js';
+import { remove as btreeRemove } from '../btree/remove/module.f.js';
+import { set as btreeSet } from '../btree/set/module.f.js';
 import { cmp } from "../string/module.f.js";
-import { fold } from "../list/module.f.js";
-import { compose } from "../function/module.f.js";
+import { fold } from '../list/module.f.js';
+import { compose } from '../function/module.f.js';
 export const values = btValues;
 export const empty = btEmpty;
 export const contains = value => {

package/fs/types/string_set/proof.f.js

@@ -1,4 +1,4 @@
-import { contains, fromValues, remove, set } from "./module.f.js";
+import { contains, fromValues, remove, set } from './module.f.js';
 export const proof = {
     example: () => {
         let mySet = fromValues(['apple', 'banana', 'cherry']);

package/fs/types/ts/proof.f.d.ts

@@ -17,22 +17,22 @@ export declare const printerMutableStruct: () => void;
 export declare const printerMutableArray: () => void;
 export declare const printerMutableRecord: () => void;
 export declare const proof: {
-    primitiveNull: () => void;
-    primitiveBigint: () => void;
-    primitiveString: () => void;
-    primitiveNumberFinite: () => void;
-    primitiveNumberInfinite: () => void;
-    primitiveUndefined: () => void;
-    primitiveBoolean: () => void;
-    unionEmpty: () => void;
-    unionSingle: () => void;
-    unionMulti: () => void;
-    printerReadonlyTuple: () => void;
-    printerReadonlyStruct: () => void;
-    printerReadonlyArray: () => void;
-    printerReadonlyRecord: () => void;
-    printerMutableTuple: () => void;
-    printerMutableStruct: () => void;
-    printerMutableArray: () => void;
-    printerMutableRecord: () => void;
+    primitiveNull: typeof primitiveNull;
+    primitiveBigint: typeof primitiveBigint;
+    primitiveString: typeof primitiveString;
+    primitiveNumberFinite: typeof primitiveNumberFinite;
+    primitiveNumberInfinite: typeof primitiveNumberInfinite;
+    primitiveUndefined: typeof primitiveUndefined;
+    primitiveBoolean: typeof primitiveBoolean;
+    unionEmpty: typeof unionEmpty;
+    unionSingle: typeof unionSingle;
+    unionMulti: typeof unionMulti;
+    printerReadonlyTuple: typeof printerReadonlyTuple;
+    printerReadonlyStruct: typeof printerReadonlyStruct;
+    printerReadonlyArray: typeof printerReadonlyArray;
+    printerReadonlyRecord: typeof printerReadonlyRecord;
+    printerMutableTuple: typeof printerMutableTuple;
+    printerMutableStruct: typeof printerMutableStruct;
+    printerMutableArray: typeof printerMutableArray;
+    printerMutableRecord: typeof printerMutableRecord;
 };

package/fs/types/ts/proof.f.js

@@ -1,4 +1,4 @@
-import { printer, primitive, union } from "./module.f.js";
+import { printer, primitive, union } from './module.f.js';
 const ro = printer();
 const mut = printer(true);
 export const primitiveNull = () => {

package/fs/types/uint8array/module.f.js

@@ -9,10 +9,10 @@
  *
  * @module
  */
-import { utf8, utf8ToString } from "../../text/module.f.js";
-import { maxLengthBytes, msb, u8List, u8ListToVec } from "../bit_vec/module.f.js";
-import { compose } from "../function/module.f.js";
-import { flat, fromArrayLike, iterable, map } from "../list/module.f.js";
+import { utf8, utf8ToString } from '../../text/module.f.js';
+import { maxLengthBytes, msb, u8List, u8ListToVec } from '../bit_vec/module.f.js';
+import { compose } from '../function/module.f.js';
+import { flat, fromArrayLike, iterable, map } from '../list/module.f.js';
 const u8ListToVecMsb = u8ListToVec(msb);
 const u8ListMsb = u8List(msb);
 /**

package/fs/types/uint8array/proof.f.js

@@ -1,7 +1,7 @@
-import { maxLength, maxLengthBytes, vec } from "../bit_vec/module.f.js";
-import { toVec, fromVec, listToVec, decodeUtf8, encodeUtf8 } from "./module.f.js";
-import { strictEqual } from "../function/operator/module.f.js";
-import { equal, fromArrayLike } from "../list/module.f.js";
+import { maxLength, maxLengthBytes, vec } from '../bit_vec/module.f.js';
+import { toVec, fromVec, listToVec, decodeUtf8, encodeUtf8 } from './module.f.js';
+import { strictEqual } from '../function/operator/module.f.js';
+import { equal, fromArrayLike } from '../list/module.f.js';
 const assertEq = (a, b) => {
     if (a !== b) {
         throw [a, b];

package/fs/website/module.f.js

@@ -3,9 +3,9 @@
  *
  * @module
  */
-import { htmlUtf8 } from "../html/module.f.js";
-import { writeFile } from "../effects/node/module.f.js";
-import { pure } from "../effects/module.f.js";
+import { htmlUtf8 } from '../media/html/module.f.js';
+import { writeFile } from '../effects/node/module.f.js';
+import { pure } from '../effects/module.f.js';
 const html = htmlUtf8()(['a',
     { href: 'https://github.com/functionalscript/functionalscript' },
     'GitHub Repository'

package/fs/website/proof.f.js

@@ -1,6 +1,6 @@
-import { main } from "./module.f.js";
-import { emptyState, virtual } from "../effects/node/virtual/module.f.js";
-import { assert } from "../asserts/module.f.js";
+import { main } from './module.f.js';
+import { emptyState, virtual } from '../effects/node/virtual/module.f.js';
+import { assert } from '../asserts/module.f.js';
 export const proof = {
     main: () => {
         const program = main();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.35.2",
+  "version": "0.37.0",
   "type": "module",
   "files": [
     "**/*.js",
@@ -9,19 +9,19 @@
   "description": "FunctionalScript is a purely functional subset of JavaScript",
   "scripts": {
     "prepack": "tsc --NoEmit false",
-    "test": "tsc && node ./fs/fjs/module.ts t",
+    "test": "tsc && node ./fs/module.ts t",
     "cov": "node --test --experimental-test-coverage --test-coverage-include=**/module.f.ts",
-    "start": "node ./fs/fjs/module.ts",
-    "ci-update": "node ./fs/fjs/module.ts ci",
+    "start": "node ./fs/module.ts",
+    "ci-update": "node ./fs/module.ts ci",
     "update": "npx npm-check-updates -u && npm install && deno install && bun install && npm run ci-update",
-    "index-html": "node ./fs/fjs/module.ts r ./fs/website/module.f.ts",
+    "index-html": "node ./fs/module.ts r ./fs/website/module.f.ts",
     "website": "npm run prepack && npm run index-html"
   },
   "engines": {
     "node": ">=22"
   },
   "bin": {
-    "fjs": "fs/fjs/module.js"
+    "fjs": "fs/module.js"
   },
   "repository": {
     "type": "git",
@@ -44,7 +44,7 @@
   "homepage": "https://github.com/functionalscript/functionalscript#readme",
   "devDependencies": {
     "@playwright/test": "1.61.1",
-    "@types/node": "26.1.0",
-    "typescript": "6.0.3"
+    "@types/node": "26.1.1",
+    "typescript": "7.0.2"
   }
 }

package/fs/base64/module.f.js

@@ -1,60 +0,0 @@
-/**
- * Standard Base64 encoding and decoding (RFC 4648).
- *
- * @module
- */
-import { msb, length, vec, empty } from "../types/bit_vec/module.f.js";
-import { baseN } from "../base_n/module.f.js";
-const alphabet = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
-const { popFront, concat } = msb;
-const { vecToString, stringToVec } = baseN(6n, alphabet);
-export const encode = (input) => {
-    const len = length(input);
-    // Base64 is a byte codec; reject non-octet-aligned inputs.
-    if (len % 8n !== 0n) {
-        return null;
-    }
-    const rem = len % 24n;
-    const padBits = rem === 0n ? 0n : 6n - rem % 6n;
-    const v = padBits > 0n ? concat(input)(vec(padBits)(0n)) : input;
-    let result = vecToString(v);
-    // Append `=` padding to make total length a multiple of 4.
-    while (result.length % 4 !== 0) {
-        result += '=';
-    }
-    return result;
-};
-export const decode = (input) => {
-    // Count and strip trailing `=` padding (0, 1, or 2).
-    let padChars = 0;
-    for (let i = input.length - 1; i >= 0 && input[i] === '='; i--) {
-        padChars++;
-    }
-    if (padChars > 2) {
-        return null;
-    }
-    const body = input.slice(0, input.length - padChars);
-    // Total chars must make a multiple of 4 with the padding.
-    if ((body.length + padChars) % 4 !== 0) {
-        return null;
-    }
-    // Decode each character to 6 bits.
-    const result = stringToVec(body);
-    if (result === null) {
-        return null;
-    }
-    // Remove the zero-padding bits introduced during encode.
-    // padChars=1 → 2 padding bits removed, padChars=2 → 4 padding bits removed.
-    const removeBits = BigInt(padChars * 2);
-    const totalBits = length(result);
-    const targetLen = totalBits - removeBits;
-    if (targetLen === 0n) {
-        return empty;
-    }
-    const [kept, padVec] = popFront(targetLen)(result);
-    // Padding bits must be zero (RFC 4648 §3.5).
-    if (removeBits > 0n && padVec !== vec(removeBits)(0n)) {
-        return null;
-    }
-    return vec(targetLen)(kept);
-};

package/fs/fjs/module.f.d.ts

@@ -1,2 +0,0 @@
-import { type NodeProgram } from '../effects/node/module.f.ts';
-export declare const main: NodeProgram;

package/fs/fjs/module.js

@@ -1,4 +0,0 @@
-#!/usr/bin/env node
-import { main } from "./module.f.js";
-import { run } from "../effects/node/module.js";
-await run(main);

package/fs/json/module.f.d.ts

@@ -1,50 +0,0 @@
-/**
- * JSON value types, rtti schemas, and utilities: `serialize`, `stringify`,
- * `parse`, and `setProperty` for immutable nested updates.
- *
- * The JSON value types (`Unknown`, `Primitive`) are derived from the rtti
- * schemas defined here, so the schema is the single source of truth — no
- * hand-written types to keep in sync.
- *
- * @module
- */
-import { type List } from '../types/list/module.f.ts';
-import { type Entry as ObjectEntry } from '../types/object/module.f.ts';
-import type { Ts } from '../types/rtti/ts/module.f.ts';
-/** rtti schema matching any JSON primitive: `null`, `boolean`, `number`, or `string`. */
-export declare const primitive: import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>;
-/**
- * rtti schema matching any JSON value: a primitive, an array of JSON values,
- * or an object whose values are JSON values. Self-referential via a thunk;
- * rtti instantiates array/record item validators lazily so recursion terminates
- * on acyclic input.
- *
- * A struct field typed `unknown` is **required when present** — unlike rtti
- * core's `unknown`, the JSON `unknown` excludes `undefined`.
- */
-export declare const unknown: () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>, import("../types/rtti/module.f.ts").Type1<"array", () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>];
-/**
- * rtti schema matching a JSON object: `{ readonly [k: string]?: Unknown }`.
- */
-export declare const object: import("../types/rtti/module.f.ts").Type1<"record", () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>;
-/** rtti schema matching a JSON array: `readonly Unknown[]`. */
-export declare const array: import("../types/rtti/module.f.ts").Type1<"array", () => readonly ["or", import("../types/rtti/module.f.ts").Or<[null, import("../types/rtti/module.f.ts").Boolean, import("../types/rtti/module.f.ts").Number, import("../types/rtti/module.f.ts").String]>, import("../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>]>;
-export type Primitive = Ts<typeof primitive>;
-export type Unknown = Object | Array | Primitive;
-export type Object = {
-    readonly [k in string]?: Unknown;
-};
-export type Array = readonly Unknown[];
-export declare const setProperty: (value: Unknown) => (path: List<string>) => (src: Unknown) => Unknown;
-export type Entry = ObjectEntry<Unknown>;
-type Entries = List<Entry>;
-type MapEntries = (entries: Entries) => Entries;
-export declare const serialize: (mapEntries: MapEntries) => (value: Unknown) => List<string>;
-/**
- * The standard `JSON.stringify` rules determined by
- * https://262.ecma-international.org/6.0/#sec-ordinary-object-internal-methods-and-internal-slots-ownpropertykeys
- * https://tc39.es/ecma262/#sec-serializejsonproperty
- */
-export declare const stringify: (mapEntries: MapEntries) => (value: Unknown) => string;
-export declare const parse: (value: string) => Unknown;
-export {};

package/fs/json/rpc/module.f.d.ts

@@ -1,114 +0,0 @@
-import type { Ts } from '../../types/rtti/ts/module.f.ts';
-import type { Result } from '../../types/result/module.f.ts';
-import { type Unknown } from '../module.f.ts';
-export declare const jsonrpc: "2.0";
-/** Request/response identifier: a string, a number, or `null`. */
-declare const id: import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>;
-/**
- * A request or notification envelope. `id` present → request (a response is
- * expected); `id` absent → notification (no response). `params` is optional.
- *
- * https://www.jsonrpc.org/specification#request_object
- */
-export declare const request: {
-    readonly jsonrpc: "2.0";
-    readonly method: import("../../types/rtti/module.f.ts").String;
-    readonly params: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    readonly id: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>, undefined]>;
-};
-/** The JSON-RPC error object. */
-export declare const error: {
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-};
-export type Id = Ts<typeof id>;
-export type Request = Ts<typeof request>;
-export type RpcError = Ts<typeof error>;
-export declare const successResponse: {
-    readonly jsonrpc: "2.0";
-    readonly result: () => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>];
-    readonly id: import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>;
-};
-export declare const errorResponse: {
-    readonly jsonrpc: "2.0";
-    readonly error: {
-        readonly code: import("../../types/rtti/module.f.ts").Number;
-        readonly message: import("../../types/rtti/module.f.ts").String;
-        readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    };
-    readonly id: import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>;
-};
-/**
- * A response envelope: either a success (`result`) or an error (`error`).
- * Derived from the rtti schema via `Ts<>` — the same declaration is the
- * runtime decoder and the static type, with no drift. rtti structs are open
- * (extra keys allowed), so "result XOR error" is not enforced at runtime; in
- * practice the dispatcher only ever constructs one or the other.
- *
- * https://www.jsonrpc.org/specification#response_object
- */
-export declare const response: import("../../types/rtti/module.f.ts").Or<[{
-    readonly jsonrpc: "2.0";
-    readonly result: () => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>];
-    readonly id: import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>;
-}, {
-    readonly jsonrpc: "2.0";
-    readonly error: {
-        readonly code: import("../../types/rtti/module.f.ts").Number;
-        readonly message: import("../../types/rtti/module.f.ts").String;
-        readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    };
-    readonly id: import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>;
-}]>;
-export type Response = Ts<typeof response>;
-/** Decodes an untrusted value as a JSON-RPC request / notification. */
-export declare const decodeRequest: import("../../types/rtti/common/module.f.ts").Validate<{
-    readonly jsonrpc: "2.0";
-    readonly method: import("../../types/rtti/module.f.ts").String;
-    readonly params: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    readonly id: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Or<[import("../../types/rtti/module.f.ts").String, import("../../types/rtti/module.f.ts").Number, null]>, undefined]>;
-}>;
-/** A method implementation: maps `params` to a result or an `RpcError`. */
-export type Handler = (params: Unknown | undefined) => Result<Unknown, RpcError>;
-/** A `method` name → `Handler` map. */
-export type Handlers = {
-    readonly [method: string]: Handler;
-};
-/** Builds an `RpcError` with the given `code` and `message` (no `data`). */
-export declare const rpcError: (code: number) => (message: string) => RpcError;
-export declare const parseError: import("../../types/rtti/ts/module.f.ts").StructTs<{
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-}>;
-export declare const invalidRequest: import("../../types/rtti/ts/module.f.ts").StructTs<{
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-}>;
-export declare const methodNotFound: import("../../types/rtti/ts/module.f.ts").StructTs<{
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-}>;
-export declare const invalidParams: import("../../types/rtti/ts/module.f.ts").StructTs<{
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-}>;
-export declare const internalError: import("../../types/rtti/ts/module.f.ts").StructTs<{
-    readonly code: import("../../types/rtti/module.f.ts").Number;
-    readonly message: import("../../types/rtti/module.f.ts").String;
-    readonly data: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-}>;
-/**
- * Dispatches an already-parsed JSON-RPC value against `handlers`.
- *
- * - invalid envelope → `Invalid Request` (`-32600`) with `id: null`
- * - notification (no `id`) → `null` (never a response)
- * - unknown method → `Method not found` (`-32601`)
- * - otherwise the handler's `ok` / `error` result becomes a success / error response
- */
-export declare const dispatch: (handlers: Handlers) => (value: Unknown) => Response | null;
-export {};

package/fs/json/schema/module.f.d.ts

@@ -1,77 +0,0 @@
-/**
- * Converts an rtti schema to a JSON Schema (draft 2020-12) object.
- *
- * Mirrors the visitor structure of `fs/types/rtti/ts/module.f.ts` (`printer` / `toTs`),
- * but emits a JSON Schema object instead of a TypeScript type string.
- *
- * @module
- */
-import { type Type as RttiType } from '../../types/rtti/module.f.ts';
-import type { Ts } from '../../types/rtti/ts/module.f.ts';
-import type { Phantom } from '../../types/phantom/module.f.ts';
-declare const unknownThunk: () => readonly ["const", {
-    readonly type: import("../../types/rtti/module.f.ts").Or<["boolean", "number", "string", "integer", "array", "object", undefined]>;
-    readonly const: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    readonly not: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-    readonly anyOf: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly items: import("../../types/rtti/module.f.ts").Or<[Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, false, undefined]>;
-    readonly prefixItems: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly properties: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"record", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly required: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", import("../../types/rtti/module.f.ts").String>, undefined]>;
-    readonly additionalProperties: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-}];
-/** rtti schema for a JSON Schema (draft 2020-12) document. */
-export declare const unknown: Phantom<typeof unknownThunk, UnknownConst>;
-/** A JSON Schema (draft 2020-12) document — the subset of keywords that `toJsonSchema` emits. */
-export type Unknown = Ts<typeof unknown>;
-declare const unknownConst: {
-    readonly type: import("../../types/rtti/module.f.ts").Or<["boolean", "number", "string", "integer", "array", "object", undefined]>;
-    readonly const: import("../../types/rtti/module.f.ts").Or<readonly [() => readonly ["or", import("../../types/rtti/module.f.ts").Or<[null, import("../../types/rtti/module.f.ts").Boolean, import("../../types/rtti/module.f.ts").Number, import("../../types/rtti/module.f.ts").String]>, import("../../types/rtti/module.f.ts").Type1<"record", /*elided*/ any>, import("../../types/rtti/module.f.ts").Type1<"array", /*elided*/ any>], undefined]>;
-    readonly not: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-    readonly anyOf: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly items: import("../../types/rtti/module.f.ts").Or<[Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, false, undefined]>;
-    readonly prefixItems: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly properties: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"record", Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>>, undefined]>;
-    readonly required: import("../../types/rtti/module.f.ts").Or<readonly [import("../../types/rtti/module.f.ts").Type1<"array", import("../../types/rtti/module.f.ts").String>, undefined]>;
-    readonly additionalProperties: import("../../types/rtti/module.f.ts").Or<readonly [Phantom<() => readonly ["const", /*elided*/ any], UnknownConst>, undefined]>;
-};
-/**
- * Hand-written base type used as the `$out` annotation on `unknown`.
- *
- * The `?` markers are required even though `Ts<>` already includes `undefined`
- * in each field type. Without `?`, `Unknown = UnknownConst` would require all
- * 9 fields to be present in every object literal returned by `toJsonSchema`,
- * because TypeScript distinguishes "field absent" (`?`) from "field present but
- * undefined" (`T | undefined`). JSON Schema objects only include the fields
- * they need, so all fields must be optional.
- */
-type UnknownConst = {
-    readonly type?: Ts<typeof unknownConst.type>;
-    readonly const?: Ts<typeof unknownConst.const>;
-    readonly not?: Ts<typeof unknownConst.not>;
-    readonly anyOf?: Ts<typeof unknownConst.anyOf>;
-    readonly items?: Ts<typeof unknownConst.items>;
-    readonly prefixItems?: Ts<typeof unknownConst.prefixItems>;
-    readonly properties?: Ts<typeof unknownConst.properties>;
-    readonly required?: Ts<typeof unknownConst.required>;
-    readonly additionalProperties?: Ts<typeof unknownConst.additionalProperties>;
-};
-/**
- * Converts an rtti `Type` to a JSON Schema (draft 2020-12) object.
- *
- * | rtti                                          | JSON Schema                                                                         |
- * |-----------------------------------------------|-------------------------------------------------------------------------------------|
- * | `boolean` / `number` / `string`               | `{ "type": "..." }`                                                                 |
- * | `bigint`                                      | `{ "type": "integer" }` (lossy; JSON integers are IEEE-754 doubles)                 |
- * | `unknown`                                     | `{}` (always-true schema)                                                           |
- * | primitive const (`42`, `'x'`, `true`, `null`) | `{ "const": <value> }`                                                              |
- * | `bigint` const                                | `{ "const": Number(value) }` (lossy for \|value\| > MAX_SAFE_INTEGER)               |
- * | `undefined` const                             | `{ "not": {} }` (no JSON value satisfies this)                                      |
- * | struct `{ a: T, … }`                          | `{ "type": "object", "properties": { "a": …T… }, "required": [non-optional keys] }` |
- * | tuple `[A, B]`                                | `{ "type": "array", "prefixItems": […A…, …B…], "items": false }`                    |
- * | `array(T)`                                    | `{ "type": "array", "items": …T… }`                                                 |
- * | `record(T)`                                   | `{ "type": "object", "additionalProperties": …T… }`                                 |
- * | `or(...types)`                                | `{ "anyOf": […each…] }`                                                             |
- */
-export declare const toJsonSchema: (rtti: RttiType) => Unknown;
-export {};