Some updates

Author: mcjazzyfunky

package.json

@@ -1,6 +1,6 @@
 {
   "name": "js-spec",
-  "version": "0.1.69",
+  "version": "0.1.70",
   "license": "LGPL-3.0",
   "homepage": "https://github.com/js-works/js-spec",
   "main": "index.js",

src/main/api/Spec.ts

@@ -489,12 +489,12 @@ const Spec = {
     return specValidator || Spec.any
   },
 
-  checkProps({ required, optional, extensible = false, validate }: {
-    required?: Record<string, Validator>,
-    optional?: Record<string, Validator>,
-    extensible?: boolean,
-    validate?: Validator
-  }): SpecValidator {
+  checkProps<T extends object = any>({
+    required,
+    optional,
+    extensible,
+    validate
+   }: CheckPropsConfig<T>): SpecValidator {
     return Spec.and(
       Spec.props({ required, optional, validate }),
 
@@ -1088,3 +1088,18 @@ function _checkConstraint(constraint: Validator, it: any, path: null | string =
 
   return ret
 }
+
+type PickOptionalProps<T extends object> = Pick<T, {
+  [K in keyof T]-?: T extends Record<K, T[K]> ? never : K
+}[keyof T]>
+
+type PickRequiredProps<T extends object> = Pick<T, {
+  [K in keyof T]-?: T extends Record<K, T[K]> ? K : never
+}[keyof T]>
+
+type CheckPropsConfig<T extends object = any> = {
+  required?: { [K in keyof Partial<PickRequiredProps<T>>]: Validator<T[K]> },
+  optional?: { [K in keyof PickOptionalProps<T>]: Validator<Exclude<T[K], undefined>> },
+  extensible?: boolean,
+  validate?: Validator<T>
+}

src/main/api/Validator.ts

@@ -1,4 +1,4 @@
-type Validator =
-  (it: any, path?: string | null) => null | boolean | Error
+type Validator<T = any> =
+  (it: T, path?: string | null) => null | boolean | Error
 
 export default Validator