Working extendable

src/traits/ExtendableZodSchemaObject.ts

@@ -1,6 +1,8 @@
 import { abstract, trait } from "@thilawyn/traitify-ts"
+import { AbstractClass } from "type-fest"
 import { z } from "zod"
 import { ZodSchemaAbstractClass } from "../types/ZodSchemaClass"
+import { Extend, StaticMembers } from "../util"
 
 
 export const ExtendableZodSchemaObject = trait(
@@ -32,8 +34,26 @@ export const ExtendableZodSchemaObject = trait(
 
                 defaultValues: (defaultValues: SuperDefaultValues) => DefaultValues
             },
+        ): (
+            AbstractClass<
+                Extend<[InstanceType<Super>, Values]>,
+                [values: Values]
+            > &
+            Extend<[
+                StaticMembers<Super>,
+                {
+                    readonly schema:         z.ZodObject<SchemaT, SchemaUnknownKeys, SchemaCatchall, Values, Values>,
+                    readonly defaultValues:  DefaultValues,
+                },
+            ]>
         ) {
+            const schema        = props.schema({ schema: this.schema, shape: this.schema.shape })
+            const defaultValues = props.defaultValues(this.defaultValues)
 
+            return class extends this {
+                static readonly schema        = schema
+                static readonly defaultValues = defaultValues
+            } as any
         }
     },
 )

src/traits/InstantiableZodSchemaObject.ts

@@ -1,11 +1,31 @@
 import { abstract, trait } from "@thilawyn/traitify-ts"
 import { Effect, pipe } from "effect"
+import { HasRequiredKeys } from "type-fest"
 import { z } from "zod"
-import { NewZodSchemaInstanceArgs, NewZodSchemaInstanceInput } from ".."
 import { ZodSchemaClass } from "../types/ZodSchemaClass"
 import { parseZodTypeEffect } from "../util"
 
 
+type NewZodSchemaInstanceInput<
+    Values        extends {},
+    DefaultValues extends Partial<Values>,
+> = {
+    [Key in Exclude<keyof Values, keyof DefaultValues>]: Values[Key]
+} & {
+    [Key in keyof DefaultValues]?: Key extends keyof Values
+        ? Values[Key]
+        : never
+}
+
+type ParseParamsArgs = [] | [params: Partial<z.ParseParams>]
+
+type NewZodSchemaInstanceArgs<Input extends object> = (
+    HasRequiredKeys<Input> extends true
+        ? [values: Input, ...args: ParseParamsArgs]
+        : [] | [values: Input, ...args: ParseParamsArgs]
+)
+
+
 export const InstantiableZodSchemaObject = trait(
     abstract(),