functionalscript 0.11.2 → 0.11.4

package/io/module.f.d.ts

@@ -1,5 +1,5 @@
 import { type Effect } from '../types/effects/module.f.ts';
-import type { NodeOp, RequestListener } from '../types/effects/node/module.f.ts';
+import type { Headers, NodeOp } from '../types/effects/node/module.f.ts';
 import { type Result } from '../types/result/module.f.ts';
 /**
  * Represents a directory entry (file or directory) in the filesystem
@@ -82,7 +82,18 @@ export type TryCatch = <T>(f: () => T) => Result<T, unknown>;
 export type Server = {
     readonly listen: (port: number) => void;
 };
-export type Https = {
+export type Readable = AsyncIterable<Uint8Array>;
+export type IncomingMessage = Readable & {
+    readonly method: string;
+    readonly url: string;
+    readonly headers: Headers;
+};
+export type ServerResponse = {
+    readonly writeHead: (status: number, headers: Record<string, string>) => ServerResponse;
+    readonly end: (body: Uint8Array) => void;
+};
+export type RequestListener = (req: IncomingMessage, res: ServerResponse) => Promise<void>;
+export type Http = {
     readonly createServer: (_: RequestListener) => Server;
 };
 /**
@@ -97,7 +108,7 @@ export type Io = {
     readonly fetch: (url: string) => Promise<Response>;
     readonly tryCatch: TryCatch;
     readonly asyncTryCatch: <T>(f: () => Promise<T>) => Promise<Result<T, unknown>>;
-    readonly https: Https;
+    readonly http: Http;
 };
 /**
  * The environment variables.
@@ -113,4 +124,4 @@ export type Run = (f: App) => Promise<never>;
  */
 export declare const run: (io: Io) => Run;
 export type EffectToPromise = <T>(effect: Effect<NodeOp, T>) => Promise<T>;
-export declare const fromIo: ({ console: { error, log }, fs: { promises: { mkdir, readFile, readdir, writeFile } }, fetch, https: { createServer }, }: Io) => EffectToPromise;
+export declare const fromIo: ({ console: { error, log }, fs: { promises: { mkdir, readFile, readdir, writeFile } }, fetch, http: { createServer }, }: Io) => EffectToPromise;

package/io/module.f.js

@@ -1,10 +1,9 @@
-import { todo } from "../dev/module.f.js";
 import { normalize } from "../path/module.f.js";
 import {} from "../types/effects/module.f.js";
 import { asyncRun } from "../types/effects/module.js";
 import { asBase, asNominal } from "../types/nominal/module.f.js";
 import { error, ok } from "../types/result/module.f.js";
-import { fromVec, toVec } from "../types/uint8array/module.f.js";
+import { fromVec, listToVec, toVec } from "../types/uint8array/module.f.js";
 /**
  * Runs a function and exits the process with the returned code
  * Handles errors by exiting with code 1
@@ -29,7 +28,14 @@ const tc = async (f) => {
         return error(e);
     }
 };
-export const fromIo = ({ console: { error, log }, fs: { promises: { mkdir, readFile, readdir, writeFile } }, fetch, https: { createServer }, }) => {
+const collect = async (v) => {
+    let result = [];
+    for await (const a of v) {
+        result = [...result, a];
+    }
+    return result;
+};
+export const fromIo = ({ console: { error, log }, fs: { promises: { mkdir, readFile, readdir, writeFile } }, fetch, http: { createServer }, }) => {
     const result = asyncRun({
         all: async (effects) => await Promise.all(effects.map(result)),
         error: async (message) => error(message),
@@ -47,7 +53,19 @@ export const fromIo = ({ console: { error, log }, fs: { promises: { mkdir, readF
             .map(v => ({ name: v.name, parentPath: normalize(v.parentPath), isFile: v.isFile() }))),
         writeFile: ([path, data]) => tc(() => writeFile(path, fromVec(data))),
         createServer: async (requestListener) => {
-            const server = asNominal(createServer(requestListener));
+            const nodeRl = async (req, res) => {
+                const { method, url, headers } = req;
+                const { status, headers: outHeaders, body: outBody } = requestListener({
+                    method,
+                    url,
+                    headers,
+                    body: listToVec(await collect(req))
+                });
+                res
+                    .writeHead(status, outHeaders)
+                    .end(fromVec(outBody));
+            };
+            const server = asNominal(createServer(nodeRl));
             return server;
         },
         listen: async ([server, port]) => {

package/io/module.js

@@ -6,10 +6,10 @@ var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExte
     }
     return path;
 };
-import https from 'node:https';
+import http from 'node:http';
 import { fromIo, run } from "./module.f.js";
 import fs from 'node:fs';
-import process from "node:process";
+import process from 'node:process';
 import { concat } from "../path/module.f.js";
 import { error, ok } from "../types/result/module.f.js";
 const prefix = 'file:///';
@@ -40,7 +40,7 @@ export const io = {
             return error(e);
         }
     },
-    https
+    http,
 };
 export const legacyRun = run(io);
 export const ioRun = (io) => {

package/io/virtual/module.f.js

@@ -34,7 +34,7 @@ export const createVirtualIo = (files) => ({
     fetch: () => Promise.reject(),
     tryCatch: f => ['ok', f()],
     asyncTryCatch: async (f) => ['ok', await f()],
-    https: {
+    http: {
         createServer: todo
     }
 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.11.2",
+  "version": "0.11.4",
   "type": "module",
   "files": [
     "**/*.js",

