@wopjs/cast 0.1.3 → 0.1.4

package/dist/index.d.mts

@@ -36,13 +36,15 @@ declare const asString: (x: unknown) => string;
 declare const isNonEmptyString: (x: unknown) => x is string;
 /** Returns `x` if `x` is a string and not empty, otherwise returns `undefined`. */
 declare const toNonEmptyString: (x: unknown) => string | _;
-declare const isArray: (arg: any) => arg is any[];
+declare const isArray: <T>(x: T) => x is Extract<T, readonly unknown[]>;
 /** Returns `x` if `x` is an array. */
-declare const toArray: (x: unknown) => unknown[] | undefined;
+declare const toArray: <T>(x: T) => Extract<T, readonly unknown[]> | undefined;
+/** Returns `true` if `x` is an array and has at least one element. */
+declare const isNonEmptyArray: <T>(x: T) => x is Extract<T, readonly unknown[]>;
 /** Returns `x` if `x` is an array and has at least one element, otherwise returns `undefined`. */
-declare const toNonEmptyArray: <T>(x: T[]) => T[] | _;
+declare const toNonEmptyArray: <T>(x: T) => Extract<T, readonly unknown[]> | _;
 /** Returns `x` if `x` is an array, otherwise returns `[]` (empty array). */
-declare const asArray: (x: unknown) => unknown[];
+declare const asArray: <T>(x: T) => Extract<T, readonly unknown[]>;
 interface PlainObject {
     [key: PropertyKey]: unknown;
 }
@@ -89,4 +91,4 @@ declare const returnsFalse: () => false;
 declare const returnsTrue: () => true;
 declare const returnsEmptyString: () => string;
 
-export { type Falsy, type IsFalsy, type PlainObject, type _, asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };
+export { type Falsy, type IsFalsy, type PlainObject, type _, asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyArray, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };

package/dist/index.d.ts

@@ -36,13 +36,15 @@ declare const asString: (x: unknown) => string;
 declare const isNonEmptyString: (x: unknown) => x is string;
 /** Returns `x` if `x` is a string and not empty, otherwise returns `undefined`. */
 declare const toNonEmptyString: (x: unknown) => string | _;
-declare const isArray: (arg: any) => arg is any[];
+declare const isArray: <T>(x: T) => x is Extract<T, readonly unknown[]>;
 /** Returns `x` if `x` is an array. */
-declare const toArray: (x: unknown) => unknown[] | undefined;
+declare const toArray: <T>(x: T) => Extract<T, readonly unknown[]> | undefined;
+/** Returns `true` if `x` is an array and has at least one element. */
+declare const isNonEmptyArray: <T>(x: T) => x is Extract<T, readonly unknown[]>;
 /** Returns `x` if `x` is an array and has at least one element, otherwise returns `undefined`. */
-declare const toNonEmptyArray: <T>(x: T[]) => T[] | _;
+declare const toNonEmptyArray: <T>(x: T) => Extract<T, readonly unknown[]> | _;
 /** Returns `x` if `x` is an array, otherwise returns `[]` (empty array). */
-declare const asArray: (x: unknown) => unknown[];
+declare const asArray: <T>(x: T) => Extract<T, readonly unknown[]>;
 interface PlainObject {
     [key: PropertyKey]: unknown;
 }
@@ -89,4 +91,4 @@ declare const returnsFalse: () => false;
 declare const returnsTrue: () => true;
 declare const returnsEmptyString: () => string;
 
-export { type Falsy, type IsFalsy, type PlainObject, type _, asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };
+export { type Falsy, type IsFalsy, type PlainObject, type _, asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyArray, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };

package/dist/index.js

@@ -21,7 +21,8 @@ var isNonEmptyString = (x) => isString(x) && x !== "";
 var toNonEmptyString = (x) => isNonEmptyString(x) ? x : _;
 var isArray = Array.isArray;
 var toArray = (x) => isArray(x) ? x : _;
