npm - lay-sing - Versions diffs - 0.4.0 → 0.4.1 - Mend

lay-sing 0.4.0 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (59) hide show

package/esm/main/expect/index.d.ts +1 -2
package/esm/main/expect/index.d.ts.map +1 -1
package/esm/main/expect/index.js.map +1 -1
package/esm/main/expect/to/be.d.ts +12 -12
package/esm/main/expect/to/be.d.ts.map +1 -1
package/esm/main/expect/to/be.js.map +1 -1
package/esm/main/expect/to/equal.d.ts +4 -4
package/esm/main/expect/to/equal.d.ts.map +1 -1
package/esm/main/expect/to/equal.js.map +1 -1
package/esm/main/expect/to/extend.d.ts +9 -9
package/esm/main/expect/to/extend.d.ts.map +1 -1
package/esm/main/expect/to/extend.js.map +1 -1
package/esm/main/expect/to/have-key.d.ts +6 -6
package/esm/main/expect/to/have-key.d.ts.map +1 -1
package/esm/main/expect/to/have-key.js.map +1 -1
package/esm/main/expect/to/index.d.ts +8 -6
package/esm/main/expect/to/index.d.ts.map +1 -1
package/esm/main/expect/to/index.js.map +1 -1
package/esm/main/expect/to/proper-extends.d.ts +4 -4
package/esm/main/expect/to/proper-extends.d.ts.map +1 -1
package/esm/main/expect/to/proper-extends.js.map +1 -1
package/esm/utils/logic/boolean.d.ts +60 -0
package/esm/utils/logic/boolean.d.ts.map +1 -0
package/esm/utils/logic/boolean.js +2 -0
package/esm/utils/logic/boolean.js.map +1 -0
package/esm/utils/logic/index.d.ts +1 -0
package/esm/utils/logic/index.d.ts.map +1 -1
package/esm/utils/logic/index.js +1 -0
package/esm/utils/logic/index.js.map +1 -1
package/package.json +1 -1
package/script/main/expect/index.d.ts +1 -2
package/script/main/expect/index.d.ts.map +1 -1
package/script/main/expect/index.js.map +1 -1
package/script/main/expect/to/be.d.ts +12 -12
package/script/main/expect/to/be.d.ts.map +1 -1
package/script/main/expect/to/be.js.map +1 -1
package/script/main/expect/to/equal.d.ts +4 -4
package/script/main/expect/to/equal.d.ts.map +1 -1
package/script/main/expect/to/equal.js.map +1 -1
package/script/main/expect/to/extend.d.ts +9 -9
package/script/main/expect/to/extend.d.ts.map +1 -1
package/script/main/expect/to/extend.js.map +1 -1
package/script/main/expect/to/have-key.d.ts +6 -6
package/script/main/expect/to/have-key.d.ts.map +1 -1
package/script/main/expect/to/have-key.js.map +1 -1
package/script/main/expect/to/index.d.ts +8 -6
package/script/main/expect/to/index.d.ts.map +1 -1
package/script/main/expect/to/index.js.map +1 -1
package/script/main/expect/to/proper-extends.d.ts +4 -4
package/script/main/expect/to/proper-extends.d.ts.map +1 -1
package/script/main/expect/to/proper-extends.js.map +1 -1
package/script/utils/logic/boolean.d.ts +60 -0
package/script/utils/logic/boolean.d.ts.map +1 -0
package/script/utils/logic/boolean.js +3 -0
package/script/utils/logic/boolean.js.map +1 -0
package/script/utils/logic/index.d.ts +1 -0
package/script/utils/logic/index.d.ts.map +1 -1
package/script/utils/logic/index.js +1 -0
package/script/utils/logic/index.js.map +1 -1

package/esm/main/expect/index.d.ts CHANGED Viewed

@@ -1,4 +1,3 @@
-import type { Exact } from '../../utils/index.js';
 import type { To } from './to/index.js';
 /**
  * Represents the result of a type assertion based on a boolean condition.
@@ -10,7 +9,7 @@ import type { To } from './to/index.js';
  * @template B The boolean condition result (true or false)
  * @template R The type of the result value (default is void)
  */
-export type TypeAssertionResult<B extends boolean, R = void> = Exact<B, never> extends true ? never : [boolean] extends [B] ? never : [B] extends [true] ? {
+export type TypeAssertionResult<T, B extends boolean, R = ExpectType<T>> = [B] extends [true] ? {
     /**
      * This field exist only when this type assertion succeed
      *

package/esm/main/expect/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,~~KAAK,~~EAAE,~~MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,~~EAAE,~~EAAE,EAAE,~~MAAM,eAAe,CAAA;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,OAAO,~~EAAE~~,CAAC,GAAG,~~IAAI~~,~~IAAI,KAAK,~~CAAC,CAAC,~~EAAE,KAAK,~~CAAC,~~SAAS~~,~~IAAI,GAAG,KAAK,GAC/F,~~CAAC,~~OAAO,~~CAAC,~~SAAS,~~CAAC,~~CAAC,CAAC,GAAG,KAAK,GAC7B,CAAC,CAAC,CAAC,~~SAAS,CAAC,IAAI,CAAC,GAAG;~~IACnB~~;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,~~GACD~~,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG;IACpB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACD,KAAK,CAAA;AAET,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;CACV,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,eAAe,CAAA;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,EACD,CAAC,SAAS,OAAO,EACjB,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IACf,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG;IACrB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG;IACpB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACD,KAAK,CAAA;AAET,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;CACV,CAAA"}

package/esm/main/expect/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { ~~Exact } from '../../utils/index.js'\nimport type {~~ To } from './to/index.js'\n\n/*\n Represents the result of a type assertion based on a boolean condition.\n \n - If `true`, the result has a `pass` property;\n * - If `false`, the result has a `fail` property;\n * - Otherwise, the result is `never`\n \n @template B The boolean condition result (true or false)\n * @template R The type of the result value (default is void)\n /\nexport type TypeAssertionResult<B extends boolean, R = ~~void~~> = ~~Exact<B, never> extends true ? never\n :~~ [~~boolean] extends [~~B] ~~? never\n : [B]~~ extends [true] ? {\n /\n This field exist only when this type assertion succeed\n \n If you expect this assertion to fail, use `.fail`\n /\n pass: R\n }\n : [B] extends [false] ? {\n /\n This field exist only when this type assertion failed\n \n If you expect this assertion to pass, use `.pass`\n */\n fail: R\n }\n : never\n\nexport type ExpectType<T> = {\n to: To<T>\n}\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { To } from './to/index.js'\n\n/*\n Represents the result of a type assertion based on a boolean condition.\n \n - If `true`, the result has a `pass` property;\n * - If `false`, the result has a `fail` property;\n * - Otherwise, the result is `never`\n \n @template B The boolean condition result (true or false)\n * @template R The type of the result value (default is void)\n /\nexport type TypeAssertionResult<\n T,\n B extends boolean,\n R = ExpectType<T>,\n> = [B] extends [true] ? {\n /\n This field exist only when this type assertion succeed\n \n If you expect this assertion to fail, use `.fail`\n /\n pass: R\n }\n : [B] extends [false] ? {\n /\n This field exist only when this type assertion failed\n \n If you expect this assertion to pass, use `.pass`\n */\n fail: R\n }\n : never\n\nexport type ExpectType<T> = {\n to: To<T>\n}\n"]}

package/esm/main/expect/to/be.d.ts CHANGED Viewed

