functionalscript 0.44.0 → 0.46.0

package/fjs/emergent_testing/scenarios/async.pass.d.ts

@@ -1,3 +0,0 @@
-export declare const proof: {
-    sleep: () => Promise<void>;
-};

package/fjs/emergent_testing/scenarios/async.pass.js

@@ -1,5 +0,0 @@
-export const proof = {
-    sleep: async () => {
-        await new Promise(resolve => setTimeout(resolve, 10));
-    }
-};

package/fjs/emergent_testing/scenarios/fail.fail.d.ts

@@ -1,3 +0,0 @@
-export declare const proof: {
-    failing: () => never;
-};

package/fjs/emergent_testing/scenarios/fail.fail.js

@@ -1,3 +0,0 @@
-export const proof = {
-    failing: () => { throw 'intentional failure'; }
-};

package/fjs/emergent_testing/scenarios/return-value.pass.js

@@ -1,4 +0,0 @@
-const inner = () => { };
-export const proof = {
-    outer: () => ({ inner })
-};

package/fjs/emergent_testing/scenarios/thenable.pass.d.ts

@@ -1,5 +0,0 @@
-export declare const proof: {
-    thenableResolves: () => {
-        then(resolve: (v: undefined) => void): void;
-    };
-};

package/fjs/emergent_testing/scenarios/thenable.pass.js

@@ -1,11 +0,0 @@
-// A test that returns a thenable (Promise-like object, not a real Promise).
-// Per FunctionalScript convention, thenables are treated as plain values —
-// not awaited. Both sandbox (fjs) and registerModule (node/bun/deno)
-// must exit 0: the thenable object is walked as a sub-tree whose only key
-// `then` is a function with parameters, so no leaf tests are found and the
-// test trivially passes.
-export const proof = {
-    thenableResolves: () => ({
-        then(resolve) { resolve(undefined); }
-    })
-};

package/fjs/emergent_testing/scenarios/thenable2.pass.d.ts

@@ -1,5 +0,0 @@
-export declare const proof: {
-    shouldPass: () => {
-        then: () => string;
-    };
-};

package/fjs/emergent_testing/scenarios/thenable2.pass.js

@@ -1,3 +0,0 @@
-export const proof = {
-    shouldPass: () => ({ then: () => 'ok' })
-};

package/fjs/emergent_testing/scenarios/throw.pass.d.ts

@@ -1,5 +0,0 @@
-export declare const proof: {
-    throw: {
-        a: () => never;
-    };
-};

package/fjs/emergent_testing/scenarios/throw.pass.js

@@ -1,3 +0,0 @@
-export const proof = {
-    throw: { a: () => { throw 'expected'; } }
-};

package/fjs/emergent_testing/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for running and reporting FunctionalScript tests.
- *
- * @module
- */
-export {};

package/fjs/js/tokenizer/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the JavaScript tokenizer.
- *
- * @module
- */
-export {};

package/fjs/media/html/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for HTML serialization.
- *
- * @module
- */
-export {};

package/fjs/media/json/parser/types.js

@@ -1,6 +0,0 @@
-/**
- * Internal state types for the JSON parser.
- *
- * @module
- */
-export {};

package/fjs/media/json/tokenizer/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the JSON tokenizer.
- *
- * @module
- */
-export {};

package/fjs/media/json/types.js

@@ -1,13 +0,0 @@
-/**
- * TypeScript counterparts of the JSON data model: `Primitive`, `Unknown`,
- * `Object`, and `Array`.
- *
- * `Unknown` is written by hand rather than derived, so that the recursion
- * reads directly, and is then pinned against the rtti schemas in the sibling
- * [`./rtti/module.f.mjs`](./rtti/module.f.mjs) with
- * `Assert<Equal<Unknown, Ts<typeof unknown>>>`. The pin is what keeps the two
- * descriptions of the same data model from drifting apart.
- *
- * @module
- */
-export {};

package/fjs/media/nix/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for the Nix expression eDSL.
- *
- * @module
- */
-export {};

package/fjs/media/revision/types.js

@@ -1,8 +0,0 @@
-/**
- * Type-level API for `fjs/media/revision/module.f.mjs`: `LockMap`,
- * `Revision`, and `RevisionError`, derived from the module's own rtti
- * schemas.
- *
- * @module
- */
-export {};

package/fjs/media/type/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for magic-byte MIME type detection.
- *
- * @module
- */
-export {};

package/fjs/media/types.js

