2023-03-29 16:15:08 +08:00
|
|
|
/* eslint-disable @typescript-eslint/prefer-ts-expect-error */
|
2023-03-26 16:40:53 +08:00
|
|
|
// global JSX namespace registration
|
2023-03-29 16:15:08 +08:00
|
|
|
// somehow we have to copy=pase the jsx-runtime types here to make TypeScript happy
|
2023-05-19 07:47:23 +08:00
|
|
|
import type { NativeElements, ReservedProps, VNode } from '@vue/runtime-dom'
|
2023-03-26 16:40:53 +08:00
|
|
|
|
|
|
|
declare global {
|
|
|
|
namespace JSX {
|
2023-03-29 16:15:08 +08:00
|
|
|
export interface Element extends VNode {}
|
|
|
|
export interface ElementClass {
|
|
|
|
$props: {}
|
|
|
|
}
|
|
|
|
export interface ElementAttributesProperty {
|
|
|
|
$props: {}
|
|
|
|
}
|
|
|
|
export interface IntrinsicElements extends NativeElements {
|
|
|
|
// allow arbitrary elements
|
|
|
|
// @ts-ignore suppress ts:2374 = Duplicate string index signature.
|
|
|
|
[name: string]: any
|
|
|
|
}
|
|
|
|
export interface IntrinsicAttributes extends ReservedProps {}
|
2023-03-26 16:40:53 +08:00
|
|
|
}
|
|
|
|
}
|