utils

export type AttrsOf<Props extends Record<string, any>> = {
  readonly [K in keyof Props]?: Props[K] | Placeholder.Any<Props[K]>
}

export type BooleanAttrsOf<Attrs extends Record<string, any>> = {
  readonly [K in keyof Attrs as K extends string ? (boolean extends Attrs[K] ? `?${K}` : never) : never]?:
    | Attrs[K]
    | Placeholder.Any<Attrs[K]>
}

export type DataProps = {
  readonly data?: Record.ReadonlyRecord<any, any> | Placeholder.Any<Record.ReadonlyRecord<any, any>> | undefined
}

export type EventsOf<El, EventMap extends {} = DefaultEventMap<El>> = {
  readonly [K in keyof EventMap as K extends string ? `on${Capitalize<K>}` : never]?:
    | EventHandler.EventHandler<EventWithCurrentTarget<El, Extract<EventMap[K], Event>>, any, any>
    | Effect.Effect<unknown, any, any>
    | null
    | undefined
}

export type PropsOf<Attrs extends Record<string, any>> = {
  readonly [K in keyof Attrs as K extends string ? `.${K}` : never]?: Attrs[K] | Placeholder.Any<Attrs[K]>
}

export type RefOf<T extends Rendered> = {
  readonly ref?: ElementRef<T> | undefined
}

export type TypedPropertiesMap = {
  readonly [K in keyof HTMLPropertiesMap]: K extends keyof HTMLElementTagNameMap
    ? TypedProps<HTMLPropertiesMap[K], HTMLElementTagNameMap[K]>
    : TypedProps<HTMLPropertiesMap[K], HTMLElement>
}

export type TypedProps<Input extends Record<string, any>, Element extends Rendered> = [
  AttrsOf<Input> & BooleanAttrsOf<Input> & PropsOf<Input> & EventsOf<Element> & RefOf<Element> & DataProps
] extends [infer R]
  ? { readonly [K in keyof R]: R[K] }
  : never

export declare function getEventHandler<R, E, Ev extends Event = Event>(
  handler: EventHandler.EventHandler<Ev, E, R> | Effect.Effect<unknown, E, R> | null | undefined
): EventHandler.EventHandler<Ev, E, R> | null