From 30f3ef2353569dc25aa42ba9eddd66d51750793a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Mon, 25 Aug 2025 23:06:44 +0200
Subject: [PATCH] Tests

---
 packages/effect-fc/src/types/Schema.ts | 121 +++++++------------------
 1 file changed, 31 insertions(+), 90 deletions(-)

diff --git a/packages/effect-fc/src/types/Schema.ts b/packages/effect-fc/src/types/Schema.ts
index f073117..d2ee2bb 100644
--- a/packages/effect-fc/src/types/Schema.ts
+++ b/packages/effect-fc/src/types/Schema.ts
@@ -1,4 +1,5 @@
 import { Array, Function, Option, Predicate, Schema } from "effect"
+import type { Simplify } from "effect/Types"
 
 
 type Prev = readonly [never, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]
@@ -23,96 +24,36 @@ export type Paths<S, D extends number = 5, Seen = never> = readonly [] | (
     never
 )
 
-export type UnionPaths<Members extends ReadonlyArray<Schema.Schema.All>, D extends number, Seen> = {
-    [K in keyof T as K extends number ? K : never]:
-        | readonly [K]
-        | readonly [K, ...Paths<T[K], Prev[D], Seen>]
-} extends infer O
-    ? O[keyof O]
-    : never
-
-export type ArrayPaths<T extends readonly any[], D extends number, Seen> = {
-    [K in keyof T as K extends number ? K : never]:
-        | readonly [K]
-        | readonly [K, ...Paths<T[K], Prev[D], Seen>]
-} extends infer O
-    ? O[keyof O]
-    : never
-
-export type ObjectPaths<T extends object, D extends number, Seen> = {
-    [K in keyof T as K extends string | number | symbol ? K : never]-?:
-        NonNullable<T[K]> extends infer V
-            ? readonly [K] | readonly [K, ...Paths<V, Prev[D], Seen>]
-            : never
-} extends infer O
-    ? O[keyof O]
-    : never
-
-export type ValueFromPath<T, P extends readonly any[]> = P extends [infer Head, ...infer Tail]
-    ? Head extends keyof T
-        ? ValueFromPath<T[Head], Tail>
-        : T extends readonly any[]
-            ? Head extends number
-                ? ValueFromPath<T[number], Tail>
-                : never
-            : never
-    : T
-
-export type AnyPath = readonly PropertyKey[]
-
-
-export const unsafeGet: {
-    <T, const P extends Paths<T>>(path: P): (self: T) => ValueFromPath<T, P>
-    <T, const P extends Paths<T>>(self: T, path: P): ValueFromPath<T, P>
-} = Function.dual(2, <T, const P extends Paths<T>>(self: T, path: P): ValueFromPath<T, P> =>
-    path.reduce((acc: any, key: any) => acc?.[key], self)
-)
-
-export const get: {
-    <T, const P extends Paths<T>>(path: P): (self: T) => Option.Option<ValueFromPath<T, P>>
-    <T, const P extends Paths<T>>(self: T, path: P): Option.Option<ValueFromPath<T, P>>
-} = Function.dual(2, <T, const P extends Paths<T>>(self: T, path: P): Option.Option<ValueFromPath<T, P>> =>
-    path.reduce(
-        (acc: Option.Option<any>, key: any): Option.Option<any> => Option.isSome(acc)
-            ? Predicate.hasProperty(acc.value, key)
-                ? Option.some(acc.value[key])
-                : Option.none()
-            : acc,
-
-        Option.some(self),
-    )
-)
-
-export const immutableSet: {
-    <T, const P extends Paths<T>>(path: P, value: ValueFromPath<T, P>): (self: T) => ValueFromPath<T, P>
-    <T, const P extends Paths<T>>(self: T, path: P, value: ValueFromPath<T, P>): Option.Option<T>
-} = Function.dual(3, <T, const P extends Paths<T>>(self: T, path: P, value: ValueFromPath<T, P>): Option.Option<T> => {
-    const key = Array.head(path as AnyPath)
-    if (Option.isNone(key))
-        return Option.some(value as T)
-    if (!Predicate.hasProperty(self, key.value))
-        return Option.none()
-
-    const child = immutableSet<any, any>(self[key.value], Option.getOrThrow(Array.tail(path as AnyPath)), value)
-    if (Option.isNone(child))
-        return child
-
-    if (Array.isArray(self))
-        return typeof key.value === "number"
-            ? Option.some([
-                ...self.slice(0, key.value),
-                child.value,
-                ...self.slice(key.value + 1),
-            ] as T)
-            : Option.none()
-
-    if (typeof self === "object")
-        return Option.some(
-            Object.assign(
-                Object.create(Object.getPrototypeOf(self)),
-                { ...self, [key.value]: child.value },
+export type SchemaFromPath<S, P extends readonly any[]> = S extends Schema.Schema.Any
+    ? P extends [infer Head, ...infer Tail]
+        ? Head extends keyof S["Type"]
+            ? (
+                S extends Schema.TupleType<infer Elements, infer Rest> ? (
+                    Head extends keyof Elements ? SchemaFromPath<Elements[Head], Tail> :
+                    Head extends keyof Rest ? SchemaFromPath<Rest, Tail> :
+                    never
+                ) :
+                S extends Schema.Array$<infer Value> ? SchemaFromPath<Value, Tail> :
+                S extends Schema.Struct<infer Fields> ? SchemaFromPath<Fields[Head], Tail> :
+                never
             )
-        )
+            : never
+        : S
+    : never
 
-    return Option.none()
+const TestSchema = Schema.Struct({
+    allUsers: Schema.Array(Schema.Struct({
+        name: Schema.String
+    })),
+
+    admins: Schema.Tuple(
+        Schema.Struct({
+            name: Schema.Literal("Gneugneu")
+        }),
+        Schema.Struct({
+            name: Schema.Literal("AAAAYA")
+        }),
+    ),
 })
+type S = SchemaFromPath<typeof TestSchema, ["admins", 0, "name"]>
+type T = number extends keyof typeof TestSchema.fields.admins.elements ? true : false