@nudojs/env 0.2.5 → 0.4.0

package/dist/{chunk-BPVYU23Z.js → chunk-6RZUMVN5.js}

@@ -2,7 +2,7 @@
 import {
   litValue,
   numLit,
-  strLit,
+  strLit as strLit2,
   boolLit
 } from "@nudojs/core";
 
@@ -16,6 +16,7 @@ import {
   objOf,
   num,
   str,
+  strLit,
   bool,
   never,
   unknown
@@ -52,6 +53,21 @@ function promiseOf(inner) {
 function brandOf(name, shape = unknown) {
   return makeAbs({ k: "brand", name, shape }, void 0, void 0, "path");
 }
+function errorBrandOf(name) {
+  return makeAbs(
+    {
+      k: "brand",
+      name,
+      shape: objOf({
+        name: { value: strLit(name) },
+        message: { value: str() }
+      })
+    },
+    void 0,
+    void 0,
+    "path"
+  );
+}
 function envFn(paramTypes, returnType, apply, opts) {
   const params = opts?.params ?? paramTypes.map((_, i) => paramTypes.length === 1 && i === 0 ? "x" : `x${i}`);
   if (!apply) {
@@ -83,6 +99,19 @@ function envFn(paramTypes, returnType, apply, opts) {
   if (opts?.conf && opts.conf !== "exact") a.conf = opts.conf;
   return a;
 }
+function envFnVariadic(restType, returnType, opts) {
+  const required = opts?.required ?? [];
+  const restName = opts?.restName ?? "...rest";
+  const paramTypes = [...required, restType];
+  const params = [
+    ...required.map((_, i) => `x${i}`),
+    restName
+  ];
+  return envFn(paramTypes, returnType, opts?.apply, {
+    params,
+    ...opts?.name ? { name: opts.name } : {}
+  });
+}
 function slotsOf(entries) {
   const out = {};
   for (const [k, v] of Object.entries(entries)) {
@@ -131,7 +160,7 @@ function numImpl2Abs(fn) {
 function strToStrImplAbs(fn) {
   return (args) => {
     const s = absStrLit(args[0]);
-    return s !== void 0 ? strLit(fn(s)) : void 0;
+    return s !== void 0 ? strLit2(fn(s)) : void 0;
   };
 }
 function defineEnv() {
@@ -166,7 +195,7 @@ function defineEnv() {
     if (v === void 0 && a.term?.op !== "lit") return void 0;
     try {
       const result = JSON.stringify(v);
-      return result === void 0 ? undef() : strLit(result);
+      return result === void 0 ? undef() : strLit2(result);
     } catch {
       return void 0;
     }
@@ -213,7 +242,7 @@ function defineEnv() {
     if (!a) return void 0;
     const v = litValue(a);
     if (v === null || v === void 0) return void 0;
-    return strLit(String(v));
+    return strLit2(String(v));
   };
   const isArrayImplAbs = (args) => {
     const a = args[0];
@@ -316,12 +345,12 @@ function defineEnv() {
         prim.str(),
         strToStrImplAbs(decodeURIComponent)
       ),
-      Error: envFn([prim.str()], brandOf("Error")),
-      TypeError: envFn([prim.str()], brandOf("TypeError")),
-      RangeError: envFn([prim.str()], brandOf("RangeError")),
-      SyntaxError: envFn([prim.str()], brandOf("SyntaxError")),
-      ReferenceError: envFn([prim.str()], brandOf("ReferenceError")),
-      URIError: envFn([prim.str()], brandOf("URIError")),
+      Error: envFn([prim.str()], errorBrandOf("Error")),
+      TypeError: envFn([prim.str()], errorBrandOf("TypeError")),
+      RangeError: envFn([prim.str()], errorBrandOf("RangeError")),
+      SyntaxError: envFn([prim.str()], errorBrandOf("SyntaxError")),
+      ReferenceError: envFn([prim.str()], errorBrandOf("ReferenceError")),
+      URIError: envFn([prim.str()], errorBrandOf("URIError")),
       Promise: objAbs({
         resolve: envFn([prim.unknown], promiseOf(prim.unknown), promiseResolveImplAbs),
         reject: envFn([prim.unknown], promiseOf(prim.never)),
@@ -380,6 +409,7 @@ export {
   promiseOf,
   brandOf,
   envFn,
+  envFnVariadic,
   objAbs,
   prim,
   defineEnv

package/dist/es.js

@@ -1,6 +1,6 @@
 import {
   defineEnv
-} from "./chunk-BPVYU23Z.js";
+} from "./chunk-6RZUMVN5.js";
 export {
   defineEnv
 };

package/dist/node.js

@@ -3,6 +3,7 @@ import {
   brandOf,
   defineEnv,
   envFn,
+  envFnVariadic,
   nullLit,
   objAbs,
   prim,
@@ -10,7 +11,7 @@ import {
   tupleOf,
   undef,
   unionOf
-} from "./chunk-BPVYU23Z.js";
+} from "./chunk-6RZUMVN5.js";
 
 // src/node.ts
 import {
@@ -130,6 +131,106 @@ function defineEnv2() {
     chmodSync: envFn([prim.str(), prim.num()], undef()),
     chownSync: envFn([prim.str(), prim.num(), prim.num()], undef()),
     accessSync: envFn([prim.str(), prim.num()], undef()),
+    // Callback-style async on `fs` / `node:fs` (Node actual API).
+    // Promise APIs live only under fs.promises / node:fs/promises.
+    readFile: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    writeFile: envFn(
+      [prim.str(), unionOf(prim.str(), bufferBrand), prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "data", "callback"] }
+    ),
+    mkdir: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    rm: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    stat: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    readdir: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    access: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "mode?", "callback"] }
+    ),
+    appendFile: envFn(
+      [prim.str(), unionOf(prim.str(), bufferBrand), prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "data", "callback"] }
+    ),
+    unlink: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    rename: envFn(
+      [prim.str(), prim.str(), prim.unknown],
+      undef(),
+      void 0,
+      { params: ["oldPath", "newPath", "callback"] }
+    ),
+    copyFile: envFn(
+      [prim.str(), prim.str(), prim.unknown],
+      undef(),
+      void 0,
+      { params: ["src", "dest", "callback"] }
+    ),
+    realpath: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    readlink: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "options?", "callback"] }
+    ),
+    symlink: envFn(
+      [prim.str(), prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["target", "path", "type?", "callback"] }
+    ),
+    chmod: envFn(
+      [prim.str(), prim.num(), prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "mode", "callback"] }
+    ),
+    open: envFn(
+      [prim.str(), prim.unknown, prim.unknown],
+      undef(),
+      void 0,
+      { params: ["path", "flags?", "callback"] }
+    )
+  };
+  const fsPromisesModule = {
     readFile: envFn(
       [prim.str(), prim.unknown],
       promiseOf(unionOf(prim.str(), bufferBrand))
@@ -148,7 +249,19 @@ function defineEnv2() {
       [prim.str(), prim.unknown],
       promiseOf(arrOf(prim.unknown))
     ),
-    access: envFn([prim.str(), prim.num()], promiseOf(undef()))
+    access: envFn([prim.str(), prim.num()], promiseOf(undef())),
+    appendFile: envFn(
+      [prim.str(), unionOf(prim.str(), bufferBrand)],
+      promiseOf(undef())
+    ),
+    unlink: envFn([prim.str()], promiseOf(undef())),
+    rename: envFn([prim.str(), prim.str()], promiseOf(undef())),
+    copyFile: envFn([prim.str(), prim.str()], promiseOf(undef())),
+    realpath: envFn([prim.str()], promiseOf(prim.str())),
+    readlink: envFn([prim.str()], promiseOf(prim.str())),
+    symlink: envFn([prim.str(), prim.str()], promiseOf(undef())),
+    chmod: envFn([prim.str(), prim.num()], promiseOf(undef())),
+    open: envFn([prim.str(), prim.str()], promiseOf(prim.unknown))
   };
   const strImpl1Abs = (fn) => (args) => {
     const a = absStr(args[0]);
@@ -178,10 +291,21 @@ function defineEnv2() {
     return p !== void 0 ? boolLit(nodePath.isAbsolute(p)) : void 0;
   };
   const pathModule = {
-    join: envFn([prim.str(), prim.str()], prim.str(), pathJoinAbs),
-    resolve: envFn([prim.str()], prim.str(), pathResolveAbs),
+    // Node variadic: declare min required arity + rest label (not n fixed slots).
+    join: envFnVariadic(prim.str(), prim.str(), {
+      apply: pathJoinAbs,
+      required: [prim.str()],
+      restName: "...paths"
+    }),
+    resolve: envFnVariadic(prim.str(), prim.str(), {
+      apply: pathResolveAbs,
+      restName: "...paths"
+    }),
     dirname: envFn([prim.str()], prim.str(), strImpl1Abs(nodePath.dirname)),
-    basename: envFn([prim.str(), prim.str()], prim.str(), pathBasenameAbs),
+    // ext is optional in Node — required arity 1; label+type render `ext?: string`.
+    basename: envFn([prim.str(), prim.str()], prim.str(), pathBasenameAbs, {
+      params: ["path", "ext?"]
+    }),
     extname: envFn([prim.str()], prim.str(), strImpl1Abs(nodePath.extname)),
     relative: envFn([prim.str(), prim.str()], prim.str(), pathRelativeAbs),
     normalize: envFn([prim.str()], prim.str(), strImpl1Abs(nodePath.normalize)),
@@ -259,6 +383,7 @@ function defineEnv2() {
     toJSON: envFn([], prim.str())
   });
   const urlModule = {
+    // base is optional in Node — required arity 1; label+type render `base?: string`.
     URL: envFn(
       [prim.str(), prim.str()],
       nodeUrlObj,
@@ -286,7 +411,8 @@ function defineEnv2() {
         } catch {
           return void 0;
         }
-      }
+      },
+      { params: ["href", "base?"] }
     ),
     URLSearchParams: envFn(
       [prim.unknown],
@@ -384,15 +510,27 @@ function defineEnv2() {
     fork: envFn([prim.str(), arrOf(prim.str()), prim.unknown], prim.unknown)
   };
   const utilModule = {
-    promisify: envFn([prim.unknown], prim.unknown),
+    // Signature-level: promisify preserves fn-ness only as unknown (no generic).
+    promisify: envFn([prim.unknown], prim.unknown, void 0, { name: "util.promisify" }),
     inspect: envFn([prim.unknown, prim.unknown], prim.str()),
-    format: envFn([prim.str()], prim.str()),
+    format: envFnVariadic(prim.unknown, prim.str(), {
+      // util.format() with zero args is valid in Node.
+      restName: "...args",
+      name: "util.format"
+    }),
+    callbackify: envFn([prim.unknown], prim.unknown),
+    deprecate: envFn([prim.unknown, prim.str()], prim.unknown),
+    inherits: envFn([prim.unknown, prim.unknown], undef()),
+    isDeepStrictEqual: envFn([prim.unknown, prim.unknown], prim.bool()),
     types: objAbs({
       isDate: envFn([prim.unknown], prim.bool()),
       isRegExp: envFn([prim.unknown], prim.bool()),
       isPromise: envFn([prim.unknown], prim.bool()),
       isArrayBuffer: envFn([prim.unknown], prim.bool()),
-      isTypedArray: envFn([prim.unknown], prim.bool())
+      isTypedArray: envFn([prim.unknown], prim.bool()),
+      isNativeError: envFn([prim.unknown], prim.bool()),
+      isAsyncFunction: envFn([prim.unknown], prim.bool()),
+      isGeneratorFunction: envFn([prim.unknown], prim.bool())
     }),
     TextEncoder: envFn(
       [],
@@ -403,6 +541,79 @@ function defineEnv2() {
       objAbs({ decode: envFn([prim.unknown], prim.str()) })
     )
   };
+  const eventEmitterShape = objAbs({
+    on: envFn([prim.str(), prim.unknown], prim.unknown),
+    once: envFn([prim.str(), prim.unknown], prim.unknown),
+    off: envFn([prim.str(), prim.unknown], prim.unknown),
+    emit: envFn([prim.str()], prim.bool()),
+    addListener: envFn([prim.str(), prim.unknown], prim.unknown),
+    removeListener: envFn([prim.str(), prim.unknown], prim.unknown),
+    removeAllListeners: envFn([prim.str()], prim.unknown),
+    listeners: envFn([prim.str()], arrOf(prim.unknown)),
+    listenerCount: envFn([prim.str()], prim.num()),
+    eventNames: envFn([], arrOf(prim.str()))
+  });
+  const eventEmitterInstance = brandOf("EventEmitter", eventEmitterShape);
+  const EventEmitterCtor = envFn([prim.unknown], eventEmitterInstance, void 0, {
+    params: ["options?"]
+  });
+  const eventsModule = {
+    EventEmitter: EventEmitterCtor,
+    once: envFn(
+      [prim.unknown, prim.str()],
+      promiseOf(arrOf(prim.unknown))
+    ),
+    on: envFn([prim.unknown, prim.str()], prim.unknown),
+    listenerCount: envFn([prim.unknown, prim.str()], prim.num())
+  };
+  const streamIoMethods = {
+    on: envFn([prim.str(), prim.unknown], prim.unknown),
+    once: envFn([prim.str(), prim.unknown], prim.unknown),
+    off: envFn([prim.str(), prim.unknown], prim.unknown),
+    emit: envFn([prim.str()], prim.bool()),
+    pipe: envFn([prim.unknown], prim.unknown),
+    destroy: envFn([prim.unknown], undef()),
+    read: envFn([prim.num()], prim.unknown),
+    write: envFn([unionOf(prim.str(), bufferBrand)], prim.bool()),
+    end: envFn([prim.unknown], undef()),
+    pause: envFn([], prim.unknown),
+    resume: envFn([], prim.unknown),
+    setEncoding: envFn([prim.str()], prim.unknown)
+  };
+  const streamCtor = (brandName) => envFn([prim.unknown], brandOf(brandName, objAbs(streamIoMethods)), void 0, {
+    params: ["options?"]
+  });
+  const streamModule = {
+    Readable: streamCtor("Readable"),
+    Writable: streamCtor("Writable"),
+    Duplex: streamCtor("Duplex"),
+    Transform: streamCtor("Transform"),
+    pipeline: envFnVariadic(prim.unknown, promiseOf(undef()), {
+      restName: "...streams"
+    }),
+    finished: envFn([prim.unknown], promiseOf(undef()))
+  };
+  const parsedQueryString = brandOf(
+    "ParsedQueryString",
+    objAbs({})
+  );
+  const querystringModule = {
+    // sep/eq/options optional — required arity 1; labels+types render `sep?: string` etc.
+    parse: envFn(
+      [prim.str(), prim.str(), prim.str(), prim.unknown],
+      parsedQueryString,
+      void 0,
+      { params: ["str", "sep?", "eq?", "options?"] }
+    ),
+    stringify: envFn(
+      [prim.unknown, prim.str(), prim.str(), prim.unknown],
+      prim.str(),
+      void 0,
+      { params: ["obj", "sep?", "eq?", "options?"] }
+    ),
+    escape: envFn([prim.str()], prim.str()),
+    unescape: envFn([prim.str()], prim.str())
+  };
   const nodeGlobals = {
     process: objAbs({
       env: objAbs({}),
@@ -472,15 +683,8 @@ function defineEnv2() {
   const modules = {
     fs: fsModule,
     "node:fs": fsModule,
-    "node:fs/promises": {
-      readFile: fsModule.readFile,
-      writeFile: fsModule.writeFile,
-      mkdir: fsModule.mkdir,
-      rm: fsModule.rm,
-      stat: fsModule.stat,
-      readdir: fsModule.readdir,
-      access: fsModule.access
-    },
+    "fs/promises": fsPromisesModule,
+    "node:fs/promises": fsPromisesModule,
     path: pathModule,
     "node:path": pathModule,
     os: osModule,
@@ -492,7 +696,13 @@ function defineEnv2() {
     child_process: childProcessModule,
     "node:child_process": childProcessModule,
     util: utilModule,
-    "node:util": utilModule
+    "node:util": utilModule,
+    events: eventsModule,
+    "node:events": eventsModule,
+    stream: streamModule,
+    "node:stream": streamModule,
+    querystring: querystringModule,
+    "node:querystring": querystringModule
   };
   return {
     globals: { ...esEnv.globals, ...nodeGlobals },

package/dist/web.js

@@ -8,7 +8,7 @@ import {
   promiseOf,
   undef,
   unionOf
-} from "./chunk-BPVYU23Z.js";
+} from "./chunk-6RZUMVN5.js";
 
 // src/web.ts
 import { litValue, strLit, numLit } from "@nudojs/core";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nudojs/env",
-  "version": "0.2.5",
+  "version": "0.4.0",
   "engines": {
     "node": ">=20"
   },
@@ -35,7 +35,7 @@
     "registry": "https://registry.npmjs.org"
   },
   "dependencies": {
-    "@nudojs/core": "1.0.1"
+    "@nudojs/core": "2.0.1"
   },
   "scripts": {
     "build": "tsup src/es.ts src/web.ts src/node.ts --format esm --dts"