ts-data-forge 14.6.4 → 14.7.1

package/dist/others/unknown-to-string.mjs

@@ -1,94 +1,3 @@
-import { isDate, isError, isMap, isRegExp, isSet } from '@sindresorhus/is';
 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-export const unknownToString = (value, options) => {
-    switch (typeof value) {
-        case 'string':
-            return value;
-        case 'bigint':
-            return `${value.toString()}n`;
-        case 'number':
-        case 'boolean':
-        case 'symbol':
-        case 'function':
-            return value.toString();
-        case 'undefined':
-            return 'undefined';
-        case 'object': {
-            if (value === null) {
-                return 'null';
-            }
-            try {
-
-                if (isDate(value)) {
-                    return value.toISOString();
-                }
-
-                if (isRegExp(value)) {
-                    return value.toString();
-                }
-                if (isError(value)) {
-                    return value.message;
-                }
-                const prettyPrintObject = options?.prettyPrintObject === true;
-
-                if (isMap(value)) {
-                    const entries = Array.from(value);
-                    const entriesStr = prettyPrintObject
-                        ? JSON.stringify(entries, undefined, 2)
-                        : JSON.stringify(entries);
-                    return `Map(${entriesStr})`;
-                }
-
-                if (isSet(value)) {
-                    const values = Array.from(value);
-                    const valuesStr = prettyPrintObject
-                        ? JSON.stringify(values, undefined, 2)
-                        : JSON.stringify(values);
-                    return `Set(${valuesStr})`;
-                }
-                return prettyPrintObject
-                    ? JSON.stringify(value, undefined, 2)
-                    : JSON.stringify(value);
-            }
-            catch (error) {
-                return isError(error)
-                    ? error.message
-                    : '[Circular or Non-serializable]';
-            }
-        }
-    }
-};
+export { unknownToString } from 'ts-std-forge';
 //# sourceMappingURL=unknown-to-string.mjs.map