@@ -1,7 +0,0 @@
-/**
- * Type-level API for `fjs/media/module.f.mjs`: the `DialectEntry` registry
- * shape `detect` and `dialectEntry` share with every registered dialect.
- *
- * @module
- */
-export {};

package/fjs/nanvm/types.js

@@ -1,11 +0,0 @@
-/**
- * Type-level API for the shared operator test data.
- *
- * The data described here is the single source of truth for operator
- * behaviour: [`proof.f.mjs`](./proof.f.mjs) runs it against a standard
- * JavaScript engine, and [`rust/module.f.mjs`](./rust/module.f.mjs) prints it
- * as the Rust tests in [`test/generated.rs`](./test/generated.rs).
- *
- * @module
- */
-export {};

package/fjs/protocol/json_rpc/types.js

@@ -1,8 +0,0 @@
-/**
- * Type-level API for `fjs/protocol/json_rpc/module.f.mjs`: `Id`, `Request`,
- * `RpcError`, and `Response`, derived from the module's own rtti schemas,
- * plus the `Handler` / `Handlers` shapes a dispatcher is built from.
- *
- * @module
- */
-export {};

package/fjs/protocol/mcp/types.js

@@ -1,8 +0,0 @@
-/**
- * Type-level API for `fjs/protocol/mcp/module.f.mjs`: the MCP message
- * schemas' derived types, plus the `McpHandlers`/`ToolEntry`/`Handle`/
- * session-state shapes `mcpStep` is built from.
- *
- * @module
- */
-export {};

package/fjs/sul/id/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for SUL identifiers.
- *
- * @module
- */
-export {};

package/fjs/sul/level/hash/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for hash-level SUL encoding.
- *
- * @module
- */
-export {};

package/fjs/sul/level/literal/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for the literal SUL level encoding.
- *
- * @module
- */
-export {};

package/fjs/sul/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for the full SUL streaming encoder.
- *
- * @module
- */
-export {};

package/fjs/text/sgr/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for ANSI CSI/SGR terminal output helpers.
- *
- * @module
- */
-export {};

package/fjs/text/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for indented text blocks and UTF-8 bit vectors.
- *
- * @module
- */
-export {};

package/fjs/text/utf16/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for UTF-16 code units and Unicode code points.
- *
- * @module
- */
-export {};

package/fjs/text/utf8/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for UTF-8 byte-level encoding and decoding.
- *
- * @module
- */
-export {};

package/fjs/types/array/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for JavaScript immutable arrays.
- *
- * @module
- */
-export {};

package/fjs/types/bigfloat/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for big-floats built from bigint mantissa and exponent parts.
- *
- * @module
- */
-export {};

package/fjs/types/bigint/types.js

@@ -1,6 +0,0 @@
-/**
- * Operator types specialized to `bigint`.
- *
- * @module
- */
-export {};

package/fjs/types/bit_vec/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for bit vectors normalized on the most-significant bit.
- *
- * @module
- */
-export {};

package/fjs/types/btree/find/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for B-tree lookup results and paths.
- *
- * @module
- */
-export {};

package/fjs/types/btree/types/types.js

@@ -1,6 +0,0 @@
-/**
- * Shared type definitions for persistent B-tree modules.
- *
- * @module
- */
-export {};

package/fjs/types/byte_set/types.js

@@ -1,6 +0,0 @@
-/**
- * Type-level API for the byte-set module.
- *
- * @module
- */
-export {};

package/fjs/types/function/compare/types.js

@@ -1,6 +0,0 @@
-/**
- * Comparison function types.
- *
- * @module
- */
-export {};

package/fjs/types/function/operator/types.js

@@ -1,6 +0,0 @@
-/**
- * Common higher-order operator type aliases.
- *
- * @module
- */
-export {};

package/fjs/types/function/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for function composition.
- *
- * @module
- */
-export {};

package/fjs/types/list/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the immutable list data structure.
- *
- * @module
- */
-export {};

package/fjs/types/nibble_set/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for compact 4-bit membership tracking.
- *
- * @module
- */
-export {};

package/fjs/types/nominal/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for nominal typing (branded TypeScript types).
- *
- * @module
- */
-export {};

package/fjs/types/nullable/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for nullable (`null`) value handling.
- *
- * @module
- */
-export {};

package/fjs/types/object/types.js

@@ -1,8 +0,0 @@
-/**
- * Types for plain-object helpers: the `OptionalMap`/`RequiredMap`/`StringMap`
- * record shapes and `Entry<T>`, and the `OneKey`/`SingleProperty`/`NotUnion`
- * utility types.
- *
- * @module
- */
-export {};

