bring type definitions back

Author: piotrkulpinski

package.json

@@ -1,7 +1,7 @@
 {
   "name": "@curiousleaf/utils",
   "description": "A lightweight set of utilities",
-  "version": "1.0.24",
+  "version": "1.0.25",
   "license": "MIT",
   "type": "module",
   "author": {

src/index.ts

@@ -14,3 +14,26 @@ export * from "./params/params"
 export * from "./parsers/parsers"
 export * from "./random/random"
 export * from "./time/time"
+
+export type WithOptional<Type, Key extends keyof Type> = Pick<Partial<Type>, Key> & Omit<Type, Key>
+export type WithRequired<Type, Key extends keyof Type> = Type & { [Prop in Key]-?: Type[Prop] }
+
+export type DeepIdx<T, K extends string> = K extends ""
+  ? T
+  : K extends keyof T
+    ? T[K]
+    : K extends `${infer K0}.${infer KR}`
+      ? K0 extends keyof T
+        ? DeepIdx<T[K0], KR>
+        : never
+      : never
+
+export type ValidatePath<T, K extends string> = K extends ""
+  ? ""
+  : K extends keyof T
+    ? K
+    : K extends `${infer K0}.${infer KR}`
+      ? K0 extends keyof T
+        ? `${K0}.${ValidatePath<T[K0], KR>}`
+        : Extract<keyof T, string>
+      : Extract<keyof T, string>