@wopjs/cast 0.1.2 → 0.1.4

package/dist/index.d.mts

@@ -15,6 +15,8 @@ interface IsFalsy {
 declare const isFalsy: IsFalsy;
 /** Returns `true` if `Boolean(x)` is `true`. */
 declare const isTruthy: <T>(x: T) => x is Exclude<T, Falsy>;
+/** Returns `x` if `Boolean(x)` is `true`, otherwise returns `undefined`. */
+declare const toTruthy: <T>(x: T) => Exclude<T, Falsy> | _;
 declare const isBoolean: (x: unknown) => x is boolean;
 /** Returns `x` if `x` is `true` or `false`, otherwise returns `undefined`. */
 declare const toBoolean: (x: unknown) => boolean | _;
@@ -34,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;
 }
@@ -87,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 };
+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

@@ -15,6 +15,8 @@ interface IsFalsy {
 declare const isFalsy: IsFalsy;
 /** Returns `true` if `Boolean(x)` is `true`. */
 declare const isTruthy: <T>(x: T) => x is Exclude<T, Falsy>;
+/** Returns `x` if `Boolean(x)` is `true`, otherwise returns `undefined`. */
+declare const toTruthy: <T>(x: T) => Exclude<T, Falsy> | _;
 declare const isBoolean: (x: unknown) => x is boolean;
 /** Returns `x` if `x` is `true` or `false`, otherwise returns `undefined`. */
 declare const toBoolean: (x: unknown) => boolean | _;
@@ -34,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;
 }
@@ -87,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 };
+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

@@ -8,6 +8,7 @@ var toTrue = (x) => x === true ? true : _;
 var asTrue = (x) => x === true ? x : false;
 var isFalsy = (x) => !x;
 var isTruthy = (x) => !!x;
+var toTruthy = (x) => isTruthy(x) ? x : _;
 var isBoolean = (x) => x === true || x === false;
 var toBoolean = (x) => isBoolean(x) ? x : _;
 var isNumber = (x) => typeof x === "number" && x === x;
@@ -20,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 : {};
@@ -77,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;
@@ -105,5 +108,6 @@ exports.toPlainObjectOf = toPlainObjectOf;
 exports.toPlainObjectOfTrue = toPlainObjectOfTrue;
 exports.toString = toString;
 exports.toTrue = toTrue;
