functionalscript 0.44.0 → 0.45.0

package/fjs/djs/ast/types.js

@@ -1,8 +0,0 @@
-/**
- * Type-level API for `fjs/djs/ast/module.f.mjs`: the AST shape `run`
- * evaluates — `AstModule`, `AstConst`, `AstModuleRef`, `AstArray`,
- * `AstObject`, and `AstBody`.
- *
- * @module
- */
-export {};

package/fjs/djs/parser/types.js

@@ -1,7 +0,0 @@
-/**
- * Type-level API for `fjs/djs/parser/module.f.mjs`: the `ParseError` shape
- * `parseFromTokens` reports.
- *
- * @module
- */
-export {};

package/fjs/djs/tokenizer/types.js

@@ -1,7 +0,0 @@
-/**
- * Type-level API for `fjs/djs/tokenizer/module.f.mjs`: the DJS token shapes
- * `tokenize`/`tokenizeJs`/`tokenizeString` produce.
- *
- * @module
- */
-export {};

package/fjs/djs/types.js

@@ -1,7 +0,0 @@
-/**
- * DJS's own value model: `Primitive`, `Unknown`, `Object`, and `Array`,
- * layered on top of JSON's `Primitive` with `bigint` and `undefined` added.
- *
- * @module
- */
-export {};

package/fjs/effects/eff/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the `Eff` fluent, method-chaining monad.
- *
- * @module
- */
-export {};

package/fjs/effects/list/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the effectful cons-list.
- *
- * @module
- */
-export {};

package/fjs/effects/memory/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for typed key-value memory effects.
- *
- * @module
- */
-export {};

package/fjs/effects/mock/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for mock effect runtimes.
- *
- * @module
- */
-export {};

package/fjs/effects/node/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for Node.js effect operations.
- *
- * @module
- */
-export {};

package/fjs/effects/node/virtual/types.js

@@ -1,7 +0,0 @@
-/**
- * Types for the virtual Node-effect operations used by filesystem and
- * process tests.
- *
- * @module
- */
-export {};

package/fjs/effects/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for the core effect system.
- *
- * @module
- */
-export {};

package/fjs/emergent_testing/all.test.d.ts

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

package/fjs/emergent_testing/all.test.js

@@ -1,5 +0,0 @@
-import { runEffect } from '../effects/node/module.mjs';
-import { register } from './module.f.mjs';
-// Top-level `await`: every proof must be registered before the runner starts
-// collecting tests.
-await runEffect(register);

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

@@ -1 +0,0 @@
-import '../all.test.ts';

package/fjs/emergent_testing/scenarios/all.js

@@ -1 +0,0 @@
-import '../all.test.js';

package/fjs/emergent_testing/scenarios/async-subtests.fail.d.ts

@@ -1,6 +0,0 @@
-export declare const proof: {
-    withSubtests: () => Promise<{
-        sub1: () => void;
-        sub2: () => never;
-    }>;
-};

package/fjs/emergent_testing/scenarios/async-subtests.fail.js

@@ -1,9 +0,0 @@
-export const proof = {
-    withSubtests: async () => {
-        await new Promise(resolve => setTimeout(resolve, 10));
-        return {
-            sub1: () => { },
-            sub2: () => { throw 'sub-test failure'; },
-        };
-    }
-};

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

@@ -1,6 +0,0 @@
-export declare const proof: {
-    withSubtests: () => Promise<{
-        sub1: () => void;
-        sub2: () => void;
-    }>;
-};

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

@@ -1,9 +0,0 @@
-export const proof = {
-    withSubtests: async () => {
-        await new Promise(resolve => setTimeout(resolve, 10));
-        return {
-            sub1: () => { },
-            sub2: () => { },
-        };
-    }
-};

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

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

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

@@ -1,6 +0,0 @@
-export const proof = {
-    sleep_fail: async () => {
-        await new Promise(resolve => setTimeout(resolve, 10));
-        throw 'async failure';
-    }
-};

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.d.ts

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

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/types.js

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

package/fjs/types/sorted_list/types.js

@@ -1,6 +0,0 @@
-/**
- * Types for sorted immutable lists and their merge operations.
- *
- * @module
- */
-export {};