ts-fortress 8.0.0 → 8.1.0

package/dist/array/array-at-least-length.d.mts

@@ -1,8 +1,12 @@
 import { type ArrayAtLeastLen, type SmallUint } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 export type { ArrayAtLeastLen } from 'ts-type-forge';
-export declare const arrayAtLeastLength: <A, N extends SmallUint>(size: N, elementType: Type<A>, options?: Partial<Readonly<{
+export declare function arrayAtLeastLength<A, N extends SmallUint>(size: N, elementType: Type<A>, options?: Partial<Readonly<{
     typeName: string;
     defaultValue: ArrayAtLeastLen<N, A>;
-}>>) => Type<ArrayAtLeastLen<N, A>>;
+}>>): Type<ArrayAtLeastLen<N, A>>;
+export declare function arrayAtLeastLength<A>(size: number, elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: readonly A[];
+}>>): Type<readonly A[]>;
 //# sourceMappingURL=array-at-least-length.d.mts.map

package/dist/array/array-at-least-length.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"array-at-least-length.d.mts","sourceRoot":"","sources":["../../src/array/array-at-least-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,eAAO,MAAM,kBAAkB,GAAI,CAAC,EAAE,CAAC,SAAS,SAAS,EACvD,MAAM,CAAC,EACP,aAAa,IAAI,CAAC,CAAC,CAAC,EACpB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACrC,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CA6E5B,CAAC"}
+{"version":3,"file":"array-at-least-length.d.mts","sourceRoot":"","sources":["../../src/array/array-at-least-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,EACvD,IAAI,EAAE,CAAC,EACP,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACrC,CAAC,CACH,GACA,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAI/B,wBAAgB,kBAAkB,CAAC,CAAC,EAClC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;CAC5B,CAAC,CACH,GACA,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC"}

package/dist/array/array-at-least-length.mjs

@@ -1,14 +1,14 @@
-import { memoizeFunction, Arr, Result } from 'ts-data-forge';
+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';
 
-const arrayAtLeastLength = (size, elementType, options) => {
+function arrayAtLeastLength(size, elementType, options) {
     const typeName = options?.typeName ?? `ArrayAtLeastLen<${size}, ${elementType.typeName}>`;
     const getDefaultValue = memoizeFunction(() => options?.defaultValue ??
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        Arr.create(size, elementType.defaultValue));
+        // An array of `size` elements is the shortest value satisfying the bound.
+        Arr.create(asUint32(size), elementType.defaultValue));
     const validate = (a) => {
         if (!Arr.isArray(a)) {
             return Result.err([
@@ -50,9 +50,7 @@ const arrayAtLeastLength = (size, elementType, options) => {
         return Result.ok(a);
     };
     const fill = (a) => Arr.isArray(a)
-        ? // TODO: remove as
-            // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-            Arr.map(Arr.seq(size), (i) => elementType.fill(a[i]))
+        ? Arr.map(Arr.seq(asUint32(size)), (i) => elementType.fill(a[i]))
         : getDefaultValue();
     return {
         typeName,
@@ -65,7 +63,7 @@ const arrayAtLeastLength = (size, elementType, options) => {
         cast: createCastFn(validate),
         assertIs: createAssertFn(validate),
     };
-};
+}
 
 export { arrayAtLeastLength };
 //# sourceMappingURL=array-at-least-length.mjs.map

package/dist/array/array-at-least-length.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"array-at-least-length.mjs","sources":["../../src/array/array-at-least-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAcO,MAAM,kBAAkB,GAAG,CAChC,IAAO,EACP,WAAoB,EACpB,OAKC,KAC8B;AAG/B,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ,IAAI,CAAA,gBAAA,EAAmB,IAAI,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAE1E,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;QAEpB,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAO,CACpD;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,kBAAkB;AACxB,wBAAA,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;AACX;;YAEG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAa;UACjE,eAAe,EAAE;IAEvB,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}
+{"version":3,"file":"array-at-least-length.mjs","sources":["../../src/array/array-at-least-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;SAsCgB,kBAAkB,CAChC,IAAY,EACZ,WAAoB,EACpB,OAKC,EAAA;AAID,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ,IAAI,CAAA,gBAAA,EAAmB,IAAI,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAE1E,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;AAErB,QAAA,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CACvD;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,kBAAkB;AACxB,wBAAA,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;AACX,UAAE,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACvB,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAa;UAE3C,eAAe,EAAE;IAEvB,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}

package/dist/array/array-at-most-length.d.mts

@@ -1,8 +1,12 @@
 import { type ArrayAtMostLen, type SmallUint } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 export type { ArrayAtMostLen } from 'ts-type-forge';
-export declare const arrayAtMostLength: <A, N extends SmallUint>(size: N, elementType: Type<A>, options?: Partial<Readonly<{
+export declare function arrayAtMostLength<A, N extends SmallUint>(size: N, elementType: Type<A>, options?: Partial<Readonly<{
     typeName: string;
     defaultValue: ArrayAtMostLen<N, A>;
-}>>) => Type<ArrayAtMostLen<N, A>>;
+}>>): Type<ArrayAtMostLen<N, A>>;
+export declare function arrayAtMostLength<A>(size: number, elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: readonly A[];
+}>>): Type<readonly A[]>;
 //# sourceMappingURL=array-at-most-length.d.mts.map

package/dist/array/array-at-most-length.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"array-at-most-length.d.mts","sourceRoot":"","sources":["../../src/array/array-at-most-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,eAAO,MAAM,iBAAiB,GAAI,CAAC,EAAE,CAAC,SAAS,SAAS,EACtD,MAAM,CAAC,EACP,aAAa,IAAI,CAAC,CAAC,CAAC,EACpB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,CAAC,CACH,KACA,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAkF3B,CAAC"}
+{"version":3,"file":"array-at-most-length.d.mts","sourceRoot":"","sources":["../../src/array/array-at-most-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,EACtD,IAAI,EAAE,CAAC,EACP,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACpC,CAAC,CACH,GACA,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAI9B,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;CAC5B,CAAC,CACH,GACA,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC"}

package/dist/array/array-at-most-length.mjs

@@ -1,14 +1,13 @@
-import { memoizeFunction, Arr, Result } from 'ts-data-forge';
+import { memoizeFunction, Arr, Result, asUint32 } 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 arrayAtMostLength = (size, elementType, options) => {
+function arrayAtMostLength(size, elementType, options) {
     const typeName = options?.typeName ?? `ArrayAtMostLen<${size}, ${elementType.typeName}>`;
     const getDefaultValue = memoizeFunction(() => options?.defaultValue ??
         // The empty array is the shortest value satisfying `length <= size`.
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
         Arr.create(0, elementType.defaultValue));
     const validate = (a) => {
         if (!Arr.isArray(a)) {
@@ -52,9 +51,7 @@ const arrayAtMostLength = (size, elementType, options) => {
     };
     const fill = (a) => Arr.isArray(a)
         ? // Keep the input but trim down to at most `size` elements.
-            // TODO: remove as
-            // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-            Arr.map(Arr.take(a, size), (el) => elementType.fill(el))
+            Arr.map(Arr.take(a, asUint32(size)), (el) => elementType.fill(el))
         : getDefaultValue();
     return {
         typeName,
@@ -67,7 +64,7 @@ const arrayAtMostLength = (size, elementType, options) => {
         cast: createCastFn(validate),
         assertIs: createAssertFn(validate),
     };
-};
+}
 
 export { arrayAtMostLength };
 //# sourceMappingURL=array-at-most-length.mjs.map

package/dist/array/array-at-most-length.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"array-at-most-length.mjs","sources":["../../src/array/array-at-most-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAcO,MAAM,iBAAiB,GAAG,CAC/B,IAAO,EACP,WAAoB,EACpB,OAKC,KAC6B;AAG9B,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ,IAAI,CAAA,eAAA,EAAkB,IAAI,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAEzE,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;;QAGpB,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,YAAY,CAAO,CACjD;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,kBAAkB;AACxB,wBAAA,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;AACX;;;YAGG,GAAG,CAAC,GAAG,CACN,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EACjB,CAAC,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa;UAE1C,eAAe,EAAE;IAEvB,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}
+{"version":3,"file":"array-at-most-length.mjs","sources":["../../src/array/array-at-most-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;SAsCgB,iBAAiB,CAC/B,IAAY,EACZ,WAAoB,EACpB,OAKC,EAAA;AAID,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ,IAAI,CAAA,eAAA,EAAkB,IAAI,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAEzE,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;QAErB,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CAC1C;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,kBAAkB;AACxB,wBAAA,SAAS,EAAE,IAAI;wBACf,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;AACX;YACE,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa;UAE1C,eAAe,EAAE;IAEvB,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}

package/dist/array/array-bounded-length.d.mts

@@ -1,8 +1,20 @@
-import { type ArrayBoundedLen, type SmallUint } from 'ts-type-forge';
+import { type ArrayAtLeastLen, type ArrayAtMostLen, type ArrayBoundedLen, type SmallUint } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 export type { ArrayBoundedLen } from 'ts-type-forge';
-export declare const arrayBoundedLength: <A, Min extends SmallUint, Max extends SmallUint>(min: Min, max: Max, elementType: Type<A>, options?: Partial<Readonly<{
+export declare function arrayBoundedLength<A, Min extends SmallUint, Max extends SmallUint>(min: Min, max: Max, elementType: Type<A>, options?: Partial<Readonly<{
     typeName: string;
     defaultValue: ArrayBoundedLen<Min, Max, A>;
-}>>) => Type<ArrayBoundedLen<Min, Max, A>>;
+}>>): Type<ArrayBoundedLen<Min, Max, A>>;
+export declare function arrayBoundedLength<A, Min extends SmallUint>(min: Min, max: number, elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: ArrayAtLeastLen<Min, A>;
+}>>): Type<ArrayAtLeastLen<Min, A>>;
+export declare function arrayBoundedLength<A, Max extends SmallUint>(min: number, max: Max, elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: ArrayAtMostLen<Max, A>;
+}>>): Type<ArrayAtMostLen<Max, A>>;
+export declare function arrayBoundedLength<A>(min: number, max: number, elementType: Type<A>, options?: Partial<Readonly<{
+    typeName: string;
+    defaultValue: readonly A[];
+}>>): Type<readonly A[]>;
 //# sourceMappingURL=array-bounded-length.d.mts.map

package/dist/array/array-bounded-length.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"array-bounded-length.d.mts","sourceRoot":"","sources":["../../src/array/array-bounded-length.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,eAAO,MAAM,kBAAkB,GAC7B,CAAC,EACD,GAAG,SAAS,SAAS,EACrB,GAAG,SAAS,SAAS,EAErB,KAAK,GAAG,EACR,KAAK,GAAG,EACR,aAAa,IAAI,CAAC,CAAC,CAAC,EACpB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC5C,CAAC,CACH,KACA,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAyFnC,CAAC"}
+{"version":3,"file":"array-bounded-length.d.mts","sourceRoot":"","sources":["../../src/array/array-bounded-length.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,SAAS,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,aAAa,CAAC;AAUxC,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,wBAAgB,kBAAkB,CAChC,CAAC,EACD,GAAG,SAAS,SAAS,EACrB,GAAG,SAAS,SAAS,EAErB,GAAG,EAAE,GAAG,EACR,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAC5C,CAAC,CACH,GACA,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAItC,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,GAAG,SAAS,SAAS,EACzD,GAAG,EAAE,GAAG,EACR,GAAG,EAAE,MAAM,EACX,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACvC,CAAC,CACH,GACA,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAIjC,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,GAAG,SAAS,SAAS,EACzD,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,GAAG,EACR,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CACtC,CAAC,CACH,GACA,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAGhC,wBAAgB,kBAAkB,CAAC,CAAC,EAClC,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,EACX,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EACpB,OAAO,CAAC,EAAE,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;CAC5B,CAAC,CACH,GACA,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC"}

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

@@ -1,16 +1,15 @@
-import { memoizeFunction, Arr, Result } from 'ts-data-forge';
+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';
 
-const arrayBoundedLength = (min, max, elementType, options) => {
+function arrayBoundedLength(min, max, elementType, options) {
     const typeName = options?.typeName ??
         `ArrayBoundedLen<${min}, ${max}, ${elementType.typeName}>`;
     const getDefaultValue = memoizeFunction(() => options?.defaultValue ??
         // An array of the minimum length is the shortest value within the range.
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        Arr.create(min, elementType.defaultValue));
+        Arr.create(asUint32(min), elementType.defaultValue));
     const validate = (a) => {
         if (!Arr.isArray(a)) {
             return Result.err([
@@ -57,11 +56,10 @@ const arrayBoundedLength = (min, max, elementType, options) => {
             return getDefaultValue();
         }
         // Trim down to at most `max`, then pad up to at least `min`.
-        const capped = Arr.take(a, max);
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        return (capped.length >= min
+        const capped = Arr.take(a, asUint32(max));
+        return capped.length >= min
             ? Arr.map(capped, (el) => elementType.fill(el))
-            : Arr.map(Arr.seq(min), (i) => elementType.fill(capped[i])));
+            : Arr.map(Arr.seq(asUint32(min)), (i) => elementType.fill(capped[i]));
     };
     return {
         typeName,
@@ -74,7 +72,7 @@ const arrayBoundedLength = (min, max, elementType, options) => {
         cast: createCastFn(validate),
         assertIs: createAssertFn(validate),
     };
-};
+}
 
 export { arrayBoundedLength };
 //# sourceMappingURL=array-bounded-length.mjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"array-bounded-length.mjs","sources":["../../src/array/array-bounded-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AAcO,MAAM,kBAAkB,GAAG,CAKhC,GAAQ,EACR,GAAQ,EACR,WAAoB,EACpB,OAKC,KACqC;AAGtC,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ;QACjB,CAAA,gBAAA,EAAmB,GAAG,KAAK,GAAG,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAE5D,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;;QAGpB,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,YAAY,CAAO,CACnD;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE;YACpC,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,oBAAoB;AAC1B,wBAAA,SAAS,EAAE,GAAG;AACd,wBAAA,SAAS,EAAE,GAAG;wBACd,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAAI;QAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,eAAe,EAAE;QAC1B;;QAGA,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC;;AAG/B,QAAA,QACE,MAAM,CAAC,MAAM,IAAI;AACf,cAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa;AAC1D,cAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAa,CAAC;AAE7E,IAAA,CAAC;IAED,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}
+{"version":3,"file":"array-bounded-length.mjs","sources":["../../src/array/array-bounded-length.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;AA4EM,SAAU,kBAAkB,CAChC,GAAW,EACX,GAAW,EACX,WAAoB,EACpB,OAKC,EAAA;AAID,IAAA,MAAM,QAAQ,GACZ,OAAO,EAAE,QAAQ;QACjB,CAAA,gBAAA,EAAmB,GAAG,KAAK,GAAG,CAAA,EAAA,EAAK,WAAW,CAAC,QAAQ,GAAG;IAE5D,MAAM,eAAe,GAAG,eAAe,CACrC,MACE,OAAO,EAAE,YAAY;;AAErB,QAAA,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC,CACtD;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;AAEA,QAAA,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC,MAAM,EAAE;YACpC,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,oBAAoB;AAC1B,wBAAA,SAAS,EAAE,GAAG;AACd,wBAAA,SAAS,EAAE,GAAG;wBACd,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;AAC/D,YAAA,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEpC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAiB,CAAC;AACrC,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAAI;QAClC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,eAAe,EAAE;QAC1B;;AAGA,QAAA,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;AAEzC,QAAA,OAAO,MAAM,CAAC,MAAM,IAAI;AACtB,cAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,EAAE,CAAa;AAC1D,cAAE,GAAG,CAAC,GAAG,CACL,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EACtB,CAAC,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAa,CAC/C;AACP,IAAA,CAAC;IAED,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;AAC5B,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;KACnC;AACH;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "8.0.0",
+  "version": "8.1.0",
   "private": false,
   "keywords": [
     "typescript"

package/src/array/array-at-least-length.mts

@@ -1,4 +1,4 @@
-import { Arr, memoizeFunction, Result } from 'ts-data-forge';
+import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';
 import { type ArrayAtLeastLen, type SmallUint } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 import {
@@ -12,7 +12,7 @@ import {
 
 export type { ArrayAtLeastLen } from 'ts-type-forge';
 
-export const arrayAtLeastLength = <A, N extends SmallUint>(
+export function arrayAtLeastLength<A, N extends SmallUint>(
   size: N,
   elementType: Type<A>,
   options?: Partial<
@@ -21,8 +21,32 @@ export const arrayAtLeastLength = <A, N extends SmallUint>(
       defaultValue: ArrayAtLeastLen<N, A>;
     }>
   >,
-): Type<ArrayAtLeastLen<N, A>> => {
-  type T = ArrayAtLeastLen<N, A>;
+): Type<ArrayAtLeastLen<N, A>>;
+
+// For sizes outside `SmallUint` the exact length cannot be encoded in the type,
+// so the result length is left unconstrained (`readonly A[]`).
+export function arrayAtLeastLength<A>(
+  size: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]>;
+
+export function arrayAtLeastLength<A>(
+  size: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]> {
+  type T = readonly A[];
 
   const typeName =
     options?.typeName ?? `ArrayAtLeastLen<${size}, ${elementType.typeName}>`;
@@ -30,8 +54,8 @@ export const arrayAtLeastLength = <A, N extends SmallUint>(
   const getDefaultValue = memoizeFunction(
     (): T =>
       options?.defaultValue ??
-      // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-      (Arr.create(size, elementType.defaultValue) as T),
+      // An array of `size` elements is the shortest value satisfying the bound.
+      Arr.create(asUint32(size), elementType.defaultValue),
   );
 
   const validate: Type<T>['validate'] = (a) => {
@@ -82,9 +106,10 @@ export const arrayAtLeastLength = <A, N extends SmallUint>(
 
   const fill: Type<T>['fill'] = (a) =>
     Arr.isArray(a)
-      ? // TODO: remove as
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        (Arr.map(Arr.seq(size), (i) => elementType.fill(a[i]) satisfies A) as T)
+      ? Arr.map(
+          Arr.seq(asUint32(size)),
+          (i) => elementType.fill(a[i]) satisfies A,
+        )
       : getDefaultValue();
 
   return {
@@ -98,4 +123,4 @@ export const arrayAtLeastLength = <A, N extends SmallUint>(
     cast: createCastFn(validate),
     assertIs: createAssertFn(validate),
   };
-};
+}

package/src/array/array-at-least-length.test.mts

@@ -219,4 +219,31 @@ describe(arrayAtLeastLength, () => {
       assert.deepStrictEqual(xs.fill(ys), [1, 2, 3]);
     });
   });
+
+  describe('size outside SmallUint', () => {
+    // A literal beyond `SmallUint`'s range selects the fallback overload, whose
+    // result length is unconstrained.
+    const big = arrayAtLeastLength(100, number());
+
+    expectType<TypeOf<typeof big>, readonly number[]>('=');
+
+    expectType<typeof big.defaultValue, readonly number[]>('=');
+
+    // A plain `number` (not a literal) also selects the fallback overload.
+    const dynamicSize: number = 5;
+
+    const dyn = arrayAtLeastLength(dynamicSize, number());
+
+    expectType<TypeOf<typeof dyn>, readonly number[]>('=');
+
+    test('default value has the requested length', () => {
+      expect(big.defaultValue).toHaveLength(100);
+    });
+
+    test('validates the minimum length at runtime', () => {
+      assert.isTrue(dyn.is([0, 0, 0, 0, 0]));
+
+      assert.isFalse(dyn.is([0, 0, 0, 0]));
+    });
+  });
 });

package/src/array/array-at-most-length.mts

@@ -1,4 +1,4 @@
-import { Arr, memoizeFunction, Result } from 'ts-data-forge';
+import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';
 import { type ArrayAtMostLen, type SmallUint } from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 import {
@@ -12,7 +12,7 @@ import {
 
 export type { ArrayAtMostLen } from 'ts-type-forge';
 
-export const arrayAtMostLength = <A, N extends SmallUint>(
+export function arrayAtMostLength<A, N extends SmallUint>(
   size: N,
   elementType: Type<A>,
   options?: Partial<
@@ -21,8 +21,32 @@ export const arrayAtMostLength = <A, N extends SmallUint>(
       defaultValue: ArrayAtMostLen<N, A>;
     }>
   >,
-): Type<ArrayAtMostLen<N, A>> => {
-  type T = ArrayAtMostLen<N, A>;
+): Type<ArrayAtMostLen<N, A>>;
+
+// For sizes outside `SmallUint` the exact length cannot be encoded in the type,
+// so the result length is left unconstrained (`readonly A[]`).
+export function arrayAtMostLength<A>(
+  size: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]>;
+
+export function arrayAtMostLength<A>(
+  size: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]> {
+  type T = readonly A[];
 
   const typeName =
     options?.typeName ?? `ArrayAtMostLen<${size}, ${elementType.typeName}>`;
@@ -31,8 +55,7 @@ export const arrayAtMostLength = <A, N extends SmallUint>(
     (): T =>
       options?.defaultValue ??
       // The empty array is the shortest value satisfying `length <= size`.
-      // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-      (Arr.create(0, elementType.defaultValue) as T),
+      Arr.create(0, elementType.defaultValue),
   );
 
   const validate: Type<T>['validate'] = (a) => {
@@ -84,12 +107,10 @@ export const arrayAtMostLength = <A, N extends SmallUint>(
   const fill: Type<T>['fill'] = (a) =>
     Arr.isArray(a)
       ? // Keep the input but trim down to at most `size` elements.
-        // TODO: remove as
-        // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-        (Arr.map(
-          Arr.take(a, size),
+        Arr.map(
+          Arr.take(a, asUint32(size)),
           (el) => elementType.fill(el) satisfies A,
-        ) as T)
+        )
       : getDefaultValue();
 
   return {
@@ -103,4 +124,4 @@ export const arrayAtMostLength = <A, N extends SmallUint>(
     cast: createCastFn(validate),
     assertIs: createAssertFn(validate),
   };
-};
+}

package/src/array/array-at-most-length.test.mts

@@ -203,4 +203,31 @@ describe(arrayAtMostLength, () => {
       assert.deepStrictEqual(xs.fill(ys), [1, 2, 3]);
     });
   });
+
+  describe('size outside SmallUint', () => {
+    // A literal beyond `SmallUint`'s range selects the fallback overload, whose
+    // result length is unconstrained.
+    const big = arrayAtMostLength(100, number());
+
+    expectType<TypeOf<typeof big>, readonly number[]>('=');
+
+    expectType<typeof big.defaultValue, readonly number[]>('=');
+
+    // A plain `number` (not a literal) also selects the fallback overload.
+    const dynamicSize: number = 2;
+
+    const dyn = arrayAtMostLength(dynamicSize, number());
+
+    expectType<TypeOf<typeof dyn>, readonly number[]>('=');
+
+    test('default value is the empty array', () => {
+      assert.deepStrictEqual(big.defaultValue, []);
+    });
+
+    test('validates the maximum length at runtime', () => {
+      assert.isTrue(dyn.is([0, 0]));
+
+      assert.isFalse(dyn.is([0, 0, 0]));
+    });
+  });
 });

package/src/array/array-bounded-length.mts

@@ -1,5 +1,10 @@
-import { Arr, memoizeFunction, Result } from 'ts-data-forge';
-import { type ArrayBoundedLen, type SmallUint } from 'ts-type-forge';
+import { Arr, asUint32, memoizeFunction, Result } from 'ts-data-forge';
+import {
+  type ArrayAtLeastLen,
+  type ArrayAtMostLen,
+  type ArrayBoundedLen,
+  type SmallUint,
+} from 'ts-type-forge';
 import { type Type } from '../type.mjs';
 import {
   createAssertFn,
@@ -12,7 +17,7 @@ import {
 
 export type { ArrayBoundedLen } from 'ts-type-forge';
 
-export const arrayBoundedLength = <
+export function arrayBoundedLength<
   A,
   Min extends SmallUint,
   Max extends SmallUint,
@@ -26,8 +31,61 @@ export const arrayBoundedLength = <
       defaultValue: ArrayBoundedLen<Min, Max, A>;
     }>
   >,
-): Type<ArrayBoundedLen<Min, Max, A>> => {
-  type T = ArrayBoundedLen<Min, Max, A>;
+): Type<ArrayBoundedLen<Min, Max, A>>;
+
+// Only the lower bound is in `SmallUint`, so the upper bound is dropped from the
+// result type and only the "at least `min`" guarantee is kept.
+export function arrayBoundedLength<A, Min extends SmallUint>(
+  min: Min,
+  max: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: ArrayAtLeastLen<Min, A>;
+    }>
+  >,
+): Type<ArrayAtLeastLen<Min, A>>;
+
+// Only the upper bound is in `SmallUint`, so the lower bound is dropped from the
+// result type and only the "at most `max`" guarantee is kept.
+export function arrayBoundedLength<A, Max extends SmallUint>(
+  min: number,
+  max: Max,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: ArrayAtMostLen<Max, A>;
+    }>
+  >,
+): Type<ArrayAtMostLen<Max, A>>;
+
+// Neither bound is in `SmallUint`, so the result length is left unconstrained.
+export function arrayBoundedLength<A>(
+  min: number,
+  max: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]>;
+
+export function arrayBoundedLength<A>(
+  min: number,
+  max: number,
+  elementType: Type<A>,
+  options?: Partial<
+    Readonly<{
+      typeName: string;
+      defaultValue: readonly A[];
+    }>
+  >,
+): Type<readonly A[]> {
+  type T = readonly A[];
 
   const typeName =
     options?.typeName ??
@@ -37,8 +95,7 @@ export const arrayBoundedLength = <
     (): T =>
       options?.defaultValue ??
       // An array of the minimum length is the shortest value within the range.
-      // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-      (Arr.create(min, elementType.defaultValue) as T),
+      Arr.create(asUint32(min), elementType.defaultValue),
   );
 
   const validate: Type<T>['validate'] = (a) => {
@@ -94,14 +151,14 @@ export const arrayBoundedLength = <
     }
 
     // Trim down to at most `max`, then pad up to at least `min`.
-    const capped = Arr.take(a, max);
+    const capped = Arr.take(a, asUint32(max));
 
-    // eslint-disable-next-line total-functions/no-unsafe-type-assertion
-    return (
-      capped.length >= min
-        ? Arr.map(capped, (el) => elementType.fill(el) satisfies A)
-        : Arr.map(Arr.seq(min), (i) => elementType.fill(capped[i]) satisfies A)
-    ) as T;
+    return capped.length >= min
+      ? Arr.map(capped, (el) => elementType.fill(el) satisfies A)
+      : Arr.map(
+          Arr.seq(asUint32(min)),
+          (i) => elementType.fill(capped[i]) satisfies A,
+        );
   };
 
   return {
@@ -115,4 +172,4 @@ export const arrayBoundedLength = <
     cast: createCastFn(validate),
     assertIs: createAssertFn(validate),
   };
-};
+}

package/src/array/array-bounded-length.test.mts

@@ -1,5 +1,9 @@
 import { expectType, Result } from 'ts-data-forge';
-import { type ArrayBoundedLen } from 'ts-type-forge';
+import {
+  type ArrayAtLeastLen,
+  type ArrayAtMostLen,
+  type ArrayBoundedLen,
+} from 'ts-type-forge';
 import { number } from '../primitives/index.mjs';
 import { type TypeOf } from '../type.mjs';
 import {
@@ -249,4 +253,40 @@ describe(arrayBoundedLength, () => {
       assert.deepStrictEqual(xs.fill(ys), [1, 2, 3]);
     });
   });
+
+  describe('bounds outside SmallUint', () => {
+    // A plain `number` is outside `SmallUint`, so it drops the corresponding
+    // bound from the result type.
+    const dynamic: number = 3;
+
+    // min ∈ SmallUint & max ∉ SmallUint -> ArrayAtLeastLen<min, A>
+    const atLeast = arrayBoundedLength(2, dynamic, number());
+
+    expectType<TypeOf<typeof atLeast>, ArrayAtLeastLen<2, number>>('=');
+
+    // min ∉ SmallUint & max ∈ SmallUint -> ArrayAtMostLen<max, A>
+    const atMost = arrayBoundedLength(dynamic, 5, number());
+
+    expectType<TypeOf<typeof atMost>, ArrayAtMostLen<5, number>>('=');
+
+    // min ∉ SmallUint & max ∉ SmallUint -> readonly A[]
+    const unbounded = arrayBoundedLength(dynamic, dynamic, number());
+
+    expectType<TypeOf<typeof unbounded>, readonly number[]>('=');
+
+    test('still validates the range at runtime', () => {
+      // `atLeast` has range [2, 3], `atMost` has range [3, 5], `unbounded` [3, 3].
+      assert.isTrue(atLeast.is([0, 0]));
+
+      assert.isFalse(atLeast.is([0]));
+
+      assert.isTrue(atMost.is([0, 0, 0]));
+
+      assert.isFalse(atMost.is([0, 0]));
+
+      assert.isTrue(unbounded.is([0, 0, 0]));
+
+      assert.isFalse(unbounded.is([0, 0]));
+    });
+  });
 });