+exports.toTruthy = toTruthy;
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/is-to-as.ts","../src/returns.ts"],"names":[],"mappings":";;;AAAA,IAAM,CAAI,GAAA,KAAA,CAAA;AAIG,IAAA,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAM,KAAA;AAEnD,IAAA,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAM,KAAA;AAGhD,IAAM,MAAS,GAAA,CAAC,CAA0B,KAAA,CAAA,KAAM,OAAO,IAAO,GAAA;AAG9D,IAAM,MAAS,GAAA,CAAC,CAAyB,KAAA,CAAA,KAAM,OAAO,CAAI,GAAA;AAUpD,IAAA,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAW,GAAA,CAAI,CAAiC,KAAA,CAAC,CAAC;AAExD,IAAM,SAAY,GAAA,CAAC,CAA6B,KAAA,CAAA,KAAM,QAAQ,CAAM,KAAA;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAU,CAAA,CAAC,IAAI,CAAI,GAAA;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAM,KAAA;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAG5D,IAAM,QAAW,GAAA,CAAC,CAA4B,KAAA,OAAO,CAAM,KAAA;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,KAAK,CAAM,KAAA;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAiB,CAAA,CAAC,IAAI,CAAI,GAAA;AAEhF,IAAM,UAAU,KAAM,CAAA;AAGtB,IAAM,UAAU,CAAC,CAAA,KAAuC,OAAQ,CAAA,CAAC,IAAI,CAAI,GAAA;AAGzE,IAAM,kBAAkB,CAAI,CAAA,KAAqB,CAAE,CAAA,MAAA,GAAS,IAAI,CAAI,GAAA;AAGpE,IAAM,UAAU,CAAC,CAAA,KAA2B,QAAQ,CAAC,CAAA,GAAI,IAAI;AAO7D,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAM,KAAA,IAAA,IAAQ,OAAO,CAAM,KAAA;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAGtD,IAAA,aAAA,GAAgB,CAAC,CAAiC,KAAA,QAAA,CAAS,CAAC,CAAK,IAAA,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAc,CAAA,CAAC,IAAI,CAAI,GAAA;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAGrE,IAAA,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAc,CAAA,CAAC,KAAK,MAAO,CAAA,IAAA,CAAK,CAAC,CAAA,CAAE,MAAS,GAAA;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAsB,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhG,IAAA,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAc,CAAA,CAAC,CAAK,IAAA,MAAA,CAAO,MAAO,CAAA,CAAC,CAAE,CAAA,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAqB,CAAA,CAAC,IAAI,CAAI,GAAA;AAM9F,IAAA,eAAA,GAAkB,CAAI,CAAA,EAAY,CAA6D,KAAA;AAC1G,EAAI,IAAA,aAAA,CAAc,CAAC,CAAG,EAAA;AACpB,IAAA,IAAI,KAAQ,GAAA,CAAA,CAAA;AACZ,IAAI,IAAA,KAAA,GAAQ,MAAO,CAAA,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAM,CAAA,MAAA;AACnB,IAAI,IAAA,MAAA;AAEJ,IAAO,OAAA,EAAE,QAAQ,MAAQ,EAAA;AACvB,MAAI,IAAA,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAI,IAAA,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAI,IAAA,CAAA,CAAE,KAAK,CAAG,EAAA;AACZ,QAAA,CAAC,MAAW,KAAA,EAAI,EAAA,GAAG,CAAI,GAAA,KAAA;AAAA;AACzB;AAGF,IAAO,OAAA,MAAA;AAAA;AAEX;AAGO,IAAM,mBAAsB,GAAA,CAAC,CAAiD,KAAA,eAAA,CAAgB,GAAG,MAAM;AAOjG,IAAA,KAAA,GAAQ,CAAC,CAAuB,KAAA;AAC3C,EAAI,IAAA,QAAA,CAAS,CAAC,CAAA,EAAU,OAAA,CAAA;AACxB,EAAI,IAAA,CAAA,IAAK,MAAa,OAAA,EAAA;AACtB,EAAI,IAAA;AACF,IAAA,OAAO,IAAK,CAAA,SAAA,CAAU,CAAG,EAAA,IAAA,EAAM,CAAC,CAAA;AAAA,GAC1B,CAAA,MAAA;AAEN,IAAA,OAAO,CAAI,GAAA,EAAA;AAAA;AAEf;;;AC3IO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAmB,GAAA;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

@@ -6,6 +6,7 @@ var toTrue = (x) => x === true ? true : _;
 var asTrue = (x) => x === true ? x : false;
 var isFalsy = (x) => !x;
 var isTruthy = (x) => !!x;
+var toTruthy = (x) => isTruthy(x) ? x : _;
 var isBoolean = (x) => x === true || x === false;
 var toBoolean = (x) => isBoolean(x) ? x : _;
 var isNumber = (x) => typeof x === "number" && x === x;