package/fjs/types/option/types.js

@@ -1,6 +0,0 @@
-/**
- * Optional tuple-based value representation.
- *
- * @module
- */
-export {};

package/fjs/types/ordered_map/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the ordered map data structure.
- *
- * @module
- */
-export {};

package/fjs/types/patricia_trie/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the streaming Patricia trie.
- *
- * @module
- */
-export {};

package/fjs/types/phantom/types.js

@@ -1,11 +0,0 @@
-/**
- * Phantom type — attaches a compile-time type annotation `T` to `S` with zero
- * runtime representation, analogous to Rust's `PhantomData<T>`.
- *
- * The phantom field uses a unique symbol key so it is excluded from string index
- * signatures (`{ readonly [K in string]: ... }`), making `Phantom<S, T>` valid
- * for any `S` regardless of its index signature constraints.
- *
- * @module
- */
-export {};

package/fjs/types/prime_field/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for prime field arithmetic over `bigint`.
- *
- * @module
- */
-export {};

package/fjs/types/range/types.js

@@ -1,6 +0,0 @@
-/**
- * Range and interval types for numeric boundaries.
- *
- * @module
- */
-export {};

package/fjs/types/range_map/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for managing and merging range maps.
- *
- * @module
- */
-export {};

package/fjs/types/result/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for representing operations that can succeed or fail.
- *
- * @module
- */
-export {};

package/fjs/types/rtti/common/types.js

@@ -1 +0,0 @@
-export {};

package/fjs/types/rtti/parse/types.js

@@ -1 +0,0 @@
-export {};

package/fjs/types/rtti/ts/types.js

@@ -1 +0,0 @@
-export {};

package/fjs/types/rtti/types.js

@@ -1 +0,0 @@
-export {};

package/fjs/types/rtti/validate/module.f.d.mts

@@ -1,6 +0,0 @@
-import type { Type } from '../types.ts';
-import type { Validate } from '../common/types.ts';
-/** @import { Container, IsContainer, Validate, ValidateE, Visitor } from '../common/types.ts' */
-export { constPrimitiveValidate, prependPath, primitive0Validate, verror, } from '../common/module.f.mjs';
-/** @type {<T extends Type>(rtti: T) => Validate<T>} */
-export declare const validate: <T extends Type>(rtti: T) => Validate<T>;

package/fjs/types/rtti/validate/module.f.mjs