package/text/sgr/module.f.d.ts

@@ -21,17 +21,40 @@ export declare const csi: (end: End) => Csi;
  * https://en.wikipedia.org/wiki/ANSI_escape_code#SGR
  */
 export declare const sgr: Csi;
+/** Resets all SGR styles to terminal defaults. */
 export declare const reset: string;
+/** Enables bold/intense text rendering when supported by the terminal. */
 export declare const bold: string;
+/** Applies red foreground color to subsequent text. */
 export declare const fgRed: string;
+/** Applies green foreground color to subsequent text. */
 export declare const fgGreen: string;
 export type Stdout = {
+    /** Writes a string to the output stream. */
     readonly write: (s: string) => void;
 };
+/** Stateful writer that updates previously printed text in-place. */
 export type WriteText = (text: string) => WriteText;
+/**
+ * Creates a stateful text writer that rewrites the previous value using backspaces.
+ *
+ * @param stdout - Destination output stream.
+ * @returns A recursive writer that replaces prior text on each call.
+ */
 export declare const createConsoleText: (stdout: Stdout) => WriteText;
 export type CsiConsole = (s: string) => void;
+/**
+ * Creates a TTY-aware console function.
+ *
+ * For TTY destinations, ANSI SGR sequences are preserved.
+ * For non-TTY destinations, ANSI SGR sequences are stripped.
+ *
+ * @param io - Runtime IO bindings.
+ * @returns A function that targets a writable stream.
+ */
 export declare const console: ({ fs: { writeSync } }: Io) => (w: Writable) => CsiConsole;
+/** Writes to process stdout using a TTY-aware CSI console. */
 export declare const stdio: (io: Io) => CsiConsole;
+/** Writes to process stderr using a TTY-aware CSI console. */
 export declare const stderr: (io: Io) => CsiConsole;
 export {};

package/text/sgr/module.f.js

@@ -19,9 +19,13 @@ export const csi = (end) => code => `${begin}${code.toString()}${end}`;
  * https://en.wikipedia.org/wiki/ANSI_escape_code#SGR
  */
 export const sgr = csi('m');
+/** Resets all SGR styles to terminal defaults. */
 export const reset = sgr(0);
+/** Enables bold/intense text rendering when supported by the terminal. */
 export const bold = sgr(1);
+/** Applies red foreground color to subsequent text. */
 export const fgRed = sgr(31);
