From 5a74a9c449f42184c52c988785c19d27050d3e93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julien=20Valverd=C3=A9?= <julien.valverde@mailo.com>
Date: Mon, 10 Jun 2024 04:09:43 +0200
Subject: [PATCH] Static & MutableClass

---
 src/Static.ts                     |  8 ++++++++
 src/effect/schema/MutableClass.ts | 22 +++++++++++++++++++++-
 src/index.ts                      |  2 +-
 3 files changed, 30 insertions(+), 2 deletions(-)
 create mode 100644 src/Static.ts

diff --git a/src/Static.ts b/src/Static.ts
new file mode 100644
index 0000000..5eb929c
--- /dev/null
+++ b/src/Static.ts
@@ -0,0 +1,8 @@
+import type { AbstractConstructor } from "type-fest"
+
+
+/**
+ * Represents the static members of a class.
+ * @template C - A class.
+ */
+export type Static<C extends AbstractConstructor<any>> = Omit<C, "prototype">
diff --git a/src/effect/schema/MutableClass.ts b/src/effect/schema/MutableClass.ts
index 70f5411..4c092b6 100644
--- a/src/effect/schema/MutableClass.ts
+++ b/src/effect/schema/MutableClass.ts
@@ -1,8 +1,28 @@
 import { Schema as S } from "@effect/schema"
 import type { Annotations, Class, Struct } from "@effect/schema/Schema"
+import type { Mutable } from "effect/Types"
+import type { Constructor } from "type-fest"
+import type { Static } from "../../Static"
 import type { HasFields, MissingSelfGeneric } from "./util"
 
 
+type TMutableClass<
+    Self,
+    Fields    extends Struct.Fields,
+    I, R, C,
+    Inherited extends object,
+    Proto,
+> = (
+    Constructor<
+        Mutable<Struct.Type<Fields>> &
+        Omit<Inherited, keyof Fields>
+        & Proto,
+
+        ConstructorParameters<Class<Self, Fields, I, R, C, Inherited, Proto>>
+    > &
+    Static<Class<Self, Fields, I, R, C, Inherited, Proto>>
+)
+
 export const MutableClass = <Self = never>(identifier: string) => (
     <Fields extends Struct.Fields>(
         fieldsOr:      Fields | HasFields<Fields>,
@@ -10,7 +30,7 @@ export const MutableClass = <Self = never>(identifier: string) => (
     ): (
         [Self] extends [never]
             ? MissingSelfGeneric<"Class">
-            : Class<
+            : TMutableClass<
                 Self,
                 Fields,
                 Struct.Encoded<Fields>,
diff --git a/src/index.ts b/src/index.ts
index 336ce12..4e7a00c 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -1 +1 @@
-export {}
+export type { Static } from "./Static"