type-plus 4.12.1 → 4.13.1

package/README.md

@@ -380,6 +380,8 @@ JSONTypes.get<string>(someJson, 'a', 'b', 1, 'c') // miku
 - `BNotA<A, B>`: flip of `ANotB`
 - `as<T>(subject)`: assert `subject` as `T`. Avoid ASI issues such as `;(x as T).abc`
 - `asAny(subject)`: assert `subject` as `any`. Avoid ASI issue such as `;(x as any).abc`
+- `EitherAnd<A, B, [C, D]>`: combines 2 to 4 types as `A | B | (A & B)`. This is useful for combining options. **Deprecated**. Renamed to `EitherOrBoth`.
+- `EitherOrBoth<A, B, [C, D]>`: combines 2 to 4 types as `A | B | (A & B)`. This is useful for combining options.
 - `Except<T, K>`: Deprecated. Same as `Omit<T, K>`.
 - `ExcludePropType<T, U>`: excludes type `U` from properties in `T`.
 - `KeyofOptional<T>`: `keyof` that works with `Record<any, any> | undefined`.

package/cjs/utils/index.d.ts

@@ -2,4 +2,41 @@ export * from './as.js';
 export type { NonNull } from './NonNull.js';
 export type { NonUndefined } from './NonUndefined.js';
 export type { Widen } from './Widen.js';
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+export declare type EitherOrBoth<A, B, C = void, D = void> = C extends void ? A | B | A & B : (D extends void ? A | B | C | A & B | A & C | B & C | A & B & C : A | B | C | D | A & B | A & C | A & D | B & C | B & D | C & D | A & B & C | A & B & D | A & C & D | B & C & D | A & B & C & D);
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @deprecated renamed to `EitherOrBoth`
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+export declare type EitherAnd<A, B, C = void, D = void> = EitherOrBoth<A, B, C, D>;
 //# sourceMappingURL=index.d.ts.map

package/cjs/utils/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,oBAAY,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,GAC/D,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GACb,CAAC,CAAC,SAAS,IAAI,GACb,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GACf,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CACd,CAAA;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACF,oBAAY,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/cjs/utils/index.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.spec.d.ts.map

package/cjs/utils/index.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.d.ts","sourceRoot":"","sources":["../../ts/utils/index.spec.ts"],"names":[],"mappings":""}

package/cjs/utils/index.spec.js