+/** Applies green foreground color to subsequent text. */
 export const fgGreen = sgr(32);
 const { max } = Math;
 const replace = (old) => (text) => {
@@ -29,6 +33,12 @@ const replace = (old) => (text) => {
     const suffixLength = max(0, len - text.length);
     return backspace.repeat(len) + text + " ".repeat(suffixLength) + backspace.repeat(suffixLength);
 };
+/**
+ * Creates a stateful text writer that rewrites the previous value using backspaces.
+ *
+ * @param stdout - Destination output stream.
+ * @returns A recursive writer that replaces prior text on each call.
+ */
 export const createConsoleText = (stdout) => {
     const f = (old) => (text) => {
         stdout.write(replace(old)(text));
@@ -36,11 +46,22 @@ export const createConsoleText = (stdout) => {
     };
     return f('');
 };
+/**
+ * Creates a TTY-aware console function.
+ *
+ * For TTY destinations, ANSI SGR sequences are preserved.
+ * For non-TTY destinations, ANSI SGR sequences are stripped.
+ *
+ * @param io - Runtime IO bindings.
+ * @returns A function that targets a writable stream.
+ */
 export const console = ({ fs: { writeSync } }) => (w) => {
     const { isTTY } = w;
     return isTTY
         ? (s) => writeSync(w.fd, s + '\n')
         : (s) => writeSync(w.fd, s.replace(/\x1b\[[0-9;]*m/g, '') + '\n');
 };
+/** Writes to process stdout using a TTY-aware CSI console. */
 export const stdio = (io) => console(io)(io.process.stdout);
+/** Writes to process stderr using a TTY-aware CSI console. */
 export const stderr = (io) => console(io)(io.process.stderr);

package/text/utf8/module.f.d.ts

@@ -1,3 +1,8 @@
+/**
+ * UTF-8 byte-level encoding and decoding utilities for FunctionalScript streams.
+ *
+ * @module
+ */
 import { type List, type Thunk } from '../../types/list/module.f.ts';
 import type { Array1, Array2, Array3 } from '../../types/array/module.f.ts';
 /**

package/text/utf8/module.f.js

@@ -1,3 +1,8 @@
+/**
+ * UTF-8 byte-level encoding and decoding utilities for FunctionalScript streams.
+ *
+ * @module
+ */
 import { flat, flatMap, stateScan } from "../../types/list/module.f.js";
 /**
  * Error mask constant used to represent invalid code points or encoding errors in UTF-8.

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

@@ -16,10 +16,14 @@ export type DoK<O extends Operation, T, K extends O[0]> = DoKPR<O, T, K, Pr<O, K
 export type Do<O extends Operation, T> = DoK<O, T, O[0]>;
 export declare const pure: <T>(v: T) => Effect<never, T>;
 export declare const doFull: <O extends Operation, T, K extends O[0]>(cmd: K, param: Pr<O, K>[0], cont: (input: Pr<O, K>[1]) => Effect<O, T>) => Effect<O, T>;
-export declare const do_: <O extends Operation>(cmd: O[0]) => (param: Pr<O, O[0]>[0]) => Effect<O, Pr<O, O[0]>[1]>;
+export type Param<O extends Operation> = F<O>[0];
+export type Return<O extends Operation> = F<O>[1];
+export declare const do_: <O extends Operation>(cmd: O[0]) => (param: Param<O>) => Effect<O, Return<O>>;
+export declare const doRest: <O extends Operation>(cmd: O[0]) => (...param: Param<O>) => Effect<O, Return<O>>;
 export declare const begin: Effect<never, void>;
 export type ToAsyncOperationMap<O extends Operation> = {
     readonly [K in O[0]]: (payload: Pr<O, K>[0]) => Promise<Pr<O, K>[1]>;
 };
 export type F<O extends Operation> = Pr<O, O[0]>;
-export type Func<O extends Operation> = (_: F<O>[0]) => Effect<O, F<O>[1]>;
+export type Func<O extends Operation> = (_: Param<O>) => Effect<O, Return<O>>;
+export type RestFunc<O extends Operation> = (..._: Param<O>) => Effect<O, Return<O>>;

package/types/effects/module.f.js

@@ -12,4 +12,5 @@ export const doFull = (cmd, param, cont) => ({
     step: (f) => doFull(cmd, param, x => cont(x).step(f)),
 });
 export const do_ = (cmd) => (param) => doFull(cmd, param, pure);
+export const doRest = (cmd) => (...param) => do_(cmd)(param);
 export const begin = pure(undefined);

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

@@ -1,7 +1,7 @@
 import type { Vec } from '../../bit_vec/module.f.ts';
 import type { Nominal } from '../../nominal/module.f.ts';
 import type { Result } from '../../result/module.f.ts';
-import { type Effect, type Func, type Operation, type ToAsyncOperationMap } from '../module.f.ts';
+import { type Effect, type Func, type Operation, type RestFunc, type ToAsyncOperationMap } from '../module.f.ts';
 export type IoResult<T> = Result<T, unknown>;
 export type All = ['all', <T>(_: readonly Effect<never, T>[]) => readonly T[]];
 /**
@@ -20,7 +20,7 @@ export type MakeDirectoryOptions = {
 };
 export type MkdirParam = readonly [string, MakeDirectoryOptions?];
 export type Mkdir = readonly ['mkdir', (_: MkdirParam) => IoResult<void>];
-export declare const mkdir: (...p: MkdirParam) => Effect<Mkdir, IoResult<void>>;
+export declare const mkdir: RestFunc<Mkdir>;
 export type ReadFile = readonly ['readFile', (_: string) => IoResult<Vec>];
 export declare const readFile: Func<ReadFile>;
 /**
@@ -37,10 +37,10 @@ export type ReaddirOptions = {
 };
 export type ReaddirParam = readonly [string, ReaddirOptions];
 export type Readdir = readonly ['readdir', (_: ReaddirParam) => IoResult<readonly Dirent[]>];
-export declare const readdir: (...p: ReaddirParam) => Effect<Readdir, IoResult<readonly Dirent[]>>;
+export declare const readdir: RestFunc<Readdir>;
 export type WriteFileParam = readonly [string, Vec];
 export type WriteFile = readonly ['writeFile', (_: WriteFileParam) => IoResult<void>];
-export declare const writeFile: (...p: WriteFileParam) => Effect<WriteFile, IoResult<void>>;
+export declare const writeFile: RestFunc<WriteFile>;
 export type Fs = Mkdir | ReadFile | Readdir | WriteFile;
 export type Error = ['error', (_: string) => void];
 export declare const error: Func<Error>;
@@ -48,12 +48,25 @@ export type Log = ['log', (_: string) => void];
 export declare const log: Func<Log>;
 export type Console = Log | Error;
 export type Server = Nominal<'server', `160855c4f69310fece3273c1853ac32de43dee1eb41bf59d821917f8eebe9272`, unknown>;
-export type IncomingMessage = {};
-export type ServerResponse = {};
+export type Headers = {
+    readonly [k in string]: string;
+};
+export type IncomingMessage = {
+    readonly method: string;
+    readonly url: string;
+    readonly headers: Headers;
+    readonly body: Vec;
+};
+export type ServerResponse = {
+    readonly status: number;
+    readonly headers: Headers;
+    readonly body: Vec;
+};
 export type RequestListener = (_: IncomingMessage) => ServerResponse;
 export type CreateServer = ['createServer', (_: RequestListener) => Server];
 export declare const createServer: Func<CreateServer>;
 export type Listen = ['listen', (_: readonly [Server, number]) => void];
+export declare const listen: RestFunc<Listen>;
 export type Http = CreateServer | Listen;
 export type NodeOp = All | Fetch | Console | Fs | Http;
 export type NodeEffect<T> = Effect<NodeOp, T>;

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

@@ -1,4 +1,4 @@
-import { do_ } from "../module.f.js";
+import { doRest, do_ } from "../module.f.js";
 /**
  * To run the operation `O` should be known by the runner/engine.
  * This is the reason why we merge `O` with `All` in the resulted `Effect`.
@@ -9,10 +9,11 @@ import { do_ } from "../module.f.js";
 export const all = (...a) => do_('all')(a);
 export const both = (a) => (b) => all(a, b);
 export const fetch = do_('fetch');
-export const mkdir = (...p) => do_('mkdir')(p);
+export const mkdir = doRest('mkdir');
 export const readFile = do_('readFile');
-export const readdir = (...p) => do_('readdir')(p);
-export const writeFile = (...p) => do_('writeFile')(p);
+export const readdir = doRest('readdir');
+export const writeFile = doRest('writeFile');
 export const error = do_('error');
 export const log = do_('log');
 export const createServer = do_('createServer');
+export const listen = doRest('listen');

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

@@ -1,5 +1,4 @@
 import { empty, isVec, uint, vec8 } from "../../bit_vec/module.f.js";
-import { run } from "../mock/module.f.js";
 import { pure } from "../module.f.js";
 import { fetch, mkdir, readdir, readFile, writeFile } from "./module.f.js";
 import { emptyState, virtual } from "./virtual/module.f.js";

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

@@ -1,8 +1,10 @@
 import { type Vec } from "../bit_vec/module.f.ts";
+import { type List } from "../list/module.f.ts";
 /**
  * Converts a Uint8Array into an MSB-first bit vector.
  */
 export declare const toVec: (input: Uint8Array) => Vec;
+export declare const listToVec: (input: List<Uint8Array>) => Vec;
 /**
  * Converts an MSB-first bit vector into a Uint8Array.
  */

package/types/uint8array/module.f.js

@@ -6,13 +6,15 @@
 import { utf8, utf8ToString } from "../../text/module.f.js";
 import { msb, u8List, u8ListToVec } from "../bit_vec/module.f.js";
 import { compose } from "../function/module.f.js";
-import { fromArrayLike, iterable } from "../list/module.f.js";
+import { flat, fromArrayLike, iterable, map } from "../list/module.f.js";
 const u8ListToVecMsb = u8ListToVec(msb);
 const u8ListMsb = u8List(msb);
 /**
  * Converts a Uint8Array into an MSB-first bit vector.
  */
 export const toVec = (input) => u8ListToVecMsb(fromArrayLike(input));
+const m = map(fromArrayLike);
+export const listToVec = (input) => u8ListToVecMsb(flat(m(input)));
 /**
  * Converts an MSB-first bit vector into a Uint8Array.
  */