functionalscript 0.9.2 → 0.10.0

package/types/effect/node/module.f.d.ts

@@ -2,6 +2,10 @@ import type { Vec } from '../../bit_vec/module.f.ts';
 import type { Result } from '../../result/module.f.ts';
 import { type Do, type Effect, type ToAsyncOperationMap } from '../module.f.ts';
 export type IoResult<T> = Result<T, unknown>;
+export type Fetch = {
+    readonly fetch: readonly [string, IoResult<Vec>];
+};
+export declare const fetch: (url: string) => Do<Fetch, IoResult<Vec>>;
 export type MakeDirectoryOptions = {
     readonly recursive: true;
 };
@@ -46,7 +50,7 @@ export type Log = {
 };
 export declare const log: (msg: string) => Do<Log, void>;
 export type Console = Log & Error;
-export type NodeOperations = Console & Fs;
+export type NodeOperations = Fetch & Console & Fs;
 export type NodeEffect<T> = Effect<NodeOperations, T>;
 export type NodeOperationMap = ToAsyncOperationMap<NodeOperations>;
 export type NodeProgram = (argv: readonly string[]) => NodeEffect<number>;

package/types/effect/node/module.f.js

@@ -1,4 +1,5 @@
 import { do_ } from "../module.f.js";
+export const fetch = (url) => do_('fetch', url);
 export const mkdir = (...p) => do_('mkdir', p);
 export const readFile = (path) => do_('readFile', path);
 export const readdir = (...p) => do_('readdir', p);

package/types/effect/node/test.f.d.ts

@@ -1,5 +1,6 @@
 declare const _default: {
     map: () => void;
+    fetch: () => void;
     mkdir: {
         one: () => void;
         rec: () => void;

package/types/effect/node/test.f.js

@@ -1,6 +1,6 @@
 import { empty, isVec, uint, vec8 } from "../../bit_vec/module.f.js";
 import { run } from "../mock/module.f.js";
-import { mkdir, readdir, readFile, writeFile } from "./module.f.js";
+import { fetch, mkdir, readdir, readFile, writeFile } from "./module.f.js";
 import { emptyState, virtual } from "./virtual/module.f.js";
 export default {
     map: () => {
@@ -29,6 +29,24 @@ export default {
             e = cont(['ok', vec8(0x15n)]);
         }
     },
+    fetch: () => {
+        const v = run(virtual);
+        const [_, [t, result]] = v({
+            ...emptyState,
+            internet: {
+                'https://example.com/data': vec8(0x2an),
+            },
+        })(fetch('https://example.com/data'));
+        if (t === 'error') {
+            throw result;
+        }
+        if (!isVec(result)) {
+            throw result;
+        }
+        if (uint(result) !== 0x2an) {
+            throw result;
+        }
+    },
     mkdir: {
         one: () => {
             const v = run(virtual);

package/types/effect/node/virtual/module.f.d.ts

@@ -8,6 +8,9 @@ export type VirtualState = {
     stdout: string;
     stderr: string;
     root: VirtualDir;
+    internet: {
+        readonly [url: string]: Vec;
+    };
 };
 export declare const emptyState: VirtualState;
 export declare const virtual: MemOperationMap<NodeOperations, VirtualState>;

package/types/effect/node/virtual/module.f.js

@@ -1,3 +1,8 @@
+/**
+ * Virtual Node-effect operations for filesystem and process tests.
+ *
+ * @module
+ */
 import { parse } from "../../../../path/module.f.js";
 import { isVec } from "../../../bit_vec/module.f.js";
 import { error, ok } from "../../../result/module.f.js";
@@ -5,6 +10,7 @@ export const emptyState = {
     stdout: '',
     stderr: '',
     root: {},
+    internet: {},
 };
 const operation = (op) => {
     const f = (dir, path) => {
@@ -91,6 +97,10 @@ const console = (name) => (state, payload) => [{ ...state, [name]: `${state[name
 export const virtual = {
     error: console('stderr'),
     log: console('stdout'),
+    fetch: (state, url) => {
+        const result = state.internet[url];
+        return result === undefined ? [state, error('not found')] : [state, ok(result)];
+    },
     mkdir: (state, [path, p]) => mkdir(p !== undefined)(state, path),
     readFile,
     readdir: (state, [path, { recursive }]) => readdir(path, recursive === true)(state, path),

package/types/function/compare/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Comparison function types and helpers.
+ *
+ * @module
+ */
 import type { Index3, Index5, Array2 } from '../../array/module.f.ts';
 export type Sign = -1 | 0 | 1;
 export type Compare<T> = (_: T) => Sign;

package/types/function/operator/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Common higher-order operator type aliases.
+ *
+ * @module
+ */
 export type Binary<A, B, R> = (a: A) => (b: B) => R;
 export type Fold<I, O> = Binary<I, O, O>;
 export declare const join: (separator: string) => Reduce<string>;

package/types/list/module.f.js

@@ -1,3 +1,8 @@
+/**
+ * Immutable list data structure utilities and combinators.
+ *
+ * @module
+ */
 import { identity, fn, compose } from "../function/module.f.js";
 import { addition, logicalNot, strictEqual, stateScanToScan, foldToScan, reduceToScan, } from "../function/operator/module.f.js";
 export const fromArrayLike = (array) => {

package/types/map/module.f.js

@@ -1,3 +1,8 @@
+/**
+ * Persistent map operations built on ordered collections.
+ *
+ * @module
+ */
 const concat = (x, y) => ({
     *[Symbol.iterator]() {
         yield* x;

package/types/nibble_set/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Nibble-set operations for compact 4-bit membership tracking.
+ *
+ * @module
+ */
 export type NibbleSet = number;
 export type Nibble = number;
 export declare const empty = 0;

package/types/nominal/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Nominal typing helpers for branded TypeScript types.
+ *
+ * @module
+ */
 export type Nominal<N extends string, R extends string, B> = symbol & {
     [k in N]: readonly [R, B];
 };

package/types/nullable/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Utilities for nullable (`null`/`undefined`) value handling.
+ *
+ * @module
+ */
 import type { Option } from '../option/module.f.ts';
 export type Nullable<T> = T | null;
 export declare const map: <T, R>(f: (value: T) => R) => (value: Nullable<T>) => Nullable<R>;

package/types/ordered_map/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Ordered map operations with deterministic key traversal.
+ *
+ * @module
+ */
 import type { Tree } from '../btree/types/module.f.ts';
 import { type List } from '../list/module.f.ts';
 import type { Reduce } from '../function/operator/module.f.ts';

package/types/range/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Range and interval utilities for numeric boundaries.
+ *
+ * @module
+ */
 export type Range = readonly [number, number];
 export declare const contains: (range: Range) => (i: number) => boolean;
 export declare const one: (i: number) => Range;

package/types/sorted_list/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Sorted immutable list helpers and merge operations.
+ *
+ * @module
+ */
 import type { Sign } from '../function/compare/module.f.ts';
 import { type List } from '../list/module.f.ts';
 import type { Nullable } from '../nullable/module.f.ts';

package/website/module.f.js

@@ -1,3 +1,8 @@
+/**
+ * Static website generation program for project landing content.
+ *
+ * @module
+ */
 import { htmlToString } from "../html/module.f.js";
 import { writeFile } from "../types/effect/node/module.f.js";
 import { utf8 } from "../text/module.f.js";

package/website/module.js

@@ -1,3 +1,3 @@
-import { nodeRun } from "../io/module.js";
-import run from "./module.f.js";
-await nodeRun(run);
+import run from "../io/module.js";
+import app from "./module.f.js";
+run(app);