@@ -1,169 +0,0 @@
-/**
- * Runtime validation of unknown values against RTTI schemas.
- *
- * The main entry point is `validate(rtti)`, which takes a schema `Type` and returns
- * a `Validate<T>` function. When called with an unknown value, it returns a `Result`
- * that is either `['ok', typedValue]` or `['error', { path, message }]`.
- *
- * ## Error path
- *
- * On failure, the error carries a `path` pointing at the offending sub-value:
- * each step is the string property name (for structs/records) or the stringified
- * index (for tuples/arrays). The path is empty when the failure is at the root.
- *
- * ## Dispatch strategy
- *
- * Schema recognition is delegated to `visit` in `../common/module.f.mjs`,
- * which routes each `Type` variant to a handler in the `Visitor` record
- * defined below. `validate` returns the original value on success — no
- * fresh allocation — which is the only behavior that distinguishes it
- * from `parse`.
- *
- * ## Recursion safety
- *
- * For `array` and `record` schemas, the inner item validator is instantiated lazily —
- * only after confirming the container is non-empty. This prevents infinite recursion
- * when validating recursive schemas like `const list = () => ['array', list]`.
- *
- * See `./types.ts` for the `Path`/`Result`/`Validate`/`ValidationError` type-level API.
- *
- * @module
- */
-/** @import { Unknown } from '../ts/types.ts' */
-/** @import { Info1, Struct, Tag1, Tuple, Type } from '../types.ts' */
-import { ok } from '../../result/module.f.mjs'
-/** @import { StringMap } from '../../object/types.ts' */
-import {
-    constPrimitiveValidate,
-    eachEntry,
-    isArray,
-    isObject,
-    orVisit,
-    primitive0Validate,
-    verror,
-    visit,
-} from '../common/module.f.mjs'
-/** @import { Container, IsContainer, Validate, ValidateE, Visitor } from '../common/types.ts' */
-
-export {
-    constPrimitiveValidate,
-    prependPath,
-    primitive0Validate,
-    verror,
-} from '../common/module.f.mjs'
-
-const { entries } = Object
-
-/** `validate` has nothing to collect from a successful entry — only pass/fail matters. */
-const noAccumulate = () => undefined
-
-/**
- * Builds a validator for `array` or `record` schemas.
- * The inner item validator is instantiated lazily (only when the container is
- * non-empty) to avoid infinite recursion with recursive schemas.
- */
-const containerValidate =
-    /**
-     * @template {Tag1} K
-     * @param {IsContainer<Container<K>>} isContainer
-     * @returns {<I extends Type>(item: I) => Validate<Info1<K, I>>}
-     */
-    isContainer =>
-    item => value => {
-        if (!isContainer(value)) {
-            return verror('unexpected value')
-        }
-        const e = entries(value)
-        if (e.length === 0) {
-            return ok(value)
-        }
-        // Note: we shouldn't instantiate `itemValidate` until we make sure `entries` is not empty.
-        //       Otherwise, we can get infinite recursion on empty arrays and objects
-        const itemValidate = validate(item)
-        const r = eachEntry(e, (_k, v) => itemValidate(v), undefined, noAccumulate)
-        // `value` is Container<K>, but Ts<Info1<K,I>> = readonly Ts<I>[] | Record<string,Ts<I>>.
-        // TypeScript can't narrow the container's element types through the validation loop.
-        return r[0] === 'error' ? r : /** @type {any} */ (ok(value))
-    }
-
-const arrayValidate = containerValidate(isArray)
-
-const recordValidate = containerValidate(isObject)
-
-/**
- * Builds a validator for `Tuple` or `Struct` const schemas.
- * Iterates over the schema's entries and validates each corresponding
- * element/property of the value.
- */
-const constContainerValidate =
-    /**
-     * @template {Unknown} C
-     * @param {IsContainer<C>} isContainer
-     * @param {(value: C, k: string) => Unknown} getItem
-     * @returns {<T extends Tuple | Struct>(rtti: T) => Validate<T>}
-     */
-    (isContainer, getItem) =>
-    rtti => value => {
-        if (!isContainer(value)) {
-            return verror('unexpected value')
-        }
-        const r = eachEntry(
-            Object.entries(rtti),
-            (k, v) => /** @type {any} */ (validate(v))(getItem(value, k)),
-            undefined,
-            noAccumulate,
-        )
-        // `value` is C (Unknown container), but Ts<T> for T extends Tuple|Struct is not
-        // structurally equivalent to C — TypeScript can't narrow element types through the loop.
-        return r[0] === 'error' ? r : /** @type {any} */ (ok(value))
-    }
-
-const tupleValidate = constContainerValidate(
-    isArray,
-    (value, k) => value[Number(k)]
-)
-
-const structValidate = constContainerValidate(
-    isObject,
-    (value, k) => value[k]
-)
-
-const orValidate =
-    /**
-     * @template {readonly Type[]} T
-     * @param {T} rtti
-     * @returns {Validate<() => readonly ['or', ...T]>}
-     */
-    rtti =>
-        /** @type {any} */ (orVisit(/** @type {(t: Type) => ValidateE} */ (/** @type {any} */ (validate)))(rtti))
-
-/**
- * Creates a validator function for the given RTTI schema.
- *
- * @param rtti - A schema `Type`: a `Thunk` for tag-based schemas, or a `Const`
- *   (primitive literal, tuple, or struct) for exact-value schemas.
- * @returns A `Validate<T>` function that checks an unknown value and returns
- *   `['ok', value]` or `['error', { path, message }]`.
- *
- * @example
- * ```js
- * const v = validate(array(number))
- * v([1, 2, 3])         // ['ok', [1, 2, 3]]
- * v([1, 'two'])        // ['error', { path: ['1'], message: 'unexpected value' }]
- * v(['a'])             // ['error', { path: ['0'], message: 'unexpected value' }]
- * ```
- */
-const validateVisitor = /** @type {any} */ ({
-    tuple: tupleValidate,
-    struct: structValidate,
-    array: arrayValidate,
-    record: recordValidate,
-    or: orValidate,
-    constPrimitive: constPrimitiveValidate,
-    primitive0: primitive0Validate,
-    unknown: () => ok,
-})
-
-/** @type {<T extends Type>(rtti: T) => Validate<T>} */
-export const validate = rtti =>
-    /** @type {any} */ (visit(validateVisitor)(rtti))