ts-fortress 12.1.0 → 12.1.2

package/README.md

@@ -162,9 +162,9 @@ assert.deepStrictEqual(
         result.value satisfies readonly t.ValidationError[],
     ),
     [
-        `Error at age: missing required key "age".`,
-        `Error at preferences.notifications: missing required key "notifications".`,
-        `Error at tags: missing required key "tags".`,
+        'Error at age: missing required key "age".',
+        'Error at preferences.notifications: missing required key "notifications".',
+        'Error at tags: missing required key "tags".',
     ],
 );
 ```
@@ -509,7 +509,7 @@ try {
     assert.deepStrictEqual(
         error,
         new Error(
-            `\nError: expected <number> type but <string> type value "not a number" was passed.`,
+            '\nError: expected <number> type but <string> type value "not a number" was passed.',
         ),
     );
 }

package/dist/array/array.mjs

@@ -1,51 +1,46 @@
-import { memoizeFunction, Arr, Result } from 'ts-data-forge';
-import { createAssertFn } from '../utils/create-assert-fn.mjs';
-import { createCastFn } from '../utils/create-cast-fn.mjs';
-import { createIsFn } from '../utils/create-is-fn.mjs';
-import { createPrimitiveValidationError, prependIndexToValidationErrors } from '../utils/validation-error.mjs';
-
-const array = (elementType, options) => {
-  const typeName = options?.typeName ?? `${elementType.typeName}[]`;
-  const getDefaultValue = memoizeFunction(() => options?.defaultValue ?? []);
-  const validate = (a) => {
-    if (!Arr.isArray(a)) {
-      return Result.err([
-        createPrimitiveValidationError({
-          actualValue: a,
-          expectedType: "array",
-          typeName,
-          details: void 0
-        })
-      ]);
-    }
-    const errors = Arr.generate(function* () {
-      for (const [index, el] of a.entries()) {
-        const res = elementType.validate(el);
-        if (Result.isErr(res)) {
-          yield* prependIndexToValidationErrors(res.value, index);
+import { Arr, memoizeFunction, Result } from 'ts-data-forge';
+import { createAssertFn, createCastFn, createIsFn, createPrimitiveValidationError, prependIndexToValidationErrors, } from '../utils/index.mjs';
+export const array = (elementType, options) => {
+    const typeName = options?.typeName ?? `${elementType.typeName}[]`;
+    const getDefaultValue = memoizeFunction(() => options?.defaultValue ?? []);
+    const validate = (a) => {
+        if (!Arr.isArray(a)) {
+            return Result.err([
+                createPrimitiveValidationError({
+                    actualValue: a,
+                    expectedType: 'array',
+                    typeName,
+                    details: undefined,
+                }),
+            ]);
+        }
+        const errors = Arr.generate(function* () {
+            for (const [index, el] of a.entries()) {
+                const res = elementType.validate(el);
+                if (Result.isErr(res)) {
+                    yield* prependIndexToValidationErrors(res.value, index);
+                }
+            }
+        });
+        if (Arr.isNonEmpty(errors)) {
+            return Result.err(errors);
         }
-      }
-    });
-    if (Arr.isNonEmpty(errors)) {
-      return Result.err(errors);
-    }
-    return Result.ok(a);
-  };
-  const fill = (a) => !Arr.isArray(a) ? getDefaultValue() : a.map((e) => elementType.fill(e));
-  const prune = (a) => a.map((e) => elementType.prune(e));
-  return {
-    typeName,
-    get defaultValue() {
-      return getDefaultValue();
-    },
-    fill,
-    prune,
-    validate,
-    is: createIsFn(validate),
-    assertIs: createAssertFn(validate),
-    cast: createCastFn(validate)
-  };
-};
 
-export { array };
-//# sourceMappingURL=array.mjs.map
+        return Result.ok(a);
+    };
+    const fill = (a) => !Arr.isArray(a) ? getDefaultValue() : a.map((e) => elementType.fill(e));
+    const prune = (a) => a.map((e) => elementType.prune(e));
+    return {
+        typeName,
+        get defaultValue() {
+            return getDefaultValue();
+        },
+        fill,
+        prune,
+        validate,
+        is: createIsFn(validate),
+        assertIs: createAssertFn(validate),
+        cast: createCastFn(validate),
+    };
+};
+//# sourceMappingURL=array.mjs.map

package/dist/array/array.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"array.mjs","sources":["../../src/array/array.mts"],"sourcesContent":["import { Arr, memoizeFunction, Result } from 'ts-data-forge';\nimport { type Type } from '../type.mjs';\nimport {\n  createAssertFn,\n  createCastFn,\n  createIsFn,\n  createPrimitiveValidationError,\n  prependIndexToValidationErrors,\n  type ValidationError,\n} from '../utils/index.mjs';\n\nexport const array = <A,>(\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: readonly A[];\n    }>\n  >,\n): Type<readonly A[]> => {\n  type T = readonly A[];\n\n  const typeName = options?.typeName ?? `${elementType.typeName}[]`;\n\n  const getDefaultValue = memoizeFunction((): T => options?.defaultValue ?? []);\n\n  const validate: Type<T>['validate'] = (a) => {\n    if (!Arr.isArray(a)) {\n      return Result.err([\n        createPrimitiveValidationError({\n          actualValue: a,\n          expectedType: 'array',\n          typeName,\n          details: undefined,\n        }),\n      ]);\n    }\n\n    const errors: readonly ValidationError[] = Arr.generate(function* () {\n      for (const [index, el] of a.entries()) {\n        const res = elementType.validate(el);\n\n        if (Result.isErr(res)) {\n          yield* prependIndexToValidationErrors(res.value, index);\n        }\n      }\n    });\n\n    if (Arr.isNonEmpty(errors)) {\n      return Result.err(errors);\n    }\n\n    // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n    return Result.ok(a as T);\n  };\n\n  const fill: Type<T>['fill'] = (a) =>\n    !Arr.isArray(a) ? getDefaultValue() : a.map((e) => elementType.fill(e));\n\n  const prune = (a: T): T => a.map((e) => elementType.prune(e));\n\n  return {\n    typeName,\n    get defaultValue() {\n      return getDefaultValue();\n    },\n    fill,\n    prune,\n    validate,\n    is: createIsFn(validate),\n    assertIs: createAssertFn(validate),\n    cast: createCastFn(validate),\n  };\n};\n"],"names":[],"mappings":";;;;;;AAWO,MAAM,KAAA,GAAQ,CACnB,WAAA,EACA,OAAA,KAMuB;AAGvB,EAAA,MAAM,QAAA,GAAW,OAAA,EAAS,QAAA,IAAY,CAAA,EAAG,YAAY,QAAQ,CAAA,EAAA,CAAA;AAE7D,EAAA,MAAM,kBAAkB,eAAA,CAAgB,MAAS,OAAA,EAAS,YAAA,IAAgB,EAAE,CAAA;AAE5E,EAAA,MAAM,QAAA,GAAgC,CAAC,CAAA,KAAM;AAC3C,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,CAAC,CAAA,EAAG;AACnB,MAAA,OAAO,OAAO,GAAA,CAAI;AAAA,QAChB,8BAAA,CAA+B;AAAA,UAC7B,WAAA,EAAa,CAAA;AAAA,UACb,YAAA,EAAc,OAAA;AAAA,UACd,QAAA;AAAA,UACA,OAAA,EAAS;AAAA,SACV;AAAA,OACF,CAAA;AAAA,IACH;AAEA,IAAA,MAAM,MAAA,GAAqC,GAAA,CAAI,QAAA,CAAS,aAAa;AACnE,MAAA,KAAA,MAAW,CAAC,KAAA,EAAO,EAAE,CAAA,IAAK,CAAA,CAAE,SAAQ,EAAG;AACrC,QAAA,MAAM,GAAA,GAAM,WAAA,CAAY,QAAA,CAAS,EAAE,CAAA;AAEnC,QAAA,IAAI,MAAA,CAAO,KAAA,CAAM,GAAG,CAAA,EAAG;AACrB,UAAA,OAAO,8BAAA,CAA+B,GAAA,CAAI,KAAA,EAAO,KAAK,CAAA;AAAA,QACxD;AAAA,MACF;AAAA,IACF,CAAC,CAAA;AAED,IAAA,IAAI,GAAA,CAAI,UAAA,CAAW,MAAM,CAAA,EAAG;AAC1B,MAAA,OAAO,MAAA,CAAO,IAAI,MAAM,CAAA;AAAA,IAC1B;AAGA,IAAA,OAAO,MAAA,CAAO,GAAG,CAAM,CAAA;AAAA,EACzB,CAAA;AAEA,EAAA,MAAM,OAAwB,CAAC,CAAA,KAC7B,CAAC,GAAA,CAAI,QAAQ,CAAC,CAAA,GAAI,eAAA,EAAgB,GAAI,EAAE,GAAA,CAAI,CAAC,MAAM,WAAA,CAAY,IAAA,CAAK,CAAC,CAAC,CAAA;AAExE,EAAA,MAAM,KAAA,GAAQ,CAAC,CAAA,KAAY,CAAA,CAAE,GAAA,CAAI,CAAC,CAAA,KAAM,WAAA,CAAY,KAAA,CAAM,CAAC,CAAC,CAAA;AAE5D,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAI,YAAA,GAAe;AACjB,MAAA,OAAO,eAAA,EAAgB;AAAA,IACzB,CAAA;AAAA,IACA,IAAA;AAAA,IACA,KAAA;AAAA,IACA,QAAA;AAAA,IACA,EAAA,EAAI,WAAW,QAAQ,CAAA;AAAA,IACvB,QAAA,EAAU,eAAe,QAAQ,CAAA;AAAA,IACjC,IAAA,EAAM,aAAa,QAAQ;AAAA,GAC7B;AACF;;"}
+{"version":3,"file":"array.mjs","sourceRoot":"","sources":["../../src/array/array.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,EACL,cAAc,EACd,YAAY,EACZ,UAAU,EACV,8BAA8B,EAC9B,8BAA8B,GAE/B,MAAM,oBAAoB,CAAC;AAE5B,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,WAAoB,EACpB,OAKC,EACmB,EAAE;IAGtB,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,GAAG,WAAW,CAAC,QAAQ,IAAI,CAAC;IAElE,MAAM,eAAe,GAAG,eAAe,CAAC,GAAM,EAAE,CAAC,OAAO,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC;IAE9E,MAAM,QAAQ,GAAwB,CAAC,CAAC,EAAE,EAAE;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,GAAG,CAAC;gBAChB,8BAA8B,CAAC;oBAC7B,WAAW,EAAE,CAAC;oBACd,YAAY,EAAE,OAAO;oBACrB,QAAQ;oBACR,OAAO,EAAE,SAAS;iBACnB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAErC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,KAAK,CAAC,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;QAED,oEAAoE;QACpE,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC,CAAC;IAC3B,CAAC,CAAC;IAEF,MAAM,IAAI,GAAoB,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1E,MAAM,KAAK,GAAG,CAAC,CAAI,EAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9D,OAAO;QACL,QAAQ;QACR,IAAI,YAAY;YACd,OAAO,eAAe,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;QACxB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;QAClC,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC7B,CAAC;AACJ,CAAC,CAAC"}

package/dist/array/bounded-length-array.mjs

@@ -1,54 +1,51 @@
-import { memoizeFunction, Arr, asUint32, Result } from 'ts-data-forge';
-import { createPrimitiveValidationError } from '../utils/validation-error.mjs';
+import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';
+import { createPrimitiveValidationError, } from '../utils/index.mjs';
 import { buildType, validateElements } from './build-type.mjs';
+export function boundedLengthArray(min, max, elementType, options) {
+    const typeName = options?.typeName ??
+        `BoundedLengthArray<${min}, ${max}, ${elementType.typeName}>`;
+    const getDefaultValue = memoizeFunction(() => options?.defaultValue ??
 
-function boundedLengthArray(min, max, elementType, options) {
-  const typeName = options?.typeName ?? `BoundedLengthArray<${min}, ${max}, ${elementType.typeName}>`;
-  const getDefaultValue = memoizeFunction(
-    () => options?.defaultValue ?? // An array of the minimum length is the shortest value within the range.
-    Arr.create(asUint32(min), elementType.defaultValue)
-  );
-  const validate = (a) => {
-    if (!Arr.isArray(a)) {
-      return Result.err([
-        createPrimitiveValidationError({
-          actualValue: a,
-          expectedType: "array",
-          typeName,
-          details: void 0
-        })
-      ]);
-    }
-    if (a.length < min || max < a.length) {
-      return Result.err([
-        {
-          path: [],
-          actualValue: a,
-          expectedType: typeName,
-          typeName,
-          details: {
-            kind: "array-range-length",
-            minLength: min,
-            maxLength: max,
-            actualLength: a.length
-          }
+        Arr.create(asUint32(min), elementType.defaultValue));
+    const validate = (a) => {
+        if (!Arr.isArray(a)) {
+            return Result.err([
+                createPrimitiveValidationError({
+                    actualValue: a,
+                    expectedType: 'array',
+                    typeName,
+                    details: undefined,
+                }),
+            ]);
+        }
+        if (a.length < min || max < a.length) {
+            return Result.err([
+                {
+                    path: [],
+                    actualValue: a,
+                    expectedType: typeName,
+                    typeName,
+                    details: {
+                        kind: 'array-range-length',
+                        minLength: min,
+                        maxLength: max,
+                        actualLength: a.length,
+                    },
+                },
+            ]);
+        }
+        return validateElements(a, elementType);
+    };
+    const fill = (a) => {
+        if (!Arr.isArray(a)) {
+            return getDefaultValue();
         }
-      ]);
-    }
-    return validateElements(a, elementType);
-  };
-  const fill = (a) => {
-    if (!Arr.isArray(a)) {
-      return getDefaultValue();
-    }
-    const capped = Arr.take(a, asUint32(max));
-    return capped.length >= min ? Arr.map(capped, (el) => elementType.fill(el)) : Arr.map(
-      Arr.seq(asUint32(min)),
-      (i) => elementType.fill(capped[i])
-    );
-  };
-  return buildType({ typeName, getDefaultValue, validate, fill, elementType });
-}
 
-export { boundedLengthArray };
-//# sourceMappingURL=bounded-length-array.mjs.map
+        const capped = Arr.take(a, asUint32(max));
+        return capped.length >= min
+            ? Arr.map(capped, (el) => elementType.fill(el))
+            : Arr.map(Arr.seq(asUint32(min)), (i) => elementType.fill(capped[i]));
+    };
+    return buildType({ typeName, getDefaultValue, validate, fill, elementType });
+}
+//# sourceMappingURL=bounded-length-array.mjs.map

package/dist/array/bounded-length-array.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"bounded-length-array.mjs","sources":["../../src/array/bounded-length-array.mts"],"sourcesContent":["import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';\nimport {\n  type BoundedLengthArray,\n  type MaxLengthArray,\n  type MinLengthArray,\n  type SupportedLength,\n} from 'ts-type-forge';\nimport { type Type } from '../type.mjs';\nimport {\n  createPrimitiveValidationError,\n  type ValidationError,\n} from '../utils/index.mjs';\nimport { buildType, validateElements } from './build-type.mjs';\n\nexport type { BoundedLengthArray } from 'ts-type-forge';\n\n/**\n * Creates a `Type` for a readonly array whose length is within the inclusive\n * range `[min, max]`, typed as the branded {@link BoundedLengthArray} instead\n * of the union of tuple types produced by `boundedLengthTuple`.\n *\n * Because the length constraint lives only in the brand, no union of tuples\n * of the element type is ever constructed, which keeps type-checking cheap\n * even when `A` is a large type.\n */\nexport function boundedLengthArray<\n  Min extends SupportedLength,\n  Max extends SupportedLength,\n  A,\n>(\n  min: Min,\n  max: Max,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: BoundedLengthArray<Min, Max, A>;\n    }>\n  >,\n): Type<BoundedLengthArray<Min, Max, A>>;\n\n// Only the lower bound is in `SupportedLength`, so the upper bound is dropped from\n// the result type and only the \"at least `min`\" guarantee is kept.\nexport function boundedLengthArray<Min extends SupportedLength, A>(\n  min: Min,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: MinLengthArray<Min, A>;\n    }>\n  >,\n): Type<MinLengthArray<Min, A>>;\n\n// Only the upper bound is in `SupportedLength`, so the lower bound is dropped from\n// the result type and only the \"at most `max`\" guarantee is kept.\nexport function boundedLengthArray<Max extends SupportedLength, A>(\n  min: number,\n  max: Max,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: MaxLengthArray<Max, A>;\n    }>\n  >,\n): Type<MaxLengthArray<Max, A>>;\n\n// Neither bound is in `SupportedLength`, so the result length is left unconstrained.\nexport function boundedLengthArray<A>(\n  min: number,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: readonly A[];\n    }>\n  >,\n): Type<readonly A[]>;\n\nexport function boundedLengthArray<A>(\n  min: number,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: readonly A[];\n    }>\n  >,\n): Type<readonly A[]> {\n  type T = readonly A[];\n\n  const typeName =\n    options?.typeName ??\n    `BoundedLengthArray<${min}, ${max}, ${elementType.typeName}>`;\n\n  const getDefaultValue = memoizeFunction(\n    (): T =>\n      options?.defaultValue ??\n      // An array of the minimum length is the shortest value within the range.\n      Arr.create(asUint32(min), elementType.defaultValue),\n  );\n\n  const validate: Type<T>['validate'] = (a) => {\n    if (!Arr.isArray(a)) {\n      return Result.err([\n        createPrimitiveValidationError({\n          actualValue: a,\n          expectedType: 'array',\n          typeName,\n          details: undefined,\n        }),\n      ]);\n    }\n\n    if (a.length < min || max < a.length) {\n      return Result.err([\n        {\n          path: [],\n          actualValue: a,\n          expectedType: typeName,\n          typeName,\n          details: {\n            kind: 'array-range-length',\n            minLength: min,\n            maxLength: max,\n            actualLength: a.length,\n          },\n        } satisfies ValidationError,\n      ]);\n    }\n\n    return validateElements(a, elementType);\n  };\n\n  const fill: Type<T>['fill'] = (a) => {\n    if (!Arr.isArray(a)) {\n      return getDefaultValue();\n    }\n\n    // Trim down to at most `max`, then pad up to at least `min`.\n    const capped = Arr.take(a, asUint32(max));\n\n    return capped.length >= min\n      ? Arr.map(capped, (el) => elementType.fill(el) satisfies A)\n      : Arr.map(\n          Arr.seq(asUint32(min)),\n          (i) => elementType.fill(capped[i]) satisfies A,\n        );\n  };\n\n  return buildType({ typeName, getDefaultValue, validate, fill, elementType });\n}\n"],"names":[],"mappings":";;;;AAkFO,SAAS,kBAAA,CACd,GAAA,EACA,GAAA,EACA,WAAA,EACA,OAAA,EAMoB;AAGpB,EAAA,MAAM,QAAA,GACJ,SAAS,QAAA,IACT,CAAA,mBAAA,EAAsB,GAAG,CAAA,EAAA,EAAK,GAAG,CAAA,EAAA,EAAK,WAAA,CAAY,QAAQ,CAAA,CAAA,CAAA;AAE5D,EAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,IACtB,MACE,OAAA,EAAS,YAAA;AAAA,IAET,IAAI,MAAA,CAAO,QAAA,CAAS,GAAG,CAAA,EAAG,YAAY,YAAY;AAAA,GACtD;AAEA,EAAA,MAAM,QAAA,GAAgC,CAAC,CAAA,KAAM;AAC3C,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,CAAC,CAAA,EAAG;AACnB,MAAA,OAAO,OAAO,GAAA,CAAI;AAAA,QAChB,8BAAA,CAA+B;AAAA,UAC7B,WAAA,EAAa,CAAA;AAAA,UACb,YAAA,EAAc,OAAA;AAAA,UACd,QAAA;AAAA,UACA,OAAA,EAAS;AAAA,SACV;AAAA,OACF,CAAA;AAAA,IACH;AAEA,IAAA,IAAI,CAAA,CAAE,MAAA,GAAS,GAAA,IAAO,GAAA,GAAM,EAAE,MAAA,EAAQ;AACpC,MAAA,OAAO,OAAO,GAAA,CAAI;AAAA,QAChB;AAAA,UACE,MAAM,EAAC;AAAA,UACP,WAAA,EAAa,CAAA;AAAA,UACb,YAAA,EAAc,QAAA;AAAA,UACd,QAAA;AAAA,UACA,OAAA,EAAS;AAAA,YACP,IAAA,EAAM,oBAAA;AAAA,YACN,SAAA,EAAW,GAAA;AAAA,YACX,SAAA,EAAW,GAAA;AAAA,YACX,cAAc,CAAA,CAAE;AAAA;AAClB;AACF,OACD,CAAA;AAAA,IACH;AAEA,IAAA,OAAO,gBAAA,CAAiB,GAAG,WAAW,CAAA;AAAA,EACxC,CAAA;AAEA,EAAA,MAAM,IAAA,GAAwB,CAAC,CAAA,KAAM;AACnC,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,CAAC,CAAA,EAAG;AACnB,MAAA,OAAO,eAAA,EAAgB;AAAA,IACzB;AAGA,IAAA,MAAM,SAAS,GAAA,CAAI,IAAA,CAAK,CAAA,EAAG,QAAA,CAAS,GAAG,CAAC,CAAA;AAExC,IAAA,OAAO,MAAA,CAAO,MAAA,IAAU,GAAA,GACpB,GAAA,CAAI,GAAA,CAAI,MAAA,EAAQ,CAAC,EAAA,KAAO,WAAA,CAAY,IAAA,CAAK,EAAE,CAAa,IACxD,GAAA,CAAI,GAAA;AAAA,MACF,GAAA,CAAI,GAAA,CAAI,QAAA,CAAS,GAAG,CAAC,CAAA;AAAA,MACrB,CAAC,CAAA,KAAM,WAAA,CAAY,IAAA,CAAK,MAAA,CAAO,CAAC,CAAC;AAAA,KACnC;AAAA,EACN,CAAA;AAEA,EAAA,OAAO,UAAU,EAAE,QAAA,EAAU,iBAAiB,QAAA,EAAU,IAAA,EAAM,aAAa,CAAA;AAC7E;;"}
+{"version":3,"file":"bounded-length-array.mjs","sourceRoot":"","sources":["../../src/array/bounded-length-array.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAQvE,OAAO,EACL,8BAA8B,GAE/B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAsE/D,MAAM,UAAU,kBAAkB,CAChC,GAAW,EACX,GAAW,EACX,WAAoB,EACpB,OAKC;IAID,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ;QACjB,sBAAsB,GAAG,KAAK,GAAG,KAAK,WAAW,CAAC,QAAQ,GAAG,CAAC;IAEhE,MAAM,eAAe,GAAG,eAAe,CACrC,GAAM,EAAE,CACN,OAAO,EAAE,YAAY;QACrB,yEAAyE;QACzE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CACtD,CAAC;IAEF,MAAM,QAAQ,GAAwB,CAAC,CAAC,EAAE,EAAE;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,GAAG,CAAC;gBAChB,8BAA8B,CAAC;oBAC7B,WAAW,EAAE,CAAC;oBACd,YAAY,EAAE,OAAO;oBACrB,QAAQ;oBACR,OAAO,EAAE,SAAS;iBACnB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACrC,OAAO,MAAM,CAAC,GAAG,CAAC;gBAChB;oBACE,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,CAAC;oBACd,YAAY,EAAE,QAAQ;oBACtB,QAAQ;oBACR,OAAO,EAAE;wBACP,IAAI,EAAE,oBAAoB;wBAC1B,SAAS,EAAE,GAAG;wBACd,SAAS,EAAE,GAAG;wBACd,YAAY,EAAE,CAAC,CAAC,MAAM;qBACvB;iBACwB;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,OAAO,gBAAgB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1C,CAAC,CAAC;IAEF,MAAM,IAAI,GAAoB,CAAC,CAAC,EAAE,EAAE;QAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,eAAe,EAAE,CAAC;QAC3B,CAAC;QAED,6DAA6D;QAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAE1C,OAAO,MAAM,CAAC,MAAM,IAAI,GAAG;YACzB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa,CAAC;YAC3D,CAAC,CAAC,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAa,CAC/C,CAAC;IACR,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAC/E,CAAC"}

package/dist/array/bounded-length-tuple.mjs

@@ -1,79 +1,74 @@
-import { memoizeFunction, Arr, asUint32, Result } from 'ts-data-forge';
-import { createAssertFn } from '../utils/create-assert-fn.mjs';
-import { createCastFn } from '../utils/create-cast-fn.mjs';
-import { createIsFn } from '../utils/create-is-fn.mjs';
-import { createPrimitiveValidationError, prependIndexToValidationErrors } from '../utils/validation-error.mjs';
+import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';
+import { createAssertFn, createCastFn, createIsFn, createPrimitiveValidationError, prependIndexToValidationErrors, } from '../utils/index.mjs';
+export function boundedLengthTuple(min, max, elementType, options) {
+    const typeName = options?.typeName ??
+        `BoundedLengthTuple<${min}, ${max}, ${elementType.typeName}>`;
+    const getDefaultValue = memoizeFunction(() => options?.defaultValue ??
 
-function boundedLengthTuple(min, max, elementType, options) {
-  const typeName = options?.typeName ?? `BoundedLengthTuple<${min}, ${max}, ${elementType.typeName}>`;
-  const getDefaultValue = memoizeFunction(
-    () => options?.defaultValue ?? // An array of the minimum length is the shortest value within the range.
-    Arr.create(asUint32(min), elementType.defaultValue)
-  );
-  const validate = (a) => {
-    if (!Arr.isArray(a)) {
-      return Result.err([
-        createPrimitiveValidationError({
-          actualValue: a,
-          expectedType: "array",
-          typeName,
-          details: void 0
-        })
-      ]);
-    }
-    if (a.length < min || max < a.length) {
-      return Result.err([
-        {
-          path: [],
-          actualValue: a,
-          expectedType: typeName,
-          typeName,
-          details: {
-            kind: "array-range-length",
-            minLength: min,
-            maxLength: max,
-            actualLength: a.length
-          }
+        Arr.create(asUint32(min), elementType.defaultValue));
+    const validate = (a) => {
+        if (!Arr.isArray(a)) {
+            return Result.err([
+                createPrimitiveValidationError({
+                    actualValue: a,
+                    expectedType: 'array',
+                    typeName,
+                    details: undefined,
+                }),
+            ]);
         }
-      ]);
-    }
-    const errors = Arr.generate(function* () {
-      for (const [index, el] of a.entries()) {
-        const res = elementType.validate(el);
-        if (Result.isErr(res)) {
-          yield* prependIndexToValidationErrors(res.value, index);
+        if (a.length < min || max < a.length) {
+            return Result.err([
+                {
+                    path: [],
+                    actualValue: a,
+                    expectedType: typeName,
+                    typeName,
+                    details: {
+                        kind: 'array-range-length',
+                        minLength: min,
+                        maxLength: max,
+                        actualLength: a.length,
+                    },
+                },
+            ]);
+        }
+        const errors = Arr.generate(function* () {
+            for (const [index, el] of a.entries()) {
+                const res = elementType.validate(el);
+                if (Result.isErr(res)) {
+                    yield* prependIndexToValidationErrors(res.value, index);
+                }
+            }
+        });
+        if (Arr.isNonEmpty(errors)) {
+            return Result.err(errors);
         }
-      }
-    });
-    if (Arr.isNonEmpty(errors)) {
-      return Result.err(errors);
-    }
-    return Result.ok(a);
-  };
-  const fill = (a) => {
-    if (!Arr.isArray(a)) {
-      return getDefaultValue();
-    }
-    const capped = Arr.take(a, asUint32(max));
-    return capped.length >= min ? Arr.map(capped, (el) => elementType.fill(el)) : Arr.map(
-      Arr.seq(asUint32(min)),
-      (i) => elementType.fill(capped[i])
-    );
-  };
-  const prune = (a) => a.map((el) => elementType.prune(el));
-  return {
-    typeName,
-    get defaultValue() {
-      return getDefaultValue();
-    },
-    fill,
-    prune,
-    validate,
-    is: createIsFn(validate),
-    cast: createCastFn(validate),
-    assertIs: createAssertFn(validate)
-  };
-}
 
-export { boundedLengthTuple };
-//# sourceMappingURL=bounded-length-tuple.mjs.map
+        return Result.ok(a);
+    };
+    const fill = (a) => {
+        if (!Arr.isArray(a)) {
+            return getDefaultValue();
+        }
+
+        const capped = Arr.take(a, asUint32(max));
+        return capped.length >= min
+            ? Arr.map(capped, (el) => elementType.fill(el))
+            : Arr.map(Arr.seq(asUint32(min)), (i) => elementType.fill(capped[i]));
+    };
+    const prune = (a) => a.map((el) => elementType.prune(el));
+    return {
+        typeName,
+        get defaultValue() {
+            return getDefaultValue();
+        },
+        fill,
+        prune,
+        validate,
+        is: createIsFn(validate),
+        cast: createCastFn(validate),
+        assertIs: createAssertFn(validate),
+    };
+}
+//# sourceMappingURL=bounded-length-tuple.mjs.map

package/dist/array/bounded-length-tuple.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"bounded-length-tuple.mjs","sources":["../../src/array/bounded-length-tuple.mts"],"sourcesContent":["import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';\nimport {\n  type BoundedLengthTuple,\n  type MaxLengthTuple,\n  type MinLengthTuple,\n  type StructuralPrefixLength,\n} from 'ts-type-forge';\nimport { type Type } from '../type.mjs';\nimport {\n  createAssertFn,\n  createCastFn,\n  createIsFn,\n  createPrimitiveValidationError,\n  prependIndexToValidationErrors,\n  type ValidationError,\n} from '../utils/index.mjs';\n\nexport type { BoundedLengthTuple } from 'ts-type-forge';\n\nexport function boundedLengthTuple<\n  Min extends StructuralPrefixLength,\n  Max extends StructuralPrefixLength,\n  A,\n>(\n  min: Min,\n  max: Max,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: BoundedLengthTuple<Min, Max, A>;\n    }>\n  >,\n): Type<BoundedLengthTuple<Min, Max, A>>;\n\n// Only the lower bound is in `StructuralPrefixLength` (`0..10`), so the upper bound is dropped from the\n// result type and only the \"at least `min`\" guarantee is kept.\nexport function boundedLengthTuple<Min extends StructuralPrefixLength, A>(\n  min: Min,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: MinLengthTuple<Min, A>;\n    }>\n  >,\n): Type<MinLengthTuple<Min, A>>;\n\n// Only the upper bound is in `StructuralPrefixLength` (`0..10`), so the lower bound is dropped from the\n// result type and only the \"at most `max`\" guarantee is kept.\nexport function boundedLengthTuple<Max extends StructuralPrefixLength, A>(\n  min: number,\n  max: Max,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: MaxLengthTuple<Max, A>;\n    }>\n  >,\n): Type<MaxLengthTuple<Max, A>>;\n\n// Neither bound is in `StructuralPrefixLength` (`0..10`), so the result length is left unconstrained.\nexport function boundedLengthTuple<A>(\n  min: number,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: readonly A[];\n    }>\n  >,\n): Type<readonly A[]>;\n\nexport function boundedLengthTuple<A>(\n  min: number,\n  max: number,\n  elementType: Type<A>,\n  options?: Partial<\n    Readonly<{\n      typeName: string;\n      defaultValue: readonly A[];\n    }>\n  >,\n): Type<readonly A[]> {\n  type T = readonly A[];\n\n  const typeName =\n    options?.typeName ??\n    `BoundedLengthTuple<${min}, ${max}, ${elementType.typeName}>`;\n\n  const getDefaultValue = memoizeFunction(\n    (): T =>\n      options?.defaultValue ??\n      // An array of the minimum length is the shortest value within the range.\n      Arr.create(asUint32(min), elementType.defaultValue),\n  );\n\n  const validate: Type<T>['validate'] = (a) => {\n    if (!Arr.isArray(a)) {\n      return Result.err([\n        createPrimitiveValidationError({\n          actualValue: a,\n          expectedType: 'array',\n          typeName,\n          details: undefined,\n        }),\n      ]);\n    }\n\n    if (a.length < min || max < a.length) {\n      return Result.err([\n        {\n          path: [],\n          actualValue: a,\n          expectedType: typeName,\n          typeName,\n          details: {\n            kind: 'array-range-length',\n            minLength: min,\n            maxLength: max,\n            actualLength: a.length,\n          },\n        } satisfies ValidationError,\n      ]);\n    }\n\n    const errors: readonly ValidationError[] = Arr.generate(function* () {\n      for (const [index, el] of a.entries()) {\n        const res = elementType.validate(el);\n\n        if (Result.isErr(res)) {\n          yield* prependIndexToValidationErrors(res.value, index);\n        }\n      }\n    });\n\n    if (Arr.isNonEmpty(errors)) {\n      return Result.err(errors);\n    }\n\n    // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n    return Result.ok(a as unknown as T);\n  };\n\n  const fill: Type<T>['fill'] = (a) => {\n    if (!Arr.isArray(a)) {\n      return getDefaultValue();\n    }\n\n    // Trim down to at most `max`, then pad up to at least `min`.\n    const capped = Arr.take(a, asUint32(max));\n\n    return capped.length >= min\n      ? Arr.map(capped, (el) => elementType.fill(el) satisfies A)\n      : Arr.map(\n          Arr.seq(asUint32(min)),\n          (i) => elementType.fill(capped[i]) satisfies A,\n        );\n  };\n\n  const prune = (a: T): T => a.map((el) => elementType.prune(el));\n\n  return {\n    typeName,\n    get defaultValue() {\n      return getDefaultValue();\n    },\n    fill,\n    prune,\n    validate,\n    is: createIsFn(validate),\n    cast: createCastFn(validate),\n    assertIs: createAssertFn(validate),\n  };\n}\n"],"names":[],"mappings":";;;;;;AA4EO,SAAS,kBAAA,CACd,GAAA,EACA,GAAA,EACA,WAAA,EACA,OAAA,EAMoB;AAGpB,EAAA,MAAM,QAAA,GACJ,SAAS,QAAA,IACT,CAAA,mBAAA,EAAsB,GAAG,CAAA,EAAA,EAAK,GAAG,CAAA,EAAA,EAAK,WAAA,CAAY,QAAQ,CAAA,CAAA,CAAA;AAE5D,EAAA,MAAM,eAAA,GAAkB,eAAA;AAAA,IACtB,MACE,OAAA,EAAS,YAAA;AAAA,IAET,IAAI,MAAA,CAAO,QAAA,CAAS,GAAG,CAAA,EAAG,YAAY,YAAY;AAAA,GACtD;AAEA,EAAA,MAAM,QAAA,GAAgC,CAAC,CAAA,KAAM;AAC3C,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,CAAC,CAAA,EAAG;AACnB,MAAA,OAAO,OAAO,GAAA,CAAI;AAAA,QAChB,8BAAA,CAA+B;AAAA,UAC7B,WAAA,EAAa,CAAA;AAAA,UACb,YAAA,EAAc,OAAA;AAAA,UACd,QAAA;AAAA,UACA,OAAA,EAAS;AAAA,SACV;AAAA,OACF,CAAA;AAAA,IACH;AAEA,IAAA,IAAI,CAAA,CAAE,MAAA,GAAS,GAAA,IAAO,GAAA,GAAM,EAAE,MAAA,EAAQ;AACpC,MAAA,OAAO,OAAO,GAAA,CAAI;AAAA,QAChB;AAAA,UACE,MAAM,EAAC;AAAA,UACP,WAAA,EAAa,CAAA;AAAA,UACb,YAAA,EAAc,QAAA;AAAA,UACd,QAAA;AAAA,UACA,OAAA,EAAS;AAAA,YACP,IAAA,EAAM,oBAAA;AAAA,YACN,SAAA,EAAW,GAAA;AAAA,YACX,SAAA,EAAW,GAAA;AAAA,YACX,cAAc,CAAA,CAAE;AAAA;AAClB;AACF,OACD,CAAA;AAAA,IACH;AAEA,IAAA,MAAM,MAAA,GAAqC,GAAA,CAAI,QAAA,CAAS,aAAa;AACnE,MAAA,KAAA,MAAW,CAAC,KAAA,EAAO,EAAE,CAAA,IAAK,CAAA,CAAE,SAAQ,EAAG;AACrC,QAAA,MAAM,GAAA,GAAM,WAAA,CAAY,QAAA,CAAS,EAAE,CAAA;AAEnC,QAAA,IAAI,MAAA,CAAO,KAAA,CAAM,GAAG,CAAA,EAAG;AACrB,UAAA,OAAO,8BAAA,CAA+B,GAAA,CAAI,KAAA,EAAO,KAAK,CAAA;AAAA,QACxD;AAAA,MACF;AAAA,IACF,CAAC,CAAA;AAED,IAAA,IAAI,GAAA,CAAI,UAAA,CAAW,MAAM,CAAA,EAAG;AAC1B,MAAA,OAAO,MAAA,CAAO,IAAI,MAAM,CAAA;AAAA,IAC1B;AAGA,IAAA,OAAO,MAAA,CAAO,GAAG,CAAiB,CAAA;AAAA,EACpC,CAAA;AAEA,EAAA,MAAM,IAAA,GAAwB,CAAC,CAAA,KAAM;AACnC,IAAA,IAAI,CAAC,GAAA,CAAI,OAAA,CAAQ,CAAC,CAAA,EAAG;AACnB,MAAA,OAAO,eAAA,EAAgB;AAAA,IACzB;AAGA,IAAA,MAAM,SAAS,GAAA,CAAI,IAAA,CAAK,CAAA,EAAG,QAAA,CAAS,GAAG,CAAC,CAAA;AAExC,IAAA,OAAO,MAAA,CAAO,MAAA,IAAU,GAAA,GACpB,GAAA,CAAI,GAAA,CAAI,MAAA,EAAQ,CAAC,EAAA,KAAO,WAAA,CAAY,IAAA,CAAK,EAAE,CAAa,IACxD,GAAA,CAAI,GAAA;AAAA,MACF,GAAA,CAAI,GAAA,CAAI,QAAA,CAAS,GAAG,CAAC,CAAA;AAAA,MACrB,CAAC,CAAA,KAAM,WAAA,CAAY,IAAA,CAAK,MAAA,CAAO,CAAC,CAAC;AAAA,KACnC;AAAA,EACN,CAAA;AAEA,EAAA,MAAM,KAAA,GAAQ,CAAC,CAAA,KAAY,CAAA,CAAE,GAAA,CAAI,CAAC,EAAA,KAAO,WAAA,CAAY,KAAA,CAAM,EAAE,CAAC,CAAA;AAE9D,EAAA,OAAO;AAAA,IACL,QAAA;AAAA,IACA,IAAI,YAAA,GAAe;AACjB,MAAA,OAAO,eAAA,EAAgB;AAAA,IACzB,CAAA;AAAA,IACA,IAAA;AAAA,IACA,KAAA;AAAA,IACA,QAAA;AAAA,IACA,EAAA,EAAI,WAAW,QAAQ,CAAA;AAAA,IACvB,IAAA,EAAM,aAAa,QAAQ,CAAA;AAAA,IAC3B,QAAA,EAAU,eAAe,QAAQ;AAAA,GACnC;AACF;;"}
+{"version":3,"file":"bounded-length-tuple.mjs","sourceRoot":"","sources":["../../src/array/bounded-length-tuple.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAQvE,OAAO,EACL,cAAc,EACd,YAAY,EACZ,UAAU,EACV,8BAA8B,EAC9B,8BAA8B,GAE/B,MAAM,oBAAoB,CAAC;AA6D5B,MAAM,UAAU,kBAAkB,CAChC,GAAW,EACX,GAAW,EACX,WAAoB,EACpB,OAKC;IAID,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ;QACjB,sBAAsB,GAAG,KAAK,GAAG,KAAK,WAAW,CAAC,QAAQ,GAAG,CAAC;IAEhE,MAAM,eAAe,GAAG,eAAe,CACrC,GAAM,EAAE,CACN,OAAO,EAAE,YAAY;QACrB,yEAAyE;QACzE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CACtD,CAAC;IAEF,MAAM,QAAQ,GAAwB,CAAC,CAAC,EAAE,EAAE;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,GAAG,CAAC;gBAChB,8BAA8B,CAAC;oBAC7B,WAAW,EAAE,CAAC;oBACd,YAAY,EAAE,OAAO;oBACrB,QAAQ;oBACR,OAAO,EAAE,SAAS;iBACnB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;YACrC,OAAO,MAAM,CAAC,GAAG,CAAC;gBAChB;oBACE,IAAI,EAAE,EAAE;oBACR,WAAW,EAAE,CAAC;oBACd,YAAY,EAAE,QAAQ;oBACtB,QAAQ;oBACR,OAAO,EAAE;wBACP,IAAI,EAAE,oBAAoB;wBAC1B,SAAS,EAAE,GAAG;wBACd,SAAS,EAAE,GAAG;wBACd,YAAY,EAAE,CAAC,CAAC,MAAM;qBACvB;iBACwB;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBACtC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAErC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtB,KAAK,CAAC,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;QAED,oEAAoE;QACpE,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,MAAM,IAAI,GAAoB,CAAC,CAAC,EAAE,EAAE;QAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,eAAe,EAAE,CAAC;QAC3B,CAAC;QAED,6DAA6D;QAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAE1C,OAAO,MAAM,CAAC,MAAM,IAAI,GAAG;YACzB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa,CAAC;YAC3D,CAAC,CAAC,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAa,CAC/C,CAAC;IACR,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,CAAI,EAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhE,OAAO;QACL,QAAQ;QACR,IAAI,YAAY;YACd,OAAO,eAAe,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;QACxB,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC,CAAC;AACJ,CAAC"}

package/dist/array/build-type.mjs

@@ -1,44 +1,55 @@
 import { Arr, Result } from 'ts-data-forge';
-import { createAssertFn } from '../utils/create-assert-fn.mjs';
-import { createCastFn } from '../utils/create-cast-fn.mjs';
-import { createIsFn } from '../utils/create-is-fn.mjs';
-import { prependIndexToValidationErrors } from '../utils/validation-error.mjs';
-
-const validateElements = (a, elementType) => {
-  const errors = Arr.generate(function* () {
-    for (const [index, el] of a.entries()) {
-      const res = elementType.validate(el);
-      if (Result.isErr(res)) {
-        yield* prependIndexToValidationErrors(res.value, index);
-      }
+import { createAssertFn, createCastFn, createIsFn, prependIndexToValidationErrors, } from '../utils/index.mjs';
+
+
+
+
+
+
+
+export const validateElements = (a, elementType) => {
+    const errors = Arr.generate(function* () {
+        for (const [index, el] of a.entries()) {
+            const res = elementType.validate(el);
+            if (Result.isErr(res)) {
+                yield* prependIndexToValidationErrors(res.value, index);
+            }
+        }
+    });
+    if (Arr.isNonEmpty(errors)) {
+        return Result.err(errors);
     }
-  });
-  if (Arr.isNonEmpty(errors)) {
-    return Result.err(errors);
-  }
-  return Result.ok(a);
-};
-const buildType = ({
-  typeName,
-  getDefaultValue,
-  validate,
-  fill,
-  elementType
-}) => {
-  const base = {
-    typeName,
-    get defaultValue() {
-      return getDefaultValue();
-    },
-    fill,
-    prune: (a) => a.map((el) => elementType.prune(el)),
-    validate,
-    is: createIsFn(validate),
-    cast: createCastFn(validate),
-    assertIs: createAssertFn(validate)
-  };
-  return base;
+
+    return Result.ok(a);
 };
 
-export { buildType, validateElements };
-//# sourceMappingURL=build-type.mjs.map
+
+
+
+
+
+
+
+
+export const buildType = ({ typeName, getDefaultValue, validate, fill, elementType, }) => {
+    const base = {
+        typeName,
+        get defaultValue() {
+            return getDefaultValue();
+        },
+        fill,
+        prune: (a) => a.map((el) => elementType.prune(el)),
+        validate,
+        is: createIsFn(validate),
+        cast: createCastFn(validate),
+        assertIs: createAssertFn(validate),
+    };
+
+
+
+
+
+
+    return base;
+};
+//# sourceMappingURL=build-type.mjs.map

package/dist/array/build-type.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"build-type.mjs","sources":["../../src/array/build-type.mts"],"sourcesContent":["import { Arr, Result } from 'ts-data-forge';\nimport { type Type } from '../type.mjs';\nimport {\n  createAssertFn,\n  createCastFn,\n  createIsFn,\n  prependIndexToValidationErrors,\n  type ValidationError,\n} from '../utils/index.mjs';\n\n/**\n * Validates each element of `a` against `elementType`, collecting any element\n * errors with their index prepended. Shared by the length-constrained array\n * validators.\n *\n * @internal Not part of the public package API.\n */\nexport const validateElements = <A,>(\n  a: readonly unknown[],\n  elementType: Type<A>,\n): Result<readonly A[], readonly ValidationError[]> => {\n  const errors: readonly ValidationError[] = Arr.generate(function* () {\n    for (const [index, el] of a.entries()) {\n      const res = elementType.validate(el);\n\n      if (Result.isErr(res)) {\n        yield* prependIndexToValidationErrors(res.value, index);\n      }\n    }\n  });\n\n  if (Arr.isNonEmpty(errors)) {\n    return Result.err(errors);\n  }\n\n  // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n  return Result.ok(a as readonly A[]);\n};\n\n/**\n * Assembles a structural `Type<readonly A[]>` from the length-specific pieces\n * (`typeName` / `getDefaultValue` / `validate` / `fill`). Shared internally by\n * the length-constrained array validators (`fixedLengthArray` etc.) and the\n * `nonEmptyArray` validator; their outer signatures narrow the structural\n * result to the branded array type.\n *\n * @internal Not part of the public package API.\n */\nexport const buildType = <Elm, T extends readonly Elm[] = readonly Elm[]>({\n  typeName,\n  getDefaultValue,\n  validate,\n  fill,\n  elementType,\n}: Readonly<{\n  typeName: string;\n  getDefaultValue: () => readonly Elm[];\n  validate: (a: unknown) => Result<readonly Elm[], readonly ValidationError[]>;\n  fill: (a: unknown) => readonly Elm[];\n  elementType: Type<Elm>;\n}>): Type<T> => {\n  const base: Type<readonly Elm[]> = {\n    typeName,\n    get defaultValue() {\n      return getDefaultValue();\n    },\n    fill,\n    prune: (a) => a.map((el) => elementType.prune(el)),\n    validate,\n    is: createIsFn(validate),\n    cast: createCastFn(validate),\n    assertIs: createAssertFn(validate),\n  } as const;\n\n  // The branded output type `T` (e.g. `NonEmptyArray` / `FixedLengthArray`) is\n  // a subtype of the structural `readonly Elm[]` the validator actually\n  // produces. The brand is guaranteed by the caller's `validate` / `fill` but\n  // cannot be proven structurally, so it is asserted here once, on behalf of\n  // every length-constrained array validator, instead of at each call site.\n  // eslint-disable-next-line total-functions/no-unsafe-type-assertion\n  return base as Type<T>;\n};\n"],"names":[],"mappings":";;;;;;AAiBO,MAAM,gBAAA,GAAmB,CAC9B,CAAA,EACA,WAAA,KACqD;AACrD,EAAA,MAAM,MAAA,GAAqC,GAAA,CAAI,QAAA,CAAS,aAAa;AACnE,IAAA,KAAA,MAAW,CAAC,KAAA,EAAO,EAAE,CAAA,IAAK,CAAA,CAAE,SAAQ,EAAG;AACrC,MAAA,MAAM,GAAA,GAAM,WAAA,CAAY,QAAA,CAAS,EAAE,CAAA;AAEnC,MAAA,IAAI,MAAA,CAAO,KAAA,CAAM,GAAG,CAAA,EAAG;AACrB,QAAA,OAAO,8BAAA,CAA+B,GAAA,CAAI,KAAA,EAAO,KAAK,CAAA;AAAA,MACxD;AAAA,IACF;AAAA,EACF,CAAC,CAAA;AAED,EAAA,IAAI,GAAA,CAAI,UAAA,CAAW,MAAM,CAAA,EAAG;AAC1B,IAAA,OAAO,MAAA,CAAO,IAAI,MAAM,CAAA;AAAA,EAC1B;AAGA,EAAA,OAAO,MAAA,CAAO,GAAG,CAAiB,CAAA;AACpC;AAWO,MAAM,YAAY,CAAiD;AAAA,EACxE,QAAA;AAAA,EACA,eAAA;AAAA,EACA,QAAA;AAAA,EACA,IAAA;AAAA,EACA;AACF,CAAA,KAMgB;AACd,EAAA,MAAM,IAAA,GAA6B;AAAA,IACjC,QAAA;AAAA,IACA,IAAI,YAAA,GAAe;AACjB,MAAA,OAAO,eAAA,EAAgB;AAAA,IACzB,CAAA;AAAA,IACA,IAAA;AAAA,IACA,KAAA,EAAO,CAAC,CAAA,KAAM,CAAA,CAAE,GAAA,CAAI,CAAC,EAAA,KAAO,WAAA,CAAY,KAAA,CAAM,EAAE,CAAC,CAAA;AAAA,IACjD,QAAA;AAAA,IACA,EAAA,EAAI,WAAW,QAAQ,CAAA;AAAA,IACvB,IAAA,EAAM,aAAa,QAAQ,CAAA;AAAA,IAC3B,QAAA,EAAU,eAAe,QAAQ;AAAA,GACnC;AAQA,EAAA,OAAO,IAAA;AACT;;"}
+{"version":3,"file":"build-type.mjs","sourceRoot":"","sources":["../../src/array/build-type.mts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,EACL,cAAc,EACd,YAAY,EACZ,UAAU,EACV,8BAA8B,GAE/B,MAAM,oBAAoB,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,CAAqB,EACrB,WAAoB,EAC8B,EAAE;IACpD,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAErC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED,oEAAoE;IACpE,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAiD,EACxE,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,IAAI,EACJ,WAAW,GAOX,EAAW,EAAE;IACb,MAAM,IAAI,GAAyB;QACjC,QAAQ;QACR,IAAI,YAAY;YACd,OAAO,eAAe,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI;QACJ,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClD,QAAQ;QACR,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;QACxB,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;QAC5B,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KAC1B,CAAC;IAEX,6EAA6E;IAC7E,sEAAsE;IACtE,4EAA4E;IAC5E,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,OAAO,IAAe,CAAC;AACzB,CAAC,CAAC"}