@ptolemy2002/ts-utils 3.2.0 → 3.3.0

package/README.md

@@ -106,6 +106,20 @@ This type returns an intersection of all the possible values in an object of typ
 ### Contains<L extends unknown[], T>
 This type returns a boolean indicating whether the type `T` is contained in the array `L`.
 
+### ArrayWithOptional<AR extends unknown[], AO extends unknown[]>
+This type returns a union of the array `AR` and an array that consists of all the elements of `AR` followed by all the elements of `AO`. You can chain it for multiple optional segments, like so:
+```typescript
+type MyArray = ArrayWithOptional<[number, string], ArrayWithOptional<[boolean], [Date]>>;
+```
+
+The resulting type `MyArray` would be equivalent to:
+```typescript
+type MyArray =
+    | [number, string]
+    | [number, string, boolean]
+    | [number, string, boolean, Date];
+```
+
 ## Functions
 The following functions are available in the library:
 

package/dist/index.d.ts

@@ -28,14 +28,15 @@ export type Override<T, U> = Omit<T, keyof U> & U;
 export declare const advancedConditionSymbol: unique symbol;
 export type AdvancedCondition<T> = Branded<{
     __isAdvancedCondition: true;
-    include?: T | false | ((v: T) => boolean) | (T | false | ((v: T) => boolean) | false)[];
-    exclude?: T | false | ((v: T) => boolean) | (T | false | ((v: T) => boolean | false))[];
+    include?: T | false | ((v: T) => boolean) | (T | false | ((v: T) => boolean))[];
+    exclude?: T | false | ((v: T) => boolean) | (T | false | ((v: T) => boolean))[];
     match?: (a: T, b: T) => boolean;
 }, [typeof advancedConditionSymbol]>;
-export type SerializableAdvancedCondition<T> = Override<Omit<AdvancedCondition<T>, "match">, {
-    include?: Exclude<AdvancedCondition<T>["include"], () => any>;
-    exclude?: Exclude<AdvancedCondition<T>["exclude"], () => any>;
-}>;
+export type SerializableAdvancedCondition<T> = Branded<{
+    __isAdvancedCondition: true;
+    include?: T | false | (T | false)[];
+    exclude?: T | false | (T | false)[];
+}, [typeof advancedConditionSymbol]>;
 export declare function isAdvancedCondition(value: any): value is AdvancedCondition<any>;
 export declare function createAdvancedCondition<T>(condition: WithoutBrand<Omit<AdvancedCondition<T>, "__isAdvancedCondition">>): AdvancedCondition<T>;
 export declare function createSerializableAdvancedCondition<T>(condition: WithoutBrand<Omit<SerializableAdvancedCondition<T>, "__isAdvancedCondition">>): SerializableAdvancedCondition<T>;
@@ -56,3 +57,4 @@ export type ValuesIntersection<T> = ValueOf<{
 }> extends (x: infer I) => void ? I : never;
 export type Contains<L extends unknown[], T> = L extends [...unknown[], T] ? true : L extends [T, ...unknown[]] ? true : L extends [T] ? true : false;
 export declare function omit<T extends object, K extends keyof T>(obj: T, ...keys: K[]): Omit<T, K>;
+export type ArrayWithOptional<AR extends unknown[], AO extends unknown[]> = AR | [...AR, ...AO];

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@ptolemy2002/ts-utils",
-    "version": "3.2.0",
+    "version": "3.3.0",
     "private": false,
     "main": "dist/index.js",
     "types": "dist/index.d.ts",