@@ -0,0 +1,81 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+var index_js_1 = require("../index.js");
+describe('Either<A, B>', function () {
+    it('allows just A', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('allows just B', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('allows A & B', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('can use isType() to type guard the value', function () {
+        function foo(o) {
+            if ((0, index_js_1.isType)(o, function (o) { return typeof o.a === 'number'; })) {
+                index_js_1.isType.equal();
+            }
+            else {
+                throw new Error('should not reach');
+            }
+        }
+        foo({ a: 1 });
+    });
+    it('will make sure required field to be filled in when specifying optional field', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('allows A, B, C', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('allows A, B, C, D', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+    it('can compose', function () {
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+        index_js_1.isType.equal();
+    });
+});
+//# sourceMappingURL=index.spec.js.map

package/cjs/utils/index.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.js","sourceRoot":"","sources":["../../ts/utils/index.spec.ts"],"names":[],"mappings":";;AAAA,wCAA6D;AAE7D,QAAQ,CAAC,cAAc,EAAE;IAiBvB,EAAE,CAAC,eAAe,EAAE;QAElB,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAAuD,CAAA;QACnE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAuD,CAAA;IACrE,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,eAAe,EAAE;QAElB,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAAwD,CAAA;QACpE,iBAAM,CAAC,KAAK,EAAuD,CAAA;QACnE,iBAAM,CAAC,KAAK,EAAuD,CAAA;IACrE,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,cAAc,EAAE;QAEjB,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAmE,CAAA;QAC/E,iBAAM,CAAC,KAAK,EAAkE,CAAA;QAC9E,iBAAM,CAAC,KAAK,EAAkE,CAAA;QAC9E,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,iBAAM,CAAC,KAAK,EAA2E,CAAA;QACvF,iBAAM,CAAC,KAAK,EAAkE,CAAA;IAChF,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,0CAA0C,EAAE;QAE7C,SAAS,GAAG,CAAC,CAAI;YACf,IAAI,IAAA,iBAAM,EAAI,CAAC,EAAE,UAAA,CAAC,IAAI,OAAA,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAvB,CAAuB,CAAC,EAAE;gBAC9C,iBAAM,CAAC,KAAK,EAAqB,CAAA;aAClC;iBACI;gBACH,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;aACpC;QACH,CAAC;QACD,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACf,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,8EAA8E,EAAE;QAGjF,iBAAM,CAAC,KAAK,EAAyC,CAAA;QACrD,iBAAM,CAAC,KAAK,EAA8C,CAAA;IAC5D,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,gBAAgB,EAAE;QAEnB,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAiE,CAAA;IAC/E,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,mBAAmB,EAAE;QAEtB,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,iBAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,iBAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,iBAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,iBAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,iBAAM,CAAC,KAAK,EAA4E,CAAA;IAC1F,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,aAAa,EAAE;QAmChB,iBAAM,CAAC,KAAK,EAAmB,CAAA;QAC/B,iBAAM,CAAC,KAAK,EAAmB,CAAA;QAC/B,iBAAM,CAAC,KAAK,EAAqB,CAAA;QACjC,iBAAM,CAAC,KAAK,EAAqB,CAAA;QACjC,iBAAM,CAAC,KAAK,EAAqB,CAAA;IACnC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/utils/index.d.ts

@@ -2,4 +2,41 @@ export * from './as.js';
 export type { NonNull } from './NonNull.js';
 export type { NonUndefined } from './NonUndefined.js';
 export type { Widen } from './Widen.js';
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+export declare type EitherOrBoth<A, B, C = void, D = void> = C extends void ? A | B | A & B : (D extends void ? A | B | C | A & B | A & C | B & C | A & B & C : A | B | C | D | A & B | A & C | A & D | B & C | B & D | C & D | A & B & C | A & B & D | A & C & D | B & C & D | A & B & C & D);
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @deprecated renamed to `EitherOrBoth`
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+export declare type EitherAnd<A, B, C = void, D = void> = EitherOrBoth<A, B, C, D>;
 //# sourceMappingURL=index.d.ts.map

package/esm/utils/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,oBAAY,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,GAC/D,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GACb,CAAC,CAAC,SAAS,IAAI,GACb,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GACf,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAC7C,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CACd,CAAA;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACF,oBAAY,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/esm/utils/index.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.spec.d.ts.map

package/esm/utils/index.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.d.ts","sourceRoot":"","sources":["../../ts/utils/index.spec.ts"],"names":[],"mappings":""}

package/esm/utils/index.spec.js

@@ -0,0 +1,79 @@
+import { isType } from '../index.js';
+describe('Either<A, B>', () => {
+    it('allows just A', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    it('allows just B', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    it('allows A & B', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    it('can use isType() to type guard the value', () => {
+        function foo(o) {
+            if (isType(o, o => typeof o.a === 'number')) {
+                isType.equal();
+            }
+            else {
+                throw new Error('should not reach');
+            }
+        }
+        foo({ a: 1 });
+    });
+    it('will make sure required field to be filled in when specifying optional field', () => {
+        isType.equal();
+        isType.equal();
+    });
+    it('allows A, B, C', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    it('allows A, B, C, D', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    it('can compose', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+});
+//# sourceMappingURL=index.spec.js.map

package/esm/utils/index.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.js","sourceRoot":"","sources":["../../ts/utils/index.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,MAAM,EAAE,MAAM,aAAa,CAAA;AAE7D,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAiB5B,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QAEvB,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAAuD,CAAA;QACnE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAuD,CAAA;IACrE,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QAEvB,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAAwD,CAAA;QACpE,MAAM,CAAC,KAAK,EAAuD,CAAA;QACnE,MAAM,CAAC,KAAK,EAAuD,CAAA;IACrE,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QAEtB,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAmE,CAAA;QAC/E,MAAM,CAAC,KAAK,EAAkE,CAAA;QAC9E,MAAM,CAAC,KAAK,EAAkE,CAAA;QAC9E,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,MAAM,CAAC,KAAK,EAA2E,CAAA;QACvF,MAAM,CAAC,KAAK,EAAkE,CAAA;IAChF,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAElD,SAAS,GAAG,CAAC,CAAI;YACf,IAAI,MAAM,CAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE;gBAC9C,MAAM,CAAC,KAAK,EAAqB,CAAA;aAClC;iBACI;gBACH,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAA;aACpC;QACH,CAAC;QACD,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACf,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QAGtF,MAAM,CAAC,KAAK,EAAyC,CAAA;QACrD,MAAM,CAAC,KAAK,EAA8C,CAAA;IAC5D,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAExB,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAiE,CAAA;IAC/E,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAE3B,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAA2C,CAAA;QACvD,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAsD,CAAA;QAClE,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAAiE,CAAA;QAC7E,MAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,MAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,MAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,MAAM,CAAC,KAAK,EAA4E,CAAA;QACxF,MAAM,CAAC,KAAK,EAA4E,CAAA;IAC1F,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;QAmCrB,MAAM,CAAC,KAAK,EAAmB,CAAA;QAC/B,MAAM,CAAC,KAAK,EAAmB,CAAA;QAC/B,MAAM,CAAC,KAAK,EAAqB,CAAA;QACjC,MAAM,CAAC,KAAK,EAAqB,CAAA;QACjC,MAAM,CAAC,KAAK,EAAqB,CAAA;IACnC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "4.12.1",
+  "version": "4.13.1",
   "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {

package/ts/utils/index.ts

@@ -2,3 +2,50 @@ export * from './as.js'
 export type { NonNull } from './NonNull.js'
 export type { NonUndefined } from './NonUndefined.js'
 export type { Widen } from './Widen.js'
+
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+export type EitherOrBoth<A, B, C = void, D = void> = C extends void
+  ? A | B | A & B
+  : (D extends void
+    ? A | B | C | A & B | A & C | B & C | A & B & C
+    : A | B | C | D |
+    A & B | A & C | A & D | B & C | B & D | C & D |
+    A & B & C | A & B & D | A & C & D | B & C & D |
+    A & B & C & D
+  )
+
+/**
+ * `A` | `B` | `A & B`.
+ * Supports up to 4 types, and it is composable.
+ * This is useful when you want to compose multiple options together,
+ * while preserving their required field and structure.
+ * If the types overlaps each other, you may run into some corner cases.
+ * But in general usage it should work as expected.
+ * @deprecated renamed to `EitherOrBoth`
+ * @example
+ * type A = { src: string, minify?: boolean }
+ * type B = { logLevel: number }
+ * function config(options: EitherAnd<A, B>) { }
+ *
+ * config({ logLevel: 1 })
+ * config({ src: 'src' })
+ * config({ src: 'src', minify: false })
+ * config({ minify: false })  // INVALID
+ */
+ export type EitherAnd<A, B, C = void, D = void> = EitherOrBoth<A, B, C, D>