add object types to _index reference

Author: Sanshain

.npmignore

@@ -1,4 +1,5 @@
 node_modules/
 tests/
 tests_origin/
-.vscode/
+.vscode/
+test-utility-types/

CHANGELOG.md

@@ -0,0 +1,142 @@
+2.0.0 - object arg for KeysArray instead of union. revert to KeysArray. replace KeysArray to KeysAsTuple. Update index.ts. Update index.ts. Update $research.ts. Update $research.ts. Update $research.ts. Update $research.ts. Update $research.ts. Update $research.ts. Update $research.ts. rename required to nonnullable. window isTrust guard. drop node as default target inside onevents. G generic arg for the UIEvent for forcing spcifying targe type . add setPrototypeOf. IsUnion & UnionToIntersection. currentTarget fix win types. fix utility desc. drop keys. remove rollup config. Filter & KeysMatching utils. fix merge type args. fix paths in settings json. peerDependencies up. drop hooks. check hook. dom tests attached. utility types renaming. 
+34db3d4 object arg for KeysArray instead of union
+0289818 -
+ff2317b -
+d954453 revert to KeysArray
+9d97320 Merge branch 'master' of github.com:Sanshain/types-spring
+40bc227 -
+ce33cd3 replace KeysArray to KeysAsTuple
+784a9c4 Update index.ts
+073f6fa Update index.ts
+ee8eec4 Update README.md
+7e4315d Update README.md
+2fcd201 Update $research.ts
+a0b66fa Update $research.ts
+033ad43 Update $research.ts
+8853355 Update $research.ts
+61b1e92 Update $research.ts
+6bbe18b Update $research.ts
+b665683 Update $research.ts
+2724d82 Update README.md
+67f7a90 OptionalExceptOne
+2e99c62 Update README.md
+2c45b07 changelog
+c6c7493 Update README.md
+2188a94 update utils readme
+455aa0e Merge branch 'master' of github.com:Sanshain/types-spring
+f012fd7 rename required to nonnullable
+ffff0d8 Update README.md
+d54f683 Update README.md
+f6dcc09 Update README.md
+6f9c5f7 Update README.md
+e33cf4e Update README.md
+ec90e8e Update README.md
+f19baf6 Update README.md mnu as table
+9a41907 Update README.md - top table of content
+7c57574 Update README.md
+af6d259 window isTrust guard
+24440d5 ver up
+d0323fc Merge branch 'master' of github.com:Sanshain/types-spring
+cf82dc4 Update README.md
+843c50f drop node as default target inside onevents
+86226cf Merge branch 'master' of github.com:Sanshain/types-spring
+fc32ba5 G generic arg for the UIEvent for forcing spcifying targe type (tested for Window)
+2b9b3a2 Update README.md
+84b94e0 add setPrototypeOf
+1f5d5bd Merge branch 'master' of github.com:Sanshain/types-spring
+33af277 IsUnion & UnionToIntersection
+5a0b60b Update README.md
+24fa9c2 Update README.md
+f1d4dc5 Update README.md
+d41f345 Update README.md
+6f2f5c2 1.0.8
+a3d58a7 Merge branch 'master' of github.com:Sanshain/types-spring
+618e3d2 currentTarget fix win types
+d77f2b0 Update README.md
+9b7291f Update README.md
+98d6f2c Merge branch 'master' of github.com:Sanshain/types-spring
+c3a47ae fix utility desc
+9e8d269 Update README.md
+f5a4f8d Update README.md
+e706722 Update README.md
+d337668 Update README.md
+d45cda9 Update README.md
+29cd587 Update README.md
+eaec745 Merge branch 'master' of github.com:Sanshain/types-spring
+583031b Update README.md
+c235edd Update README.md
+61b2da4 Update README.md
+ec31042 Update README.md
+e24da06 Update README.md
+3a69b38 Update README.md
+3c62d67 Update README.md
+0e453cf types-fest
+6f61746 drop keys
+035897b remove rollup config
+16d32fc Update README.md
+43f4f67 Update README.md
+bc6d7cc Update README.md
+d187365 Update README.md
+9a6ab8c Update README.md
+70e5680 Update README.md
+198e260 Update README.md
+57e584d Update README.md
+e3d76e8 Update README.md
+f80a72e Update README.md
+a067528 Update README => Object.keys
+3e42fa5 Update README.md
+a7d2fdd Update README.md
+0049575 addEventListener
+686f243 Merge branch 'master' of github.com:Sanshain/types-spring
+7c9ecd0 Filter & KeysMatching utils
+0049ca4 Update README.md
+b5b4650 Update README.md
+0acbc4e Update README.md
+9eb1495 Update README.md
+75ad0d7 Update README.md
+b30db68 Update README.md
+9844aab fix merge type args
+73dfd94 fix paths in settings json
+c77c0e2 peerDependencies up
+38513e2 Merge branch 'master' of github.com:Sanshain/types-spring
+9c9078b 1.0.3 -- fix npmignore
+65d0df4 npmignore
+21538fe Update README.md
+a4d1269 Update README.md
+a96127e Update README.md
+bdf0d3f Update README.md
+15ee410 Update README.md
+f0231fb Update README.md
+b2f78fd Update README.md
+b9e945b Update README.md
+eb216af Update README.md
+c1421e3 Update README.md
+82fe5db menu
+9bb2695 Merge branch 'master' of github.com:Sanshain/types-spring
+196f3cc drop hooks
+5416e86 check hook
+d46be15 tests
+05b739b Update README.md
+5f6a146 Update README.md
+90ddb2c Update README.md
+3df3a47 Update README.md
+649f5d1 dom tests attached
+0d86d30 Update README.md
+84d3957 Update README.md
+29f0cff Update README.md
+582721d Merge branch 'master' of github.com:Sanshain/types-spring
+4d4c1e8 utility types renaming
+4d134df Update README.md
+393fe1a Update README.md
+e687669 Update README.md
+1f305f3 Update README.md
+35f70a2 Update README.md
+3e73581 Update README.md
+61595fe Update README.md
+c498f34 Create README.md
+d2afcea Update README.md
+a42248f Update README.md
+35796c7 readme
+15f34f3 license
+56fc101 restruct
+cfdea16 initial