package/dist/others/unknown-to-string.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"unknown-to-string.mjs","sourceRoot":"","sources":["../../src/others/unknown-to-string.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAE3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAc,EACd,OAA2D,EACnD,EAAE;IACV,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QAEf,KAAK,QAAQ;YACX,OAAO,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC;QAEhC,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;QAE1B,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QAErB,KAAK,QAAQ,EAAE,CAAC;YACd,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO,MAAM,CAAC;YAChB,CAAC;YAED,IAAI,CAAC;gBACH,4BAA4B;gBAC5B,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClB,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC7B,CAAC;gBAED,8BAA8B;gBAC9B,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpB,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC1B,CAAC;gBAED,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACnB,OAAO,KAAK,CAAC,OAAO,CAAC;gBACvB,CAAC;gBAED,MAAM,iBAAiB,GAAG,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAC;gBAE9D,2BAA2B;gBAC3B,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAElC,MAAM,UAAU,GAAG,iBAAiB;wBAClC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;wBACvC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;oBAE5B,OAAO,OAAO,UAAU,GAAG,CAAC;gBAC9B,CAAC;gBAED,2BAA2B;gBAC3B,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;oBACjB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAEjC,MAAM,SAAS,GAAG,iBAAiB;wBACjC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;wBACtC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;oBAE3B,OAAO,OAAO,SAAS,GAAG,CAAC;gBAC7B,CAAC;gBAED,OAAO,iBAAiB;oBACtB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;oBACrC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,OAAO,CAAC,KAAK,CAAC;oBACnB,CAAC,CAAC,KAAK,CAAC,OAAO;oBACf,CAAC,CAAC,gCAAgC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"unknown-to-string.mjs","sourceRoot":"","sources":["../../src/others/unknown-to-string.mts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/dist/types.d.mts

@@ -22,45 +22,5 @@ export declare namespace SizeType {
     type ArgTypedArrayPositive = WithSmallInt<IntersectBrand<PositiveNumber, TypedArray>>;
     type ArgStrPositive = WithSmallInt<IntersectBrand<PositiveNumber, Str>>;
 }
-/**
- * Represents the 'Some' variant of an Optional, containing a value.
- *
- * @template S The type of the contained value.
- */
-export type Some<S> = Readonly<{
-    /** @internal Discriminant property for the 'Some' type. */
-    $$tag: 'ts-data-forge::Optional.some';
-    /** The contained value. */
-    value: S;
-}>;
-/**
- * Represents the 'None' variant of an Optional, indicating the absence
- * of a value.
- */
-export type None = Readonly<{
-    /** @internal Discriminant property for the 'None' type. */
-    $$tag: 'ts-data-forge::Optional.none';
-}>;
-/**
- * Represents a `Result` that is a success, containing a value.
- *
- * @template S The type of the success value.
- */
-export type Ok<S> = Readonly<{
-    /** @internal Discriminant property for the 'Ok' type. */
-    $$tag: 'ts-data-forge::Result.ok';
-    /** The success value. */
-    value: S;
-}>;
-/**
- * Represents a `Result` that is an error, containing an error value.
- *
- * @template E The type of the error value.
- */
-export type Err<E> = Readonly<{
-    /** @internal Discriminant property for the 'Err' type. */
-    $$tag: 'ts-data-forge::Result.err';
-    /** The error value. */
-    value: E;
-}>;
+export type { Err, None, Ok, Some } from 'ts-std-forge';
 //# sourceMappingURL=types.d.mts.map

package/dist/types.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.mts","sourceRoot":"","sources":["../src/types.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AAEvB,MAAM,MAAM,gBAAgB,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAEzD,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IAClD,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC;AAEvE,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IACrD,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;AAE1E,MAAM,MAAM,yBAAyB,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IACjE,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAC9B,YAAY,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,EAAE,CAAC,GAC5D,QAAQ,CAAC,kBAAkB,CAAC;AAOlC,yBAAiB,QAAQ,CAAC;IACxB,KAAY,GAAG,GAAG,MAAM,CAAC;IAEzB,KAAY,UAAU,GAAG,QAAQ,CAAC;IAElC,KAAY,GAAG,GAAG,QAAQ,CAAC;IAE3B,KAAY,eAAe,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IAEvC,KAAY,sBAAsB,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC;IAErD,KAAY,eAAe,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IAEvC,KAAY,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAEvC,KAAY,aAAa,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAErD,KAAY,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAEvC,KAAY,kBAAkB,GAAG,YAAY,CAC3C,mBAAmB,CAAC,aAAa,GAAG,GAAG,CAAC,CACzC,CAAC;IAEF,KAAY,yBAAyB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAE9D,KAAY,kBAAkB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAEvD,KAAY,cAAc,GAAG,YAAY,CACvC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,CACpC,CAAC;IAEF,KAAY,qBAAqB,GAAG,YAAY,CAC9C,cAAc,CAAC,cAAc,EAAE,UAAU,CAAC,CAC3C,CAAC;IAEF,KAAY,cAAc,GAAG,YAAY,CACvC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,CACpC,CAAC;CACH;AAGD;;;;GAIG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,2DAA2D;IAC3D,KAAK,EAAE,8BAA8B,CAAC;IAEtC,2BAA2B;IAC3B,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,2DAA2D;IAC3D,KAAK,EAAE,8BAA8B,CAAC;CACvC,CAAC,CAAC;AAMH;;;;GAIG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC3B,yDAAyD;IACzD,KAAK,EAAE,0BAA0B,CAAC;IAElC,yBAAyB;IACzB,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC5B,0DAA0D;IAC1D,KAAK,EAAE,2BAA2B,CAAC;IAEnC,uBAAuB;IACvB,KAAK,EAAE,CAAC,CAAC;CACV,CAAC,CAAC"}
+{"version":3,"file":"types.d.mts","sourceRoot":"","sources":["../src/types.mts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AAEvB,MAAM,MAAM,gBAAgB,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAEzD,iFAAiF;AACjF,MAAM,MAAM,aAAa,GAAG,SAAS,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IAClD,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC;AAEvE,MAAM,MAAM,aAAa,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IACrD,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;AAE1E,MAAM,MAAM,yBAAyB,CAAC,EAAE,SAAS,SAAS,OAAO,EAAE,IACjE,iBAAiB,CAAC,EAAE,CAAC,SAAS,IAAI,GAC9B,YAAY,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,EAAE,CAAC,GAC5D,QAAQ,CAAC,kBAAkB,CAAC;AAOlC,yBAAiB,QAAQ,CAAC;IACxB,KAAY,GAAG,GAAG,MAAM,CAAC;IAEzB,KAAY,UAAU,GAAG,QAAQ,CAAC;IAElC,KAAY,GAAG,GAAG,QAAQ,CAAC;IAE3B,KAAY,eAAe,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IAEvC,KAAY,sBAAsB,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC;IAErD,KAAY,eAAe,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IAEvC,KAAY,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAEvC,KAAY,aAAa,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAErD,KAAY,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAEvC,KAAY,kBAAkB,GAAG,YAAY,CAC3C,mBAAmB,CAAC,aAAa,GAAG,GAAG,CAAC,CACzC,CAAC;IAEF,KAAY,yBAAyB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAE9D,KAAY,kBAAkB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAEvD,KAAY,cAAc,GAAG,YAAY,CACvC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,CACpC,CAAC;IAEF,KAAY,qBAAqB,GAAG,YAAY,CAC9C,cAAc,CAAC,cAAc,EAAE,UAAU,CAAC,CAC3C,CAAC;IAEF,KAAY,cAAc,GAAG,YAAY,CACvC,cAAc,CAAC,cAAc,EAAE,GAAG,CAAC,CACpC,CAAC;CACH;AAKD,YAAY,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC"}

package/dist/types.mjs

@@ -1,3 +1,2 @@
 export {};
-
 //# sourceMappingURL=types.mjs.map

package/dist/types.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"types.mjs","sourceRoot":"","sources":["../src/types.mts"],"names":[],"mappings":";AAkIA,oBAAoB"}
+{"version":3,"file":"types.mjs","sourceRoot":"","sources":["../src/types.mts"],"names":[],"mappings":""}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-data-forge",
-  "version": "14.6.4",
+  "version": "14.7.1",
   "private": false,
   "keywords": [
     "typescript",
@@ -37,25 +37,25 @@
   ],
   "dependencies": {
     "@sindresorhus/is": "^8.1.0",
+    "ts-std-forge": "^0.5.1",
     "ts-type-forge": "~9.2.2"
   },
   "devDependencies": {
     "@emotion/react": "11.14.0",
     "@emotion/styled": "11.14.1",
     "@mui/material": "9.4.0",
-    "@types/react": "19.2.18",
-    "@vitest/browser-playwright": "4.1.11",
-    "dedent": "1.7.2",
-    "eslint-config-typed": "5.11.2",
-    "eslint-plugin-ts-fortress": "1.2.0",
-    "eslint-plugin-ts-type-forge": "0.8.1",
+    "@types/react": "19.3.0",
+    "@vitest/browser-playwright": "5.0.0",
+    "eslint-config-typed": "5.11.7",
+    "eslint-plugin-ts-fortress": "1.2.2",
+    "eslint-plugin-ts-type-forge": "0.8.3",
     "immer": "11.1.18",
     "playwright": "1.62.1",
     "prettier": "3.9.6",
     "prettier-plugin-organize-imports": "4.3.0",
     "prettier-plugin-packagejson": "3.0.2",
     "react": "19.2.8",
-    "ts-repo-utils": "10.6.1",
+    "ts-repo-utils": "10.6.2",
     "typedoc": "0.28.20",
     "typedoc-github-theme": "0.4.0",
     "vite": "8.2.2"
@@ -85,7 +85,7 @@
     "fmt:full": "pnpm run z:prettier .",
     "gen:branded-number": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ./scripts/gen-branded-number/generate.mts && pnpm run doc:embed:jsdoc && pnpm run z:prettier 'src/number/branded-types/*.mts' 'src/number/enum/*.mts'",
     "gi": "run-s gi:src fmt",
-    "gi:src": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json scripts/cmd/gen-index.mts",
+    "gi:src": "tsx --tsconfig ../../tools/configs/tsconfig.tsx.json ../../libs/ts-repo-utils/src/cmd/gen-index-ts.mts ./src --index-ext .mts --export-ext .mjs --target-ext .mts --exclude entry-point.mts --preserve 'array/index.mts' --preserve 'functional/index.mts'",
     "lint": "eslint .",
     "lint:fix": "eslint . --fix",
     "test": "pnpm run z:vitest:node run",

package/src/array/impl/array-utils-length-bounded-array-cast.mts

@@ -33,13 +33,21 @@ import {
  * const rgb = Arr.asFixedLengthArray(3, [255, 128, 0]);
  *
  * const atMost5: MaxLengthArray<5, number> = rgb; // OK (3 <= 5)
+ *
  * const red: number = rgb[0]; // OK — no `undefined`
  *
  * // curried version
  * const asRgb = Arr.asFixedLengthArray(3);
+ *
  * const green = asRgb([0, 255, 0]);
  *
- * // Arr.asFixedLengthArray(3, [255, 128]); // throws TypeError
+ * assert.deepStrictEqual(Array.from(atMost5), [255, 128, 0]);
+ *
+ * assert.strictEqual(red, 255);
+ *
+ * assert.deepStrictEqual(green, [0, 255, 0]);
+ *
+ * assert.throws(() => Arr.asFixedLengthArray(3, [255, 128]), TypeError);
  * ```
  *
  * @template Length - The exact number of elements.
@@ -110,13 +118,21 @@ const asFixedLengthArrayImpl = <E,>(
  * const history = Arr.asMinLengthArray(3, [0, 1, 2, 3]);
  *
  * const nonEmpty: MinLengthArray<1, number> = history; // OK (3 >= 1)
+ *
  * const first: number = history[0]; // OK — no `undefined`
  *
  * // curried version
  * const asHistory = Arr.asMinLengthArray(3);
+ *
  * const next = asHistory([4, 5, 6, 7]);
  *
- * // Arr.asMinLengthArray(3, [0]); // throws TypeError
+ * assert.deepStrictEqual(Array.from(nonEmpty), [0, 1, 2, 3]);
+ *
+ * assert.strictEqual(first, 0);
+ *
+ * assert.deepStrictEqual(next, [4, 5, 6, 7]);
+ *
+ * assert.throws(() => Arr.asMinLengthArray(3, [0]), TypeError);
  * ```
  *
  * @template MinLength - The minimum number of elements (inclusive).
@@ -188,9 +204,14 @@ const asMinLengthArrayImpl = <E,>(
  *
  * // curried version
  * const asTags = Arr.asMaxLengthArray(8);
+ *
  * const more = asTags(['d', 'e']);
  *
- * // Arr.asMaxLengthArray(2, ['a', 'b', 'c']); // throws TypeError
+ * assert.deepStrictEqual(Array.from(relaxed), ['a', 'b', 'c']);
+ *
+ * assert.deepStrictEqual(more, ['d', 'e']);
+ *
+ * assert.throws(() => Arr.asMaxLengthArray(2, ['a', 'b', 'c']), TypeError);
  * ```
  *
  * @template MaxLength - The maximum number of elements (inclusive).
@@ -264,9 +285,14 @@ const asMaxLengthArrayImpl = <E,>(
  *
  * // curried version
  * const asSelection = Arr.asBoundedLengthArray(1, 5);
+ *
  * const next = asSelection([4, 5]);
  *
- * // Arr.asBoundedLengthArray(1, 5, []); // throws TypeError
+ * assert.deepStrictEqual(Array.from(relaxed), [1, 2, 3]);
+ *
+ * assert.deepStrictEqual(next, [4, 5]);
+ *
+ * assert.throws(() => Arr.asBoundedLengthArray(1, 5, []), TypeError);
  * ```
  *
  * @template MinLength - The minimum number of elements (inclusive).
@@ -349,7 +375,9 @@ const asBoundedLengthArrayImpl = <E,>(
  *
  * const atMost5: MaxLengthArray<5, never> = nothing; // OK (0 <= 5)
  *
- * // Arr.asEmptyArray([1]); // throws TypeError
+ * assert.deepStrictEqual(Array.from(atMost5), []);
+ *
+ * assert.throws(() => Arr.asEmptyArray([1]), TypeError);
  * ```
  *
  * @template Xs - The input array type (tuple types are preserved).
@@ -387,7 +415,9 @@ export const asEmptyArray = <Xs extends readonly unknown[]>(
  *
  * const first: number = history[0]; // OK — no `undefined`
  *
- * // Arr.asNonEmptyArray([]); // throws TypeError
+ * assert.strictEqual(first, 0);
+ *
+ * assert.throws(() => Arr.asNonEmptyArray([]), TypeError);
  * ```
  *
  * @template Xs - The input array type (tuple types are preserved).

package/src/array/impl/array-utils-length-bounded-tuple-cast.mts

@@ -36,7 +36,11 @@ import {
  * // curried version
  * const asRgb = Arr.asFixedLengthTuple(3);
  *
- * // Arr.asFixedLengthTuple(3, [255, 128]); // throws TypeError
+ * assert.strictEqual(red, 255);
+ *
+ * assert.deepStrictEqual(asRgb([0, 255, 0]), [0, 255, 0]);
+ *
+ * assert.throws(() => Arr.asFixedLengthTuple(3, [255, 128]), TypeError);
  * ```
  *
  * @template Length - The exact number of elements.
@@ -104,7 +108,11 @@ const asFixedLengthTupleImpl = (
  * // curried version
  * const asHistory = Arr.asMinLengthTuple(3);
  *
- * // Arr.asMinLengthTuple(3, [0, 1]); // throws TypeError
+ * assert.strictEqual(first, 0);
+ *
+ * assert.deepStrictEqual(asHistory([4, 5, 6]), [4, 5, 6]);
+ *
+ * assert.throws(() => Arr.asMinLengthTuple(3, [0, 1]), TypeError);
  * ```
  *
  * @template MinLength - The minimum number of elements (inclusive).
@@ -170,7 +178,11 @@ const asMinLengthTupleImpl = (
  * // curried version
  * const asTags = Arr.asMaxLengthTuple(8);
  *
- * // Arr.asMaxLengthTuple(2, ['a', 'b', 'c']); // throws TypeError
+ * assert.deepStrictEqual(tags, ['a', 'b', 'c']);
+ *
+ * assert.deepStrictEqual(asTags(['d', 'e']), ['d', 'e']);
+ *
+ * assert.throws(() => Arr.asMaxLengthTuple(2, ['a', 'b', 'c']), TypeError);
  * ```
  *
  * @template MaxLength - The maximum number of elements (inclusive).
@@ -236,7 +248,11 @@ const asMaxLengthTupleImpl = (
  * // curried version
  * const asSelection = Arr.asBoundedLengthTuple(1, 5);
  *
- * // Arr.asBoundedLengthTuple(1, 2, [1, 2, 3]); // throws TypeError
+ * assert.deepStrictEqual(selection, [1, 2, 3]);
+ *
+ * assert.deepStrictEqual(asSelection([4, 5]), [4, 5]);
+ *
+ * assert.throws(() => Arr.asBoundedLengthTuple(1, 2, [1, 2, 3]), TypeError);
  * ```
  *
  * @template Min - The minimum number of elements (inclusive).
@@ -311,7 +327,9 @@ const asBoundedLengthTupleImpl = (
  * ```ts
  * const nothing = Arr.asEmptyTuple([]);
  *
- * // Arr.asEmptyTuple([1]); // throws TypeError
+ * assert.deepStrictEqual(nothing, []);
+ *
+ * assert.throws(() => Arr.asEmptyTuple([1]), TypeError);
  * ```
  *
  * @template Xs - The input array type (tuple types are preserved).
@@ -345,7 +363,9 @@ export const asEmptyTuple = <Xs extends readonly unknown[]>(
  *
  * const first: number = values[0]; // OK — no `undefined`
  *
- * // Arr.asNonEmptyTuple([]); // throws TypeError
+ * assert.strictEqual(first, 1);
+ *
+ * assert.throws(() => Arr.asNonEmptyTuple([]), TypeError);
  * ```
  *
  * @template Xs - The input array type (tuple types are preserved).

package/src/expect-type.mts

@@ -1,78 +1,2 @@
-import { type TypeEq, type TypeExtends } from 'ts-type-forge';
-
-/**
- * Compile-time type assertion utility for TypeScript type testing.
- *
- * This function performs static type relationship checking at compile-time and
- * has no runtime effect. It is primarily used in test files to verify that
- * TypeScript's type inference and type relationships work as expected. The
- * function will cause TypeScript compilation errors if the specified type
- * relationship does not hold.
- *
- * ## Supported Type Relations
- *
- * ### Equality Relations
- *
- * - **`"="` (strict equality)**: Asserts that types `A` and `B` are exactly the
- *   same type. Uses TypeScript's internal type equality checking.
- * - **`"!="` (strict inequality)**: Asserts that types `A` and `B` are not
- *   exactly the same type.
- *
- * ### Assignability Relations
- *
- * - **`"~="` (mutual assignability)**: Asserts that `A` extends `B` AND `B`
- *   extends `A`. Types are structurally equivalent and mutually assignable.
- * - **`"<="` (subtype relation)**: Asserts that type `A` extends (is assignable
- *   to) type `B`. Type `A` is a subtype of `B`.
- * - **`">="` (supertype relation)**: Asserts that type `B` extends (is assignable
- *   to) type `A`. Type `A` is a supertype of `B`.
- *
- * ### Negative Assignability Relations
- *
- * - **`"!<="` (not subtype)**: Asserts that type `A` does NOT extend type `B`.
- * - **`"!>="` (not supertype)**: Asserts that type `B` does NOT extend type `A`.
- *
- * ## Type Parameter Constraints
- *
- * @since 1.0.0
- * @template A - The first type for comparison. Can be any TypeScript type
- *   including:
- *
- *   - Primitive types (string, number, boolean, etc.)
- *   - Object types and interfaces
- *   - Union and intersection types
- *   - Generic types and type parameters
- *   - Literal types and branded types
- *   - Function types and return types
- *
- * @template B - The second type for comparison. Same constraints as type `A`.
- * @param _relation - A string literal representing the expected type
- *   relationship. TypeScript's type system automatically infers and restricts
- *   the available operators based on the actual relationship between types `A`
- *   and `B`. If an invalid relationship is specified, TypeScript will show a
- *   compilation error.
- *
- *   Combine `expectType` with runtime assertions for comprehensive testing:
- *
- *   ## Important Notes
- *
- *   - **Compile-time only**: This function has no runtime behavior and will be
- *       optimized away.
- *   - **Type inference**: The available relation operators are automatically
- *       inferred by TypeScript based on the actual type relationship between
- *       `A` and `B`.
- *   - **Error feedback**: Invalid type relationships will cause clear TypeScript
- *       compilation errors.
- *   - **Test organization**: Typically used in `.test.mts` files alongside runtime
- *       assertions.
- *   - **Performance**: Has zero runtime overhead as it's purely a compile-time
- *       construct.
- */
-export const expectType = <A, B>(
-  _relation: TypeEq<A, B> extends true
-    ? '<=' | '=' | '>=' | '~='
-    : | '!='
-      | (TypeExtends<A, B> extends true
-          ? '<=' | (TypeExtends<B, A> extends true ? '>=' | '~=' : '!>=')
-          : '!<=' | (TypeExtends<B, A> extends true ? '>=' : '!>=')),
-): void => undefined;
+/** Implemented in ts-std-forge since Sumi D-49; re-exported here. */
+export { expectType } from 'ts-std-forge';

package/src/functional/index.mts

@@ -1,6 +1,31 @@
-export * from './async-result/index.mjs';
-export * from './match.mjs';
-export * from './optional/index.mjs';
-export * from './pipe.mjs';
-export * from './result/index.mjs';
-export * from './ternary-result/index.mjs';
+/**
+ * The algebraic data type core. The implementation lives in ts-std-forge
+ * since Sumi D-49 reversed the dependency between the two packages; what
+ * remains here is the re-export that keeps `import { Result } from
+ * 'ts-data-forge'` working. Both names denote the same declarations, so a
+ * value built through either package is the same type to both.
+ *
+ * New code should import these from `ts-std-forge` directly.
+ */
+export {
+  AsyncResult,
+  Optional,
+  Result,
+  TernaryResult,
+  match,
+  pipe,
+} from 'ts-std-forge';
+
+export type {
+  Err,
+  None,
+  Ok,
+  Pipe,
+  Some,
+  TernaryErr,
+  TernaryOk,
+  TernaryWarn,
+  UnknownOptional,
+  UnknownResult,
+  UnknownTernaryResult,
+} from 'ts-std-forge';

package/src/guard/has-key.mts

@@ -1,72 +1,2 @@
-import { type ReadonlyRecord, type UnknownRecord } from 'ts-type-forge';
-
-/**
- * Type guard function that checks if an object has a specific key as its own
- * property.
- *
- * This function uses `Object.hasOwn()` to check if the given object has the
- * specified key as its own property (not inherited). It acts as a type guard
- * that narrows the type of the object to guarantee the key exists, enabling
- * type-safe property access.
- *
- * **Type Narrowing Behavior:**
- *
- * - When the guard returns `true`, TypeScript narrows the object type to include
- *   the checked key
- * - For union types, only union members that contain the key are preserved
- * - The key's value type is preserved from the original object type when possible
- *
- * @example
- *
- * ```ts
- * const maybeUser: Readonly<{ id?: number; name?: string }> = {
- *   id: 42,
- * } as const;
- *
- * if (hasKey(maybeUser, 'id')) {
- *   // `maybeUser` is now known to have an `id` property.
- *   assert.isTrue(maybeUser.id === 42);
- * } else {
- *   assert.fail();
- * }
- * ```
- *
- * @template R - The type of the input object, must extend UnknownRecord
- * @template K - The type of the key to check for, must extend PropertyKey
- *   (string | number | symbol)
- * @param obj - The object to check for the presence of the key
- * @param key - The key to check for in the object
- * @returns `true` if the object has the specified key as its own property,
- *   `false` otherwise. When `true`, TypeScript narrows the object type to
- *   guarantee the key exists.
- * @see {@link keyIsIn} - Similar function that narrows the key type instead of the object type
- */
-export const hasKey = <
-  const R extends UnknownRecord,
-  const K extends PropertyKey,
->(
-  obj: R,
-  key: K,
-): obj is HasKeyReturnType<R, K> => Object.hasOwn(obj, key);
-
-/**
- * @internal
- * When R is a union type (including the case with only one element), if any element in the union
- * contains K as a key, returns a type that narrows the union to only those elements that contain K as a key.
- * If none of the elements in the union contain K as a key, returns `ReadonlyRecord<K, unknown>`.
- * The result is made readonly.
- */
-export type HasKeyReturnType<
-  R extends UnknownRecord,
-  K extends PropertyKey,
-> = R extends R // union distribution
-  ? K extends keyof R
-    ? string extends keyof R
-      ? ReadonlyRecord<K, R[keyof R]> & R
-      : number extends keyof R
-        ? ReadonlyRecord<K, R[keyof R]> & R
-        : symbol extends keyof R
-          ? ReadonlyRecord<K, R[keyof R]> & R
-          : R
-    : never // omit union member that does not have key K
-  : never; // dummy case for union distribution
+/** Implemented in ts-std-forge since Sumi D-49; re-exported here. */
+export { hasKey, type HasKeyReturnType } from 'ts-std-forge';

package/src/guard/is-non-null-object.mts

@@ -1,36 +1,2 @@
-/**
- * Type guard that checks if a value is a non-null object.
- *
- * This function checks if a value has type `"object"` according to the `typeof`
- * operator and is not `null`. This includes all object types such as plain
- * objects, arrays, dates, regular expressions, and other object instances, but
- * excludes functions.
- *
- * **Type Narrowing Behavior:**
- *
- * - Narrows `unknown` to `object`
- * - Excludes `null`, `undefined`, and all primitive types
- * - Excludes functions (they have `typeof` === `"function"`, not `"object"`)
- * - Includes arrays, dates, regex, and other object instances
- *
- * **Note:** This function returns `true` for arrays. If you need
- * record-oriented narrowing that excludes arrays, use `isRecord()` instead.
- *
- * @example
- *
- * ```ts
- * const mixed: readonly unknown[] = [{ id: 1 }, null, 'Ada'] as const;
- *
- * const objects = mixed.filter(isNonNullObject);
- *
- * assert.deepStrictEqual(objects, [{ id: 1 }]);
- * ```
- *
- * @param u - The value to check
- * @returns `true` if `u` is an object and not `null`, `false` otherwise. When
- *   `true`, TypeScript narrows the type to `object`.
- * @see {@link isRecord} - For record-oriented type narrowing (excludes arrays)
- */
-// eslint-disable-next-line @typescript-eslint/no-restricted-types
-export const isNonNullObject = (u: unknown): u is object =>
-  typeof u === 'object' && u !== null;
+/** Implemented in ts-std-forge since Sumi D-49; re-exported here. */
+export { isNonNullObject } from 'ts-std-forge';