@@ -18,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 : {};
@@ -65,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 };
+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,CAAI,GAAA,KAAA,CAAA;AAIG,IAAA,SAAA,GAAY,CAAI,CAAA,KAA6B,CAAM,KAAA;AAEnD,IAAA,MAAA,GAAS,CAAC,CAAA,KAA0B,CAAM,KAAA;AAGhD,IAAM,MAAS,GAAA,CAAC,CAA0B,KAAA,CAAA,KAAM,OAAO,IAAO,GAAA;AAG9D,IAAM,MAAS,GAAA,CAAC,CAAyB,KAAA,CAAA,KAAM,OAAO,CAAI,GAAA;AAUpD,IAAA,OAAA,GAAmB,CAAC,CAAA,KAA2B,CAAC;AAGtD,IAAM,QAAW,GAAA,CAAI,CAAiC,KAAA,CAAC,CAAC;AAExD,IAAM,SAAY,GAAA,CAAC,CAA6B,KAAA,CAAA,KAAM,QAAQ,CAAM,KAAA;AAGpE,IAAM,YAAY,CAAC,CAAA,KAA6B,SAAU,CAAA,CAAC,IAAI,CAAI,GAAA;AAGnE,IAAM,WAAW,CAAC,CAAA,KAA4B,OAAO,CAAA,KAAM,YAAY,CAAM,KAAA;AAG7E,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAG5D,IAAM,QAAW,GAAA,CAAC,CAA4B,KAAA,OAAO,CAAM,KAAA;AAG3D,IAAM,WAAW,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhE,IAAM,WAAW,CAAC,CAAA,KAAwB,QAAS,CAAA,CAAC,IAAI,CAAI,GAAA;AAG5D,IAAM,mBAAmB,CAAC,CAAA,KAA4B,QAAS,CAAA,CAAC,KAAK,CAAM,KAAA;AAG3E,IAAM,mBAAmB,CAAC,CAAA,KAA4B,gBAAiB,CAAA,CAAC,IAAI,CAAI,GAAA;AAEhF,IAAM,UAAU,KAAM,CAAA;AAGtB,IAAM,UAAU,CAAC,CAAA,KAAuC,OAAQ,CAAA,CAAC,IAAI,CAAI,GAAA;AAGzE,IAAM,kBAAkB,CAAI,CAAA,KAAqB,CAAE,CAAA,MAAA,GAAS,IAAI,CAAI,GAAA;AAGpE,IAAM,UAAU,CAAC,CAAA,KAA2B,QAAQ,CAAC,CAAA,GAAI,IAAI;AAO7D,IAAM,WAAW,CAAC,CAAA,KAA4B,CAAM,KAAA,IAAA,IAAQ,OAAO,CAAM,KAAA;AAGzE,IAAM,WAAW,CAAC,CAAA,KAAwB,SAAS,CAAC,CAAA,GAAI,IAAI;AAGtD,IAAA,aAAA,GAAgB,CAAC,CAAiC,KAAA,QAAA,CAAS,CAAC,CAAK,IAAA,CAAC,QAAQ,CAAC;AAGjF,IAAM,gBAAgB,CAAC,CAAA,KAAiC,aAAc,CAAA,CAAC,IAAI,CAAI,GAAA;AAG/E,IAAM,gBAAgB,CAAC,CAAA,KAA6B,cAAc,CAAC,CAAA,GAAI,IAAI;AAGrE,IAAA,qBAAA,GAAwB,CAAC,CAAA,KAAiC,aAAc,CAAA,CAAC,KAAK,MAAO,CAAA,IAAA,CAAK,CAAC,CAAA,CAAE,MAAS,GAAA;AAG5G,IAAM,wBAAwB,CAAwB,CAAA,KAAiB,qBAAsB,CAAA,CAAC,IAAI,CAAI,GAAA;AAGhG,IAAA,oBAAA,GAAuB,CAAC,CAAA,KACnC,aAAc,CAAA,CAAC,CAAK,IAAA,MAAA,CAAO,MAAO,CAAA,CAAC,CAAE,CAAA,IAAA,CAAK,SAAS;AAG9C,IAAM,uBAAuB,CAAwB,CAAA,KAAiB,oBAAqB,CAAA,CAAC,IAAI,CAAI,GAAA;AAM9F,IAAA,eAAA,GAAkB,CAAI,CAAA,EAAY,CAA6D,KAAA;AAC1G,EAAI,IAAA,aAAA,CAAc,CAAC,CAAG,EAAA;AACpB,IAAA,IAAI,KAAQ,GAAA,CAAA,CAAA;AACZ,IAAI,IAAA,KAAA,GAAQ,MAAO,CAAA,IAAA,CAAK,CAAC,CAAA;AACzB,IAAA,IAAI,SAAS,KAAM,CAAA,MAAA;AACnB,IAAI,IAAA,MAAA;AAEJ,IAAO,OAAA,EAAE,QAAQ,MAAQ,EAAA;AACvB,MAAI,IAAA,GAAA,GAAM,MAAM,KAAK,CAAA;AACrB,MAAI,IAAA,KAAA,GAAQ,EAAE,GAAG,CAAA;AACjB,MAAI,IAAA,CAAA,CAAE,KAAK,CAAG,EAAA;AACZ,QAAA,CAAC,MAAW,KAAA,EAAI,EAAA,GAAG,CAAI,GAAA,KAAA;AAAA;AACzB;AAGF,IAAO,OAAA,MAAA;AAAA;AAEX;AAGO,IAAM,mBAAsB,GAAA,CAAC,CAAiD,KAAA,eAAA,CAAgB,GAAG,MAAM;AAOjG,IAAA,KAAA,GAAQ,CAAC,CAAuB,KAAA;AAC3C,EAAI,IAAA,QAAA,CAAS,CAAC,CAAA,EAAU,OAAA,CAAA;AACxB,EAAI,IAAA,CAAA,IAAK,MAAa,OAAA,EAAA;AACtB,EAAI,IAAA;AACF,IAAA,OAAO,IAAK,CAAA,SAAA,CAAU,CAAG,EAAA,IAAA,EAAM,CAAC,CAAA;AAAA,GAC1B,CAAA,MAAA;AAEN,IAAA,OAAO,CAAI,GAAA,EAAA;AAAA;AAEf;;;AC3IO,IAAM,OAAO,MAAY;AAAC;AAE1B,IAAM,gBAAmB,GAAA;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.2",
+  "version": "0.1.4",
   "description": "Filter types from unknown",
   "repository": "wopjs/cast",
   "main": "./dist/index.js",