@@ -1,23 +1,23 @@
-import type { Exact, If } from '../../../utils/index.js';
+import type { Exact, If, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Be<T> = {
-    <U>(): TypeAssertionResult<Exact<T, U>>;
-    <U>(_: U): TypeAssertionResult<Exact<T, U>>;
-} & If<Exact<T, any>, {
+export type Be<T, Inv extends boolean = false> = {
+    <U>(): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>;
+} & If<Xor<Inv, Exact<T, any>>, {
     any: void;
-}, {}> & If<Exact<T, never>, {
+}, {}> & If<Xor<Inv, Exact<T, never>>, {
     never: void;
-}, {}> & If<Exact<T, unknown>, {
+}, {}> & If<Xor<Inv, Exact<T, unknown>>, {
     unknown: void;
-}, {}> & If<Exact<T, void>, {
+}, {}> & If<Xor<Inv, Exact<T, void>>, {
     void: void;
-}, {}> & If<Exact<T, null>, {
+}, {}> & If<Xor<Inv, Exact<T, null>>, {
     null: void;
-}, {}> & If<Exact<T, undefined>, {
+}, {}> & If<Xor<Inv, Exact<T, undefined>>, {
     undefined: void;
-}, {}> & If<Exact<T, true>, {
+}, {}> & If<Xor<Inv, Exact<T, true>>, {
     true: void;
-}, {}> & If<Exact<T, false>, {
+}, {}> & If<Xor<Inv, Exact<T, false>>, {
     false: void;
 }, {}>;
 //# sourceMappingURL=be.d.ts.map

package/esm/main/expect/to/be.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"be.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAA;~~AACxD~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,EAAE,CAAC,CAAC,~~IACZ~~;IACA,CAAC,CAAC,KAAK,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACvC~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CAC5C~~,GACC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACpC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACxC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAChD~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}
1	+ {"version":3,"file":"be.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IACzC;IACA,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CACzD,GACC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAC9C,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAC1D,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}

package/esm/main/expect/to/be.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"be.js","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"","sourcesContent":["import type { Exact, If } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Be<T> =\n & {\n <U>(): TypeAssertionResult<Exact<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<Exact<T, U~~>>\~~n }\n & If<Exact<T, any>, { any: void }, {}>\n & If<Exact<T, never>, { never: void }, {}>\n & If<Exact<T, unknown>, { unknown: void }, {}>\n & If<Exact<T, void>, { void: void }, {}>\n & If<Exact<T, null>, { null: void }, {}>\n & If<Exact<T, undefined>, { undefined: void }, {}>\n & If<Exact<T, true>, { true: void }, {}>\n & If<Exact<T, false>, { false: void }, {}>\n"]}
1	+ {"version":3,"file":"be.js","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"","sourcesContent":["import type { Exact, If, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Be<T, Inv extends boolean = false> =\n & {\n <U>(): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>\n }\n & If<Xor<Inv, Exact<T, any>>, { any: void }, {}>\n & If<Xor<Inv, Exact<T, never>>, { never: void }, {}>\n & If<Xor<Inv, Exact<T, unknown>>, { unknown: void }, {}>\n & If<Xor<Inv, Exact<T, void>>, { void: void }, {}>\n & If<Xor<Inv, Exact<T, null>>, { null: void }, {}>\n & If<Xor<Inv, Exact<T, undefined>>, { undefined: void }, {}>\n & If<Xor<Inv, Exact<T, true>>, { true: void }, {}>\n & If<Xor<Inv, Exact<T, false>>, { false: void }, {}>\n"]}

package/esm/main/expect/to/equal.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { MutuallyAssignable } from '../../../utils/index.js';
+import type { MutuallyAssignable, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Equal<T> = {
+export type Equal<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type is mutually assignable with the provided type U.
      *
@@ -20,7 +20,7 @@ export type Equal<T> = {
      * expect<1>().to.equal<1 | 2>().fail
      * ```
      */
-    <U>(): TypeAssertionResult<MutuallyAssignable<T, U>>;
-    <U>(_: U): TypeAssertionResult<MutuallyAssignable<T, U>>;
+    <U>(): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>;
 };
 //# sourceMappingURL=equal.d.ts.map

package/esm/main/expect/to/equal.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;~~AACjE~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;~~IACrB~~;;;;;;;;;;;;;;;;;;OAkBG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACpD~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CACzD~~,CAAA"}
1	+ {"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAClD;;;;;;;;;;;;;;;;;;OAkBG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CACtE,CAAA"}

package/esm/main/expect/to/equal.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"equal.js","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"","sourcesContent":["import type { MutuallyAssignable } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Equal<T> = {\n /*\n Tests if the current type is mutually assignable with the provided type U.\n \n It's like:\n \n ```ts ignore\n * [T] extends [U] ? [U] extends [T] ? Yes : No : No\n * ```\n \n @template U The type to compare with\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<{ a: 1; b: 2 }>().to.equal<{ a: 1 } & { b: 2 }>().pass\n * expect<1>().to.equal<1 \| 2>().fail\n * ```\n */\n <U>(): TypeAssertionResult<MutuallyAssignable<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<MutuallyAssignable<T, U~~>>\~~n}\n"]}
1	+ {"version":3,"file":"equal.js","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"","sourcesContent":["import type { MutuallyAssignable, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Equal<T, Inv extends boolean = false> = {\n /*\n Tests if the current type is mutually assignable with the provided type U.\n \n It's like:\n \n ```ts ignore\n * [T] extends [U] ? [U] extends [T] ? Yes : No : No\n * ```\n \n @template U The type to compare with\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<{ a: 1; b: 2 }>().to.equal<{ a: 1 } & { b: 2 }>().pass\n * expect<1>().to.equal<1 \| 2>().fail\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>\n}\n"]}

package/esm/main/expect/to/extend.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { Extends, If } from '../../../utils/index.js';
+import type { Extends, If, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Extend<T> = {
+export type Extend<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type T extends the provided type U.
      *
@@ -15,17 +15,17 @@ export type Extend<T> = {
      * expect<'hello'>().to.extend<string>().pass
      * ```
      */
-    <U>(): TypeAssertionResult<Extends<T, U>>;
-    <U>(_: U): TypeAssertionResult<Extends<T, U>>;
-} & If<Extends<T, number>, {
+    <U>(): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>;
+} & If<Xor<Inv, Extends<T, number>>, {
     number: void;
-}, {}> & If<Extends<T, bigint>, {
+}, {}> & If<Xor<Inv, Extends<T, bigint>>, {
     bigint: void;
-}, {}> & If<Extends<T, string>, {
+}, {}> & If<Xor<Inv, Extends<T, string>>, {
     string: void;
-}, {}> & If<Extends<T, boolean>, {
+}, {}> & If<Xor<Inv, Extends<T, boolean>>, {
     boolean: void;
-}, {}> & If<Extends<T, symbol>, {
+}, {}> & If<Xor<Inv, Extends<T, symbol>>, {
     symbol: void;
 }, {}>;
 //# sourceMappingURL=extend.d.ts.map

package/esm/main/expect/to/extend.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"extend.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAA;~~AAC1D~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,MAAM,CAAC,CAAC,~~IAChB~~;IACA;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACzC~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CAC9C~~,GACC,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC9C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}
1	+ {"version":3,"file":"extend.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAC7C;IACA;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACtD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CAC3D,GACC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACxD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}

package/esm/main/expect/to/extend.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"extend.js","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, If } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Extend<T> =\n & {\n /*\n Tests if the current type T extends the provided type U.\n \n @template U The type to check extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<3.14>().to.extend<number>().pass\n * expect<2>().to.extend<string>().fail\n * expect<'hello'>().to.extend<string>().pass\n * ```\n */\n <U>(): TypeAssertionResult<Extends<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<Extends<T, U~~>>\~~n }\n & If<Extends<T, number>, { number: void }, {}>\n & If<Extends<T, bigint>, { bigint: void }, {}>\n & If<Extends<T, string>, { string: void }, {}>\n & If<Extends<T, boolean>, { boolean: void }, {}>\n & If<Extends<T, symbol>, { symbol: void }, {}>\n"]}
1	+ {"version":3,"file":"extend.js","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, If, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Extend<T, Inv extends boolean = false> =\n & {\n /*\n Tests if the current type T extends the provided type U.\n \n @template U The type to check extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<3.14>().to.extend<number>().pass\n * expect<2>().to.extend<string>().fail\n * expect<'hello'>().to.extend<string>().pass\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>\n }\n & If<Xor<Inv, Extends<T, number>>, { number: void }, {}>\n & If<Xor<Inv, Extends<T, bigint>>, { bigint: void }, {}>\n & If<Xor<Inv, Extends<T, string>>, { string: void }, {}>\n & If<Xor<Inv, Extends<T, boolean>>, { boolean: void }, {}>\n & If<Xor<Inv, Extends<T, symbol>>, { symbol: void }, {}>\n"]}

package/esm/main/expect/to/have-key.d.ts CHANGED Viewed

@@ -1,10 +1,10 @@
-import type { Extends, IfTupleIncludes } from '../../../utils/index.js';
+import type { Extends, IfTupleIncludes, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-type Result<T, K extends PropertyKey> = IfTupleIncludes<[
+type Result<T, K extends PropertyKey, Inv extends boolean = false> = IfTupleIncludes<[
     never,
     any
-], K, never, TypeAssertionResult<Extends<K, keyof T>>>;
-export type HaveKey<T> = {
+], K, never, TypeAssertionResult<T, Xor<Inv, Extends<K, keyof T>>>>;
+export type HaveKey<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type `T` has a property with key `K`.
      *
@@ -31,8 +31,8 @@ export type HaveKey<T> = {
      * expect<WithProp>().to.haveKey<'may' | 'unexist'>().fail
      * ```
      */
-    <K extends PropertyKey>(): Result<T, K>;
-    <K extends PropertyKey>(_: K): Result<T, K>;
+    <K extends PropertyKey>(): Result<T, K, Inv>;
+    <K extends PropertyKey>(_: K): Result<T, K, Inv>;
 };
 export {};
 //# sourceMappingURL=have-key.d.ts.map

package/esm/main/expect/to/have-key.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"have-key.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;~~AACvE~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,eAAe,~~CACrD~~;IAAC,KAAK;IAAE,GAAG;CAAC,EACZ,CAAC,EACD,KAAK,EACL,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,~~CACzC~~,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;~~IACvB~~;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,SAAS,WAAW,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;~~IACvC~~,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;~~CAC5C~~,CAAA"}
1	+ {"version":3,"file":"have-key.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI,eAAe,CAClF;IAAC,KAAK;IAAE,GAAG;CAAC,EACZ,CAAC,EACD,KAAK,EACL,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CACtD,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IACpD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,SAAS,WAAW,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC5C,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;CACjD,CAAA"}

package/esm/main/expect/to/have-key.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"have-key.js","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, IfTupleIncludes } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\ntype Result<T, K extends PropertyKey> = IfTupleIncludes<\n [never, any],\n K,\n never,\n TypeAssertionResult<Extends<K, keyof T~~>>\~~n>\n\nexport type HaveKey<T> = {\n /*\n Tests if the current type `T` has a property with key `K`.\n \n @template K The property key to check for\n \n ### Behavior\n \n - For single keys: succeeds if the key exists in `T`\n * - For union types: succeeds only if all keys in the union exist in `T`\n \n ### Examples\n \n ```ts\n * import { expect } from '@leawind/lay-sing'\n \n type WithProp = { prop: string; another: number; may?: 5 }\n \n // Single key checks\n * expect<WithProp>().to.haveKey<'prop'>().pass\n * expect<WithProp>().to.haveKey<'missing'>().fail\n \n // Union type checks\n * expect<WithProp>().to.haveKey<'prop' \| 'another'>().pass\n * expect<WithProp>().to.haveKey<'may' \| 'unexist'>().fail\n * ```\n */\n <K extends PropertyKey>(): Result<T, K>\n <K extends PropertyKey>(_: K): Result<T, K>\n}\n"]}
1	+ {"version":3,"file":"have-key.js","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, IfTupleIncludes, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\ntype Result<T, K extends PropertyKey, Inv extends boolean = false> = IfTupleIncludes<\n [never, any],\n K,\n never,\n TypeAssertionResult<T, Xor<Inv, Extends<K, keyof T>>>\n>\n\nexport type HaveKey<T, Inv extends boolean = false> = {\n /*\n Tests if the current type `T` has a property with key `K`.\n \n @template K The property key to check for\n \n ### Behavior\n \n - For single keys: succeeds if the key exists in `T`\n * - For union types: succeeds only if all keys in the union exist in `T`\n \n ### Examples\n \n ```ts\n * import { expect } from '@leawind/lay-sing'\n \n type WithProp = { prop: string; another: number; may?: 5 }\n \n // Single key checks\n * expect<WithProp>().to.haveKey<'prop'>().pass\n * expect<WithProp>().to.haveKey<'missing'>().fail\n \n // Union type checks\n * expect<WithProp>().to.haveKey<'prop' \| 'another'>().pass\n * expect<WithProp>().to.haveKey<'may' \| 'unexist'>().fail\n * ```\n */\n <K extends PropertyKey>(): Result<T, K, Inv>\n <K extends PropertyKey>(_: K): Result<T, K, Inv>\n}\n"]}

package/esm/main/expect/to/index.d.ts CHANGED Viewed

@@ -1,13 +1,15 @@
+import type { Not } from '../../../utils/logic/boolean.js';
 import type { Be } from './be.js';
 import type { Equal } from './equal.js';
 import type { Extend } from './extend.js';
 import type { ProperExtends } from './proper-extends.js';
 import type { HaveKey } from './have-key.js';
-export type To<T> = {
-    be: Be<T>;
-    equal: Equal<T>;
-    extend: Extend<T>;
-    properExtend: ProperExtends<T>;
-    haveKey: HaveKey<T>;
+export type To<T, Inv extends boolean = false> = {
+    not: To<T, Not<Inv>>;
+    be: Be<T, Inv>;
+    equal: Equal<T, Inv>;
+    extend: Extend<T, Inv>;
+    properExtend: ProperExtends<T, Inv>;
+    haveKey: HaveKey<T, Inv>;
 };
 //# sourceMappingURL=index.d.ts.map

package/esm/main/expect/to/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI;~~IAClB~~,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACT~~,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;~~IACf~~,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;~~IACjB~~,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;~~IAC9B~~,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;~~CACpB~~,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,iCAAiC,CAAA;AAC1D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAC/C,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IACpB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACd,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACpB,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtB,YAAY,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACnC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CACzB,CAAA"}

package/esm/main/expect/to/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { Be } from './be.js'\nimport type { Equal } from './equal.js'\nimport type { Extend } from './extend.js'\nimport type { ProperExtends } from './proper-extends.js'\nimport type { HaveKey } from './have-key.js'\n\nexport type To<T> = {\n be: Be<T>\n equal: Equal<T>\n extend: Extend<T>\n properExtend: ProperExtends<T>\n haveKey: HaveKey<T>\n}\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { Not } from '../../../utils/logic/boolean.js'\nimport type { Be } from './be.js'\nimport type { Equal } from './equal.js'\nimport type { Extend } from './extend.js'\nimport type { ProperExtends } from './proper-extends.js'\nimport type { HaveKey } from './have-key.js'\n\nexport type To<T, Inv extends boolean = false> = {\n not: To<T, Not<Inv>>\n be: Be<T, Inv>\n equal: Equal<T, Inv>\n extend: Extend<T, Inv>\n properExtend: ProperExtends<T, Inv>\n haveKey: HaveKey<T, Inv>\n}\n"]}

package/esm/main/expect/to/proper-extends.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { ProperExtend } from '../../../utils/index.js';
+import type { ProperExtend, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type ProperExtends<T> = {
+export type ProperExtends<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type T properly extends the provided type U (extends but is not the same).
      *
@@ -15,7 +15,7 @@ export type ProperExtends<T> = {
      * expect<number>().to.properExtend<number>().fail
      * ```
      */
-    <U>(): TypeAssertionResult<ProperExtend<T, U>>;
-    <U>(_: U): TypeAssertionResult<ProperExtend<T, U>>;
+    <U>(): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>;
 };
 //# sourceMappingURL=proper-extends.d.ts.map

package/esm/main/expect/to/proper-extends.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proper-extends.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;~~AAC3D~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;~~IAC7B~~;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IAC9C~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CACnD~~,CAAA"}
1	+ {"version":3,"file":"proper-extends.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAC1D;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CAChE,CAAA"}

package/esm/main/expect/to/proper-extends.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proper-extends.js","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"","sourcesContent":["import type { ProperExtend } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type ProperExtends<T> = {\n /*\n Tests if the current type T properly extends the provided type U (extends but is not the same).\n \n @template U The type to check proper extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<2>().to.properExtend<number>().pass\n * expect<'a' \| 'b'>().to.properExtend<string>().pass\n * expect<number>().to.properExtend<number>().fail\n * ```\n */\n <U>(): TypeAssertionResult<ProperExtend<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<ProperExtend<T, U~~>>\~~n}\n"]}
1	+ {"version":3,"file":"proper-extends.js","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"","sourcesContent":["import type { ProperExtend, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type ProperExtends<T, Inv extends boolean = false> = {\n /*\n Tests if the current type T properly extends the provided type U (extends but is not the same).\n \n @template U The type to check proper extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<2>().to.properExtend<number>().pass\n * expect<'a' \| 'b'>().to.properExtend<string>().pass\n * expect<number>().to.properExtend<number>().fail\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>\n}\n"]}

package/esm/utils/logic/boolean.d.ts ADDED Viewed

@@ -0,0 +1,60 @@
+/**
+ * Negates a boolean type
+ *
+ * @template T - The boolean type to negate
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<Not<true>>().to.be.false
+ * expect<Not<false>>().to.be.true
+ * expect<Not<boolean>>().to.be<boolean>().pass
+ * ```
+ */
+export type Not<T extends boolean> = T extends true ? false : T extends false ? true : boolean;
+/**
+ * Logical AND operation on two boolean types
+ *
+ * @template A - The first boolean type to compare
+ * @template B - The second boolean type to compare
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<And<true, true>>().to.be.true
+ * expect<And<true, false>>().to.be.false
+ * expect<And<false, true>>().to.be.false
+ * expect<And<false, false>>().to.be.false
+ * expect<And<boolean, boolean>>().to.be<boolean>().pass
+ * ```
+ */
+export type And<A extends boolean, B extends boolean> = A extends never ? never : [B] extends [never] ? never : (A extends true ? (B extends true ? true : false) : false);
+/**
+ * Logical OR operation on two boolean types
+ *
+ * @template A - The first boolean type to compare
+ * @template B - The second boolean type to compare
+ *
+ * ### Result
+ *
+ * - `never`: if either `A` or `B` is `never`
+ * - `boolean`: if either `A` or `B` is `boolean` or `any`
+ * - `false`: if both `A` and `B` are `false`
+ * - `true`: otherwise
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<Or<true, true>>().to.be.true
+ * expect<Or<true, false>>().to.be.true
+ * expect<Or<false, true>>().to.be.true
+ * expect<Or<false, false>>().to.be.false
+ * expect<Or<boolean, false>>().to.be<boolean>().pass
+ * ```
+ */
+export type Or<A extends boolean, B extends boolean> = [A] extends [never] ? never : [B] extends [never] ? never : [boolean] extends [A] ? boolean : [boolean] extends [B] ? boolean : true extends A ? true : true extends B ? true : false;
+export type Xor<A extends boolean, B extends boolean> = [A] extends [never] ? never : [B] extends [never] ? never : [boolean] extends [A] ? boolean : [boolean] extends [B] ? boolean : true extends A ? (true extends B ? false : true) : true extends B ? (true extends A ? false : true) : false;
+//# sourceMappingURL=boolean.d.ts.map

package/esm/utils/logic/boolean.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../src/utils/logic/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,KAAK,GACvD,CAAC,SAAS,KAAK,GAAG,IAAI,GACtB,OAAO,CAAA;AAEX;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,IACf,CAAC,SAAS,KAAK,GAAG,KAAK,GACvB,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAC3B,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,EAAE,CACZ,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,IACf,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAC3B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAC3B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,GAC/B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,GAC/B,IAAI,SAAS,CAAC,GAAG,IAAI,GACrB,IAAI,SAAS,CAAC,GAAG,IAAI,GACrB,KAAK,CAAA;AAET,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,IACf,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAC3B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAC3B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,GAC/B,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,OAAO,GAC/B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAChD,KAAK,CAAA"}

package/esm/utils/logic/boolean.js ADDED Viewed

	@@ -0,0 +1,2 @@
1	+ export {};
2	+ //# sourceMappingURL=boolean.js.map

package/esm/utils/logic/boolean.js.map ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../../src/utils/logic/boolean.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * Negates a boolean type\n *\n * @template T - The boolean type to negate\n *\n * @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n *\n * expect<Not<true>>().to.be.false\n * expect<Not<false>>().to.be.true\n * expect<Not<boolean>>().to.be<boolean>().pass\n * ```\n */\nexport type Not<T extends boolean> = T extends true ? false\n : T extends false ? true\n : boolean\n\n/**\n * Logical AND operation on two boolean types\n *\n * @template A - The first boolean type to compare\n * @template B - The second boolean type to compare\n *\n * @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n *\n * expect<And<true, true>>().to.be.true\n * expect<And<true, false>>().to.be.false\n * expect<And<false, true>>().to.be.false\n * expect<And<false, false>>().to.be.false\n * expect<And<boolean, boolean>>().to.be<boolean>().pass\n * ```\n */\nexport type And<\n A extends boolean,\n B extends boolean,\n> = A extends never ? never\n : [B] extends [never] ? never\n : (A extends true ? (B extends true ? true : false) : false)\n\n/**\n * Logical OR operation on two boolean types\n *\n * @template A - The first boolean type to compare\n * @template B - The second boolean type to compare\n *\n * ### Result\n *\n * - `never`: if either `A` or `B` is `never`\n * - `boolean`: if either `A` or `B` is `boolean` or `any`\n * - `false`: if both `A` and `B` are `false`\n * - `true`: otherwise\n *\n * @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n *\n * expect<Or<true, true>>().to.be.true\n * expect<Or<true, false>>().to.be.true\n * expect<Or<false, true>>().to.be.true\n * expect<Or<false, false>>().to.be.false\n * expect<Or<boolean, false>>().to.be<boolean>().pass\n * ```\n */\nexport type Or<\n A extends boolean,\n B extends boolean,\n> = [A] extends [never] ? never\n : [B] extends [never] ? never\n : [boolean] extends [A] ? boolean\n : [boolean] extends [B] ? boolean\n : true extends A ? true\n : true extends B ? true\n : false\n\nexport type Xor<\n A extends boolean,\n B extends boolean,\n> = [A] extends [never] ? never\n : [B] extends [never] ? never\n : [boolean] extends [A] ? boolean\n : [boolean] extends [B] ? boolean\n : true extends A ? (true extends B ? false : true)\n : true extends B ? (true extends A ? false : true)\n : false\n"]}

package/esm/utils/logic/index.d.ts CHANGED Viewed

@@ -1,4 +1,5 @@
 export * from './assert.js';
+export * from './boolean.js';
 export * from './if.js';
 export * from './switch.js';
 //# sourceMappingURL=index.d.ts.map

package/esm/utils/logic/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/esm/utils/logic/index.js CHANGED Viewed

@@ -1,5 +1,6 @@
 // Index start >>>>>>>>>>>>>>>>
 export * from './assert.js';
+export * from './boolean.js';
 export * from './if.js';
 export * from './switch.js';
 // <<<<<<<<<<<<<<<<   Index end

package/esm/utils/logic/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,+BAA+B","sourcesContent":["// Index start >>>>>>>>>>>>>>>>\nexport * from './assert.js'\nexport * from './if.js'\nexport * from './switch.js'\n// <<<<<<<<<<<<<<<< Index end\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA;AAC3B,+BAA+B","sourcesContent":["// Index start >>>>>>>>>>>>>>>>\nexport * from './assert.js'\nexport * from './boolean.js'\nexport * from './if.js'\nexport * from './switch.js'\n// <<<<<<<<<<<<<<<< Index end\n"]}

package/package.json CHANGED Viewed

@@ -1,6 +1,6 @@
 {
   "name": "lay-sing",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "description": "Utilities for compile-time type testing",
   "repository": {
     "type": "git",

package/script/main/expect/index.d.ts CHANGED Viewed

@@ -1,4 +1,3 @@
-import type { Exact } from '../../utils/index.js';
 import type { To } from './to/index.js';
 /**
  * Represents the result of a type assertion based on a boolean condition.
@@ -10,7 +9,7 @@ import type { To } from './to/index.js';
  * @template B The boolean condition result (true or false)
  * @template R The type of the result value (default is void)
  */
-export type TypeAssertionResult<B extends boolean, R = void> = Exact<B, never> extends true ? never : [boolean] extends [B] ? never : [B] extends [true] ? {
+export type TypeAssertionResult<T, B extends boolean, R = ExpectType<T>> = [B] extends [true] ? {
     /**
      * This field exist only when this type assertion succeed
      *

package/script/main/expect/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,~~KAAK,~~EAAE,~~MAAM,sBAAsB,CAAA;AACjD,OAAO,KAAK,~~EAAE,~~EAAE,EAAE,~~MAAM,eAAe,CAAA;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,OAAO,~~EAAE~~,CAAC,GAAG,~~IAAI~~,~~IAAI,KAAK,~~CAAC,CAAC,~~EAAE,KAAK,~~CAAC,~~SAAS~~,~~IAAI,GAAG,KAAK,GAC/F,~~CAAC,~~OAAO,~~CAAC,~~SAAS,~~CAAC,~~CAAC,CAAC,GAAG,KAAK,GAC7B,CAAC,CAAC,CAAC,~~SAAS,CAAC,IAAI,CAAC,GAAG;~~IACnB~~;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,~~GACD~~,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG;IACpB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACD,KAAK,CAAA;AAET,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;CACV,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,eAAe,CAAA;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,EACD,CAAC,SAAS,OAAO,EACjB,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IACf,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG;IACrB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG;IACpB;;;;OAIG;IACH,IAAI,EAAE,CAAC,CAAA;CACR,GACD,KAAK,CAAA;AAET,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;CACV,CAAA"}

package/script/main/expect/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { ~~Exact } from '../../utils/index.js'\nimport type {~~ To } from './to/index.js'\n\n/*\n Represents the result of a type assertion based on a boolean condition.\n \n - If `true`, the result has a `pass` property;\n * - If `false`, the result has a `fail` property;\n * - Otherwise, the result is `never`\n \n @template B The boolean condition result (true or false)\n * @template R The type of the result value (default is void)\n /\nexport type TypeAssertionResult<B extends boolean, R = ~~void~~> = ~~Exact<B, never> extends true ? never\n :~~ [~~boolean] extends [~~B] ~~? never\n : [B]~~ extends [true] ? {\n /\n This field exist only when this type assertion succeed\n \n If you expect this assertion to fail, use `.fail`\n /\n pass: R\n }\n : [B] extends [false] ? {\n /\n This field exist only when this type assertion failed\n \n If you expect this assertion to pass, use `.pass`\n */\n fail: R\n }\n : never\n\nexport type ExpectType<T> = {\n to: To<T>\n}\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/main/expect/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { To } from './to/index.js'\n\n/*\n Represents the result of a type assertion based on a boolean condition.\n \n - If `true`, the result has a `pass` property;\n * - If `false`, the result has a `fail` property;\n * - Otherwise, the result is `never`\n \n @template B The boolean condition result (true or false)\n * @template R The type of the result value (default is void)\n /\nexport type TypeAssertionResult<\n T,\n B extends boolean,\n R = ExpectType<T>,\n> = [B] extends [true] ? {\n /\n This field exist only when this type assertion succeed\n \n If you expect this assertion to fail, use `.fail`\n /\n pass: R\n }\n : [B] extends [false] ? {\n /\n This field exist only when this type assertion failed\n \n If you expect this assertion to pass, use `.pass`\n */\n fail: R\n }\n : never\n\nexport type ExpectType<T> = {\n to: To<T>\n}\n"]}

package/script/main/expect/to/be.d.ts CHANGED Viewed

@@ -1,23 +1,23 @@
-import type { Exact, If } from '../../../utils/index.js';
+import type { Exact, If, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Be<T> = {
-    <U>(): TypeAssertionResult<Exact<T, U>>;
-    <U>(_: U): TypeAssertionResult<Exact<T, U>>;
-} & If<Exact<T, any>, {
+export type Be<T, Inv extends boolean = false> = {
+    <U>(): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>;
+} & If<Xor<Inv, Exact<T, any>>, {
     any: void;
-}, {}> & If<Exact<T, never>, {
+}, {}> & If<Xor<Inv, Exact<T, never>>, {
     never: void;
-}, {}> & If<Exact<T, unknown>, {
+}, {}> & If<Xor<Inv, Exact<T, unknown>>, {
     unknown: void;
-}, {}> & If<Exact<T, void>, {
+}, {}> & If<Xor<Inv, Exact<T, void>>, {
     void: void;
-}, {}> & If<Exact<T, null>, {
+}, {}> & If<Xor<Inv, Exact<T, null>>, {
     null: void;
-}, {}> & If<Exact<T, undefined>, {
+}, {}> & If<Xor<Inv, Exact<T, undefined>>, {
     undefined: void;
-}, {}> & If<Exact<T, true>, {
+}, {}> & If<Xor<Inv, Exact<T, true>>, {
     true: void;
-}, {}> & If<Exact<T, false>, {
+}, {}> & If<Xor<Inv, Exact<T, false>>, {
     false: void;
 }, {}>;
 //# sourceMappingURL=be.d.ts.map

package/script/main/expect/to/be.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"be.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAA;~~AACxD~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,EAAE,CAAC,CAAC,~~IACZ~~;IACA,CAAC,CAAC,KAAK,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACvC~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CAC5C~~,GACC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACpC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACxC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAChD~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GACtC~~,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}
1	+ {"version":3,"file":"be.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC7D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IACzC;IACA,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CACzD,GACC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAC9C,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAClD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE;IAAE,SAAS,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAC1D,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GAChD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;IAAE,KAAK,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}

package/script/main/expect/to/be.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"be.js","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"","sourcesContent":["import type { Exact, If } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Be<T> =\n & {\n <U>(): TypeAssertionResult<Exact<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<Exact<T, U~~>>\~~n }\n & If<Exact<T, any>, { any: void }, {}>\n & If<Exact<T, never>, { never: void }, {}>\n & If<Exact<T, unknown>, { unknown: void }, {}>\n & If<Exact<T, void>, { void: void }, {}>\n & If<Exact<T, null>, { null: void }, {}>\n & If<Exact<T, undefined>, { undefined: void }, {}>\n & If<Exact<T, true>, { true: void }, {}>\n & If<Exact<T, false>, { false: void }, {}>\n"]}
1	+ {"version":3,"file":"be.js","sourceRoot":"","sources":["../../../../src/main/expect/to/be.ts"],"names":[],"mappings":"","sourcesContent":["import type { Exact, If, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Be<T, Inv extends boolean = false> =\n & {\n <U>(): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, Exact<T, U>>>\n }\n & If<Xor<Inv, Exact<T, any>>, { any: void }, {}>\n & If<Xor<Inv, Exact<T, never>>, { never: void }, {}>\n & If<Xor<Inv, Exact<T, unknown>>, { unknown: void }, {}>\n & If<Xor<Inv, Exact<T, void>>, { void: void }, {}>\n & If<Xor<Inv, Exact<T, null>>, { null: void }, {}>\n & If<Xor<Inv, Exact<T, undefined>>, { undefined: void }, {}>\n & If<Xor<Inv, Exact<T, true>>, { true: void }, {}>\n & If<Xor<Inv, Exact<T, false>>, { false: void }, {}>\n"]}

package/script/main/expect/to/equal.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { MutuallyAssignable } from '../../../utils/index.js';
+import type { MutuallyAssignable, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Equal<T> = {
+export type Equal<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type is mutually assignable with the provided type U.
      *
@@ -20,7 +20,7 @@ export type Equal<T> = {
      * expect<1>().to.equal<1 | 2>().fail
      * ```
      */
-    <U>(): TypeAssertionResult<MutuallyAssignable<T, U>>;
-    <U>(_: U): TypeAssertionResult<MutuallyAssignable<T, U>>;
+    <U>(): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>;
 };
 //# sourceMappingURL=equal.d.ts.map

package/script/main/expect/to/equal.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;~~AACjE~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;~~IACrB~~;;;;;;;;;;;;;;;;;;OAkBG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACpD~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CACzD~~,CAAA"}
1	+ {"version":3,"file":"equal.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAClD;;;;;;;;;;;;;;;;;;OAkBG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CACtE,CAAA"}

package/script/main/expect/to/equal.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"equal.js","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"","sourcesContent":["import type { MutuallyAssignable } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Equal<T> = {\n /*\n Tests if the current type is mutually assignable with the provided type U.\n \n It's like:\n \n ```ts ignore\n * [T] extends [U] ? [U] extends [T] ? Yes : No : No\n * ```\n \n @template U The type to compare with\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<{ a: 1; b: 2 }>().to.equal<{ a: 1 } & { b: 2 }>().pass\n * expect<1>().to.equal<1 \| 2>().fail\n * ```\n */\n <U>(): TypeAssertionResult<MutuallyAssignable<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<MutuallyAssignable<T, U~~>>\~~n}\n"]}
1	+ {"version":3,"file":"equal.js","sourceRoot":"","sources":["../../../../src/main/expect/to/equal.ts"],"names":[],"mappings":"","sourcesContent":["import type { MutuallyAssignable, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Equal<T, Inv extends boolean = false> = {\n /*\n Tests if the current type is mutually assignable with the provided type U.\n \n It's like:\n \n ```ts ignore\n * [T] extends [U] ? [U] extends [T] ? Yes : No : No\n * ```\n \n @template U The type to compare with\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<{ a: 1; b: 2 }>().to.equal<{ a: 1 } & { b: 2 }>().pass\n * expect<1>().to.equal<1 \| 2>().fail\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, MutuallyAssignable<T, U>>>\n}\n"]}

package/script/main/expect/to/extend.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { Extends, If } from '../../../utils/index.js';
+import type { Extends, If, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type Extend<T> = {
+export type Extend<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type T extends the provided type U.
      *
@@ -15,17 +15,17 @@ export type Extend<T> = {
      * expect<'hello'>().to.extend<string>().pass
      * ```
      */
-    <U>(): TypeAssertionResult<Extends<T, U>>;
-    <U>(_: U): TypeAssertionResult<Extends<T, U>>;
-} & If<Extends<T, number>, {
+    <U>(): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>;
+} & If<Xor<Inv, Extends<T, number>>, {
     number: void;
-}, {}> & If<Extends<T, bigint>, {
+}, {}> & If<Xor<Inv, Extends<T, bigint>>, {
     bigint: void;
-}, {}> & If<Extends<T, string>, {
+}, {}> & If<Xor<Inv, Extends<T, string>>, {
     string: void;
-}, {}> & If<Extends<T, boolean>, {
+}, {}> & If<Xor<Inv, Extends<T, boolean>>, {
     boolean: void;
-}, {}> & If<Extends<T, symbol>, {
+}, {}> & If<Xor<Inv, Extends<T, symbol>>, {
     symbol: void;
 }, {}>;
 //# sourceMappingURL=extend.d.ts.map

package/script/main/expect/to/extend.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"extend.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,yBAAyB,CAAA;~~AAC1D~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,MAAM,CAAC,CAAC,~~IAChB~~;IACA;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACzC~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CAC9C~~,GACC,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC5C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,~~GAC9C~~,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}
1	+ {"version":3,"file":"extend.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAC7C;IACA;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACtD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CAC3D,GACC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACtD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,GACxD,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE;IAAE,MAAM,EAAE,IAAI,CAAA;CAAE,EAAE,EAAE,CAAC,CAAA"}

package/script/main/expect/to/extend.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"extend.js","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, If } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Extend<T> =\n & {\n /*\n Tests if the current type T extends the provided type U.\n \n @template U The type to check extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<3.14>().to.extend<number>().pass\n * expect<2>().to.extend<string>().fail\n * expect<'hello'>().to.extend<string>().pass\n * ```\n */\n <U>(): TypeAssertionResult<Extends<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<Extends<T, U~~>>\~~n }\n & If<Extends<T, number>, { number: void }, {}>\n & If<Extends<T, bigint>, { bigint: void }, {}>\n & If<Extends<T, string>, { string: void }, {}>\n & If<Extends<T, boolean>, { boolean: void }, {}>\n & If<Extends<T, symbol>, { symbol: void }, {}>\n"]}
1	+ {"version":3,"file":"extend.js","sourceRoot":"","sources":["../../../../src/main/expect/to/extend.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, If, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type Extend<T, Inv extends boolean = false> =\n & {\n /*\n Tests if the current type T extends the provided type U.\n \n @template U The type to check extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<3.14>().to.extend<number>().pass\n * expect<2>().to.extend<string>().fail\n * expect<'hello'>().to.extend<string>().pass\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, Extends<T, U>>>\n }\n & If<Xor<Inv, Extends<T, number>>, { number: void }, {}>\n & If<Xor<Inv, Extends<T, bigint>>, { bigint: void }, {}>\n & If<Xor<Inv, Extends<T, string>>, { string: void }, {}>\n & If<Xor<Inv, Extends<T, boolean>>, { boolean: void }, {}>\n & If<Xor<Inv, Extends<T, symbol>>, { symbol: void }, {}>\n"]}

package/script/main/expect/to/have-key.d.ts CHANGED Viewed

@@ -1,10 +1,10 @@
-import type { Extends, IfTupleIncludes } from '../../../utils/index.js';
+import type { Extends, IfTupleIncludes, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-type Result<T, K extends PropertyKey> = IfTupleIncludes<[
+type Result<T, K extends PropertyKey, Inv extends boolean = false> = IfTupleIncludes<[
     never,
     any
-], K, never, TypeAssertionResult<Extends<K, keyof T>>>;
-export type HaveKey<T> = {
+], K, never, TypeAssertionResult<T, Xor<Inv, Extends<K, keyof T>>>>;
+export type HaveKey<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type `T` has a property with key `K`.
      *
@@ -31,8 +31,8 @@ export type HaveKey<T> = {
      * expect<WithProp>().to.haveKey<'may' | 'unexist'>().fail
      * ```
      */
-    <K extends PropertyKey>(): Result<T, K>;
-    <K extends PropertyKey>(_: K): Result<T, K>;
+    <K extends PropertyKey>(): Result<T, K, Inv>;
+    <K extends PropertyKey>(_: K): Result<T, K, Inv>;
 };
 export {};
 //# sourceMappingURL=have-key.d.ts.map

package/script/main/expect/to/have-key.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"have-key.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;~~AACvE~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,eAAe,~~CACrD~~;IAAC,KAAK;IAAE,GAAG;CAAC,EACZ,CAAC,EACD,KAAK,EACL,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,~~CACzC~~,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;~~IACvB~~;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,SAAS,WAAW,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;~~IACvC~~,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;~~CAC5C~~,CAAA"}
1	+ {"version":3,"file":"have-key.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC5E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI,eAAe,CAClF;IAAC,KAAK;IAAE,GAAG;CAAC,EACZ,CAAC,EACD,KAAK,EACL,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CACtD,CAAA;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IACpD;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACH,CAAC,CAAC,SAAS,WAAW,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC5C,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;CACjD,CAAA"}

package/script/main/expect/to/have-key.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"have-key.js","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, IfTupleIncludes } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\ntype Result<T, K extends PropertyKey> = IfTupleIncludes<\n [never, any],\n K,\n never,\n TypeAssertionResult<Extends<K, keyof T~~>>\~~n>\n\nexport type HaveKey<T> = {\n /*\n Tests if the current type `T` has a property with key `K`.\n \n @template K The property key to check for\n \n ### Behavior\n \n - For single keys: succeeds if the key exists in `T`\n * - For union types: succeeds only if all keys in the union exist in `T`\n \n ### Examples\n \n ```ts\n * import { expect } from '@leawind/lay-sing'\n \n type WithProp = { prop: string; another: number; may?: 5 }\n \n // Single key checks\n * expect<WithProp>().to.haveKey<'prop'>().pass\n * expect<WithProp>().to.haveKey<'missing'>().fail\n \n // Union type checks\n * expect<WithProp>().to.haveKey<'prop' \| 'another'>().pass\n * expect<WithProp>().to.haveKey<'may' \| 'unexist'>().fail\n * ```\n */\n <K extends PropertyKey>(): Result<T, K>\n <K extends PropertyKey>(_: K): Result<T, K>\n}\n"]}
1	+ {"version":3,"file":"have-key.js","sourceRoot":"","sources":["../../../../src/main/expect/to/have-key.ts"],"names":[],"mappings":"","sourcesContent":["import type { Extends, IfTupleIncludes, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\ntype Result<T, K extends PropertyKey, Inv extends boolean = false> = IfTupleIncludes<\n [never, any],\n K,\n never,\n TypeAssertionResult<T, Xor<Inv, Extends<K, keyof T>>>\n>\n\nexport type HaveKey<T, Inv extends boolean = false> = {\n /*\n Tests if the current type `T` has a property with key `K`.\n \n @template K The property key to check for\n \n ### Behavior\n \n - For single keys: succeeds if the key exists in `T`\n * - For union types: succeeds only if all keys in the union exist in `T`\n \n ### Examples\n \n ```ts\n * import { expect } from '@leawind/lay-sing'\n \n type WithProp = { prop: string; another: number; may?: 5 }\n \n // Single key checks\n * expect<WithProp>().to.haveKey<'prop'>().pass\n * expect<WithProp>().to.haveKey<'missing'>().fail\n \n // Union type checks\n * expect<WithProp>().to.haveKey<'prop' \| 'another'>().pass\n * expect<WithProp>().to.haveKey<'may' \| 'unexist'>().fail\n * ```\n */\n <K extends PropertyKey>(): Result<T, K, Inv>\n <K extends PropertyKey>(_: K): Result<T, K, Inv>\n}\n"]}

package/script/main/expect/to/index.d.ts CHANGED Viewed

@@ -1,13 +1,15 @@
+import type { Not } from '../../../utils/logic/boolean.js';
 import type { Be } from './be.js';
 import type { Equal } from './equal.js';
 import type { Extend } from './extend.js';
 import type { ProperExtends } from './proper-extends.js';
 import type { HaveKey } from './have-key.js';
-export type To<T> = {
-    be: Be<T>;
-    equal: Equal<T>;
-    extend: Extend<T>;
-    properExtend: ProperExtends<T>;
-    haveKey: HaveKey<T>;
+export type To<T, Inv extends boolean = false> = {
+    not: To<T, Not<Inv>>;
+    be: Be<T, Inv>;
+    equal: Equal<T, Inv>;
+    extend: Extend<T, Inv>;
+    properExtend: ProperExtends<T, Inv>;
+    haveKey: HaveKey<T, Inv>;
 };
 //# sourceMappingURL=index.d.ts.map

package/script/main/expect/to/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI;~~IAClB~~,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;~~IACT~~,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;~~IACf~~,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;~~IACjB~~,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;~~IAC9B~~,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;~~CACpB~~,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,iCAAiC,CAAA;AAC1D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAC/C,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IACpB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACd,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACpB,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACtB,YAAY,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IACnC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;CACzB,CAAA"}

package/script/main/expect/to/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { Be } from './be.js'\nimport type { Equal } from './equal.js'\nimport type { Extend } from './extend.js'\nimport type { ProperExtends } from './proper-extends.js'\nimport type { HaveKey } from './have-key.js'\n\nexport type To<T> = {\n be: Be<T>\n equal: Equal<T>\n extend: Extend<T>\n properExtend: ProperExtends<T>\n haveKey: HaveKey<T>\n}\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/main/expect/to/index.ts"],"names":[],"mappings":"","sourcesContent":["import type { Not } from '../../../utils/logic/boolean.js'\nimport type { Be } from './be.js'\nimport type { Equal } from './equal.js'\nimport type { Extend } from './extend.js'\nimport type { ProperExtends } from './proper-extends.js'\nimport type { HaveKey } from './have-key.js'\n\nexport type To<T, Inv extends boolean = false> = {\n not: To<T, Not<Inv>>\n be: Be<T, Inv>\n equal: Equal<T, Inv>\n extend: Extend<T, Inv>\n properExtend: ProperExtends<T, Inv>\n haveKey: HaveKey<T, Inv>\n}\n"]}

package/script/main/expect/to/proper-extends.d.ts CHANGED Viewed

@@ -1,6 +1,6 @@
-import type { ProperExtend } from '../../../utils/index.js';
+import type { ProperExtend, Xor } from '../../../utils/index.js';
 import type { TypeAssertionResult } from '../index.js';
-export type ProperExtends<T> = {
+export type ProperExtends<T, Inv extends boolean = false> = {
     /**
      * Tests if the current type T properly extends the provided type U (extends but is not the same).
      *
@@ -15,7 +15,7 @@ export type ProperExtends<T> = {
      * expect<number>().to.properExtend<number>().fail
      * ```
      */
-    <U>(): TypeAssertionResult<ProperExtend<T, U>>;
-    <U>(_: U): TypeAssertionResult<ProperExtend<T, U>>;
+    <U>(): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>;
+    <U>(_: U): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>;
 };
 //# sourceMappingURL=proper-extends.d.ts.map

package/script/main/expect/to/proper-extends.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proper-extends.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;~~AAC3D~~,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;~~IAC7B~~;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~IAC9C~~,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;~~CACnD~~,CAAA"}
1	+ {"version":3,"file":"proper-extends.d.ts","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,IAAI;IAC1D;;;;;;;;;;;;;OAaG;IACH,CAAC,CAAC,KAAK,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3D,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CAChE,CAAA"}

package/script/main/expect/to/proper-extends.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"proper-extends.js","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"","sourcesContent":["import type { ProperExtend } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type ProperExtends<T> = {\n /*\n Tests if the current type T properly extends the provided type U (extends but is not the same).\n \n @template U The type to check proper extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<2>().to.properExtend<number>().pass\n * expect<'a' \| 'b'>().to.properExtend<string>().pass\n * expect<number>().to.properExtend<number>().fail\n * ```\n */\n <U>(): TypeAssertionResult<ProperExtend<T, U~~>>\~~n <U>(_: U): TypeAssertionResult<ProperExtend<T, U~~>>\~~n}\n"]}
1	+ {"version":3,"file":"proper-extends.js","sourceRoot":"","sources":["../../../../src/main/expect/to/proper-extends.ts"],"names":[],"mappings":"","sourcesContent":["import type { ProperExtend, Xor } from '../../../utils/index.js'\nimport type { TypeAssertionResult } from '../index.js'\n\nexport type ProperExtends<T, Inv extends boolean = false> = {\n /*\n Tests if the current type T properly extends the provided type U (extends but is not the same).\n \n @template U The type to check proper extension against\n \n @example\n * ```ts\n * import { expect } from '@leawind/lay-sing'\n \n expect<2>().to.properExtend<number>().pass\n * expect<'a' \| 'b'>().to.properExtend<string>().pass\n * expect<number>().to.properExtend<number>().fail\n * ```\n */\n <U>(): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>\n <U>(_: U): TypeAssertionResult<T, Xor<Inv, ProperExtend<T, U>>>\n}\n"]}

package/script/utils/logic/boolean.d.ts ADDED Viewed

@@ -0,0 +1,60 @@
+/**
+ * Negates a boolean type
+ *
+ * @template T - The boolean type to negate
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<Not<true>>().to.be.false
+ * expect<Not<false>>().to.be.true
+ * expect<Not<boolean>>().to.be<boolean>().pass
+ * ```
+ */
+export type Not<T extends boolean> = T extends true ? false : T extends false ? true : boolean;
+/**
+ * Logical AND operation on two boolean types
+ *
+ * @template A - The first boolean type to compare
+ * @template B - The second boolean type to compare
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<And<true, true>>().to.be.true
+ * expect<And<true, false>>().to.be.false
+ * expect<And<false, true>>().to.be.false
+ * expect<And<false, false>>().to.be.false
+ * expect<And<boolean, boolean>>().to.be<boolean>().pass
+ * ```
+ */
+export type And<A extends boolean, B extends boolean> = A extends never ? never : [B] extends [never] ? never : (A extends true ? (B extends true ? true : false) : false);
+/**
+ * Logical OR operation on two boolean types
+ *
+ * @template A - The first boolean type to compare
+ * @template B - The second boolean type to compare
+ *
+ * ### Result
+ *
+ * - `never`: if either `A` or `B` is `never`
+ * - `boolean`: if either `A` or `B` is `boolean` or `any`
+ * - `false`: if both `A` and `B` are `false`
+ * - `true`: otherwise
+ *
+ * @example
+ * ```ts
+ * import { expect } from '@leawind/lay-sing'
+ *
+ * expect<Or<true, true>>().to.be.true
+ * expect<Or<true, false>>().to.be.true
+ * expect<Or<false, true>>().to.be.true
+ * expect<Or<false, false>>().to.be.false
+ * expect<Or<boolean, false>>().to.be<boolean>().pass
+ * ```
+ */
+export type Or<A extends boolean, B extends boolean> = [A] extends [never] ? never : [B] extends [never] ? never : [boolean] extends [A] ? boolean : [boolean] extends [B] ? boolean : true extends A ? true : true extends B ? true : false;
+export type Xor<A extends boolean, B extends boolean> = [A] extends [never] ? never : [B] extends [never] ? never : [boolean] extends [A] ? boolean : [boolean] extends [B] ? boolean : true extends A ? (true extends B ? false : true) : true extends B ? (true extends A ? false : true) : false;
+//# sourceMappingURL=boolean.d.ts.map

package/script/utils/logic/boolean.d.ts.map ADDED Viewed

@@ -0,0 +1 @@

package/script/utils/logic/boolean.js ADDED Viewed

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=boolean.js.map

package/script/utils/logic/boolean.js.map ADDED Viewed

@@ -0,0 +1 @@

package/script/utils/logic/index.d.ts CHANGED Viewed

@@ -1,4 +1,5 @@
 export * from './assert.js';
+export * from './boolean.js';
 export * from './if.js';
 export * from './switch.js';
 //# sourceMappingURL=index.d.ts.map

package/script/utils/logic/index.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAA;AAC3B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}
1	+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,SAAS,CAAA;AACvB,cAAc,aAAa,CAAA"}

package/script/utils/logic/index.js CHANGED Viewed

@@ -16,6 +16,7 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
 Object.defineProperty(exports, "__esModule", { value: true });
 // Index start >>>>>>>>>>>>>>>>
 __exportStar(require("./assert.js"), exports);
+__exportStar(require("./boolean.js"), exports);
 __exportStar(require("./if.js"), exports);
 __exportStar(require("./switch.js"), exports);
 // <<<<<<<<<<<<<<<<   Index end

package/script/utils/logic/index.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,+BAA+B;AAC/B,8CAA2B;AAC3B,0CAAuB;AACvB,8CAA2B;AAC3B,+BAA+B","sourcesContent":["// Index start >>>>>>>>>>>>>>>>\nexport * from './assert.js'\nexport * from './if.js'\nexport * from './switch.js'\n// <<<<<<<<<<<<<<<< Index end\n"]}
1	+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/utils/logic/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,+BAA+B;AAC/B,8CAA2B;AAC3B,+CAA4B;AAC5B,0CAAuB;AACvB,8CAA2B;AAC3B,+BAA+B","sourcesContent":["// Index start >>>>>>>>>>>>>>>>\nexport * from './assert.js'\nexport * from './boolean.js'\nexport * from './if.js'\nexport * from './switch.js'\n// <<<<<<<<<<<<<<<< Index end\n"]}