@phosphor/virtualdom

h: typeof h;

type CSSPropertyNames =
    | 'alignContent'
    | 'alignItems'
    | 'alignSelf'
    | 'alignmentBaseline'
    | 'animation'
    | 'animationDelay'
    | 'animationDirection'
    | 'animationDuration'
    | 'animationFillMode'
    | 'animationIterationCount'
    | 'animationName'
    | 'animationPlayState'
    | 'animationTimingFunction'
    | 'backfaceVisibility'
    | 'background'
    | 'backgroundAttachment'
    | 'backgroundClip'
    | 'backgroundColor'
    | 'backgroundImage'
    | 'backgroundOrigin'
    | 'backgroundPosition'
    | 'backgroundPositionX'
    | 'backgroundPositionY'
    | 'backgroundRepeat'
    | 'backgroundSize'
    | 'baselineShift'
    | 'border'
    | 'borderBottom'
    | 'borderBottomColor'
    | 'borderBottomLeftRadius'
    | 'borderBottomRightRadius'
    | 'borderBottomStyle'
    | 'borderBottomWidth'
    | 'borderCollapse'
    | 'borderColor'
    | 'borderImage'
    | 'borderImageOutset'
    | 'borderImageRepeat'
    | 'borderImageSlice'
    | 'borderImageSource'
    | 'borderImageWidth'
    | 'borderLeft'
    | 'borderLeftColor'
    | 'borderLeftStyle'
    | 'borderLeftWidth'
    | 'borderRadius'
    | 'borderRight'
    | 'borderRightColor'
    | 'borderRightStyle'
    | 'borderRightWidth'
    | 'borderSpacing'
    | 'borderStyle'
    | 'borderTop'
    | 'borderTopColor'
    | 'borderTopLeftRadius'
    | 'borderTopRightRadius'
    | 'borderTopStyle'
    | 'borderTopWidth'
    | 'borderWidth'
    | 'bottom'
    | 'boxShadow'
    | 'boxSizing'
    | 'breakAfter'
    | 'breakBefore'
    | 'breakInside'
    | 'captionSide'
    | 'clear'
    | 'clip'
    | 'clipPath'
    | 'clipRule'
    | 'color'
    | 'colorInterpolationFilters'
    | 'columnCount'
    | 'columnFill'
    | 'columnGap'
    | 'columnRule'
    | 'columnRuleColor'
    | 'columnRuleStyle'
    | 'columnRuleWidth'
    | 'columnSpan'
    | 'columnWidth'
    | 'columns'
    | 'content'
    | 'counterIncrement'
    | 'counterReset'
    | 'cssFloat'
    | 'cssText'
    | 'cursor'
    | 'direction'
    | 'display'
    | 'dominantBaseline'
    | 'emptyCells'
    | 'enableBackground'
    | 'fill'
    | 'fillOpacity'
    | 'fillRule'
    | 'filter'
    | 'flex'
    | 'flexBasis'
    | 'flexDirection'
    | 'flexFlow'
    | 'flexGrow'
    | 'flexShrink'
    | 'flexWrap'
    | 'floodColor'
    | 'floodOpacity'
    | 'font'
    | 'fontFamily'
    | 'fontFeatureSettings'
    | 'fontSize'
    | 'fontSizeAdjust'
    | 'fontStretch'
    | 'fontStyle'
    | 'fontVariant'
    | 'fontWeight'
    | 'glyphOrientationHorizontal'
    | 'glyphOrientationVertical'
    | 'height'
    | 'imeMode'
    | 'justifyContent'
    | 'kerning'
    | 'left'
    | 'letterSpacing'
    | 'lightingColor'
    | 'lineHeight'
    | 'listStyle'
    | 'listStyleImage'
    | 'listStylePosition'
    | 'listStyleType'
    | 'margin'
    | 'marginBottom'
    | 'marginLeft'
    | 'marginRight'
    | 'marginTop'
    | 'marker'
    | 'markerEnd'
    | 'markerMid'
    | 'markerStart'
    | 'mask'
    | 'maxHeight'
    | 'maxWidth'
    | 'minHeight'
    | 'minWidth'
    | 'msContentZoomChaining'
    | 'msContentZoomLimit'
    | 'msContentZoomLimitMax'
    | 'msContentZoomLimitMin'
    | 'msContentZoomSnap'
    | 'msContentZoomSnapPoints'
    | 'msContentZoomSnapType'
    | 'msContentZooming'
    | 'msFlowFrom'
    | 'msFlowInto'
    | 'msFontFeatureSettings'
    | 'msGridColumn'
    | 'msGridColumnAlign'
    | 'msGridColumnSpan'
    | 'msGridColumns'
    | 'msGridRow'
    | 'msGridRowAlign'
    | 'msGridRowSpan'
    | 'msGridRows'
    | 'msHighContrastAdjust'
    | 'msHyphenateLimitChars'
    | 'msHyphenateLimitLines'
    | 'msHyphenateLimitZone'
    | 'msHyphens'
    | 'msImeAlign'
    | 'msOverflowStyle'
    | 'msScrollChaining'
    | 'msScrollLimit'
    | 'msScrollLimitXMax'
    | 'msScrollLimitXMin'
    | 'msScrollLimitYMax'
    | 'msScrollLimitYMin'
    | 'msScrollRails'
    | 'msScrollSnapPointsX'
    | 'msScrollSnapPointsY'
    | 'msScrollSnapType'
    | 'msScrollSnapX'
    | 'msScrollSnapY'
    | 'msScrollTranslation'
    | 'msTextCombineHorizontal'
    | 'msTextSizeAdjust'
    | 'msTouchAction'
    | 'msTouchSelect'
    | 'msUserSelect'
    | 'msWrapFlow'
    | 'msWrapMargin'
    | 'msWrapThrough'
    | 'opacity'
    | 'order'
    | 'orphans'
    | 'outline'
    | 'outlineColor'
    | 'outlineStyle'
    | 'outlineWidth'
    | 'overflow'
    | 'overflowX'
    | 'overflowY'
    | 'padding'
    | 'paddingBottom'
    | 'paddingLeft'
    | 'paddingRight'
    | 'paddingTop'
    | 'pageBreakAfter'
    | 'pageBreakBefore'
    | 'pageBreakInside'
    | 'perspective'
    | 'perspectiveOrigin'
    | 'pointerEvents'
    | 'position'
    | 'quotes'
    | 'resize'
    | 'right'
    | 'rubyAlign'
    | 'rubyOverhang'
    | 'rubyPosition'
    | 'stopColor'
    | 'stopOpacity'
    | 'stroke'
    | 'strokeDasharray'
    | 'strokeDashoffset'
    | 'strokeLinecap'
    | 'strokeLinejoin'
    | 'strokeMiterlimit'
    | 'strokeOpacity'
    | 'strokeWidth'
    | 'tableLayout'
    | 'textAlign'
    | 'textAlignLast'
    | 'textAnchor'
    | 'textDecoration'
    | 'textIndent'
    | 'textJustify'
    | 'textKashida'
    | 'textKashidaSpace'
    | 'textOverflow'
    | 'textShadow'
    | 'textTransform'
    | 'textUnderlinePosition'
    | 'top'
    | 'touchAction'
    | 'transform'
    | 'transformOrigin'
    | 'transformStyle'
    | 'transition'
    | 'transitionDelay'
    | 'transitionDuration'
    | 'transitionProperty'
    | 'transitionTimingFunction'
    | 'unicodeBidi'
    | 'verticalAlign'
    | 'visibility'
    | 'webkitAlignContent'
    | 'webkitAlignItems'
    | 'webkitAlignSelf'
    | 'webkitAnimation'
    | 'webkitAnimationDelay'
    | 'webkitAnimationDirection'
    | 'webkitAnimationDuration'
    | 'webkitAnimationFillMode'
    | 'webkitAnimationIterationCount'
    | 'webkitAnimationName'
    | 'webkitAnimationPlayState'
    | 'webkitAnimationTimingFunction'
    | 'webkitAppearance'
    | 'webkitBackfaceVisibility'
    | 'webkitBackgroundClip'
    | 'webkitBackgroundOrigin'
    | 'webkitBackgroundSize'
    | 'webkitBorderBottomLeftRadius'
    | 'webkitBorderBottomRightRadius'
    | 'webkitBorderImage'
    | 'webkitBorderRadius'
    | 'webkitBorderTopLeftRadius'
    | 'webkitBorderTopRightRadius'
    | 'webkitBoxAlign'
    | 'webkitBoxDirection'
    | 'webkitBoxFlex'
    | 'webkitBoxOrdinalGroup'
    | 'webkitBoxOrient'
    | 'webkitBoxPack'
    | 'webkitBoxSizing'
    | 'webkitColumnBreakAfter'
    | 'webkitColumnBreakBefore'
    | 'webkitColumnBreakInside'
    | 'webkitColumnCount'
    | 'webkitColumnGap'
    | 'webkitColumnRule'
    | 'webkitColumnRuleColor'
    | 'webkitColumnRuleStyle'
    | 'webkitColumnRuleWidth'
    | 'webkitColumnSpan'
    | 'webkitColumnWidth'
    | 'webkitColumns'
    | 'webkitFilter'
    | 'webkitFlex'
    | 'webkitFlexBasis'
    | 'webkitFlexDirection'
    | 'webkitFlexFlow'
    | 'webkitFlexGrow'
    | 'webkitFlexShrink'
    | 'webkitFlexWrap'
    | 'webkitJustifyContent'
    | 'webkitOrder'
    | 'webkitPerspective'
    | 'webkitPerspectiveOrigin'
    | 'webkitTapHighlightColor'
    | 'webkitTextFillColor'
    | 'webkitTextSizeAdjust'
    | 'webkitTransform'
    | 'webkitTransformOrigin'
    | 'webkitTransformStyle'
    | 'webkitTransition'
    | 'webkitTransitionDelay'
    | 'webkitTransitionDuration'
    | 'webkitTransitionProperty'
    | 'webkitTransitionTimingFunction'
    | 'webkitUserModify'
    | 'webkitUserSelect'
    | 'webkitWritingMode'
    | 'whiteSpace'
    | 'widows'
    | 'width'
    | 'wordBreak'
    | 'wordSpacing'
    | 'wordWrap'
    | 'writingMode'
    | 'zIndex'
    | 'zoom';

