functionalscript 0.13.0 → 0.14.0

package/types/rtti/validate/module.f.d.ts

@@ -1,50 +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', message]`.
- *
- * ## Dispatch strategy
- *
- * - **`Thunk`** schemas are evaluated lazily: the thunk is called once to obtain an
- *   `Info` descriptor, then dispatched by tag:
- *   - `'const'` — delegates to `constValidate`
- *   - `'unknown'` — always succeeds (any DJS value is valid)
- *   - `Tag1` (`'array'`, `'record'`) — delegates to `containerValidate`
- *   - `Tag0` (`'boolean'`, `'number'`, `'string'`, `'bigint'`) — uses `typeof` check
- * - **`Const`** schemas (primitives, tuples, structs) validate by exact equality or
- *   recursive field/element checking.
- *
- * ## 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]`.
- *
- * @module
- */
-import type { Unknown } from '../../../djs/module.f.ts';
-import { type Type } from '../module.f.ts';
-import { type Result as CommonResult } from '../../result/module.f.ts';
-import type { Ts } from '../ts/module.f.ts';
-/** Validation result: either the typed value or an error message. */
-export type Result<T extends Type> = CommonResult<Ts<T>, string>;
-/** A function that validates an unknown value against schema `T`. */
-export type Validate<T extends Type> = (value: Unknown) => Result<T>;
-/**
- * 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', message]`.
- *
- * @example
- * ```ts
- * const v = validate(array(number))
- * v([1, 2, 3])   // ['ok', [1, 2, 3]]
- * v(['a', 'b'])  // ['error', 'unexpected value']
- * ```
- */
-export declare const validate: <T extends Type>(rtti: T) => Validate<T>;

package/website/module.f.d.ts

@@ -1,4 +0,0 @@
-import { type NodeOp } from '../types/effects/node/module.f.ts';
-import { type Effect } from '../types/effects/module.f.ts';
-declare const _default: () => Effect<NodeOp, number>;
-export default _default;

package/website/module.f.js

@@ -1,19 +0,0 @@
-/**
- * Static website generation program for project landing content.
- *
- * @module
- */
-import { htmlToString } from "../html/module.f.js";
-import { writeFile } from "../types/effects/node/module.f.js";
-import { utf8 } from "../text/module.f.js";
-import { begin, pure } from "../types/effects/module.f.js";
-const html = utf8(htmlToString(['body',
-    ['a',
-        { href: 'https://github.com/functionalscript/functionalscript' },
-        'GitHub Repository'
-    ]
-]));
-const program = begin
-    .step(() => writeFile('index.html', html))
-    .step(() => pure(0));
-export default () => program;