[schema] implemented lib0/schema, a fast & extremely small alternative to zod

Author: dmonad

array.js

@@ -55,11 +55,10 @@ export const from = Array.from
  * True iff condition holds on every element in the Array.
  *
  * @function
- * @template ITEM
- * @template {ArrayLike<ITEM>} ARR
+ * @template {ArrayLike<any>} ARR
  *
  * @param {ARR} arr
- * @param {function(ITEM, number, ARR):boolean} f
+ * @param {ARR extends ArrayLike<infer S> ? ((value:S, index:number, arr:ARR) => boolean) : any} f
  * @return {boolean}
  */
 export const every = (arr, f) => {
@@ -75,10 +74,10 @@ export const every = (arr, f) => {
  * True iff condition holds on some element in the Array.
  *
  * @function
- * @template S
- * @template {ArrayLike<S>} ARR
+ * @template {ArrayLike<any>} ARR
+ *
  * @param {ARR} arr
- * @param {function(S, number, ARR):boolean} f
+ * @param {ARR extends ArrayLike<infer S> ? ((value:S, index:number, arr:ARR) => boolean) : never} f
  * @return {boolean}
  */
 export const some = (arr, f) => {

object.js

@@ -67,8 +67,9 @@ export const length = obj => keys(obj).length
 export const size = obj => keys(obj).length
 
 /**
- * @param {Object<string,any>} obj
- * @param {function(any,string):boolean} f
+ * @template {{ [key:string|number|symbol]: any }} T
+ * @param {T} obj
+ * @param {(v:T[keyof T],k:keyof T)=>boolean} f
  * @return {boolean}
  */
 export const some = (obj, f) => {
@@ -92,8 +93,9 @@ export const isEmpty = obj => {
 }
 
 /**
- * @param {Object<string,any>} obj
- * @param {function(any,string):boolean} f
+ * @template {{ [key:string|number|symbol]: any }} T
+ * @param {T} obj
+ * @param {(v:T[keyof T],k:keyof T)=>boolean} f
  * @return {boolean}
  */
 export const every = (obj, f) => {

object.test.js

@@ -15,6 +15,7 @@ export const testObject = _tc => {
   t.assert(object.equalFlat({ x: undefined }, { x: undefined }), 'flatEqual handles undefined')
   t.assert(!object.equalFlat({ x: undefined }, { y: {} }), 'flatEqual handles undefined')
   t.describe('object.every')
+  // @ts-expect-error k has no overlap with "c"
   t.assert(object.every({ a: 1, b: 3 }, (v, k) => (v % 2) === 1 && k !== 'c'))
   t.assert(!object.every({ a: 1, b: 3, c: 5 }, (v, k) => (v % 2) === 1 && k !== 'c'))
   t.describe('object.some')