type ElementAttrNames =
    | 'abbr'
    | 'accept'
    | 'accept-charset'
    | 'accesskey'
    | 'action'
    | 'allowfullscreen'
    | 'alt'
    | 'autocomplete'
    | 'autofocus'
    | 'autoplay'
    | 'autosave'
    | 'checked'
    | 'cite'
    | 'cols'
    | 'colspan'
    | 'contenteditable'
    | 'controls'
    | 'coords'
    | 'crossorigin'
    | 'data'
    | 'datetime'
    | 'default'
    | 'dir'
    | 'dirname'
    | 'disabled'
    | 'download'
    | 'draggable'
    | 'dropzone'
    | 'enctype'
    | 'form'
    | 'formaction'
    | 'formenctype'
    | 'formmethod'
    | 'formnovalidate'
    | 'formtarget'
    | 'headers'
    | 'height'
    | 'hidden'
    | 'high'
    | 'href'
    | 'hreflang'
    | 'id'
    | 'inputmode'
    | 'integrity'
    | 'ismap'
    | 'kind'
    | 'label'
    | 'lang'
    | 'list'
    | 'loop'
    | 'low'
    | 'max'
    | 'maxlength'
    | 'media'
    | 'mediagroup'
    | 'method'
    | 'min'
    | 'minlength'
    | 'multiple'
    | 'muted'
    | 'name'
    | 'novalidate'
    | 'optimum'
    | 'pattern'
    | 'placeholder'
    | 'poster'
    | 'preload'
    | 'readonly'
    | 'rel'
    | 'required'
    | 'reversed'
    | 'rows'
    | 'rowspan'
    | 'sandbox'
    | 'scope'
    | 'selected'
    | 'shape'
    | 'size'
    | 'sizes'
    | 'span'
    | 'spellcheck'
    | 'src'
    | 'srcdoc'
    | 'srclang'
    | 'srcset'
    | 'start'
    | 'step'
    | 'tabindex'
    | 'target'
    | 'title'
    | 'type'
    | 'typemustmatch'
    | 'usemap'
    | 'value'
    | 'width'
    | 'wrap';