-var toNonEmptyArray = (x) => x.length > 0 ? x : _;
+var isNonEmptyArray = (x) => isArray(x) && x.length > 0;
+var toNonEmptyArray = (x) => isNonEmptyArray(x) ? x : _;
 var asArray = (x) => isArray(x) ? x : [];
 var isObject = (x) => x !== null && typeof x === "object";
 var asObject = (x) => isObject(x) ? x : {};
@@ -78,6 +79,7 @@ exports.isArray = isArray;
 exports.isBoolean = isBoolean;
 exports.isDefined = isDefined;
 exports.isFalsy = isFalsy;
+exports.isNonEmptyArray = isNonEmptyArray;
 exports.isNonEmptyJSONObject = isNonEmptyJSONObject;
 exports.isNonEmptyPlainObject = isNonEmptyPlainObject;
 exports.isNonEmptyString = isNonEmptyString;

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/is-to-as.ts","../src/returns.ts"],"names":[],"mappings":";;;AAAA,IAAM,CAAA,GAAI,MAAA;AAIH,IAAM,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAA,KAAM;AAEzD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM;AAGhD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM,OAAO,IAAA,GAAO;AAG9D,IAAM,MAAA,GAAS,CAAC,CAAA,KAAyB,CAAA,KAAM,OAAO,CAAA,GAAI;AAU1D,IAAM,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAA,GAAW,CAAI,CAAA,KAAiC,CAAC,CAAC;AAGxD,IAAM,WAAW,CAAI,CAAA,KAAiC,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAExE,IAAM,SAAA,GAAY,CAAC,CAAA,KAA6B,CAAA,KAAM,QAAQ,CAAA,KAAM;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAA,CAAU,CAAC,IAAI,CAAA,GAAI;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAA,KAAM;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,QAAA,GAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,KAAK,CAAA,KAAM;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAA,CAAiB,CAAC,IAAI,CAAA,GAAI;AAEhF,IAAM,UAAU,KAAA,CAAM;AAGtB,IAAM,UAAU,CAAC,CAAA,KAAuC,OAAA,CAAQ,CAAC,IAAI,CAAA,GAAI;AAGzE,IAAM,kBAAkB,CAAI,CAAA,KAAqB,CAAA,CAAE,MAAA,GAAS,IAAI,CAAA,GAAI;AAGpE,IAAM,UAAU,CAAC,CAAA,KAA2B,QAAQ,CAAC,CAAA,GAAI,IAAI;AAO7D,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAA,KAAM,IAAA,IAAQ,OAAO,CAAA,KAAM;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAG5D,IAAM,aAAA,GAAgB,CAAC,CAAA,KAAiC,QAAA,CAAS,CAAC,CAAA,IAAK,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,IAAI,CAAA,GAAI;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAG3E,IAAM,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,KAAK,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA,CAAE,MAAA,GAAS;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAA,CAAsB,CAAC,IAAI,CAAA,GAAI;AAGtG,IAAM,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAA,CAAc,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAC,CAAA,CAAE,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAA,CAAqB,CAAC,IAAI,CAAA,GAAI;AAMpG,IAAM,eAAA,GAAkB,CAAI,CAAA,EAAY,CAAA,KAA6D;AAC1G,EAAA,IAAI,aAAA,CAAc,CAAC,CAAA,EAAG;AACpB,IAAA,IAAI,KAAA,GAAQ,EAAA;AACZ,IAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAA,CAAM,MAAA;AACnB,IAAA,IAAI,MAAA;AAEJ,IAAA,OAAO,EAAE,QAAQ,MAAA,EAAQ;AACvB,MAAA,IAAI,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAA,IAAI,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAA,IAAI,CAAA,CAAE,KAAK,CAAA,EAAG;AACZ,QAAA,CAAC,MAAA,KAAW,EAAC,EAAG,GAAG,CAAA,GAAI,KAAA;AAAA,MACzB;AAAA,IACF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT;AACF;AAGO,IAAM,mBAAA,GAAsB,CAAC,CAAA,KAAiD,eAAA,CAAgB,GAAG,MAAM;AAOvG,IAAM,KAAA,GAAQ,CAAC,CAAA,KAAuB;AAC3C,EAAA,IAAI,QAAA,CAAS,CAAC,CAAA,EAAG,OAAO,CAAA;AACxB,EAAA,IAAI,CAAA,IAAK,MAAM,OAAO,EAAA;AACtB,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,SAAA,CAAU,CAAA,EAAG,IAAA,EAAM,CAAC,CAAA;AAAA,EAClC,CAAA,CAAA,MAAQ;AAEN,IAAA,OAAO,CAAA,GAAI,EAAA;AAAA,EACb;AACF;;;AC9IO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAA,GAAmB;AAEzB,IAAM,cAAc,MAAY;AAEhC,IAAM,eAAe,MAAa;AAElC,IAAM,cAAc,MAAY;AAEhC,IAAM,qBAAqB,MAAc","file":"index.js"}
+{"version":3,"sources":["../src/is-to-as.ts","../src/returns.ts"],"names":[],"mappings":";;;AAAA,IAAM,CAAA,GAAI,MAAA;AAIH,IAAM,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAA,KAAM;AAEzD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM;AAGhD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM,OAAO,IAAA,GAAO;AAG9D,IAAM,MAAA,GAAS,CAAC,CAAA,KAAyB,CAAA,KAAM,OAAO,CAAA,GAAI;AAU1D,IAAM,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAA,GAAW,CAAI,CAAA,KAAiC,CAAC,CAAC;AAGxD,IAAM,WAAW,CAAI,CAAA,KAAiC,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAExE,IAAM,SAAA,GAAY,CAAC,CAAA,KAA6B,CAAA,KAAM,QAAQ,CAAA,KAAM;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAA,CAAU,CAAC,IAAI,CAAA,GAAI;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAA,KAAM;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,QAAA,GAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,KAAK,CAAA,KAAM;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAA,CAAiB,CAAC,IAAI,CAAA,GAAI;AAEhF,IAAM,UAAU,KAAA,CAAM;AAGtB,IAAM,UAAU,CAAI,CAAA,KAAsD,OAAA,CAAQ,CAAC,IAAI,CAAA,GAAI;AAG3F,IAAM,kBAAkB,CAAI,CAAA,KAA8C,QAAQ,CAAC,CAAA,IAAK,EAAE,MAAA,GAAS;AAGnG,IAAM,kBAAkB,CAAI,CAAA,KAA8C,eAAA,CAAgB,CAAC,IAAI,CAAA,GAAI;AAGnG,IAAM,UAAU,CAAI,CAAA,KACzB,QAAQ,CAAC,CAAA,GAAI,IAAK;AAOb,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAA,KAAM,IAAA,IAAQ,OAAO,CAAA,KAAM;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAG5D,IAAM,aAAA,GAAgB,CAAC,CAAA,KAAiC,QAAA,CAAS,CAAC,CAAA,IAAK,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,IAAI,CAAA,GAAI;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAG3E,IAAM,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,KAAK,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA,CAAE,MAAA,GAAS;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAA,CAAsB,CAAC,IAAI,CAAA,GAAI;AAGtG,IAAM,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAA,CAAc,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAC,CAAA,CAAE,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAA,CAAqB,CAAC,IAAI,CAAA,GAAI;AAMpG,IAAM,eAAA,GAAkB,CAAI,CAAA,EAAY,CAAA,KAA6D;AAC1G,EAAA,IAAI,aAAA,CAAc,CAAC,CAAA,EAAG;AACpB,IAAA,IAAI,KAAA,GAAQ,EAAA;AACZ,IAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAA,CAAM,MAAA;AACnB,IAAA,IAAI,MAAA;AAEJ,IAAA,OAAO,EAAE,QAAQ,MAAA,EAAQ;AACvB,MAAA,IAAI,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAA,IAAI,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAA,IAAI,CAAA,CAAE,KAAK,CAAA,EAAG;AACZ,QAAA,CAAC,MAAA,KAAW,EAAC,EAAG,GAAG,CAAA,GAAI,KAAA;AAAA,MACzB;AAAA,IACF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT;AACF;AAGO,IAAM,mBAAA,GAAsB,CAAC,CAAA,KAAiD,eAAA,CAAgB,GAAG,MAAM;AAOvG,IAAM,KAAA,GAAQ,CAAC,CAAA,KAAuB;AAC3C,EAAA,IAAI,QAAA,CAAS,CAAC,CAAA,EAAG,OAAO,CAAA;AACxB,EAAA,IAAI,CAAA,IAAK,MAAM,OAAO,EAAA;AACtB,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,SAAA,CAAU,CAAA,EAAG,IAAA,EAAM,CAAC,CAAA;AAAA,EAClC,CAAA,CAAA,MAAQ;AAEN,IAAA,OAAO,CAAA,GAAI,EAAA;AAAA,EACb;AACF;;;AClJO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAA,GAAmB;AAEzB,IAAM,cAAc,MAAY;AAEhC,IAAM,eAAe,MAAa;AAElC,IAAM,cAAc,MAAY;AAEhC,IAAM,qBAAqB,MAAc","file":"index.js"}

