From e2187077b344bccb8122bcaac9ef72d2634d41f3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julien=20Valverd=C3=A9?= Date: Tue, 30 Sep 2025 22:02:11 +0200 Subject: [PATCH] Cleanup --- packages/effect-fc/src/types/Schema.ts | 37 -------------------------- 1 file changed, 37 deletions(-) delete mode 100644 packages/effect-fc/src/types/Schema.ts diff --git a/packages/effect-fc/src/types/Schema.ts b/packages/effect-fc/src/types/Schema.ts deleted file mode 100644 index 65ad399..0000000 --- a/packages/effect-fc/src/types/Schema.ts +++ /dev/null @@ -1,37 +0,0 @@ -import { Array, Function, Option, Predicate, Schema } from "effect" -import type { Simplify } from "effect/Types" - - -export type SchemaFromPath = S extends Schema.Schema.Any - ? P extends [infer Head, ...infer Tail] - ? Head extends keyof S["Type"] - ? ( - S extends Schema.TupleType ? ( - Head extends keyof Elements ? SchemaFromPath : - Head extends keyof Rest ? SchemaFromPath : - never - ) : - S extends Schema.Array$ ? SchemaFromPath : - S extends Schema.Struct ? SchemaFromPath : - never - ) - : never - : S - : never - -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 -type T = number extends keyof typeof TestSchema.fields.admins.elements ? true : false