import { Schema as S } from "@effect/schema"
import { AbstractClass, Simplify } from "type-fest"
import { Trait, TraitTuple } from "../Trait"
import { TraitExpression } from "../TraitExpression"
import { Extend, StaticMembers } from "../util"


export function extendsEffectSchemaExpression<
    Fields extends S.Struct.Fields,
    A, I, R, C,
    Inherited,
    Proto,

    const Traits extends readonly Trait<any, any, any, any>[],
>(
    expression: TraitExpression<
        S.Class<void, Fields, A, I, R, C, Inherited, Proto>,
        Traits
    >
) {
    return <Self>(): (
        AbstractClass<
            InstanceType<
                S.Class<Self, Fields, A, I, R, C, Inherited, Proto>
            > &
            Simplify<
                Extend<TraitTuple.MapImplInstance<Traits>>
            >,

            ConstructorParameters<S.Class<Self, Fields, A, I, R, C, Inherited, Proto>>
        > &

        StaticMembers<
            S.Class<Self, Fields, A, I, R, C, Inherited, Proto>
        > &
        Simplify<
            Extend<TraitTuple.MapImplStaticMembers<Traits>>
        >
    ) => expression.extends as any
}