package/dist/index.mjs

@@ -19,7 +19,8 @@ var isNonEmptyString = (x) => isString(x) && x !== "";
 var toNonEmptyString = (x) => isNonEmptyString(x) ? x : _;
 var isArray = Array.isArray;
 var toArray = (x) => isArray(x) ? x : _;
-var toNonEmptyArray = (x) => x.length > 0 ? x : _;
+var isNonEmptyArray = (x) => isArray(x) && x.length > 0;
+var toNonEmptyArray = (x) => isNonEmptyArray(x) ? x : _;
 var asArray = (x) => isArray(x) ? x : [];
 var isObject = (x) => x !== null && typeof x === "object";
 var asObject = (x) => isObject(x) ? x : {};
@@ -66,6 +67,6 @@ var returnsFalse = () => false;
 var returnsTrue = () => true;
 var returnsEmptyString = () => "";
 
-export { asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };
+export { asArray, asNumber, asObject, asPlainObject, asString, asTrue, isArray, isBoolean, isDefined, isFalsy, isNonEmptyArray, isNonEmptyJSONObject, isNonEmptyPlainObject, isNonEmptyString, isNumber, isObject, isPlainObject, isString, isTrue, isTruthy, noop, print, returnsEmptyString, returnsFalse, returnsNull, returnsTrue, returnsUndefined, toArray, toBoolean, toNonEmptyArray, toNonEmptyJSONObject, toNonEmptyPlainObject, toNonEmptyString, toNumber, toPlainObject, toPlainObjectOf, toPlainObjectOfTrue, toString, toTrue, toTruthy };
 //# sourceMappingURL=index.mjs.map
 //# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/is-to-as.ts","../src/returns.ts"],"names":[],"mappings":";AAAA,IAAM,CAAA,GAAI,MAAA;AAIH,IAAM,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAA,KAAM;AAEzD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM;AAGhD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM,OAAO,IAAA,GAAO;AAG9D,IAAM,MAAA,GAAS,CAAC,CAAA,KAAyB,CAAA,KAAM,OAAO,CAAA,GAAI;AAU1D,IAAM,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAA,GAAW,CAAI,CAAA,KAAiC,CAAC,CAAC;AAGxD,IAAM,WAAW,CAAI,CAAA,KAAiC,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAExE,IAAM,SAAA,GAAY,CAAC,CAAA,KAA6B,CAAA,KAAM,QAAQ,CAAA,KAAM;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAA,CAAU,CAAC,IAAI,CAAA,GAAI;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAA,KAAM;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,QAAA,GAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,KAAK,CAAA,KAAM;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAA,CAAiB,CAAC,IAAI,CAAA,GAAI;AAEhF,IAAM,UAAU,KAAA,CAAM;AAGtB,IAAM,UAAU,CAAC,CAAA,KAAuC,OAAA,CAAQ,CAAC,IAAI,CAAA,GAAI;AAGzE,IAAM,kBAAkB,CAAI,CAAA,KAAqB,CAAA,CAAE,MAAA,GAAS,IAAI,CAAA,GAAI;AAGpE,IAAM,UAAU,CAAC,CAAA,KAA2B,QAAQ,CAAC,CAAA,GAAI,IAAI;AAO7D,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAA,KAAM,IAAA,IAAQ,OAAO,CAAA,KAAM;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAG5D,IAAM,aAAA,GAAgB,CAAC,CAAA,KAAiC,QAAA,CAAS,CAAC,CAAA,IAAK,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,IAAI,CAAA,GAAI;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAG3E,IAAM,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,KAAK,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA,CAAE,MAAA,GAAS;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAA,CAAsB,CAAC,IAAI,CAAA,GAAI;AAGtG,IAAM,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAA,CAAc,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAC,CAAA,CAAE,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAA,CAAqB,CAAC,IAAI,CAAA,GAAI;AAMpG,IAAM,eAAA,GAAkB,CAAI,CAAA,EAAY,CAAA,KAA6D;AAC1G,EAAA,IAAI,aAAA,CAAc,CAAC,CAAA,EAAG;AACpB,IAAA,IAAI,KAAA,GAAQ,EAAA;AACZ,IAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAA,CAAM,MAAA;AACnB,IAAA,IAAI,MAAA;AAEJ,IAAA,OAAO,EAAE,QAAQ,MAAA,EAAQ;AACvB,MAAA,IAAI,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAA,IAAI,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAA,IAAI,CAAA,CAAE,KAAK,CAAA,EAAG;AACZ,QAAA,CAAC,MAAA,KAAW,EAAC,EAAG,GAAG,CAAA,GAAI,KAAA;AAAA,MACzB;AAAA,IACF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT;AACF;AAGO,IAAM,mBAAA,GAAsB,CAAC,CAAA,KAAiD,eAAA,CAAgB,GAAG,MAAM;AAOvG,IAAM,KAAA,GAAQ,CAAC,CAAA,KAAuB;AAC3C,EAAA,IAAI,QAAA,CAAS,CAAC,CAAA,EAAG,OAAO,CAAA;AACxB,EAAA,IAAI,CAAA,IAAK,MAAM,OAAO,EAAA;AACtB,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,SAAA,CAAU,CAAA,EAAG,IAAA,EAAM,CAAC,CAAA;AAAA,EAClC,CAAA,CAAA,MAAQ;AAEN,IAAA,OAAO,CAAA,GAAI,EAAA;AAAA,EACb;AACF;;;AC9IO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAA,GAAmB;AAEzB,IAAM,cAAc,MAAY;AAEhC,IAAM,eAAe,MAAa;AAElC,IAAM,cAAc,MAAY;AAEhC,IAAM,qBAAqB,MAAc","file":"index.mjs"}