package-lock.json

@@ -13,7 +13,8 @@
   },
   "scripts": {
     "test": "tsc --noEmit",
-    "log": "node ./dev-tools/changelog.js",
+    "$log": "node ./dev-tools/changelog.js",
+    "changelog": "changelog --titled",
     "hooks": "simple-git-hooks"
   },
   "simple-git-hooks": {
@@ -35,7 +36,8 @@
   },
   "devDependencies": {
     "@types/node": "^20.2.5",
+    "npm-changelog": "^1.0.21",
     "simple-git-hooks": "^2.8.1",
     "typescript": "^5.0.4"
   }
-}
+}

package.json

@@ -24,22 +24,26 @@ interface ParentNode {
     /** Returns the first element that is a descendant of node that matches selectors. */    
     querySelector<K extends keyof HTMLElementTagNameMap>(selectors: K): HTMLElementTagNameMap[K] | null;
     querySelector<K extends keyof SVGElementTagNameMap>(selectors: K): SVGElementTagNameMap[K] | null;
-    querySelector<K extends keyof MathMLElementTagNameMap>(selectors: K): MathMLElementTagNameMap[K] | null;
     // /** @deprecated */
     querySelector<K extends keyof HTMLElementDeprecatedTagNameMap>(selectors: K): HTMLElementDeprecatedTagNameMap[K] | null;        
     querySelector<S extends string>(selector: S): HTMLSelector<S> | null    
 
     /** Returns all element descendants of node that match selectors. */
 
     querySelectorAll<K extends keyof HTMLElementTagNameMap>(selectors: K): NodeListOf<HTMLElementTagNameMap[K]>;
-    querySelectorAll<K extends keyof SVGElementTagNameMap>(selectors: K): NodeListOf<SVGElementTagNameMap[K]>;
-    querySelectorAll<K extends keyof MathMLElementTagNameMap>(selectors: K): NodeListOf<MathMLElementTagNameMap[K]>;
+    querySelectorAll<K extends keyof SVGElementTagNameMap>(selectors: K): NodeListOf<SVGElementTagNameMap[K]>;    
     /** @deprecated */
     querySelectorAll<K extends keyof HTMLElementDeprecatedTagNameMap>(selectors: K): NodeListOf<HTMLElementDeprecatedTagNameMap[K]>;
     querySelectorAll<S extends string>(selector: S): NodeListOf<HTMLSelector<S>> | null;
 
     // querySelector<E extends Element = Element>(selectors: string): E;
     // querySelectorAll<E extends Element = Element>(selectors: string): NodeListOf<E>;            
+
+    
+    /// drop because of ^5.0.0 required:
+    
+    // querySelector<K extends keyof MathMLElementTagNameMap>(selectors: K): MathMLElementTagNameMap[K] | null;     
+    // querySelectorAll<K extends keyof MathMLElementTagNameMap>(selectors: K): NodeListOf<MathMLElementTagNameMap[K]>;
 }
 
 

sources/document/querySelector.d.ts

@@ -1,2 +1,6 @@
-//<reference path='./objectAssign.d.ts' />
+///<reference path='./objectAssign.d.ts' />
+///<reference path='./defineProperty.d.ts' />
+///<reference path='./defineProperties.ts' />
+///<reference path='./create.ts' />
+///<reference path='./setPrototypeOf.ts' />
 //<reference path='./objectKeys.d.ts' />

sources/ecmascript/object/_index.ts

@@ -15,3 +15,50 @@
 
     type F = ExcludeFrom<Array<string | number>, number>
 }
