import { ImplStaticThis, trait } from "@thilawyn/traitify-ts"
import { Class, HasRequiredKeys } from "type-fest"
import { z } from "zod"
import { StaticMembers, parseZodSchemaEffect } from "../util"


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 ZodSchemaObject = <
    SchemaT                            extends z.ZodRawShape,
    SchemaUnknownKeys                  extends z.UnknownKeysParam,
    SchemaCatchall                     extends z.ZodTypeAny,

    SchemaWithDefaultValuesT           extends z.ZodRawShape,
    SchemaWithDefaultValuesUnknownKeys extends z.UnknownKeysParam,
    SchemaWithDefaultValuesCatchall    extends z.ZodTypeAny,

    Values                             extends object,
    PartialValues                      extends Partial<Values>,
>(
    schema:                   z.ZodObject<SchemaT, SchemaUnknownKeys, SchemaCatchall, Values, Values>,
    schemaWithDefaultValues:  z.ZodObject<SchemaWithDefaultValuesT, SchemaWithDefaultValuesUnknownKeys, SchemaWithDefaultValuesCatchall, Values, PartialValues>,
) => trait
    .implement(Super => class ZodSchemaObject extends Super {
        static readonly schema                   = schema
        static readonly schemaWithDefaultsValues = schemaWithDefaultValues

        static instantiationTransform<
            Instance    extends Values,

            T           extends z.ZodRawShape,
            UnknownKeys extends z.UnknownKeysParam,
            Catchall    extends z.ZodTypeAny,
            Output      extends Values,
            Input,
        >(
            this:    Class<Instance, [values: Values]>,
            schema:  z.ZodObject<T, UnknownKeys, Catchall, Output, Input>,
        ) {
            return schema.transform(values => new this(values))
        }


        static create<
            Instance extends Values
        >(
            this: (
                Class<Instance, [values: Values]> &
                StaticMembers<ImplStaticThis<typeof ZodSchemaObject>>
            ),
            ...[values, params]: NewZodSchemaInstanceArgs<PartialValues>
        ) {
            return this
                .instantiationTransform(this.schemaWithDefaultsValues)
                .parse(values, params)
        }

        static createPromise<
            Instance extends Values
        >(
            this: (
                Class<Instance, [values: Values]> &
                StaticMembers<ImplStaticThis<typeof ZodSchemaObject>>
            ),
            ...[values, params]: NewZodSchemaInstanceArgs<PartialValues>
        ) {
            return this
                .instantiationTransform(this.schemaWithDefaultsValues)
                .parseAsync(values, params)
        }

        static createEffect<
            Instance extends Values
        >(
            this: (
                Class<Instance, [values: Values]> &
                StaticMembers<ImplStaticThis<typeof ZodSchemaObject>>
            ),
            ...[values, params]: NewZodSchemaInstanceArgs<PartialValues>
        ) {
            return parseZodSchemaEffect(
                this.instantiationTransform(this.schemaWithDefaultsValues),
                values,
                params,
            )
        }
    })
    .build()


export type ZodSchemaObjectTrait<
    SchemaT                            extends z.ZodRawShape,
    SchemaUnknownKeys                  extends z.UnknownKeysParam,
    SchemaCatchall                     extends z.ZodTypeAny,

    SchemaWithDefaultValuesT           extends z.ZodRawShape,
    SchemaWithDefaultValuesUnknownKeys extends z.UnknownKeysParam,
    SchemaWithDefaultValuesCatchall    extends z.ZodTypeAny,

    Values                             extends object,
    PartialValues                      extends Partial<Values>,
> = (
    ReturnType<
        typeof ZodSchemaObject<
            SchemaT,
            SchemaUnknownKeys,
            SchemaCatchall,

            SchemaWithDefaultValuesT,
            SchemaWithDefaultValuesUnknownKeys,
            SchemaWithDefaultValuesCatchall,

            Values,
            PartialValues
        >
    >
)