From 049b5b351a88a18c3c6d9084411091f1125cb322 Mon Sep 17 00:00:00 2001
From: robonen <robonenandrew@gmail.com>
Date: Tue, 20 May 2025 19:20:03 +0700
Subject: [PATCH] feat(core/stdlib): implement get function and remove
 getByPath

---
 core/stdlib/src/collections/get/index.ts      | 34 ++++++++
 .../stdlib/src/collections/getByPath/index.ts | 84 -------------------
 core/stdlib/src/collections/index.ts          |  2 +-
 3 files changed, 35 insertions(+), 85 deletions(-)
 create mode 100644 core/stdlib/src/collections/get/index.ts
 delete mode 100644 core/stdlib/src/collections/getByPath/index.ts

diff --git a/core/stdlib/src/collections/get/index.ts b/core/stdlib/src/collections/get/index.ts
new file mode 100644
index 0000000..888c058
--- /dev/null
+++ b/core/stdlib/src/collections/get/index.ts
@@ -0,0 +1,34 @@
+import { type Collection, type Path } from '../../types';
+
+export type ExtractFromObject<O extends Record<PropertyKey, unknown>, K> =
+  K extends keyof O
+    ? O[K]
+    : K extends keyof NonNullable<O>
+      ? NonNullable<O>[K]
+      : never;
+
+export type ExtractFromArray<A extends readonly any[], K> =
+  any[] extends A
+    ? A extends readonly (infer T)[]
+      ? T | undefined
+      : undefined
+    : K extends keyof A
+      ? A[K]
+      : undefined;
+
+export type ExtractFromCollection<O, K> =
+  K extends []
+  ? O
+  : K extends [infer Key, ...infer Rest]
+    ? O extends Record<PropertyKey, unknown>
+      ? ExtractFromCollection<ExtractFromObject<O, Key>, Rest>
+      : O extends readonly any[]
+        ? ExtractFromCollection<ExtractFromArray<O, Key>, Rest>
+        : never
+    : never;
+
+type Get<O, K> = ExtractFromCollection<O, Path<K>>;
+
+export function get<O extends Collection, K extends string>(obj: O, path: K) {
+  return path.split('.').reduce((acc, key) => (acc as any)?.[key], obj) as Get<O, K> | undefined;
+}
\ No newline at end of file
diff --git a/core/stdlib/src/collections/getByPath/index.ts b/core/stdlib/src/collections/getByPath/index.ts
deleted file mode 100644
index 6ceea36..0000000
--- a/core/stdlib/src/collections/getByPath/index.ts
+++ /dev/null
@@ -1,84 +0,0 @@
-type Exist<T> = T extends undefined | null ? never : T;
-
-type ExtractFromObject<O extends Record<PropertyKey, unknown>, K> =
-  K extends keyof O
-    ? O[K]
-    : K extends keyof Exist<O>
-      ? Exist<O>[K]
-      : never;
-
-type ExtractFromArray<A extends readonly any[], K> = any[] extends A
-  ? A extends readonly (infer T)[]
-    ? T | undefined
-    : undefined
-  : K extends keyof A
-    ? A[K]
-    : undefined;
-
-type GetWithArray<O, K> = K extends []
-  ? O
-  : K extends [infer Key, ...infer Rest]
-    ? O extends Record<PropertyKey, unknown>
-      ? GetWithArray<ExtractFromObject<O, Key>, Rest>
-      : O extends readonly any[]
-        ? GetWithArray<ExtractFromArray<O, Key>, Rest>
-        : never
-    : never;
-
-type Path<T> = T extends `${infer Key}.${infer Rest}`
-  ? [Key, ...Path<Rest>]
-    : T extends `${infer Key}`
-      ? [Key]
-      : [];
-
-// Type that generate a type of a value by a path;
-// e.g. ['a', 'b', 'c'] => { a: { b: { c: PropertyKey } } }
-// e.g. ['a', 'b', 'c', 'd'] => { a: { b: { c: { d: PropertyKey } } } }
-// e.g. ['a'] => { a: PropertyKey }
-// e.g. ['a', '0'], => { a: [PropertyKey] }
-// e.g. ['a', '0', 'b'] => { a: [{ b: PropertyKey }] }
-// e.g. ['a', '0', 'b', '0'] => { a: [{ b: [PropertyKey] }] }
-// e/g/ ['0', 'a'] => [{ a: PropertyKey }]
-//
-// Input: ['a', 'b', 'c'], constrain: PropertyKey
-// Output: { a: { b: { c: PropertyKey } } }
-
-export type UnionToIntersection<Union> = (
-  Union extends unknown
-		? (distributedUnion: Union) => void
-		: never
-) extends ((mergedIntersection: infer Intersection) => void)
-	? Intersection & Union
-	: never;
-
-
-type PathToType<T extends string[]> = T extends [infer Head, ...infer Rest]
-  ? Head extends string
-    ? Head extends `${number}`
-      ? Rest extends string[]
-        ? PathToType<Rest>[]
-        : never
-      : Rest extends string[]
-        ? { [K in Head & string]: PathToType<Rest> }
-        : never
-    : never
-  : string;
-
-export type Generate<T extends string> = UnionToIntersection<PathToType<Path<T>>>;
-type Get<O, K> = GetWithArray<O, Path<K>>;
-
-export function getByPath<O, K extends string>(obj: O, path: K): Get<O, K>;
-export function getByPath(obj: Record<string, unknown>, path: string): unknown {
-  const keys = path.split('.');
-  let currentObj = obj;
-
-  for (const key of keys) {
-    const value = currentObj[key];
-
-    if (value === undefined || value === null) return undefined;
-
-    currentObj = value as Record<string, unknown>;
-  }
-
-  return currentObj;
-}
diff --git a/core/stdlib/src/collections/index.ts b/core/stdlib/src/collections/index.ts
index 64eab40..cab6a69 100644
--- a/core/stdlib/src/collections/index.ts
+++ b/core/stdlib/src/collections/index.ts
@@ -1 +1 @@
-export * from './getByPath';
\ No newline at end of file
+export * from './get';
\ No newline at end of file