ts-type-predicates 1.0.8 → 1.0.10

package/CHANGELOG.md

@@ -3,6 +3,41 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+## [1.0.10](https://github.com/bluelovers/ws-ts-type/compare/ts-type-predicates@1.0.9...ts-type-predicates@1.0.10) (2026-03-07)
+
+
+
+### 📚　Documentation
+
+* enhance documentation and JSDoc comments across multiple packages ([88ee99b](https://github.com/bluelovers/ws-ts-type/commit/88ee99b3a489645ca53093357cc3523dbe7996e0))
+
+
+### 🛠　Build System
+
+* 更新多個套件的 test 指令為 jest ([61ea53b](https://github.com/bluelovers/ws-ts-type/commit/61ea53bf15fc3ed0e216793200604ae5a52079c9))
+
+
+### ♻️　Chores
+
+* migrate from yarn to pnpm and enhance test infrastructure ([8a5daa2](https://github.com/bluelovers/ws-ts-type/commit/8a5daa2f2022eaf025c3349d4fe5dc8971f8c077))
+
+
+
+## [1.0.9](https://github.com/bluelovers/ws-ts-type/compare/ts-type-predicates@1.0.8...ts-type-predicates@1.0.9) (2022-10-10)
+
+
+
+### 📌　Dependencies
+
+* update deps ([ab5f3e4](https://github.com/bluelovers/ws-ts-type/commit/ab5f3e48da1f10ddd4445ba6dda9a0a68c5f656f))
+
+
+### 🔖　Miscellaneous
+
+* . ([9219017](https://github.com/bluelovers/ws-ts-type/commit/92190178fcf30f881c1d0d36fb141a3394ab3b38))
+
+
+
 ## [1.0.8](https://github.com/bluelovers/ws-ts-type/compare/ts-type-predicates@1.0.7...ts-type-predicates@1.0.8) (2022-08-10)
 
 

package/README.md

@@ -1,8 +1,19 @@
-# README.md
+# ts-type-predicates
 
-    use asserts for make type predicates work
+使用斷言（assert）讓類型斷言（type predicates）運作的實用工具函式
 
-## install
+Use asserts to make type predicates work with better runtime validation
+
+## 功能特點 / Features
+
+- 結合 TypeScript 斷言函式與類型斷言功能
+- Combine TypeScript assertion functions with type predicate functionality
+- 支援運行時驗證與編譯時類型縮小
+- Support runtime validation and compile-time type narrowing
+- 可自訂錯誤訊息
+- Customizable error messages
+
+## 安裝 / Install
 
 ```bash
 yarn add ts-type-predicates
@@ -10,3 +21,23 @@ yarn-tool add ts-type-predicates
 yt add ts-type-predicates
 ```
 
+## 使用範例 / Usage Example
+
+```typescript
+import { typePredicates, typeNarrowed } from 'ts-type-predicates';
+
+// 使用斷言函式 / Using assertion function
+function processValue(value: string | number) {
+    typePredicates<string>(value, typeof value === 'string');
+    // 現在 TypeScript 知道 value 是 string
+    console.log(value.toUpperCase());
+}
+
+// 使用類型收窄 / Using type narrowing
+function checkValue(value: unknown) {
+    if (typeNarrowed<string>(value, typeof value === 'string')) {
+        console.log(value.length);
+    }
+}
+```
+

package/dist/index.cjs

@@ -1,8 +1,8 @@
 
 'use strict'
 
-if (typeof process !== 'undefined' && process.env.NODE_ENV === 'production') {
-  module.exports = require('./index.cjs.production.min.cjs')
-} else {
+if (typeof process !== 'undefined' && process.env.NODE_ENV !== 'production') {
   module.exports = require('./index.cjs.development.cjs')
+} else {
+  module.exports = require('./index.cjs.production.min.cjs')
 }

package/dist/index.cjs.development.cjs

@@ -4,40 +4,69 @@ Object.defineProperty(exports, '__esModule', { value: true });
 
 var assert = require('assert');
 
-function typePredicates(actual, expression = true, message, ignoreExpression) {
-  var _expression;
-
-  (_expression = expression) !== null && _expression !== void 0 ? _expression : expression = true;
-
+/**
+ * 處理錶達式，回傳布林值結果
+ * Handle expression and return boolean result
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function
+ * @returns 布林值結果 / Boolean result
+ */
+function _handleExpression(actual, expression = true) {
+  expression !== null && expression !== void 0 ? expression : expression = true;
   if (typeof expression === 'function') {
     expression = !!expression(actual);
   }
-
+  return expression;
+}
+/**
+ * 使用斷言（assert）讓類型斷言（type predicates）運作
+ * Use asserts for make type predicates work
+ *
+ * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，
+ * 允許在運行時驗證類型並在編譯時縮小類型範圍
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)
+ * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false
+ * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
+ * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
+ */
+function typePredicates(actual, expression = true, message, ignoreExpression) {
+  expression = _handleExpression(actual, expression);
   if (expression !== true && ignoreExpression !== true) {
     throw new assert.AssertionError({
       message: message !== null && message !== void 0 ? message : `actual ${actual} not as expected`,
       actual,
-      expected: expression
+      expected: expression,
+      operator: 'typePredicates'
     });
   }
 }
+/**
+ * 類型收窄函式，回傳類型斷言結果
+ * Type narrowing function, returns type predicate result
+ *
+ * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型
+ * 可用於需要條件邏輯而非斷言的場景
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @returns 是否符合預期類型 / Whether it matches the expected type
+ */
 function typeNarrowed(actual, expression = true, message) {
-  var _expression2;
-
-  (_expression2 = expression) !== null && _expression2 !== void 0 ? _expression2 : expression = true;
-
-  if (typeof expression === 'function') {
-    expression = !!expression(actual);
-  }
-
+  expression = _handleExpression(actual, expression);
   if (expression !== true) {
     expression = false;
   }
-
   return expression;
 }
 
-exports["default"] = typePredicates;
+exports._handleExpression = _handleExpression;
+exports.default = typePredicates;
 exports.typeNarrowed = typeNarrowed;
 exports.typePredicates = typePredicates;
 //# sourceMappingURL=index.cjs.development.cjs.map

package/dist/index.cjs.development.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs.development.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expected","expression"],"mappings":";;;;;;;;;;;EAAA,IAAwC,OAAA,UAAA,KAAA,UAAA,EAAA;;;;;;;;AAoBrCA,MAAAA,QAAAA,EAAAA,UAAAA;;AAID,GAAA;;;;;EASA,CAAA,YAAA,GAAA,UAAA,MAAA,IAAA,IAAA,YAAA,KAAA,KAAA,CAAA,GAAA,YAAA,GAAA,UAAA,GAAA,IAAA,CAAA;;aAGGC,eAAA,UAAmB,EAAA;iBAEZ,CAAA,CAAA,UAAA,CAAA,MAAA,CAAA,CAAA;;;gBAGX;AACA,IAAA,UAAA,GAAA,KAAA,CAAA;AAED,GAAA;;;AAxBG;;;;;;"}
+{"version":3,"file":"index.cjs.development.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","actual","expected","operator"],"mappings":";;;;;;;;AA8CG;;AA9CH;;;;;;;;AAUA,GAAA;SAEWA,UAAA,CAAA;;;;;;;;;;;;;;;;;;;;;;MAkCRC,MAAA;AAEAC,MAAAA,QAAC,EAAAF,UAAA;MAEHG,QAAA,EAAA,gBAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.cjs.production.min.cjs

@@ -1,2 +1,26 @@
-"use strict";Object.defineProperty(exports,"__esModule",{value:!0});var e=require("assert");function typePredicates(t,r=!0,o,a){var s;if(null!==(s=r)&&void 0!==s||(r=!0),"function"==typeof r&&(r=!!r(t)),!0!==r&&!0!==a)throw new e.AssertionError({message:null!=o?o:`actual ${t} not as expected`,actual:t,expected:r})}exports.default=typePredicates,exports.typeNarrowed=function typeNarrowed(e,t=!0,r){var o;return null!==(o=t)&&void 0!==o||(t=!0),"function"==typeof t&&(t=!!t(e)),!0!==t&&(t=!1),t},exports.typePredicates=typePredicates;
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: !0
+});
+
+var e = require("assert");
+
+function _handleExpression(e, t = !0) {
+  return null != t || (t = !0), "function" == typeof t && (t = !!t(e)), t;
+}
+
+function typePredicates(t, r = !0, s, n) {
+  if (!0 !== (r = _handleExpression(t, r)) && !0 !== n) throw new e.AssertionError({
+    message: null != s ? s : `actual ${t} not as expected`,
+    actual: t,
+    expected: r,
+    operator: "typePredicates"
+  });
+}
+
+exports._handleExpression = _handleExpression, exports.default = typePredicates, 
+exports.typeNarrowed = function typeNarrowed(e, t = !0, r) {
+  return !0 !== (t = _handleExpression(e, t)) && (t = !1), t;
+}, exports.typePredicates = typePredicates;
 //# sourceMappingURL=index.cjs.production.min.cjs.map

package/dist/index.cjs.production.min.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs.production.min.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","expected","_expression2","actual"],"mappings":"0KAAwC,mBAAAA,kHAoBrCC,SAAAA,qGAaD,QAAAC,EAAAF,SAAA,IAAAE,IAAAF,GAAA,GAGG,mBAAAA,QAEOA,EAAAG,aAIXH,GAAA,IAtBE"}
+{"version":3,"file":"index.cjs.production.min.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","actual","expected","operator"],"mappings":";;;;;;;;;wEAYWA;;;;;;IAkCRC;IAEAC,UAACF;IAEHG,UAAA;;;;;;;"}

package/dist/index.d.ts

@@ -1,11 +1,44 @@
 /**
- * use asserts for make type predicates work
+ * 處理錶達式，回傳布林值結果
+ * Handle expression and return boolean result
  *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function
+ * @returns 布林值結果 / Boolean result
+ */
+export declare function _handleExpression<T, P = any>(actual: T | P, expression?: boolean | ((actual: T | P) => any)): boolean;
+/**
+ * 使用斷言（assert）讓類型斷言（type predicates）運作
+ * Use asserts for make type predicates work
+ *
+ * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，
+ * 允許在運行時驗證類型並在編譯時縮小類型範圍
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)
+ * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false
  * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
  * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
  */
 export declare function typePredicates<T, P = any>(actual: T | P, expression?: boolean | ((actual: T | P) => any), message?: string, ignoreExpression?: boolean): asserts actual is T;
+/**
+ * 類型收窄函式，回傳類型斷言結果
+ * Type narrowing function, returns type predicate result
+ *
+ * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型
+ * 可用於需要條件邏輯而非斷言的場景
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @returns 是否符合預期類型 / Whether it matches the expected type
+ */
 export declare function typeNarrowed<T, P = any>(actual: T | P, expression?: boolean | ((actual: T | P) => any), message?: string): actual is T;
-export default typePredicates;
+
+export {
+	typePredicates as default,
+};
 
 export {};

package/dist/index.esm.mjs

@@ -1,20 +1,21 @@
 import { AssertionError as e } from "assert";
 
-function typePredicates(t, a = !0, r, o) {
-  var n;
-  if (null !== (n = a) && void 0 !== n || (a = !0), "function" == typeof a && (a = !!a(t)), 
-  !0 !== a && !0 !== o) throw new e({
-    message: null != r ? r : `actual ${t} not as expected`,
+function _handleExpression(e, t = !0) {
+  return null != t || (t = !0), "function" == typeof t && (t = !!t(e)), t;
+}
+
+function typePredicates(t, r = !0, n, a) {
+  if (!0 !== (r = _handleExpression(t, r)) && !0 !== a) throw new e({
+    message: null != n ? n : `actual ${t} not as expected`,
     actual: t,
-    expected: a
+    expected: r,
+    operator: "typePredicates"
   });
 }
 
-function typeNarrowed(e, t = !0, a) {
-  var r;
-  return null !== (r = t) && void 0 !== r || (t = !0), "function" == typeof t && (t = !!t(e)), 
-  !0 !== t && (t = !1), t;
+function typeNarrowed(e, t = !0, r) {
+  return !0 !== (t = _handleExpression(e, t)) && (t = !1), t;
 }
 
-export { typePredicates as default, typeNarrowed, typePredicates };
+export { _handleExpression, typePredicates as default, typeNarrowed, typePredicates };
 //# sourceMappingURL=index.esm.mjs.map

package/dist/index.esm.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.esm.mjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","expected","_expression2","actual"],"mappings":";;;;oDAAwC,qBAAAA;;;;IAoBrCC,UAAAA;;;;;;SAaD,UAAAC,IAAAF,WAAA,MAAAE,MAAAF,KAAA,IAGG,qBAAAA,YAEOA,EAAAG;eAIXH,KAAA;AAtBE;;"}
+{"version":3,"file":"index.esm.mjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","actual","expected","operator"],"mappings":";;;wEAYWA;;;;;;IAkCRC;IAEAC,UAACF;IAEHG,UAAA;;;;;;;;"}

package/dist/index.umd.development.cjs

@@ -4,40 +4,69 @@
 	(global = typeof globalThis !== 'undefined' ? globalThis : global || self, factory(global.TsTypePredicates = {}, global.assert));
 })(this, (function (exports, assert) { 'use strict';
 
-	function typePredicates(actual, expression = true, message, ignoreExpression) {
-	  var _expression;
-
-	  (_expression = expression) !== null && _expression !== void 0 ? _expression : expression = true;
-
+	/**
+	 * 處理錶達式，回傳布林值結果
+	 * Handle expression and return boolean result
+	 *
+	 * @param actual - 實際值 / Actual value
+	 * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function
+	 * @returns 布林值結果 / Boolean result
+	 */
+	function _handleExpression(actual, expression = true) {
+	  expression !== null && expression !== void 0 ? expression : expression = true;
 	  if (typeof expression === 'function') {
 	    expression = !!expression(actual);
 	  }
-
+	  return expression;
+	}
+	/**
+	 * 使用斷言（assert）讓類型斷言（type predicates）運作
+	 * Use asserts for make type predicates work
+	 *
+	 * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，
+	 * 允許在運行時驗證類型並在編譯時縮小類型範圍
+	 *
+	 * @param actual - 實際值 / Actual value
+	 * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function
+	 * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+	 * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)
+	 * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false
+	 * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
+	 * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
+	 */
+	function typePredicates(actual, expression = true, message, ignoreExpression) {
+	  expression = _handleExpression(actual, expression);
 	  if (expression !== true && ignoreExpression !== true) {
 	    throw new assert.AssertionError({
 	      message: message !== null && message !== void 0 ? message : `actual ${actual} not as expected`,
 	      actual,
-	      expected: expression
+	      expected: expression,
+	      operator: 'typePredicates'
 	    });
 	  }
 	}
+	/**
+	 * 類型收窄函式，回傳類型斷言結果
+	 * Type narrowing function, returns type predicate result
+	 *
+	 * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型
+	 * 可用於需要條件邏輯而非斷言的場景
+	 *
+	 * @param actual - 實際值 / Actual value
+	 * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function
+	 * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+	 * @returns 是否符合預期類型 / Whether it matches the expected type
+	 */
 	function typeNarrowed(actual, expression = true, message) {
-	  var _expression2;
-
-	  (_expression2 = expression) !== null && _expression2 !== void 0 ? _expression2 : expression = true;
-
-	  if (typeof expression === 'function') {
-	    expression = !!expression(actual);
-	  }
-
+	  expression = _handleExpression(actual, expression);
 	  if (expression !== true) {
 	    expression = false;
 	  }
-
 	  return expression;
 	}
 
-	exports["default"] = typePredicates;
+	exports._handleExpression = _handleExpression;
+	exports.default = typePredicates;
 	exports.typeNarrowed = typeNarrowed;
 	exports.typePredicates = typePredicates;
 

package/dist/index.umd.development.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.umd.development.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expected","expression"],"mappings":";;;;;;;;;;;GAAA,IAAwC,OAAA,UAAA,KAAA,UAAA,EAAA;;;;;;;;CAoBrCA,MAAAA,QAAAA,EAAAA,UAAAA;;CAID,GAAA;;;;;GASA,CAAA,YAAA,GAAA,UAAA,MAAA,IAAA,IAAA,YAAA,KAAA,KAAA,CAAA,GAAA,YAAA,GAAA,UAAA,GAAA,IAAA,CAAA;;cAGGC,eAAA,UAAmB,EAAA;kBAEZ,CAAA,CAAA,UAAA,CAAA,MAAA,CAAA,CAAA;;;iBAGX;CACA,IAAA,UAAA,GAAA,KAAA,CAAA;CAED,GAAA;;;CAxBG;;;;;;;;;;;;"}
+{"version":3,"file":"index.umd.development.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","actual","expected","operator"],"mappings":";;;;;;;;CA8CG;;CA9CH;;;;;;;;CAUA,GAAA;UAEWA,UAAA,CAAA;;;;;;;;;;;;;;;;;;;;;;OAkCRC,MAAA;CAEAC,MAAAA,QAAC,EAAAF,UAAA;OAEHG,QAAA,EAAA,gBAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.umd.production.min.cjs

@@ -1,2 +1,22 @@
-!function(e,t){"object"==typeof exports&&"undefined"!=typeof module?t(exports,require("assert")):"function"==typeof define&&define.amd?define(["exports","assert"],t):t((e="undefined"!=typeof globalThis?globalThis:e||self).TsTypePredicates={},e.assert)}(this,(function(e,t){"use strict";function typePredicates(e,o=!0,n,r){var i;if(null!==(i=o)&&void 0!==i||(o=!0),"function"==typeof o&&(o=!!o(e)),!0!==o&&!0!==r)throw new t.AssertionError({message:null!=n?n:`actual ${e} not as expected`,actual:e,expected:o})}e.default=typePredicates,e.typeNarrowed=function typeNarrowed(e,t=!0,o){var n;return null!==(n=t)&&void 0!==n||(t=!0),"function"==typeof t&&(t=!!t(e)),!0!==t&&(t=!1),t},e.typePredicates=typePredicates,Object.defineProperty(e,"__esModule",{value:!0})}));
+!function(e, t) {
+  "object" == typeof exports && "undefined" != typeof module ? t(exports, require("assert")) : "function" == typeof define && define.amd ? define([ "exports", "assert" ], t) : t((e = "undefined" != typeof globalThis ? globalThis : e || self).TsTypePredicates = {}, e.assert);
+}(this, function(e, t) {
+  "use strict";
+  function _handleExpression(e, t = !0) {
+    return null != t || (t = !0), "function" == typeof t && (t = !!t(e)), t;
+  }
+  function typePredicates(e, n = !0, s, r) {
+    if (!0 !== (n = _handleExpression(e, n)) && !0 !== r) throw new t.AssertionError({
+      message: null != s ? s : `actual ${e} not as expected`,
+      actual: e,
+      expected: n,
+      operator: "typePredicates"
+    });
+  }
+  e._handleExpression = _handleExpression, e.default = typePredicates, e.typeNarrowed = function typeNarrowed(e, t = !0, n) {
+    return !0 !== (t = _handleExpression(e, t)) && (t = !1), t;
+  }, e.typePredicates = typePredicates, Object.defineProperty(e, "__esModule", {
+    value: !0
+  });
+});
 //# sourceMappingURL=index.umd.production.min.cjs.map

package/dist/index.umd.production.min.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.umd.production.min.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","expected","_expression2","actual"],"mappings":"4WAAwC,mBAAAA,kHAoBrCC,SAAAA,yFAaD,QAAAC,EAAAF,SAAA,IAAAE,IAAAF,GAAA,GAGG,mBAAAA,QAEOA,EAAAG,aAIXH,GAAA,IAtBE"}
+{"version":3,"file":"index.umd.production.min.cjs","sources":["../src/index.ts"],"sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"],"names":["expression","actual","expected","operator"],"mappings":";;;;;0EAYWA;;;;;MAkCRC;MAEAC,UAACF;MAEHG,UAAA;;;;;;;;"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "ts-type-predicates",
-  "version": "1.0.8",
-  "description": "use asserts for make type predicates work",
+  "version": "1.0.10",
+  "description": "使用斷言（assert）讓類型斷言（type predicates）運作的實用工具函式 | Use asserts to make type predicates work with better runtime validation",
   "keywords": [
     ".d.ts",
     "@types",
@@ -35,15 +35,16 @@
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/bluelovers/ws-ts-type.git"
+    "url": "git+https://github.com/bluelovers/ws-ts-type.git",
+    "directory": "packages/ts-type-predicates"
   },
   "license": "ISC",
   "author": "bluelovers",
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
-      "import": "./dist/index.esm.mjs",
-      "require": "./dist/index.cjs"
+      "require": "./dist/index.cjs",
+      "import": "./dist/index.esm.mjs"
     },
     "./package.json": "./package.json"
   },
@@ -55,14 +56,19 @@
     "test": "test"
   },
   "scripts": {
+    "coverage": "yarn run test -- --coverage",
     "lint": "ynpx --quiet eslint -- **/*.ts",
-    "test": "echo \"Error: no test specified\"",
+    "test": "jest --passWithNoTests",
     "test:jest": "ynpx --quiet jest -- --coverage",
+    "test:jest:coverage": "node --run test:jest -- --coverage",
+    "test:jest:snapshot": "yarn run test:jest -- -u",
     "test:mocha": "ynpx --quiet -p ts-node -p mocha mocha -- --require ts-node/register \"!(node_modules)/**/*.{test,spec}.{ts,tsx}\"",
+    "test:snapshot": "yarn run test -- -u",
+    "test:tsd": "ynpx tsd",
     "posttest": "yarn run build",
     "build": "yarn run build:tsdx && yarn run build:dts",
     "build:dts": "ynpx dts-bundle-generator -o ./dist/index.d.ts ./src/index.ts --no-banner & echo build:dts",
-    "build:tsdx": "ynpx @bluelovers/tsdx build --target node --name index",
+    "build:tsdx": "tsdx build --target node --name index",
     "preversion": "echo preversion && yarn run test",
     "version": "echo version",
     "postversion": "echo postversion",
@@ -78,10 +84,5 @@
     "sort-package-json": "ynpx --quiet yarn-tool -- sort",
     "tsc:showConfig": "ynpx get-current-tsconfig -p"
   },
-  "devDependencies": {
-    "@bluelovers/tsconfig": "*",
-    "@types/node": "*"
-  },
-  "packageManager": "yarn@^1.22.11",
-  "gitHead": "4eedf3cb6b9ee750e22993560eb6aef919873112"
+  "gitHead": "57f82cba146cfef0d0f3f138e5ec736cd17f040d"
 }

package/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAAA,mCAAwC;AAExC;;;;;GAKG;AACH,SAAgB,cAAc,CAAa,MAAa,EAAE,aAAkD,IAAI,EAAE,OAAgB,EAAE,gBAA0B;IAE7J,UAAU,aAAV,UAAU,cAAV,UAAU,IAAV,UAAU,GAAK,IAAI,EAAC;IAEpB,IAAI,OAAO,UAAU,KAAK,UAAU,EACpC;QACC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KAClC;IAED,IAAI,UAAU,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,EACpD;QACC,MAAM,IAAI,uBAAc,CAAC;YACxB,OAAO,EAAE,OAAO,aAAP,OAAO,cAAP,OAAO,GAAI,UAAU,MAAM,kBAAkB;YACtD,MAAM;YACN,QAAQ,EAAE,UAAU;SACpB,CAAC,CAAA;KACF;AACF,CAAC;AAjBD,wCAiBC;AAED,SAAgB,YAAY,CAAa,MAAa,EAAE,aAAkD,IAAI,EAAE,OAAgB;IAE/H,UAAU,aAAV,UAAU,cAAV,UAAU,IAAV,UAAU,GAAK,IAAI,EAAC;IAEpB,IAAI,OAAO,UAAU,KAAK,UAAU,EACpC;QACC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KAClC;IAED,IAAI,UAAU,KAAK,IAAI,EACvB;QACC,UAAU,GAAG,KAAK,CAAC;KACnB;IAED,OAAO,UAAU,CAAA;AAClB,CAAC;AAfD,oCAeC;AAED,kBAAe,cAAc,CAAC","sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * use asserts for make type predicates work\n *\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t})\n\t}\n}\n\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;AAUA,8CAUC;AAiBD,wCAaC;AAcD,oCAUC;AA1ED,mCAAwC;AAExC;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAa,MAAa,EAAE,aAAiD,IAAI;IAEjH,UAAU,aAAV,UAAU,cAAV,UAAU,IAAV,UAAU,GAAK,IAAI,EAAC;IAEpB,IAAI,OAAO,UAAU,KAAK,UAAU,EACpC,CAAC;QACA,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,UAAU,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAgB,cAAc,CAAa,MAAa,EAAE,aAAkD,IAAI,EAAE,OAAgB,EAAE,gBAA0B;IAE7J,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEnD,IAAI,UAAU,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI,EACpD,CAAC;QACA,MAAM,IAAI,uBAAc,CAAC;YACxB,OAAO,EAAE,OAAO,aAAP,OAAO,cAAP,OAAO,GAAI,UAAU,MAAM,kBAAkB;YACtD,MAAM;YACN,QAAQ,EAAE,UAAU;YACpB,QAAQ,EAAE,gBAAgB;SAC1B,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,YAAY,CAAa,MAAa,EAAE,aAAkD,IAAI,EAAE,OAAgB;IAE/H,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAEnD,IAAI,UAAU,KAAK,IAAI,EACvB,CAAC;QACA,UAAU,GAAG,KAAK,CAAC;IACpB,CAAC;IAED,OAAO,UAAU,CAAA;AAClB,CAAC;AAED,kBAAe,cAAc,CAAC","sourcesContent":["import { AssertionError } from 'assert';\n\n/**\n * 處理錶達式，回傳布林值結果\n * Handle expression and return boolean result\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function\n * @returns 布林值結果 / Boolean result\n */\nexport function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)\n{\n\texpression ??= true;\n\n\tif (typeof expression === 'function')\n\t{\n\t\texpression = !!expression(actual);\n\t}\n\n\treturn expression\n}\n\n/**\n * 使用斷言（assert）讓類型斷言（type predicates）運作\n * Use asserts for make type predicates work\n *\n * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，\n * 允許在運行時驗證類型並在編譯時縮小類型範圍\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)\n * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false\n * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates\n * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions\n */\nexport function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true && ignoreExpression !== true)\n\t{\n\t\tthrow new AssertionError({\n\t\t\tmessage: message ?? `actual ${actual} not as expected`,\n\t\t\tactual,\n\t\t\texpected: expression,\n\t\t\toperator: 'typePredicates',\n\t\t})\n\t}\n}\n\n/**\n * 類型收窄函式，回傳類型斷言結果\n * Type narrowing function, returns type predicate result\n *\n * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型\n * 可用於需要條件邏輯而非斷言的場景\n *\n * @param actual - 實際值 / Actual value\n * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function\n * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)\n * @returns 是否符合預期類型 / Whether it matches the expected type\n */\nexport function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T\n{\n\texpression = _handleExpression(actual, expression);\n\n\tif (expression !== true)\n\t{\n\t\texpression = false;\n\t}\n\n\treturn expression\n}\n\nexport default typePredicates;\n"]}

package/src/index.ts

@@ -0,0 +1,77 @@
+import { AssertionError } from 'assert';
+
+/**
+ * 處理錶達式，回傳布林值結果
+ * Handle expression and return boolean result
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 錶達式，可為布林值或函式 / Expression, can be boolean or function
+ * @returns 布林值結果 / Boolean result
+ */
+export function _handleExpression<T, P = any>(actual: T | P, expression: boolean | ((actual: T | P) => any) = true)
+{
+	expression ??= true;
+
+	if (typeof expression === 'function')
+	{
+		expression = !!expression(actual);
+	}
+
+	return expression
+}
+
+/**
+ * 使用斷言（assert）讓類型斷言（type predicates）運作
+ * Use asserts for make type predicates work
+ *
+ * 此函式結合了 TypeScript 的斷言函式與類型斷言功能，
+ * 允許在運行時驗證類型並在編譯時縮小類型範圍
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 斷言條件，可為布林值或函式 / Assertion condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @param ignoreExpression - 是否忽略錶達式結果（可選）/ Whether to ignore expression result (optional)
+ * @throws 當錶達式結果為 false 時拋出 AssertionError / Throws AssertionError when expression is false
+ * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
+ * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
+ */
+export function typePredicates<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string, ignoreExpression?: boolean): asserts actual is T
+{
+	expression = _handleExpression(actual, expression);
+
+	if (expression !== true && ignoreExpression !== true)
+	{
+		throw new AssertionError({
+			message: message ?? `actual ${actual} not as expected`,
+			actual,
+			expected: expression,
+			operator: 'typePredicates',
+		})
+	}
+}
+
+/**
+ * 類型收窄函式，回傳類型斷言結果
+ * Type narrowing function, returns type predicate result
+ *
+ * 此函式不會拋出錯誤，而是回傳布林值表示是否符合預期類型
+ * 可用於需要條件邏輯而非斷言的場景
+ *
+ * @param actual - 實際值 / Actual value
+ * @param expression - 驗證條件，可為布林值或函式 / Validation condition, can be boolean or function
+ * @param message - 自訂錯誤訊息（可選）/ Custom error message (optional)
+ * @returns 是否符合預期類型 / Whether it matches the expected type
+ */
+export function typeNarrowed<T, P = any>(actual: T | P, expression : boolean | ((actual: T | P) => any) = true, message?: string): actual is T
+{
+	expression = _handleExpression(actual, expression);
+
+	if (expression !== true)
+	{
+		expression = false;
+	}
+
+	return expression
+}
+
+export default typePredicates;

package/src/index.d.ts

@@ -1,9 +0,0 @@
-/**
- * use asserts for make type predicates work
- *
- * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
- * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
- */
-export declare function typePredicates<T, P = any>(actual: T | P, expression?: boolean | ((actual: T | P) => any), message?: string, ignoreExpression?: boolean): asserts actual is T;
-export declare function typeNarrowed<T, P = any>(actual: T | P, expression?: boolean | ((actual: T | P) => any), message?: string): actual is T;
-export default typePredicates;

package/src/index.js

@@ -1,37 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.typeNarrowed = exports.typePredicates = void 0;
-const assert_1 = require("assert");
-/**
- * use asserts for make type predicates work
- *
- * @see https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-type-predicates
- * @see https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions
- */
-function typePredicates(actual, expression = true, message, ignoreExpression) {
-    expression !== null && expression !== void 0 ? expression : (expression = true);
-    if (typeof expression === 'function') {
-        expression = !!expression(actual);
-    }
-    if (expression !== true && ignoreExpression !== true) {
-        throw new assert_1.AssertionError({
-            message: message !== null && message !== void 0 ? message : `actual ${actual} not as expected`,
-            actual,
-            expected: expression,
-        });
-    }
-}
-exports.typePredicates = typePredicates;
-function typeNarrowed(actual, expression = true, message) {
-    expression !== null && expression !== void 0 ? expression : (expression = true);
-    if (typeof expression === 'function') {
-        expression = !!expression(actual);
-    }
-    if (expression !== true) {
-        expression = false;
-    }
-    return expression;
-}
-exports.typeNarrowed = typeNarrowed;
-exports.default = typePredicates;
-//# sourceMappingURL=index.js.map