+
+
+{    
+    /// Optional Tuple
+
+    type RemoveFirstFromTuple<T extends any[]> =
+        T['length'] extends 0 ? undefined :
+        (((...b: T) => void) extends (a: any, ...b: infer I) => void ? I : [])
+    
+    type Tail<T extends any[]> = T extends [infer A, ...infer R] ? R : never;
+    
+
+    type OptionalTuple<T extends any[], A extends unknown[] = [], R extends unknown[] = never> = T['length'] extends 0
+        ? R | A
+        : OptionalTuple<RemoveFirstFromTuple<T> extends any[] ? RemoveFirstFromTuple<T> : [], [...A, T[0]], A['length'] extends 0 ? never : (A | R)>
+
+    {
+        type A = [1, 2, 3]
+        type POP = OptionalTuple<A>
+        let t1: POP = [1]
+        let t2: POP = [1, 2]
+        let t3: POP = [1, 2, 3]    
+    }
+    
+    // declined now because the same behavior could got in fact OUT OF THE BOX (!) by one line:
+        
+    {
+        type F = (a: 1, b?: 2, c?: 3) => void
+        type POP1 = Parameters<F>
+        let t1: POP1 = [1]
+        let t2: POP1 = [1, 2]
+        let t3: POP1 = [1, 2, 3]
+
+        // type OPtionalTuple
+    }
+
+    // or
+
+    {
+        type A = [a: 1, b?: 2, c?: 3]
+    }
+
+    /**
+     * Thus, the benefit of this type is probably only to make a non-optional tuple optional, since there may be difficulties with this. 
+     * But this is such a rare case that I doubt it will be much in demand from the community. Therefore, I do not see it useful to add it to the package (at least for now)
+     */
+}

sources/utils/$research.ts

@@ -3,7 +3,7 @@ type _KeysArray<Dict extends object, Result extends PropertyKey[] = []> = {
     [Key in keyof Dict]: Exclude<keyof Dict, Key> extends never ? [...Result, Key] : _KeysArray<Omit<Dict, Key>, [...Result, Key]>;
 }[keyof Dict];
 
-type KeysArray__Error = 'Object with too much (more than six) fields passed to KeysArray type'
+type KeysArray__Error<L extends number, N extends number> = `Object with too much (${N}) fields amount (expected less than ${L}) passed to KeysArray type`
 /** 
  * @cat Array
  * @param { a | b | c | ... } FieldKeys
@@ -13,7 +13,7 @@ type KeysArray__Error = 'Object with too much (more than six) fields passed to K
  * @cat Object
  * @example KeysArray< {a,b,c} > = ['a', 'b', 'c']
  */
-export type KeysArray<Dict extends object> = ObjectLength<Dict> extends Enumerate<7> ? _KeysArray<Dict> : KeysArray__Error 
+export type KeysArray<Dict extends object, L extends Enumerate<8> = 7> = ObjectLength<Dict> extends Enumerate<L> ? _KeysArray<Dict> : KeysArray__Error<L, ObjectLength<Dict>>
 
 
 /**
@@ -276,9 +276,9 @@ export type MapArray<T extends Record<F, unknown>[] | ReadonlyArray<Record<F, un
  * @description convert union to intersection
  * @link https://stackoverflow.com/a/50375286
  * @returns {{a} & {b}}
- * @example UnionToIntersection<{a:1} | {b:1}> => {a: 1} & {b: 1}
+ * @example IntersectUnion<{a:1} | {b:1}> => {a: 1} & {b: 1}
  */
-export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
+export type IntersectUnion<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
 
 
 /**
@@ -290,7 +290,7 @@ export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) ex
  * @returns {boolean}
  * @example IsUnion<{a:1} | {b:1}> => true
  */
-export type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true
+export type IsUnion<T> = [T] extends [IntersectUnion<T>] ? false : true
 
 
 
@@ -340,15 +340,15 @@ declare const __brand: unique symbol
  * @protected - popular type
  * @description branded type
  */
-export type ScreenType<T, B = never> = T & { [__brand]?: B }
+export type ScreenType<T, B = never> = T & { readonly [__brand]?: B }
 
 
 
 /**
  * @requires ^4.2.3
  * @cat union
  * @description Extract last or first type from union type
- * 
+ * @TODO rename to {PopFrom}
  */
 type FirstOrLast_<U extends PropertyKey> = (U extends any ? (x: () => U) => void : never) extends (x: infer P) => void
     ? P extends () => infer Return ? Return : never
@@ -369,5 +369,23 @@ export type ObjectLength<O extends object, Res extends PropertyKey[] = [], L ext
     : ObjectLength<Omit<O, L>, [L, ...Res]>;
 
 
+    
+/**
+ * @cat Object | Array
+ * @param {O} object 
+ * @param {*} S replaced type
+ * @param {*} R new type
+ * @description deep replace all fields with specified type S to type R in object O
+ * @return {object}
+ * @example ['', '', 5], string, 0 => [0, 0, 5]
+ */
+export type ReplaceTypes<O extends object, S, R> = {
+    [K in keyof O]: O[K] extends object
+        ? ReplaceTypes<O[K], S, R>
+        : O[K] extends S ? Exclude<O[K], S> | R : O[K]
+}
+
+
+
 //@see also:
 // https://stackoverflow.com/questions/62084836/what-does-it-mean-for-a-type-to-distribute-over-unions