@@ -41,21 +41,21 @@
   "license": "MIT",
   "devDependencies": {
     "@eslint/js": "^9.15.0",
-    "@types/node": "^22.9.0",
-    "@vitest/coverage-v8": "^2.1.5",
+    "@types/node": "^24.9.1",
+    "@vitest/coverage-v8": "^4.0.4",
     "commit-and-tag-version": "^12.5.0",
     "eslint": "^9.15.0",
-    "eslint-config-prettier": "^9.1.0",
-    "eslint-import-resolver-typescript": "^3.6.3",
+    "eslint-config-prettier": "^10.1.8",
+    "eslint-import-resolver-typescript": "^4.4.4",
     "eslint-plugin-import": "^2.31.0",
     "gzip-size": "^7.0.0",
     "prettier": "^3.3.3",
-    "pretty-bytes": "^6.1.1",
+    "pretty-bytes": "^7.1.0",
     "tsup": "^8.3.5",
-    "typedoc": "^0.27.5",
+    "typedoc": "^0.28.14",
     "typescript": "^5.6.3",
     "typescript-eslint": "^8.15.0",
-    "vitest": "^2.1.5",
+    "vitest": "^4.0.4",
     "yoctocolors": "^2.1.1"
   }
 }

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

@@ -20,6 +20,7 @@ import {
   print,
   isArray,
   toArray,
+  isNonEmptyArray,
   asArray,
   toNonEmptyArray,
   isObject,
@@ -33,6 +34,7 @@ import {
   toNonEmptyJSONObject,
   toPlainObjectOf,
   toPlainObjectOfTrue,
+  toTruthy,
 } from ".";
 
 describe("primitive.ts", () => {
@@ -65,6 +67,22 @@ describe("primitive.ts", () => {
     expect(isTruthy(1)).toBe(true);
   });
 
+  it("toTruthy", () => {
+    const expectTruthy = (o: unknown) => expect(toTruthy(o)).toBe(o);
+    expectTruthy({});
+    expectTruthy([]);
+    expectTruthy("string");
+    expectTruthy(Symbol());
+    expectTruthy(1);
+    expectTruthy(true);
+
+    expect(toTruthy(false)).toBe(undefined);
+    expect(toTruthy(0)).toBe(undefined);
+    expect(toTruthy(NaN)).toBe(undefined);
+    expect(toTruthy(null)).toBe(undefined);
+    expect(toTruthy(undefined)).toBe(undefined);
+  });
+
   it("isFalsy", () => {
     expect(isFalsy(true)).toBe(false);
     expect(isFalsy(false)).toBe(true);
@@ -134,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

@@ -25,6 +25,9 @@ export const isFalsy: IsFalsy = (x: unknown): x is Falsy => !x;
 /** Returns `true` if `Boolean(x)` is `true`. */
 export const isTruthy = <T>(x: T): x is Exclude<T, Falsy> => !!x;
 
+/** Returns `x` if `Boolean(x)` is `true`, otherwise returns `undefined`. */
+export const toTruthy = <T>(x: T): Exclude<T, Falsy> | _ => (isTruthy(x) ? x : _);
+
 export const isBoolean = (x: unknown): x is boolean => x === true || x === false;
 
 /** Returns `x` if `x` is `true` or `false`, otherwise returns `undefined`. */
@@ -54,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;