type ElementAttrs = ElementBaseAttrs & ElementEventAttrs & ElementSpecialAttrs;

type ElementBaseAttrs = {
    readonly [T in ElementAttrNames]?: string;
};

type ElementDataset = {
    readonly [name: string]: string;
};

type ElementEventAttrs = {
    readonly [T in keyof ElementEventMap]?: (
        this: HTMLElement,
        event: ElementEventMap[T]
    ) => any;
};

type ElementEventMap = {
    onabort: UIEvent;
    onauxclick: MouseEvent;
    onblur: FocusEvent;
    oncanplay: Event;
    oncanplaythrough: Event;
    onchange: Event;
    onclick: MouseEvent;
    oncontextmenu: PointerEvent;
    oncopy: ClipboardEvent;
    oncuechange: Event;
    oncut: ClipboardEvent;
    ondblclick: MouseEvent;
    ondrag: DragEvent;
    ondragend: DragEvent;
    ondragenter: DragEvent;
    ondragexit: DragEvent;
    ondragleave: DragEvent;
    ondragover: DragEvent;
    ondragstart: DragEvent;
    ondrop: DragEvent;
    ondurationchange: Event;
    onemptied: Event;
    onended: MediaStreamErrorEvent;
    onerror: ErrorEvent;
    onfocus: FocusEvent;
    oninput: Event;
    oninvalid: Event;
    onkeydown: KeyboardEvent;
    onkeypress: KeyboardEvent;
    onkeyup: KeyboardEvent;
    onload: Event;
    onloadeddata: Event;
    onloadedmetadata: Event;
    onloadend: Event;
    onloadstart: Event;
    onmousedown: MouseEvent;
    onmouseenter: MouseEvent;
    onmouseleave: MouseEvent;
    onmousemove: MouseEvent;
    onmouseout: MouseEvent;
    onmouseover: MouseEvent;
    onmouseup: MouseEvent;
    onmousewheel: WheelEvent;
    onpaste: ClipboardEvent;
    onpause: Event;
    onplay: Event;
    onplaying: Event;
    onpointercancel: PointerEvent;
    onpointerdown: PointerEvent;
    onpointerenter: PointerEvent;
    onpointerleave: PointerEvent;
    onpointermove: PointerEvent;
    onpointerout: PointerEvent;
    onpointerover: PointerEvent;
    onpointerup: PointerEvent;
    onprogress: ProgressEvent;
    onratechange: Event;
    onreset: Event;
    onscroll: UIEvent;
    onseeked: Event;
    onseeking: Event;
    onselect: UIEvent;
    onselectstart: Event;
    onstalled: Event;
    onsubmit: Event;
    onsuspend: Event;
    ontimeupdate: Event;
    onvolumechange: Event;
    onwaiting: Event;
};

type ElementInlineStyle = {
    readonly [T in CSSPropertyNames]?: string;
};

type ElementSpecialAttrs = {
    /**
     * The key id for the virtual element node.
     *
     * If a node is given a key id, the generated DOM node will not be
     * recreated during a rendering update if it only moves among its
     * siblings in the render tree.
     *
     * In general, reordering child nodes will cause the nodes to be
     * completely re-rendered. Keys allow this to be optimized away.
     *
     * If a key is provided, it must be unique among sibling nodes.
     */
    readonly key?: string;
    /**
     * The JS-safe name for the HTML `class` attribute.
     */
    readonly className?: string;
    /**
     * The JS-safe name for the HTML `for` attribute.
     */
    readonly htmlFor?: string;
    /**
     * The dataset for the rendered DOM element.
     */
    readonly dataset?: ElementDataset;
    /**
     * The inline style for the rendered DOM element.
     */
    readonly style?: ElementInlineStyle;
};

type VirtualNode = VirtualElement | VirtualText;