+{"version":3,"sources":["../src/is-to-as.ts","../src/returns.ts"],"names":[],"mappings":";AAAA,IAAM,CAAA,GAAI,MAAA;AAIH,IAAM,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAA,KAAM;AAEzD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM;AAGhD,IAAM,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAA,KAAM,OAAO,IAAA,GAAO;AAG9D,IAAM,MAAA,GAAS,CAAC,CAAA,KAAyB,CAAA,KAAM,OAAO,CAAA,GAAI;AAU1D,IAAM,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAA,GAAW,CAAI,CAAA,KAAiC,CAAC,CAAC;AAGxD,IAAM,WAAW,CAAI,CAAA,KAAiC,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAExE,IAAM,SAAA,GAAY,CAAC,CAAA,KAA6B,CAAA,KAAM,QAAQ,CAAA,KAAM;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAA,CAAU,CAAC,IAAI,CAAA,GAAI;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAA,KAAM;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,QAAA,GAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAA,CAAS,CAAC,IAAI,CAAA,GAAI;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAA,CAAS,CAAC,KAAK,CAAA,KAAM;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAA,CAAiB,CAAC,IAAI,CAAA,GAAI;AAEhF,IAAM,UAAU,KAAA,CAAM;AAGtB,IAAM,UAAU,CAAI,CAAA,KAAsD,OAAA,CAAQ,CAAC,IAAI,CAAA,GAAI;AAG3F,IAAM,kBAAkB,CAAI,CAAA,KAA8C,QAAQ,CAAC,CAAA,IAAK,EAAE,MAAA,GAAS;AAGnG,IAAM,kBAAkB,CAAI,CAAA,KAA8C,eAAA,CAAgB,CAAC,IAAI,CAAA,GAAI;AAGnG,IAAM,UAAU,CAAI,CAAA,KACzB,QAAQ,CAAC,CAAA,GAAI,IAAK;AAOb,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAA,KAAM,IAAA,IAAQ,OAAO,CAAA,KAAM;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAG5D,IAAM,aAAA,GAAgB,CAAC,CAAA,KAAiC,QAAA,CAAS,CAAC,CAAA,IAAK,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,IAAI,CAAA,GAAI;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAG3E,IAAM,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAA,CAAc,CAAC,KAAK,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA,CAAE,MAAA,GAAS;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAA,CAAsB,CAAC,IAAI,CAAA,GAAI;AAGtG,IAAM,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAA,CAAc,CAAC,CAAA,IAAK,MAAA,CAAO,MAAA,CAAO,CAAC,CAAA,CAAE,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAA,CAAqB,CAAC,IAAI,CAAA,GAAI;AAMpG,IAAM,eAAA,GAAkB,CAAI,CAAA,EAAY,CAAA,KAA6D;AAC1G,EAAA,IAAI,aAAA,CAAc,CAAC,CAAA,EAAG;AACpB,IAAA,IAAI,KAAA,GAAQ,EAAA;AACZ,IAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAA,CAAM,MAAA;AACnB,IAAA,IAAI,MAAA;AAEJ,IAAA,OAAO,EAAE,QAAQ,MAAA,EAAQ;AACvB,MAAA,IAAI,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAA,IAAI,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAA,IAAI,CAAA,CAAE,KAAK,CAAA,EAAG;AACZ,QAAA,CAAC,MAAA,KAAW,EAAC,EAAG,GAAG,CAAA,GAAI,KAAA;AAAA,MACzB;AAAA,IACF;AAEA,IAAA,OAAO,MAAA;AAAA,EACT;AACF;AAGO,IAAM,mBAAA,GAAsB,CAAC,CAAA,KAAiD,eAAA,CAAgB,GAAG,MAAM;AAOvG,IAAM,KAAA,GAAQ,CAAC,CAAA,KAAuB;AAC3C,EAAA,IAAI,QAAA,CAAS,CAAC,CAAA,EAAG,OAAO,CAAA;AACxB,EAAA,IAAI,CAAA,IAAK,MAAM,OAAO,EAAA;AACtB,EAAA,IAAI;AACF,IAAA,OAAO,IAAA,CAAK,SAAA,CAAU,CAAA,EAAG,IAAA,EAAM,CAAC,CAAA;AAAA,EAClC,CAAA,CAAA,MAAQ;AAEN,IAAA,OAAO,CAAA,GAAI,EAAA;AAAA,EACb;AACF;;;AClJO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAA,GAAmB;AAEzB,IAAM,cAAc,MAAY;AAEhC,IAAM,eAAe,MAAa;AAElC,IAAM,cAAc,MAAY;AAEhC,IAAM,qBAAqB,MAAc","file":"index.mjs"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@wopjs/cast",
-  "version": "0.1.3",
+  "version": "0.1.4",
   "description": "Filter types from unknown",
   "repository": "wopjs/cast",
   "main": "./dist/index.js",

package/src/is-to-as.test.ts

@@ -20,6 +20,7 @@ import {
   print,
   isArray,
   toArray,
+  isNonEmptyArray,
   asArray,
   toNonEmptyArray,
   isObject,
@@ -151,21 +152,172 @@ describe("primitive.ts", () => {
   it("isArray", () => {
     expect(isArray([])).toBe(true);
     expect(isArray({})).toBe(false);
+
+    // Type narrowing - preserves array type
+    const stringArr: string[] = ["a", "b"];
+    if (isArray(stringArr)) {
+      const _check: string[] = stringArr;
+      expect(_check).toBe(stringArr);
+    }
+
+    // Type narrowing - extracts array from union
+    const unionValue: string | string[] = ["a"];
+    if (isArray(unionValue)) {
+      const _check: string[] = unionValue;
+      expect(_check).toBe(unionValue);
+    }
+
+    // Type narrowing - preserves readonly array
+    const readonlyArr: readonly number[] = [1, 2];
+    if (isArray(readonlyArr)) {
+      const _check: readonly number[] = readonlyArr;
+      expect(_check).toBe(readonlyArr);
+    }
+
+    // Type narrowing - preserves tuple
+    const tuple: [string, number] = ["a", 1];
+    if (isArray(tuple)) {
+      const _check: [string, number] = tuple;
+      expect(_check).toBe(tuple);
+    }
   });
 
   it("toArray", () => {
     expect(toArray([])).toEqual([]);
     expect(toArray({})).toBe(undefined);
+
+    // Type narrowing - preserves array type
+    const stringArr: string[] = ["a", "b"];
+    const result1 = toArray(stringArr);
+    if (result1) {
+      const _check: string[] = result1;
+      expect(_check).toBe(stringArr);
+    }
+
+    // Type narrowing - extracts array from union
+    const unionValue: string | string[] = ["a"];
+    const result2 = toArray(unionValue);
+    if (result2) {
+      const _check: string[] = result2;
+      expect(_check).toBe(unionValue);
+    }
+
+    // Type narrowing - preserves readonly array
+    const readonlyArr: readonly number[] = [1, 2];
+    const result3 = toArray(readonlyArr);
+    if (result3) {
+      const _check: readonly number[] = result3;
+      expect(_check).toBe(readonlyArr);
+    }
+
+    // Type narrowing - preserves tuple
+    const tuple: [string, number] = ["a", 1];
+    const result4 = toArray(tuple);
+    if (result4) {
+      const _check: [string, number] = result4;
+      expect(_check).toBe(tuple);
+    }
+  });
+
+  it("isNonEmptyArray", () => {
+    // Runtime behavior
+    expect(isNonEmptyArray([1])).toBe(true);
+    expect(isNonEmptyArray([1, 2, 3])).toBe(true);
+    expect(isNonEmptyArray([])).toBe(false);
+    expect(isNonEmptyArray({})).toBe(false);
+    expect(isNonEmptyArray(null)).toBe(false);
+    expect(isNonEmptyArray(undefined)).toBe(false);
+    expect(isNonEmptyArray("string")).toBe(false);
+
+    // Type narrowing - preserves array type
+    const stringArr: string[] = ["a", "b"];
+    if (isNonEmptyArray(stringArr)) {
+      const _check: string[] = stringArr;
+      expect(_check).toBe(stringArr);
+    }
+
+    // Type narrowing - extracts array from union
+    const unionValue: string | string[] = ["a"];
+    if (isNonEmptyArray(unionValue)) {
+      const _check: string[] = unionValue;
+      expect(_check).toBe(unionValue);
+    }
+
+    // Type narrowing - preserves readonly array
+    const readonlyArr: readonly number[] = [1, 2];
+    if (isNonEmptyArray(readonlyArr)) {
+      const _check: readonly number[] = readonlyArr;
+      expect(_check).toBe(readonlyArr);
+    }
+
+    // Type narrowing - preserves tuple
+    const tuple: [string, number] = ["a", 1];
+    if (isNonEmptyArray(tuple)) {
+      const _check: [string, number] = tuple;
+      expect(_check).toBe(tuple);
+    }
   });
 
   it("asArray", () => {
     expect(asArray([])).toEqual([]);
     expect(asArray({})).toEqual([]);
+
+    // Type narrowing - preserves array type
+    const stringArr: string[] = ["a", "b"];
+    const result1: string[] = asArray(stringArr);
+    expect(result1).toBe(stringArr);
+
+    // Type narrowing - extracts array from union
+    const unionValue: string | string[] = ["a"];
+    const result2: string[] = asArray(unionValue);
+    expect(result2).toEqual(["a"]);
+
+    // Type narrowing - preserves readonly array
+    const readonlyArr: readonly number[] = [1, 2];
+    const result3: readonly number[] = asArray(readonlyArr);
+    expect(result3).toBe(readonlyArr);
+
+    // Type narrowing - preserves tuple
+    const tuple: [string, number] = ["a", 1];
+    const result4: [string, number] = asArray(tuple);
+    expect(result4).toBe(tuple);
   });
 
   it("toNonEmptyArray", () => {
     expect(toNonEmptyArray([1])).toEqual([1]);
     expect(toNonEmptyArray([])).toBe(undefined);
+
+    // Type narrowing - preserves array type
+    const stringArr: string[] = ["a", "b"];
+    const result1 = toNonEmptyArray(stringArr);
+    if (result1) {
+      const _check: string[] = result1;
+      expect(_check).toBe(stringArr);
+    }
+
+    // Type narrowing - extracts array from union
+    const unionValue: string | string[] = ["a"];
+    const result2 = toNonEmptyArray(unionValue);
+    if (result2) {
+      const _check: string[] = result2;
+      expect(_check).toBe(unionValue);
+    }
+
+    // Type narrowing - preserves readonly array
+    const readonlyArr: readonly number[] = [1, 2];
+    const result3 = toNonEmptyArray(readonlyArr);
+    if (result3) {
+      const _check: readonly number[] = result3;
+      expect(_check).toBe(readonlyArr);
+    }
+
+    // Type narrowing - preserves tuple
+    const tuple: [string, number] = ["a", 1];
+    const result4 = toNonEmptyArray(tuple);
+    if (result4) {
+      const _check: [string, number] = result4;
+      expect(_check).toBe(tuple);
+    }
   });
 
   it("isObject", () => {

package/src/is-to-as.ts

@@ -57,16 +57,20 @@ export const isNonEmptyString = (x: unknown): x is string => isString(x) && x !=
 /** Returns `x` if `x` is a string and not empty, otherwise returns `undefined`. */
 export const toNonEmptyString = (x: unknown): string | _ => (isNonEmptyString(x) ? x : _);
 
-export const isArray = Array.isArray;
+export const isArray = Array.isArray as <T>(x: T) => x is Extract<T, readonly unknown[]>;
 
 /** Returns `x` if `x` is an array. */
-export const toArray = (x: unknown): unknown[] | undefined => (isArray(x) ? x : _);
+export const toArray = <T>(x: T): Extract<T, readonly unknown[]> | undefined => (isArray(x) ? x : _);
+
+/** Returns `true` if `x` is an array and has at least one element. */
+export const isNonEmptyArray = <T>(x: T): x is Extract<T, readonly unknown[]> => isArray(x) && x.length > 0;
 
 /** Returns `x` if `x` is an array and has at least one element, otherwise returns `undefined`. */
-export const toNonEmptyArray = <T>(x: T[]): T[] | _ => (x.length > 0 ? x : _);
+export const toNonEmptyArray = <T>(x: T): Extract<T, readonly unknown[]> | _ => (isNonEmptyArray(x) ? x : _);
 
 /** Returns `x` if `x` is an array, otherwise returns `[]` (empty array). */
-export const asArray = (x: unknown): unknown[] => (isArray(x) ? x : []);
+export const asArray = <T>(x: T): Extract<T, readonly unknown[]> =>
+  isArray(x) ? x : ([] as Extract<T, readonly unknown[]>);
 
 export interface PlainObject {
   [key: PropertyKey]: unknown;