Idris2Doc : Web.Raw.Html
Definitions
enabled : AudioTrack -> Attribute True id Bool- Totality: total
Visibility: export id : AudioTrack -> JSIO String- Totality: total
Visibility: export kind : AudioTrack -> JSIO String- Totality: total
Visibility: export label : AudioTrack -> JSIO String- Totality: total
Visibility: export language : AudioTrack -> JSIO String- Totality: total
Visibility: export sourceBuffer : AudioTrack -> JSIO (Maybe SourceBuffer)- Totality: total
Visibility: export get : AudioTrackList -> Bits32 -> JSIO AudioTrack- Totality: total
Visibility: export length : AudioTrackList -> JSIO Bits32- Totality: total
Visibility: export onaddtrack : AudioTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onchange : AudioTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onremovetrack : AudioTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export getTrackById : AudioTrackList -> String -> JSIO (Maybe AudioTrack)- Totality: total
Visibility: export visible : BarProp -> JSIO Bool- Totality: total
Visibility: export returnValue : BeforeUnloadEvent -> Attribute True id String- Totality: total
Visibility: export new : String -> JSIO BroadcastChannel- Totality: total
Visibility: export name : BroadcastChannel -> JSIO String- Totality: total
Visibility: export onmessage : BroadcastChannel -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessageerror : BroadcastChannel -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export close : BroadcastChannel -> JSIO ()- Totality: total
Visibility: export postMessage : BroadcastChannel -> Any -> JSIO ()- Totality: total
Visibility: export addColorStop : CanvasGradient -> Double -> String -> JSIO ()- Totality: total
Visibility: export setTransform' : {auto 0 {conArg:3829} : JSType t2} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)} -> CanvasPattern -> Optional t2 -> JSIO ()- Totality: total
Visibility: export setTransform : CanvasPattern -> JSIO ()- Totality: total
Visibility: export canvas : CanvasRenderingContext2D -> JSIO HTMLCanvasElement- Totality: total
Visibility: export getContextAttributes : CanvasRenderingContext2D -> JSIO CanvasRenderingContext2DSettings- Totality: total
Visibility: export new' : {auto 0 {conArg:3880} : JSType t2} -> {auto 0 _ : Elem CloseEventInit (Types t2)} -> String -> Optional t2 -> JSIO CloseEvent- Totality: total
Visibility: export new : String -> JSIO CloseEvent- Totality: total
Visibility: export code : CloseEvent -> JSIO Bits16- Totality: total
Visibility: export reason : CloseEvent -> JSIO String- Totality: total
Visibility: export wasClean : CloseEvent -> JSIO Bool- Totality: total
Visibility: export define' : {auto 0 {conArg:3939} : JSType t4} -> {auto 0 _ : Elem ElementDefinitionOptions (Types t4)} -> CustomElementRegistry -> String -> CustomElementConstructor -> Optional t4 -> JSIO ()- Totality: total
Visibility: export define : CustomElementRegistry -> String -> CustomElementConstructor -> JSIO ()- Totality: total
Visibility: export get : CustomElementRegistry -> String -> JSIO (Union2 CustomElementConstructor Undefined)- Totality: total
Visibility: export upgrade : {auto 0 {conArg:3999} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> CustomElementRegistry -> t2 -> JSIO ()- Totality: total
Visibility: export whenDefined : CustomElementRegistry -> String -> JSIO (Promise CustomElementConstructor)- Totality: total
Visibility: export new : JSIO DOMParser- Totality: total
Visibility: export parseFromString : DOMParser -> String -> DOMParserSupportedType -> JSIO Document- Totality: total
Visibility: export length : DOMStringList -> JSIO Bits32- Totality: total
Visibility: export contains : DOMStringList -> String -> JSIO Bool- Totality: total
Visibility: export item : DOMStringList -> Bits32 -> JSIO (Maybe String)- Totality: total
Visibility: export get : DOMStringMap -> String -> JSIO String- Totality: total
Visibility: export set : DOMStringMap -> String -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO DataTransfer- Totality: total
Visibility: export dropEffect : DataTransfer -> Attribute True id String- Totality: total
Visibility: export effectAllowed : DataTransfer -> Attribute True id String- Totality: total
Visibility: export files : DataTransfer -> JSIO FileList- Totality: total
Visibility: export items : DataTransfer -> JSIO DataTransferItemList- Totality: total
Visibility: export types : DataTransfer -> JSIO (Array String)- Totality: total
Visibility: export clearData' : DataTransfer -> Optional String -> JSIO ()- Totality: total
Visibility: export clearData : DataTransfer -> JSIO ()- Totality: total
Visibility: export getData : DataTransfer -> String -> JSIO String- Totality: total
Visibility: export setData : DataTransfer -> String -> String -> JSIO ()- Totality: total
Visibility: export setDragImage : {auto 0 {conArg:4218} : JSType t2} -> {auto 0 _ : Elem Element (Types t2)} -> DataTransfer -> t2 -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export kind : DataTransferItem -> JSIO String- Totality: total
Visibility: export type : DataTransferItem -> JSIO String- Totality: total
Visibility: export getAsFile : DataTransferItem -> JSIO (Maybe File)- Totality: total
Visibility: export getAsString : DataTransferItem -> Maybe FunctionStringCallback -> JSIO ()- Totality: total
Visibility: export get : DataTransferItemList -> Bits32 -> JSIO DataTransferItem- Totality: total
Visibility: export length : DataTransferItemList -> JSIO Bits32- Totality: total
Visibility: export add : DataTransferItemList -> String -> String -> JSIO (Maybe DataTransferItem)- Totality: total
Visibility: export add1 : DataTransferItemList -> File -> JSIO (Maybe DataTransferItem)- Totality: total
Visibility: export clear : DataTransferItemList -> JSIO ()- Totality: total
Visibility: export remove : DataTransferItemList -> Bits32 -> JSIO ()- Totality: total
Visibility: export name : DedicatedWorkerGlobalScope -> JSIO String- Totality: total
Visibility: export onmessage : DedicatedWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessageerror : DedicatedWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export close : DedicatedWorkerGlobalScope -> JSIO ()- Totality: total
Visibility: export postMessage : DedicatedWorkerGlobalScope -> Any -> Array Object -> JSIO ()- Totality: total
Visibility: export postMessage1' : {auto 0 {conArg:4435} : JSType t3} -> {auto 0 _ : Elem PostMessageOptions (Types t3)} -> DedicatedWorkerGlobalScope -> Any -> Optional t3 -> JSIO ()- Totality: total
Visibility: export postMessage1 : DedicatedWorkerGlobalScope -> Any -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:4486} : JSType t2} -> {auto 0 _ : Elem DragEventInit (Types t2)} -> String -> Optional t2 -> JSIO DragEvent- Totality: total
Visibility: export new : String -> JSIO DragEvent- Totality: total
Visibility: export dataTransfer : DragEvent -> JSIO (Maybe DataTransfer)- Totality: total
Visibility: export form : ElementInternals -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export labels : ElementInternals -> JSIO NodeList- Totality: total
Visibility: export shadowRoot : ElementInternals -> JSIO (Maybe ShadowRoot)- Totality: total
Visibility: export validationMessage : ElementInternals -> JSIO String- Totality: total
Visibility: export validity : ElementInternals -> JSIO ValidityState- Totality: total
Visibility: export willValidate : ElementInternals -> JSIO Bool- Totality: total
Visibility: export checkValidity : ElementInternals -> JSIO Bool- Totality: total
Visibility: export reportValidity : ElementInternals -> JSIO Bool- Totality: total
Visibility: export setFormValue' : ElementInternals -> Maybe (HSum [File, String, FormData]) -> Optional (Maybe (HSum [File, String, FormData])) -> JSIO ()- Totality: total
Visibility: export setFormValue : ElementInternals -> Maybe (HSum [File, String, FormData]) -> JSIO ()- Totality: total
Visibility: export setValidity' : {auto 0 {conArg:4779} : JSType t2} -> {auto 0 {conArg:4782} : JSType t4} -> {auto 0 _ : Elem ValidityStateFlags (Types t2)} -> {auto 0 _ : Elem HTMLElement (Types t4)} -> ElementInternals -> Optional t2 -> Optional String -> Optional t4 -> JSIO ()- Totality: total
Visibility: export setValidity : ElementInternals -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:4853} : JSType t2} -> {auto 0 _ : Elem ErrorEventInit (Types t2)} -> String -> Optional t2 -> JSIO ErrorEvent- Totality: total
Visibility: export new : String -> JSIO ErrorEvent- Totality: total
Visibility: export colno : ErrorEvent -> JSIO Bits32- Totality: total
Visibility: export error : ErrorEvent -> JSIO Any- Totality: total
Visibility: export filename : ErrorEvent -> JSIO String- Totality: total
Visibility: export lineno : ErrorEvent -> JSIO Bits32- Totality: total
Visibility: export message : ErrorEvent -> JSIO String- Totality: total
Visibility: export CLOSED : Bits16- Totality: total
Visibility: public export CONNECTING : Bits16- Totality: total
Visibility: public export OPEN : Bits16- Totality: total
Visibility: public export new' : {auto 0 {conArg:4934} : JSType t2} -> {auto 0 _ : Elem EventSourceInit (Types t2)} -> String -> Optional t2 -> JSIO EventSource- Totality: total
Visibility: export new : String -> JSIO EventSource- Totality: total
Visibility: export onerror : EventSource -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessage : EventSource -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onopen : EventSource -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export readyState : EventSource -> JSIO Bits16- Totality: total
Visibility: export url : EventSource -> JSIO String- Totality: total
Visibility: export withCredentials : EventSource -> JSIO Bool- Totality: total
Visibility: export close : EventSource -> JSIO ()- Totality: total
Visibility: export AddSearchProvider : External -> JSIO ()- Totality: total
Visibility: export IsSearchProviderInstalled : External -> JSIO ()- Totality: total
Visibility: export new : {auto 0 {conArg:5071} : JSType t2} -> {auto 0 _ : Elem FormDataEventInit (Types t2)} -> String -> t2 -> JSIO FormDataEvent- Totality: total
Visibility: export formData : FormDataEvent -> JSIO FormData- Totality: total
Visibility: export get : HTMLAllCollection -> Bits32 -> JSIO Element- Totality: total
Visibility: export length : HTMLAllCollection -> JSIO Bits32- Totality: total
Visibility: export item' : HTMLAllCollection -> Optional String -> JSIO (Maybe (HSum [HTMLCollection, Element]))- Totality: total
Visibility: export item : HTMLAllCollection -> JSIO (Maybe (HSum [HTMLCollection, Element]))- Totality: total
Visibility: export namedItem : HTMLAllCollection -> String -> JSIO (Maybe (HSum [HTMLCollection, Element]))- Totality: total
Visibility: export new : JSIO HTMLAnchorElement- Totality: total
Visibility: export charset : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export coords : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export download : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export hreflang : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export ping : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export referrerPolicy : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export rel : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export relList : HTMLAnchorElement -> JSIO DOMTokenList- Totality: total
Visibility: export rev : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export shape : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export target : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export text : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLAnchorElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLAreaElement- Totality: total
Visibility: export alt : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export coords : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export download : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export noHref : HTMLAreaElement -> Attribute True id Bool- Totality: total
Visibility: export ping : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export referrerPolicy : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export rel : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export relList : HTMLAreaElement -> JSIO DOMTokenList- Totality: total
Visibility: export shape : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export target : HTMLAreaElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLAudioElement- Totality: total
Visibility: export new : JSIO HTMLBRElement- Totality: total
Visibility: export clear : HTMLBRElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLBaseElement- Totality: total
Visibility: export href : HTMLBaseElement -> Attribute True id String- Totality: total
Visibility: export target : HTMLBaseElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLBodyElement- Totality: total
Visibility: export aLink : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export background : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export bgColor : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export link : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export text : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export vLink : HTMLBodyElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLButtonElement- Totality: total
Visibility: export disabled : HTMLButtonElement -> Attribute True id Bool- Totality: total
Visibility: export form : HTMLButtonElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export formAction : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export formEnctype : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export formMethod : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export formNoValidate : HTMLButtonElement -> Attribute True id Bool- Totality: total
Visibility: export formTarget : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export labels : HTMLButtonElement -> JSIO NodeList- Totality: total
Visibility: export name : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export validationMessage : HTMLButtonElement -> JSIO String- Totality: total
Visibility: export validity : HTMLButtonElement -> JSIO ValidityState- Totality: total
Visibility: export value : HTMLButtonElement -> Attribute True id String- Totality: total
Visibility: export willValidate : HTMLButtonElement -> JSIO Bool- Totality: total
Visibility: export checkValidity : HTMLButtonElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLButtonElement -> JSIO Bool- Totality: total
Visibility: export setCustomValidity : HTMLButtonElement -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLCanvasElement- Totality: total
Visibility: export height : HTMLCanvasElement -> Attribute True id Bits32- Totality: total
Visibility: export width : HTMLCanvasElement -> Attribute True id Bits32- Totality: total
Visibility: export getContext' : HTMLCanvasElement -> String -> Optional Any -> JSIO (Maybe (HSum [CanvasRenderingContext2D, ImageBitmapRenderingContext, WebGLRenderingContext, WebGL2RenderingContext]))- Totality: total
Visibility: export getContext : HTMLCanvasElement -> String -> JSIO (Maybe (HSum [CanvasRenderingContext2D, ImageBitmapRenderingContext, WebGLRenderingContext, WebGL2RenderingContext]))- Totality: total
Visibility: export toBlob' : HTMLCanvasElement -> BlobCallback -> Optional String -> Optional Any -> JSIO ()- Totality: total
Visibility: export toBlob : HTMLCanvasElement -> BlobCallback -> JSIO ()- Totality: total
Visibility: export toDataURL' : HTMLCanvasElement -> Optional String -> Optional Any -> JSIO String- Totality: total
Visibility: export toDataURL : HTMLCanvasElement -> JSIO String- Totality: total
Visibility: export transferControlToOffscreen : HTMLCanvasElement -> JSIO OffscreenCanvas- Totality: total
Visibility: export new : JSIO HTMLDListElement- Totality: total
Visibility: export compact : HTMLDListElement -> Attribute True id Bool- Totality: total
Visibility: export new : JSIO HTMLDataElement- Totality: total
Visibility: export value : HTMLDataElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLDataListElement- Totality: total
Visibility: export options : HTMLDataListElement -> JSIO HTMLCollection- Totality: total
Visibility: export new : JSIO HTMLDetailsElement- Totality: total
Visibility: export open_ : HTMLDetailsElement -> Attribute True id Bool- Totality: total
Visibility: export new : JSIO HTMLDialogElement- Totality: total
Visibility: export open_ : HTMLDialogElement -> Attribute True id Bool- Totality: total
Visibility: export returnValue : HTMLDialogElement -> Attribute True id String- Totality: total
Visibility: export close' : HTMLDialogElement -> Optional String -> JSIO ()- Totality: total
Visibility: export close : HTMLDialogElement -> JSIO ()- Totality: total
Visibility: export show : HTMLDialogElement -> JSIO ()- Totality: total
Visibility: export showModal : HTMLDialogElement -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLDirectoryElement- Totality: total
Visibility: export compact : HTMLDirectoryElement -> Attribute True id Bool- Totality: total
Visibility: export new : JSIO HTMLDivElement- Totality: total
Visibility: export align : HTMLDivElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLElement- Totality: total
Visibility: export accessKey : {auto 0 {conArg:6686} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export accessKeyLabel : {auto 0 {conArg:6724} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export autocapitalize : {auto 0 {conArg:6752} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export dir : {auto 0 {conArg:6790} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export draggable : {auto 0 {conArg:6828} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export hidden : {auto 0 {conArg:6866} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export innerText : {auto 0 {conArg:6904} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export lang : {auto 0 {conArg:6942} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export offsetHeight : {auto 0 {conArg:6980} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO Int32- Totality: total
Visibility: export offsetLeft : {auto 0 {conArg:7008} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO Int32- Totality: total
Visibility: export offsetParent : {auto 0 {conArg:7036} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO (Maybe Element)- Totality: total
Visibility: export offsetTop : {auto 0 {conArg:7072} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO Int32- Totality: total
Visibility: export offsetWidth : {auto 0 {conArg:7100} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO Int32- Totality: total
Visibility: export spellcheck : {auto 0 {conArg:7128} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export title : {auto 0 {conArg:7166} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export translate : {auto 0 {conArg:7204} : JSType t} -> {auto 0 _ : Elem HTMLElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export attachInternals : {auto 0 {conArg:7243} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO ElementInternals- Totality: total
Visibility: export click : {auto 0 {conArg:7271} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLEmbedElement- Totality: total
Visibility: export align : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export height : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLEmbedElement -> Attribute True id String- Totality: total
Visibility: export getSVGDocument : HTMLEmbedElement -> JSIO (Maybe Document)- Totality: total
Visibility: export new : JSIO HTMLFieldSetElement- Totality: total
Visibility: export disabled : HTMLFieldSetElement -> Attribute True id Bool- Totality: total
Visibility: export elements : HTMLFieldSetElement -> JSIO HTMLCollection- Totality: total
Visibility: export form : HTMLFieldSetElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export name : HTMLFieldSetElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLFieldSetElement -> JSIO String- Totality: total
Visibility: export validationMessage : HTMLFieldSetElement -> JSIO String- Totality: total
Visibility: export validity : HTMLFieldSetElement -> JSIO ValidityState- Totality: total
Visibility: export willValidate : HTMLFieldSetElement -> JSIO Bool- Totality: total
Visibility: export checkValidity : HTMLFieldSetElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLFieldSetElement -> JSIO Bool- Totality: total
Visibility: export setCustomValidity : HTMLFieldSetElement -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLFontElement- Totality: total
Visibility: export color : HTMLFontElement -> Attribute True id String- Totality: total
Visibility: export face : HTMLFontElement -> Attribute True id String- Totality: total
Visibility: export size : HTMLFontElement -> Attribute True id String- Totality: total
Visibility: export namedItem : HTMLFormControlsCollection -> String -> JSIO (Maybe (HSum [RadioNodeList, Element]))- Totality: total
Visibility: export new : JSIO HTMLFormElement- Totality: total
Visibility: export get : HTMLFormElement -> Bits32 -> JSIO Element- Totality: total
Visibility: export get1 : HTMLFormElement -> String -> JSIO (HSum [RadioNodeList, Element])- Totality: total
Visibility: export acceptCharset : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export action : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export autocomplete : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export elements : HTMLFormElement -> JSIO HTMLFormControlsCollection- Totality: total
Visibility: export encoding : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export enctype : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export length : HTMLFormElement -> JSIO Bits32- Totality: total
Visibility: export method : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export noValidate : HTMLFormElement -> Attribute True id Bool- Totality: total
Visibility: export rel : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export relList : HTMLFormElement -> JSIO DOMTokenList- Totality: total
Visibility: export target : HTMLFormElement -> Attribute True id String- Totality: total
Visibility: export checkValidity : HTMLFormElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLFormElement -> JSIO Bool- Totality: total
Visibility: export requestSubmit' : {auto 0 {conArg:7953} : JSType t2} -> {auto 0 _ : Elem HTMLElement (Types t2)} -> HTMLFormElement -> Optional (Maybe t2) -> JSIO ()- Totality: total
Visibility: export requestSubmit : HTMLFormElement -> JSIO ()- Totality: total
Visibility: export reset : HTMLFormElement -> JSIO ()- Totality: total
Visibility: export submit : HTMLFormElement -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLFrameElement- Totality: total
Visibility: export contentDocument : HTMLFrameElement -> JSIO (Maybe Document)- Totality: total
Visibility: export contentWindow : HTMLFrameElement -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export frameBorder : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export longDesc : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export marginHeight : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export marginWidth : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export noResize : HTMLFrameElement -> Attribute True id Bool- Totality: total
Visibility: export scrolling : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLFrameElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLFrameSetElement- Totality: total
Visibility: export cols : HTMLFrameSetElement -> Attribute True id String- Totality: total
Visibility: export rows : HTMLFrameSetElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLHRElement- Totality: total
Visibility: export align : HTMLHRElement -> Attribute True id String- Totality: total
Visibility: export color : HTMLHRElement -> Attribute True id String- Totality: total
Visibility: export noShade : HTMLHRElement -> Attribute True id Bool- Totality: total
Visibility: export size : HTMLHRElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLHRElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLHeadElement- Totality: total
Visibility: export new : JSIO HTMLHeadingElement- Totality: total
Visibility: export align : HTMLHeadingElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLHtmlElement- Totality: total
Visibility: export version : HTMLHtmlElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLIFrameElement- Totality: total
Visibility: export align : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export allow : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export allowFullscreen : HTMLIFrameElement -> Attribute True id Bool- Totality: total
Visibility: export contentDocument : HTMLIFrameElement -> JSIO (Maybe Document)- Totality: total
Visibility: export contentWindow : HTMLIFrameElement -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export frameBorder : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export height : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export loading : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export longDesc : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export marginHeight : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export marginWidth : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export referrerPolicy : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export sandbox : HTMLIFrameElement -> JSIO DOMTokenList- Totality: total
Visibility: export scrolling : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export srcdoc : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLIFrameElement -> Attribute True id String- Totality: total
Visibility: export getSVGDocument : HTMLIFrameElement -> JSIO (Maybe Document)- Totality: total
Visibility: export new : JSIO HTMLImageElement- Totality: total
Visibility: export align : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export alt : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export border : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export complete : HTMLImageElement -> JSIO Bool- Totality: total
Visibility: export crossOrigin : HTMLImageElement -> Attribute False Maybe String- Totality: total
Visibility: export currentSrc : HTMLImageElement -> JSIO String- Totality: total
Visibility: export decoding : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export height : HTMLImageElement -> Attribute True id Bits32- Totality: total
Visibility: export hspace : HTMLImageElement -> Attribute True id Bits32- Totality: total
Visibility: export isMap : HTMLImageElement -> Attribute True id Bool- Totality: total
Visibility: export loading : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export longDesc : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export lowsrc : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export naturalHeight : HTMLImageElement -> JSIO Bits32- Totality: total
Visibility: export naturalWidth : HTMLImageElement -> JSIO Bits32- Totality: total
Visibility: export referrerPolicy : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export sizes : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export srcset : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export useMap : HTMLImageElement -> Attribute True id String- Totality: total
Visibility: export vspace : HTMLImageElement -> Attribute True id Bits32- Totality: total
Visibility: export width : HTMLImageElement -> Attribute True id Bits32- Totality: total
Visibility: export x : HTMLImageElement -> JSIO Int32- Totality: total
Visibility: export y : HTMLImageElement -> JSIO Int32- Totality: total
Visibility: export decode : HTMLImageElement -> JSIO (Promise Undefined)- Totality: total
Visibility: export new : JSIO HTMLInputElement- Totality: total
Visibility: export accept : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export align : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export alt : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export autocomplete : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export checked : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export defaultChecked : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export defaultValue : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export dirName : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export disabled : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export files : HTMLInputElement -> Attribute False Maybe FileList- Totality: total
Visibility: export form : HTMLInputElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export formAction : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export formEnctype : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export formMethod : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export formNoValidate : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export formTarget : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export height : HTMLInputElement -> Attribute True id Bits32- Totality: total
Visibility: export indeterminate : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export labels : HTMLInputElement -> JSIO (Maybe NodeList)- Totality: total
Visibility: export list : HTMLInputElement -> JSIO (Maybe HTMLElement)- Totality: total
Visibility: export max : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export maxLength : HTMLInputElement -> Attribute True id Int32- Totality: total
Visibility: export min : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export minLength : HTMLInputElement -> Attribute True id Int32- Totality: total
Visibility: export multiple : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export name : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export pattern : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export placeholder : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export readOnly : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export required : HTMLInputElement -> Attribute True id Bool- Totality: total
Visibility: export selectionDirection : HTMLInputElement -> Attribute False Maybe String- Totality: total
Visibility: export selectionEnd : HTMLInputElement -> Attribute False Maybe Bits32- Totality: total
Visibility: export selectionStart : HTMLInputElement -> Attribute False Maybe Bits32- Totality: total
Visibility: export size : HTMLInputElement -> Attribute True id Bits32- Totality: total
Visibility: export src : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export step : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export useMap : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export validationMessage : HTMLInputElement -> JSIO String- Totality: total
Visibility: export validity : HTMLInputElement -> JSIO ValidityState- Totality: total
Visibility: export value : HTMLInputElement -> Attribute True id String- Totality: total
Visibility: export valueAsDate : HTMLInputElement -> Attribute False Maybe Object- Totality: total
Visibility: export valueAsNumber : HTMLInputElement -> Attribute True id Double- Totality: total
Visibility: export width : HTMLInputElement -> Attribute True id Bits32- Totality: total
Visibility: export willValidate : HTMLInputElement -> JSIO Bool- Totality: total
Visibility: export checkValidity : HTMLInputElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLInputElement -> JSIO Bool- Totality: total
Visibility: export select : HTMLInputElement -> JSIO ()- Totality: total
Visibility: export setCustomValidity : HTMLInputElement -> String -> JSIO ()- Totality: total
Visibility: export setRangeText : HTMLInputElement -> String -> JSIO ()- Totality: total
Visibility: export setRangeText1' : HTMLInputElement -> String -> Bits32 -> Bits32 -> Optional SelectionMode -> JSIO ()- Totality: total
Visibility: export setRangeText1 : HTMLInputElement -> String -> Bits32 -> Bits32 -> JSIO ()- Totality: total
Visibility: export setSelectionRange' : HTMLInputElement -> Bits32 -> Bits32 -> Optional String -> JSIO ()- Totality: total
Visibility: export setSelectionRange : HTMLInputElement -> Bits32 -> Bits32 -> JSIO ()- Totality: total
Visibility: export stepDown' : HTMLInputElement -> Optional Int32 -> JSIO ()- Totality: total
Visibility: export stepDown : HTMLInputElement -> JSIO ()- Totality: total
Visibility: export stepUp' : HTMLInputElement -> Optional Int32 -> JSIO ()- Totality: total
Visibility: export stepUp : HTMLInputElement -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLLIElement- Totality: total
Visibility: export type : HTMLLIElement -> Attribute True id String- Totality: total
Visibility: export value : HTMLLIElement -> Attribute True id Int32- Totality: total
Visibility: export new : JSIO HTMLLabelElement- Totality: total
Visibility: export control : HTMLLabelElement -> JSIO (Maybe HTMLElement)- Totality: total
Visibility: export form : HTMLLabelElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export htmlFor : HTMLLabelElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLLegendElement- Totality: total
Visibility: export align : HTMLLegendElement -> Attribute True id String- Totality: total
Visibility: export form : HTMLLegendElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export new : JSIO HTMLLinkElement- Totality: total
Visibility: export as : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export charset : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export crossOrigin : HTMLLinkElement -> Attribute False Maybe String- Totality: total
Visibility: export disabled : HTMLLinkElement -> Attribute True id Bool- Totality: total
Visibility: export href : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export hreflang : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export imageSizes : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export imageSrcset : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export integrity : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export media : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export referrerPolicy : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export rel : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export relList : HTMLLinkElement -> JSIO DOMTokenList- Totality: total
Visibility: export rev : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export sizes : HTMLLinkElement -> JSIO DOMTokenList- Totality: total
Visibility: export target : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLLinkElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLMapElement- Totality: total
Visibility: export areas : HTMLMapElement -> JSIO HTMLCollection- Totality: total
Visibility: export name : HTMLMapElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLMarqueeElement- Totality: total
Visibility: export behavior : HTMLMarqueeElement -> Attribute True id String- Totality: total
Visibility: export bgColor : HTMLMarqueeElement -> Attribute True id String- Totality: total
Visibility: export direction : HTMLMarqueeElement -> Attribute True id String- Totality: total
Visibility: export height : HTMLMarqueeElement -> Attribute True id String- Totality: total
Visibility: export hspace : HTMLMarqueeElement -> Attribute True id Bits32- Totality: total
Visibility: export loop : HTMLMarqueeElement -> Attribute True id Int32- Totality: total
Visibility: export scrollAmount : HTMLMarqueeElement -> Attribute True id Bits32- Totality: total
Visibility: export scrollDelay : HTMLMarqueeElement -> Attribute True id Bits32- Totality: total
Visibility: export trueSpeed : HTMLMarqueeElement -> Attribute True id Bool- Totality: total
Visibility: export vspace : HTMLMarqueeElement -> Attribute True id Bits32- Totality: total
Visibility: export width : HTMLMarqueeElement -> Attribute True id String- Totality: total
Visibility: export start : HTMLMarqueeElement -> JSIO ()- Totality: total
Visibility: export stop : HTMLMarqueeElement -> JSIO ()- Totality: total
Visibility: export HAVE_CURRENT_DATA : Bits16- Totality: total
Visibility: public export HAVE_ENOUGH_DATA : Bits16- Totality: total
Visibility: public export HAVE_FUTURE_DATA : Bits16- Totality: total
Visibility: public export HAVE_METADATA : Bits16- Totality: total
Visibility: public export HAVE_NOTHING : Bits16- Totality: total
Visibility: public export NETWORK_EMPTY : Bits16- Totality: total
Visibility: public export NETWORK_IDLE : Bits16- Totality: total
Visibility: public export NETWORK_LOADING : Bits16- Totality: total
Visibility: public export NETWORK_NO_SOURCE : Bits16- Totality: total
Visibility: public export audioTracks : {auto 0 {conArg:10766} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO AudioTrackList- Totality: total
Visibility: export autoplay : {auto 0 {conArg:10794} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export buffered : {auto 0 {conArg:10832} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO TimeRanges- Totality: total
Visibility: export controls : {auto 0 {conArg:10860} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export crossOrigin : {auto 0 {conArg:10898} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute False Maybe String- Totality: total
Visibility: export currentSrc : {auto 0 {conArg:10938} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export currentTime : {auto 0 {conArg:10966} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export defaultMuted : {auto 0 {conArg:11004} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export defaultPlaybackRate : {auto 0 {conArg:11042} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export duration : {auto 0 {conArg:11080} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Double- Totality: total
Visibility: export ended : {auto 0 {conArg:11108} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export error : {auto 0 {conArg:11140} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO (Maybe MediaError)- Totality: total
Visibility: export loop : {auto 0 {conArg:11176} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export muted : {auto 0 {conArg:11216} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export networkState : {auto 0 {conArg:11254} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Bits16- Totality: total
Visibility: export paused : {auto 0 {conArg:11282} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export playbackRate : {auto 0 {conArg:11314} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export played : {auto 0 {conArg:11352} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO TimeRanges- Totality: total
Visibility: export preload : {auto 0 {conArg:11380} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export preservesPitch : {auto 0 {conArg:11418} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export readyState : {auto 0 {conArg:11456} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Bits16- Totality: total
Visibility: export seekable : {auto 0 {conArg:11484} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO TimeRanges- Totality: total
Visibility: export seeking : {auto 0 {conArg:11512} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export src : {auto 0 {conArg:11544} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export srcObject : {auto 0 {conArg:11584} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute False Maybe (HSum [MediaStream, MediaSource, Blob])- Totality: total
Visibility: export textTracks : {auto 0 {conArg:11712} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO TextTrackList- Totality: total
Visibility: export videoTracks : {auto 0 {conArg:11740} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO VideoTrackList- Totality: total
Visibility: export volume : {auto 0 {conArg:11768} : JSType t} -> {auto 0 _ : Elem HTMLMediaElement (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export addTextTrack' : {auto 0 {conArg:11806} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> TextTrackKind -> Optional String -> Optional String -> JSIO TextTrack- Totality: total
Visibility: export addTextTrack : {auto 0 {conArg:11858} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> TextTrackKind -> JSIO TextTrack- Totality: total
Visibility: export canPlayType : {auto 0 {conArg:11894} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> String -> JSIO CanPlayTypeResult- Totality: total
Visibility: export fastSeek : {auto 0 {conArg:11929} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> Double -> JSIO ()- Totality: total
Visibility: export getStartDate : {auto 0 {conArg:11961} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO Object- Totality: total
Visibility: export load : {auto 0 {conArg:11990} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export pause : {auto 0 {conArg:12019} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export play : {auto 0 {conArg:12048} : JSType t1} -> {auto 0 _ : Elem HTMLMediaElement (Types t1)} -> t1 -> JSIO (Promise Undefined)- Totality: total
Visibility: export - Totality: total
Visibility: export - Totality: total
Visibility: export new : JSIO HTMLMetaElement- Totality: total
Visibility: export content : HTMLMetaElement -> Attribute True id String- Totality: total
Visibility: export httpEquiv : HTMLMetaElement -> Attribute True id String- Totality: total
Visibility: export name : HTMLMetaElement -> Attribute True id String- Totality: total
Visibility: export scheme : HTMLMetaElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLMeterElement- Totality: total
Visibility: export high : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export labels : HTMLMeterElement -> JSIO NodeList- Totality: total
Visibility: export low : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export max : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export min : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export optimum : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export value : HTMLMeterElement -> Attribute True id Double- Totality: total
Visibility: export new : JSIO HTMLModElement- Totality: total
Visibility: export cite : HTMLModElement -> Attribute True id String- Totality: total
Visibility: export dateTime : HTMLModElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLOListElement- Totality: total
Visibility: export compact : HTMLOListElement -> Attribute True id Bool- Totality: total
Visibility: export reversed : HTMLOListElement -> Attribute True id Bool- Totality: total
Visibility: export start : HTMLOListElement -> Attribute True id Int32- Totality: total
Visibility: export type : HTMLOListElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLObjectElement- Totality: total
Visibility: export align : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export archive : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export border : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export code : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export codeBase : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export codeType : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export contentDocument : HTMLObjectElement -> JSIO (Maybe Document)- Totality: total
Visibility: export contentWindow : HTMLObjectElement -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export data_ : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export declare : HTMLObjectElement -> Attribute True id Bool- Totality: total
Visibility: export form : HTMLObjectElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export height : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export hspace : HTMLObjectElement -> Attribute True id Bits32- Totality: total
Visibility: export name : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export standby : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export useMap : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export validationMessage : HTMLObjectElement -> JSIO String- Totality: total
Visibility: export validity : HTMLObjectElement -> JSIO ValidityState- Totality: total
Visibility: export vspace : HTMLObjectElement -> Attribute True id Bits32- Totality: total
Visibility: export width : HTMLObjectElement -> Attribute True id String- Totality: total
Visibility: export willValidate : HTMLObjectElement -> JSIO Bool- Totality: total
Visibility: export checkValidity : HTMLObjectElement -> JSIO Bool- Totality: total
Visibility: export getSVGDocument : HTMLObjectElement -> JSIO (Maybe Document)- Totality: total
Visibility: export reportValidity : HTMLObjectElement -> JSIO Bool- Totality: total
Visibility: export setCustomValidity : HTMLObjectElement -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLOptGroupElement- Totality: total
Visibility: export disabled : HTMLOptGroupElement -> Attribute True id Bool- Totality: total
Visibility: export label : HTMLOptGroupElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLOptionElement- Totality: total
Visibility: export defaultSelected : HTMLOptionElement -> Attribute True id Bool- Totality: total
Visibility: export disabled : HTMLOptionElement -> Attribute True id Bool- Totality: total
Visibility: export form : HTMLOptionElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export index : HTMLOptionElement -> JSIO Int32- Totality: total
Visibility: export label : HTMLOptionElement -> Attribute True id String- Totality: total
Visibility: export selected : HTMLOptionElement -> Attribute True id Bool- Totality: total
Visibility: export text : HTMLOptionElement -> Attribute True id String- Totality: total
Visibility: export value : HTMLOptionElement -> Attribute True id String- Totality: total
Visibility: export set : HTMLOptionsCollection -> Bits32 -> Maybe HTMLOptionElement -> JSIO ()- Totality: total
Visibility: export length : HTMLOptionsCollection -> Attribute True id Bits32- Totality: total
Visibility: export selectedIndex : HTMLOptionsCollection -> Attribute True id Int32- Totality: total
Visibility: export add' : HTMLOptionsCollection -> HSum [HTMLOptionElement, HTMLOptGroupElement] -> Optional (Maybe (HSum [HTMLElement, Int32])) -> JSIO ()- Totality: total
Visibility: export add : HTMLOptionsCollection -> HSum [HTMLOptionElement, HTMLOptGroupElement] -> JSIO ()- Totality: total
Visibility: export remove : HTMLOptionsCollection -> Int32 -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLOutputElement- Totality: total
Visibility: export defaultValue : HTMLOutputElement -> Attribute True id String- Totality: total
Visibility: export form : HTMLOutputElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export htmlFor : HTMLOutputElement -> JSIO DOMTokenList- Totality: total
Visibility: export labels : HTMLOutputElement -> JSIO NodeList- Totality: total
Visibility: export name : HTMLOutputElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLOutputElement -> JSIO String- Totality: total
Visibility: export validationMessage : HTMLOutputElement -> JSIO String- Totality: total
Visibility: export validity : HTMLOutputElement -> JSIO ValidityState- Totality: total
Visibility: export value : HTMLOutputElement -> Attribute True id String- Totality: total
Visibility: export willValidate : HTMLOutputElement -> JSIO Bool- Totality: total
Visibility: export checkValidity : HTMLOutputElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLOutputElement -> JSIO Bool- Totality: total
Visibility: export setCustomValidity : HTMLOutputElement -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLParagraphElement- Totality: total
Visibility: export align : HTMLParagraphElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLParamElement- Totality: total
Visibility: export name : HTMLParamElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLParamElement -> Attribute True id String- Totality: total
Visibility: export value : HTMLParamElement -> Attribute True id String- Totality: total
Visibility: export valueType : HTMLParamElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLPictureElement- Totality: total
Visibility: export new : JSIO HTMLPreElement- Totality: total
Visibility: export width : HTMLPreElement -> Attribute True id Int32- Totality: total
Visibility: export new : JSIO HTMLProgressElement- Totality: total
Visibility: export labels : HTMLProgressElement -> JSIO NodeList- Totality: total
Visibility: export max : HTMLProgressElement -> Attribute True id Double- Totality: total
Visibility: export position : HTMLProgressElement -> JSIO Double- Totality: total
Visibility: export value : HTMLProgressElement -> Attribute True id Double- Totality: total
Visibility: export new : JSIO HTMLQuoteElement- Totality: total
Visibility: export cite : HTMLQuoteElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLScriptElement- Totality: total
Visibility: export async : HTMLScriptElement -> Attribute True id Bool- Totality: total
Visibility: export charset : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export crossOrigin : HTMLScriptElement -> Attribute False Maybe String- Totality: total
Visibility: export defer : HTMLScriptElement -> Attribute True id Bool- Totality: total
Visibility: export event : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export htmlFor : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export integrity : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export noModule : HTMLScriptElement -> Attribute True id Bool- Totality: total
Visibility: export referrerPolicy : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export text : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLScriptElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLSelectElement- Totality: total
Visibility: export set : HTMLSelectElement -> Bits32 -> Maybe HTMLOptionElement -> JSIO ()- Totality: total
Visibility: export autocomplete : HTMLSelectElement -> Attribute True id String- Totality: total
Visibility: export disabled : HTMLSelectElement -> Attribute True id Bool- Totality: total
Visibility: export form : HTMLSelectElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export labels : HTMLSelectElement -> JSIO NodeList- Totality: total
Visibility: export length : HTMLSelectElement -> Attribute True id Bits32- Totality: total
Visibility: export multiple : HTMLSelectElement -> Attribute True id Bool- Totality: total
Visibility: export name : HTMLSelectElement -> Attribute True id String- Totality: total
Visibility: export options : HTMLSelectElement -> JSIO HTMLOptionsCollection- Totality: total
Visibility: export required : HTMLSelectElement -> Attribute True id Bool- Totality: total
Visibility: export selectedIndex : HTMLSelectElement -> Attribute True id Int32- Totality: total
Visibility: export selectedOptions : HTMLSelectElement -> JSIO HTMLCollection- Totality: total
Visibility: export size : HTMLSelectElement -> Attribute True id Bits32- Totality: total
Visibility: export type : HTMLSelectElement -> JSIO String- Totality: total
Visibility: export validationMessage : HTMLSelectElement -> JSIO String- Totality: total
Visibility: export validity : HTMLSelectElement -> JSIO ValidityState- Totality: total
Visibility: export value : HTMLSelectElement -> Attribute True id String- Totality: total
Visibility: export willValidate : HTMLSelectElement -> JSIO Bool- Totality: total
Visibility: export add' : HTMLSelectElement -> HSum [HTMLOptionElement, HTMLOptGroupElement] -> Optional (Maybe (HSum [HTMLElement, Int32])) -> JSIO ()- Totality: total
Visibility: export add : HTMLSelectElement -> HSum [HTMLOptionElement, HTMLOptGroupElement] -> JSIO ()- Totality: total
Visibility: export checkValidity : HTMLSelectElement -> JSIO Bool- Totality: total
Visibility: export item : HTMLSelectElement -> Bits32 -> JSIO (Maybe Element)- Totality: total
Visibility: export namedItem : HTMLSelectElement -> String -> JSIO (Maybe HTMLOptionElement)- Totality: total
Visibility: export remove : HTMLSelectElement -> JSIO ()- Totality: total
Visibility: export remove1 : HTMLSelectElement -> Int32 -> JSIO ()- Totality: total
Visibility: export reportValidity : HTMLSelectElement -> JSIO Bool- Totality: total
Visibility: export setCustomValidity : HTMLSelectElement -> String -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLSlotElement- Totality: total
Visibility: export name : HTMLSlotElement -> Attribute True id String- Totality: total
Visibility: export assignedElements' : {auto 0 {conArg:14227} : JSType t2} -> {auto 0 _ : Elem AssignedNodesOptions (Types t2)} -> HTMLSlotElement -> Optional t2 -> JSIO (Array Element)- Totality: total
Visibility: export assignedElements : HTMLSlotElement -> JSIO (Array Element)- Totality: total
Visibility: export assignedNodes' : {auto 0 {conArg:14264} : JSType t2} -> {auto 0 _ : Elem AssignedNodesOptions (Types t2)} -> HTMLSlotElement -> Optional t2 -> JSIO (Array Node)- Totality: total
Visibility: export assignedNodes : HTMLSlotElement -> JSIO (Array Node)- Totality: total
Visibility: export new : JSIO HTMLSourceElement- Totality: total
Visibility: export height : HTMLSourceElement -> Attribute True id Bits32- Totality: total
Visibility: export media : HTMLSourceElement -> Attribute True id String- Totality: total
Visibility: export sizes : HTMLSourceElement -> Attribute True id String- Totality: total
Visibility: export src : HTMLSourceElement -> Attribute True id String- Totality: total
Visibility: export srcset : HTMLSourceElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLSourceElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLSourceElement -> Attribute True id Bits32- Totality: total
Visibility: export new : JSIO HTMLSpanElement- Totality: total
Visibility: export new : JSIO HTMLStyleElement- Totality: total
Visibility: export media : HTMLStyleElement -> Attribute True id String- Totality: total
Visibility: export type : HTMLStyleElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLTableCaptionElement- Totality: total
Visibility: export align : HTMLTableCaptionElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLTableCellElement- Totality: total
Visibility: export abbr : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export align : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export axis : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export bgColor : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export cellIndex : HTMLTableCellElement -> JSIO Int32- Totality: total
Visibility: export ch : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export chOff : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export colSpan : HTMLTableCellElement -> Attribute True id Bits32- Totality: total
Visibility: export - Totality: total
Visibility: export height : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export noWrap : HTMLTableCellElement -> Attribute True id Bool- Totality: total
Visibility: export rowSpan : HTMLTableCellElement -> Attribute True id Bits32- Totality: total
Visibility: export scope : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export vAlign : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLTableCellElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLTableColElement- Totality: total
Visibility: export align : HTMLTableColElement -> Attribute True id String- Totality: total
Visibility: export ch : HTMLTableColElement -> Attribute True id String- Totality: total
Visibility: export chOff : HTMLTableColElement -> Attribute True id String- Totality: total
Visibility: export span : HTMLTableColElement -> Attribute True id Bits32- Totality: total
Visibility: export vAlign : HTMLTableColElement -> Attribute True id String- Totality: total
Visibility: export width : HTMLTableColElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLTableElement- Totality: total
Visibility: export align : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export bgColor : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export border : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export caption : HTMLTableElement -> Attribute False Maybe HTMLTableCaptionElement- Totality: total
Visibility: export cellPadding : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export cellSpacing : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export frame : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export rows : HTMLTableElement -> JSIO HTMLCollection- Totality: total
Visibility: export rules : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export summary : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export tBodies : HTMLTableElement -> JSIO HTMLCollection- Totality: total
Visibility: export - Totality: total
Visibility: export tHead : HTMLTableElement -> Attribute False Maybe HTMLTableSectionElement- Totality: total
Visibility: export width : HTMLTableElement -> Attribute True id String- Totality: total
Visibility: export createCaption : HTMLTableElement -> JSIO HTMLTableCaptionElement- Totality: total
Visibility: export createTBody : HTMLTableElement -> JSIO HTMLTableSectionElement- Totality: total
Visibility: export - Totality: total
Visibility: export createTHead : HTMLTableElement -> JSIO HTMLTableSectionElement- Totality: total
Visibility: export deleteCaption : HTMLTableElement -> JSIO ()- Totality: total
Visibility: export deleteRow : HTMLTableElement -> Int32 -> JSIO ()- Totality: total
Visibility: export - Totality: total
Visibility: export deleteTHead : HTMLTableElement -> JSIO ()- Totality: total
Visibility: export insertRow' : HTMLTableElement -> Optional Int32 -> JSIO HTMLTableRowElement- Totality: total
Visibility: export insertRow : HTMLTableElement -> JSIO HTMLTableRowElement- Totality: total
Visibility: export new : JSIO HTMLTableRowElement- Totality: total
Visibility: export align : HTMLTableRowElement -> Attribute True id String- Totality: total
Visibility: export bgColor : HTMLTableRowElement -> Attribute True id String- Totality: total
Visibility: export cells : HTMLTableRowElement -> JSIO HTMLCollection- Totality: total
Visibility: export ch : HTMLTableRowElement -> Attribute True id String- Totality: total
Visibility: export chOff : HTMLTableRowElement -> Attribute True id String- Totality: total
Visibility: export rowIndex : HTMLTableRowElement -> JSIO Int32- Totality: total
Visibility: export sectionRowIndex : HTMLTableRowElement -> JSIO Int32- Totality: total
Visibility: export vAlign : HTMLTableRowElement -> Attribute True id String- Totality: total
Visibility: export deleteCell : HTMLTableRowElement -> Int32 -> JSIO ()- Totality: total
Visibility: export insertCell' : HTMLTableRowElement -> Optional Int32 -> JSIO HTMLTableCellElement- Totality: total
Visibility: export insertCell : HTMLTableRowElement -> JSIO HTMLTableCellElement- Totality: total
Visibility: export new : JSIO HTMLTableSectionElement- Totality: total
Visibility: export align : HTMLTableSectionElement -> Attribute True id String- Totality: total
Visibility: export ch : HTMLTableSectionElement -> Attribute True id String- Totality: total
Visibility: export chOff : HTMLTableSectionElement -> Attribute True id String- Totality: total
Visibility: export rows : HTMLTableSectionElement -> JSIO HTMLCollection- Totality: total
Visibility: export vAlign : HTMLTableSectionElement -> Attribute True id String- Totality: total
Visibility: export deleteRow : HTMLTableSectionElement -> Int32 -> JSIO ()- Totality: total
Visibility: export insertRow' : HTMLTableSectionElement -> Optional Int32 -> JSIO HTMLTableRowElement- Totality: total
Visibility: export insertRow : HTMLTableSectionElement -> JSIO HTMLTableRowElement- Totality: total
Visibility: export new : JSIO HTMLTemplateElement- Totality: total
Visibility: export content : HTMLTemplateElement -> JSIO DocumentFragment- Totality: total
Visibility: export new : JSIO HTMLTextAreaElement- Totality: total
Visibility: export autocomplete : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export cols : HTMLTextAreaElement -> Attribute True id Bits32- Totality: total
Visibility: export defaultValue : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export dirName : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export disabled : HTMLTextAreaElement -> Attribute True id Bool- Totality: total
Visibility: export form : HTMLTextAreaElement -> JSIO (Maybe HTMLFormElement)- Totality: total
Visibility: export labels : HTMLTextAreaElement -> JSIO NodeList- Totality: total
Visibility: export maxLength : HTMLTextAreaElement -> Attribute True id Int32- Totality: total
Visibility: export minLength : HTMLTextAreaElement -> Attribute True id Int32- Totality: total
Visibility: export name : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export placeholder : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export readOnly : HTMLTextAreaElement -> Attribute True id Bool- Totality: total
Visibility: export required : HTMLTextAreaElement -> Attribute True id Bool- Totality: total
Visibility: export rows : HTMLTextAreaElement -> Attribute True id Bits32- Totality: total
Visibility: export selectionDirection : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export selectionEnd : HTMLTextAreaElement -> Attribute True id Bits32- Totality: total
Visibility: export selectionStart : HTMLTextAreaElement -> Attribute True id Bits32- Totality: total
Visibility: export textLength : HTMLTextAreaElement -> JSIO Bits32- Totality: total
Visibility: export type : HTMLTextAreaElement -> JSIO String- Totality: total
Visibility: export validationMessage : HTMLTextAreaElement -> JSIO String- Totality: total
Visibility: export validity : HTMLTextAreaElement -> JSIO ValidityState- Totality: total
Visibility: export value : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export willValidate : HTMLTextAreaElement -> JSIO Bool- Totality: total
Visibility: export wrap : HTMLTextAreaElement -> Attribute True id String- Totality: total
Visibility: export checkValidity : HTMLTextAreaElement -> JSIO Bool- Totality: total
Visibility: export reportValidity : HTMLTextAreaElement -> JSIO Bool- Totality: total
Visibility: export select : HTMLTextAreaElement -> JSIO ()- Totality: total
Visibility: export setCustomValidity : HTMLTextAreaElement -> String -> JSIO ()- Totality: total
Visibility: export setRangeText : HTMLTextAreaElement -> String -> JSIO ()- Totality: total
Visibility: export setRangeText1' : HTMLTextAreaElement -> String -> Bits32 -> Bits32 -> Optional SelectionMode -> JSIO ()- Totality: total
Visibility: export setRangeText1 : HTMLTextAreaElement -> String -> Bits32 -> Bits32 -> JSIO ()- Totality: total
Visibility: export setSelectionRange' : HTMLTextAreaElement -> Bits32 -> Bits32 -> Optional String -> JSIO ()- Totality: total
Visibility: export setSelectionRange : HTMLTextAreaElement -> Bits32 -> Bits32 -> JSIO ()- Totality: total
Visibility: export new : JSIO HTMLTimeElement- Totality: total
Visibility: export dateTime : HTMLTimeElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLTitleElement- Totality: total
Visibility: export text : HTMLTitleElement -> Attribute True id String- Totality: total
Visibility: export ERROR : Bits16- Totality: total
Visibility: public export LOADED : Bits16- Totality: total
Visibility: public export LOADING : Bits16- Totality: total
Visibility: public export NONE : Bits16- Totality: total
Visibility: public export new : JSIO HTMLTrackElement- Totality: total
Visibility: export default_ : HTMLTrackElement -> Attribute True id Bool- Totality: total
Visibility: export kind : HTMLTrackElement -> Attribute True id String- Totality: total
Visibility: export label : HTMLTrackElement -> Attribute True id String- Totality: total
Visibility: export readyState : HTMLTrackElement -> JSIO Bits16- Totality: total
Visibility: export src : HTMLTrackElement -> Attribute True id String- Totality: total
Visibility: export srclang : HTMLTrackElement -> Attribute True id String- Totality: total
Visibility: export track : HTMLTrackElement -> JSIO TextTrack- Totality: total
Visibility: export new : JSIO HTMLUListElement- Totality: total
Visibility: export compact : HTMLUListElement -> Attribute True id Bool- Totality: total
Visibility: export type : HTMLUListElement -> Attribute True id String- Totality: total
Visibility: export new : JSIO HTMLVideoElement- Totality: total
Visibility: export height : HTMLVideoElement -> Attribute True id Bits32- Totality: total
Visibility: export playsInline : HTMLVideoElement -> Attribute True id Bool- Totality: total
Visibility: export poster : HTMLVideoElement -> Attribute True id String- Totality: total
Visibility: export videoHeight : HTMLVideoElement -> JSIO Bits32- Totality: total
Visibility: export videoWidth : HTMLVideoElement -> JSIO Bits32- Totality: total
Visibility: export width : HTMLVideoElement -> Attribute True id Bits32- Totality: total
Visibility: export new' : {auto 0 {conArg:16249} : JSType t2} -> {auto 0 _ : Elem HashChangeEventInit (Types t2)} -> String -> Optional t2 -> JSIO HashChangeEvent- Totality: total
Visibility: export new : String -> JSIO HashChangeEvent- Totality: total
Visibility: export newURL : HashChangeEvent -> JSIO String- Totality: total
Visibility: export oldURL : HashChangeEvent -> JSIO String- Totality: total
Visibility: export length : History -> JSIO Bits32- Totality: total
Visibility: export scrollRestoration : History -> Attribute True id ScrollRestoration- Totality: total
Visibility: export state : History -> JSIO Any- Totality: total
Visibility: export back : History -> JSIO ()- Totality: total
Visibility: export forward : History -> JSIO ()- Totality: total
Visibility: export go' : History -> Optional Int32 -> JSIO ()- Totality: total
Visibility: export go : History -> JSIO ()- Totality: total
Visibility: export pushState' : History -> Any -> String -> Optional (Maybe String) -> JSIO ()- Totality: total
Visibility: export pushState : History -> Any -> String -> JSIO ()- Totality: total
Visibility: export replaceState' : History -> Any -> String -> Optional (Maybe String) -> JSIO ()- Totality: total
Visibility: export replaceState : History -> Any -> String -> JSIO ()- Totality: total
Visibility: export height : ImageBitmap -> JSIO Bits32- Totality: total
Visibility: export width : ImageBitmap -> JSIO Bits32- Totality: total
Visibility: export close : ImageBitmap -> JSIO ()- Totality: total
Visibility: export canvas : ImageBitmapRenderingContext -> JSIO (HSum [HTMLCanvasElement, OffscreenCanvas])- Totality: total
Visibility: export transferFromImageBitmap : ImageBitmapRenderingContext -> Maybe ImageBitmap -> JSIO ()- Totality: total
Visibility: export new : Bits32 -> Bits32 -> JSIO ImageData- Totality: total
Visibility: export new1' : UInt8ClampedArray -> Bits32 -> Optional Bits32 -> JSIO ImageData- Totality: total
Visibility: export new1 : UInt8ClampedArray -> Bits32 -> JSIO ImageData- Totality: total
Visibility: export data_ : ImageData -> JSIO UInt8ClampedArray- Totality: total
Visibility: export height : ImageData -> JSIO Bits32- Totality: total
Visibility: export width : ImageData -> JSIO Bits32- Totality: total
Visibility: export ancestorOrigins : Location -> JSIO DOMStringList- Totality: total
Visibility: export hash : Location -> Attribute True id String- Totality: total
Visibility: export host : Location -> Attribute True id String- Totality: total
Visibility: export hostname : Location -> Attribute True id String- Totality: total
Visibility: export href : Location -> Attribute True id String- Totality: total
Visibility: export origin : Location -> JSIO String- Totality: total
Visibility: export pathname : Location -> Attribute True id String- Totality: total
Visibility: export port : Location -> Attribute True id String- Totality: total
Visibility: export protocol : Location -> Attribute True id String- Totality: total
Visibility: export search : Location -> Attribute True id String- Totality: total
Visibility: export assign : Location -> String -> JSIO ()- Totality: total
Visibility: export reload : Location -> JSIO ()- Totality: total
Visibility: export replace : Location -> String -> JSIO ()- Totality: total
Visibility: export MEDIA_ERR_ABORTED : Bits16- Totality: total
Visibility: public export MEDIA_ERR_DECODE : Bits16- Totality: total
Visibility: public export MEDIA_ERR_NETWORK : Bits16- Totality: total
Visibility: public export MEDIA_ERR_SRC_NOT_SUPPORTED : Bits16- Totality: total
Visibility: public export code : MediaError -> JSIO Bits16- Totality: total
Visibility: export message : MediaError -> JSIO String- Totality: total
Visibility: export new : JSIO MessageChannel- Totality: total
Visibility: export port1 : MessageChannel -> JSIO MessagePort- Totality: total
Visibility: export port2 : MessageChannel -> JSIO MessagePort- Totality: total
Visibility: export new' : {auto 0 {conArg:16835} : JSType t2} -> {auto 0 _ : Elem MessageEventInit (Types t2)} -> String -> Optional t2 -> JSIO MessageEvent- Totality: total
Visibility: export new : String -> JSIO MessageEvent- Totality: total
Visibility: export data_ : MessageEvent -> JSIO Any- Totality: total
Visibility: export lastEventId : MessageEvent -> JSIO String- Totality: total
Visibility: export origin : MessageEvent -> JSIO String- Totality: total
Visibility: export ports : MessageEvent -> JSIO (Array MessagePort)- Totality: total
Visibility: export source : MessageEvent -> JSIO (Maybe (Union3 WindowProxy MessagePort ServiceWorker))- Totality: total
Visibility: export initMessageEvent' : MessageEvent -> String -> Optional Bool -> Optional Bool -> Optional Any -> Optional String -> Optional String -> Optional (Maybe (HSum [WindowProxy, MessagePort, ServiceWorker])) -> Optional (Array MessagePort) -> JSIO ()- Totality: total
Visibility: export initMessageEvent : MessageEvent -> String -> JSIO ()- Totality: total
Visibility: export onmessage : MessagePort -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessageerror : MessagePort -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export close : MessagePort -> JSIO ()- Totality: total
Visibility: export postMessage : MessagePort -> Any -> Array Object -> JSIO ()- Totality: total
Visibility: export postMessage1' : {auto 0 {conArg:17116} : JSType t3} -> {auto 0 _ : Elem PostMessageOptions (Types t3)} -> MessagePort -> Any -> Optional t3 -> JSIO ()- Totality: total
Visibility: export postMessage1 : MessagePort -> Any -> JSIO ()- Totality: total
Visibility: export start : MessagePort -> JSIO ()- Totality: total
Visibility: export description : MimeType -> JSIO ()- Totality: total
Visibility: export enabledPlugin : MimeType -> JSIO ()- Totality: total
Visibility: export suffixes : MimeType -> JSIO ()- Totality: total
Visibility: export type : MimeType -> JSIO ()- Totality: total
Visibility: export length : MimeTypeArray -> JSIO Bits32- Totality: total
Visibility: export item : MimeTypeArray -> Bits32 -> JSIO (Maybe Object)- Totality: total
Visibility: export namedItem : MimeTypeArray -> String -> JSIO (Maybe Object)- Totality: total
Visibility: export clipboard : Navigator -> JSIO Clipboard- Totality: total
Visibility: export mediaDevices : Navigator -> JSIO MediaDevices- Totality: total
Visibility: export permissions : Navigator -> JSIO Permissions- Totality: total
Visibility: export serviceWorker : Navigator -> JSIO ServiceWorkerContainer- Totality: total
Visibility: export getUserMedia : {auto 0 {conArg:17268} : JSType t2} -> {auto 0 _ : Elem MediaStreamConstraints (Types t2)} -> Navigator -> t2 -> NavigatorUserMediaSuccessCallback -> NavigatorUserMediaErrorCallback -> JSIO ()- Totality: total
Visibility: export new : JSBits64 -> JSBits64 -> JSIO OffscreenCanvas- Totality: total
Visibility: export height : OffscreenCanvas -> Attribute True id JSBits64- Totality: total
Visibility: export width : OffscreenCanvas -> Attribute True id JSBits64- Totality: total
Visibility: export convertToBlob' : {auto 0 {conArg:17353} : JSType t2} -> {auto 0 _ : Elem ImageEncodeOptions (Types t2)} -> OffscreenCanvas -> Optional t2 -> JSIO (Promise Blob)- Totality: total
Visibility: export convertToBlob : OffscreenCanvas -> JSIO (Promise Blob)- Totality: total
Visibility: export getContext' : OffscreenCanvas -> OffscreenRenderingContextId -> Optional Any -> JSIO (Maybe (HSum [OffscreenCanvasRenderingContext2D, ImageBitmapRenderingContext, WebGLRenderingContext, WebGL2RenderingContext]))- Totality: total
Visibility: export getContext : OffscreenCanvas -> OffscreenRenderingContextId -> JSIO (Maybe (HSum [OffscreenCanvasRenderingContext2D, ImageBitmapRenderingContext, WebGLRenderingContext, WebGL2RenderingContext]))- Totality: total
Visibility: export transferToImageBitmap : OffscreenCanvas -> JSIO ImageBitmap- Totality: total
Visibility: export canvas : OffscreenCanvasRenderingContext2D -> JSIO OffscreenCanvas- Totality: total
Visibility: export commit : OffscreenCanvasRenderingContext2D -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:17620} : JSType t2} -> {auto 0 _ : Elem PageTransitionEventInit (Types t2)} -> String -> Optional t2 -> JSIO PageTransitionEvent- Totality: total
Visibility: export new : String -> JSIO PageTransitionEvent- Totality: total
Visibility: export persisted : PageTransitionEvent -> JSIO Bool- Totality: total
Visibility: export new' : Optional (HSum [Path2D, String]) -> JSIO Path2D- Totality: total
Visibility: export new : JSIO Path2D- Totality: total
Visibility: export addPath' : {auto 0 {conArg:17711} : JSType t3} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t3)} -> Path2D -> Path2D -> Optional t3 -> JSIO ()- Totality: total
Visibility: export addPath : Path2D -> Path2D -> JSIO ()- Totality: total
Visibility: export description : Plugin -> JSIO ()- Totality: total
Visibility: export filename : Plugin -> JSIO ()- Totality: total
Visibility: export length : Plugin -> JSIO ()- Totality: total
Visibility: export name : Plugin -> JSIO ()- Totality: total
Visibility: export item : Plugin -> Bits32 -> JSIO ()- Totality: total
Visibility: export namedItem : Plugin -> String -> JSIO ()- Totality: total
Visibility: export length : PluginArray -> JSIO Bits32- Totality: total
Visibility: export item : PluginArray -> Bits32 -> JSIO (Maybe Object)- Totality: total
Visibility: export namedItem : PluginArray -> String -> JSIO (Maybe Object)- Totality: total
Visibility: export refresh : PluginArray -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:17853} : JSType t2} -> {auto 0 _ : Elem PopStateEventInit (Types t2)} -> String -> Optional t2 -> JSIO PopStateEvent- Totality: total
Visibility: export new : String -> JSIO PopStateEvent- Totality: total
Visibility: export state : PopStateEvent -> JSIO Any- Totality: total
Visibility: export new : {auto 0 {conArg:17901} : JSType t2} -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t2)} -> String -> t2 -> JSIO PromiseRejectionEvent- Totality: total
Visibility: export promise : PromiseRejectionEvent -> JSIO (Promise AnyPtr)- Totality: total
Visibility: export reason : PromiseRejectionEvent -> JSIO Any- Totality: total
Visibility: export value : RadioNodeList -> Attribute True id String- Totality: total
Visibility: export new' : String -> Optional (HSum [String, WorkerOptions]) -> JSIO SharedWorker- Totality: total
Visibility: export new : String -> JSIO SharedWorker- Totality: total
Visibility: export port : SharedWorker -> JSIO MessagePort- Totality: total
Visibility: export name : SharedWorkerGlobalScope -> JSIO String- Totality: total
Visibility: export onconnect : SharedWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export close : SharedWorkerGlobalScope -> JSIO ()- Totality: total
Visibility: export length : Storage -> JSIO Bits32- Totality: total
Visibility: export clear : Storage -> JSIO ()- Totality: total
Visibility: export getItem : Storage -> String -> JSIO (Maybe String)- Totality: total
Visibility: export key : Storage -> Bits32 -> JSIO (Maybe String)- Totality: total
Visibility: export setItem : Storage -> String -> String -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:18114} : JSType t2} -> {auto 0 _ : Elem StorageEventInit (Types t2)} -> String -> Optional t2 -> JSIO StorageEvent- Totality: total
Visibility: export new : String -> JSIO StorageEvent- Totality: total
Visibility: export key : StorageEvent -> JSIO (Maybe String)- Totality: total
Visibility: export newValue : StorageEvent -> JSIO (Maybe String)- Totality: total
Visibility: export oldValue : StorageEvent -> JSIO (Maybe String)- Totality: total
Visibility: export storageArea : StorageEvent -> JSIO (Maybe Storage)- Totality: total
Visibility: export url : StorageEvent -> JSIO String- Totality: total
Visibility: export initStorageEvent' : StorageEvent -> String -> Optional Bool -> Optional Bool -> Optional (Maybe String) -> Optional (Maybe String) -> Optional (Maybe String) -> Optional String -> Optional (Maybe Storage) -> JSIO ()- Totality: total
Visibility: export initStorageEvent : StorageEvent -> String -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:18319} : JSType t2} -> {auto 0 _ : Elem SubmitEventInit (Types t2)} -> String -> Optional t2 -> JSIO SubmitEvent- Totality: total
Visibility: export new : String -> JSIO SubmitEvent- Totality: total
Visibility: export submitter : SubmitEvent -> JSIO (Maybe HTMLElement)- Totality: total
Visibility: export actualBoundingBoxAscent : TextMetrics -> JSIO Double- Totality: total
Visibility: export actualBoundingBoxDescent : TextMetrics -> JSIO Double- Totality: total
Visibility: export actualBoundingBoxLeft : TextMetrics -> JSIO Double- Totality: total
Visibility: export actualBoundingBoxRight : TextMetrics -> JSIO Double- Totality: total
Visibility: export alphabeticBaseline : TextMetrics -> JSIO Double- Totality: total
Visibility: export emHeightAscent : TextMetrics -> JSIO Double- Totality: total
Visibility: export emHeightDescent : TextMetrics -> JSIO Double- Totality: total
Visibility: export fontBoundingBoxAscent : TextMetrics -> JSIO Double- Totality: total
Visibility: export fontBoundingBoxDescent : TextMetrics -> JSIO Double- Totality: total
Visibility: export hangingBaseline : TextMetrics -> JSIO Double- Totality: total
Visibility: export ideographicBaseline : TextMetrics -> JSIO Double- Totality: total
Visibility: export width : TextMetrics -> JSIO Double- Totality: total
Visibility: export activeCues : TextTrack -> JSIO (Maybe TextTrackCueList)- Totality: total
Visibility: export cues : TextTrack -> JSIO (Maybe TextTrackCueList)- Totality: total
Visibility: export id : TextTrack -> JSIO String- Totality: total
Visibility: export inBandMetadataTrackDispatchType : TextTrack -> JSIO String- Totality: total
Visibility: export kind : TextTrack -> JSIO TextTrackKind- Totality: total
Visibility: export label : TextTrack -> JSIO String- Totality: total
Visibility: export language : TextTrack -> JSIO String- Totality: total
Visibility: export mode : TextTrack -> Attribute True id TextTrackMode- Totality: total
Visibility: export oncuechange : TextTrack -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export sourceBuffer : TextTrack -> JSIO (Maybe SourceBuffer)- Totality: total
Visibility: export addCue : TextTrack -> TextTrackCue -> JSIO ()- Totality: total
Visibility: export removeCue : TextTrack -> TextTrackCue -> JSIO ()- Totality: total
Visibility: export endTime : TextTrackCue -> Attribute True id Double- Totality: total
Visibility: export id : TextTrackCue -> Attribute True id String- Totality: total
Visibility: export onenter : TextTrackCue -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onexit : TextTrackCue -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export pauseOnExit : TextTrackCue -> Attribute True id Bool- Totality: total
Visibility: export startTime : TextTrackCue -> Attribute True id Double- Totality: total
Visibility: export track : TextTrackCue -> JSIO (Maybe TextTrack)- Totality: total
Visibility: export get : TextTrackCueList -> Bits32 -> JSIO TextTrackCue- Totality: total
Visibility: export length : TextTrackCueList -> JSIO Bits32- Totality: total
Visibility: export getCueById : TextTrackCueList -> String -> JSIO (Maybe TextTrackCue)- Totality: total
Visibility: export get : TextTrackList -> Bits32 -> JSIO TextTrack- Totality: total
Visibility: export length : TextTrackList -> JSIO Bits32- Totality: total
Visibility: export onaddtrack : TextTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onchange : TextTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onremovetrack : TextTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export getTrackById : TextTrackList -> String -> JSIO (Maybe TextTrack)- Totality: total
Visibility: export length : TimeRanges -> JSIO Bits32- Totality: total
Visibility: export end : TimeRanges -> Bits32 -> JSIO Double- Totality: total
Visibility: export start : TimeRanges -> Bits32 -> JSIO Double- Totality: total
Visibility: export new' : {auto 0 {conArg:18836} : JSType t2} -> {auto 0 _ : Elem TrackEventInit (Types t2)} -> String -> Optional t2 -> JSIO TrackEvent- Totality: total
Visibility: export new : String -> JSIO TrackEvent- Totality: total
Visibility: export track : TrackEvent -> JSIO (Maybe (HSum [VideoTrack, AudioTrack, TextTrack]))- Totality: total
Visibility: export badInput : ValidityState -> JSIO Bool- Totality: total
Visibility: export customError : ValidityState -> JSIO Bool- Totality: total
Visibility: export patternMismatch : ValidityState -> JSIO Bool- Totality: total
Visibility: export rangeOverflow : ValidityState -> JSIO Bool- Totality: total
Visibility: export rangeUnderflow : ValidityState -> JSIO Bool- Totality: total
Visibility: export stepMismatch : ValidityState -> JSIO Bool- Totality: total
Visibility: export tooLong : ValidityState -> JSIO Bool- Totality: total
Visibility: export tooShort : ValidityState -> JSIO Bool- Totality: total
Visibility: export typeMismatch : ValidityState -> JSIO Bool- Totality: total
Visibility: export valid : ValidityState -> JSIO Bool- Totality: total
Visibility: export valueMissing : ValidityState -> JSIO Bool- Totality: total
Visibility: export id : VideoTrack -> JSIO String- Totality: total
Visibility: export kind : VideoTrack -> JSIO String- Totality: total
Visibility: export label : VideoTrack -> JSIO String- Totality: total
Visibility: export language : VideoTrack -> JSIO String- Totality: total
Visibility: export selected : VideoTrack -> Attribute True id Bool- Totality: total
Visibility: export sourceBuffer : VideoTrack -> JSIO (Maybe SourceBuffer)- Totality: total
Visibility: export get : VideoTrackList -> Bits32 -> JSIO VideoTrack- Totality: total
Visibility: export length : VideoTrackList -> JSIO Bits32- Totality: total
Visibility: export onaddtrack : VideoTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onchange : VideoTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onremovetrack : VideoTrackList -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export selectedIndex : VideoTrackList -> JSIO Int32- Totality: total
Visibility: export getTrackById : VideoTrackList -> String -> JSIO (Maybe VideoTrack)- Totality: total
Visibility: export CLOSED : Bits16- Totality: total
Visibility: public export CLOSING : Bits16- Totality: total
Visibility: public export CONNECTING : Bits16- Totality: total
Visibility: public export OPEN : Bits16- Totality: total
Visibility: public export new' : String -> Optional (HSum [String, Array String]) -> JSIO WebSocket- Totality: total
Visibility: export new : String -> JSIO WebSocket- Totality: total
Visibility: export binaryType : WebSocket -> Attribute True id BinaryType- Totality: total
Visibility: export bufferedAmount : WebSocket -> JSIO JSBits64- Totality: total
Visibility: export extensions : WebSocket -> JSIO String- Totality: total
Visibility: export onclose : WebSocket -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onerror : WebSocket -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessage : WebSocket -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onopen : WebSocket -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export protocol : WebSocket -> JSIO String- Totality: total
Visibility: export readyState : WebSocket -> JSIO Bits16- Totality: total
Visibility: export url : WebSocket -> JSIO String- Totality: total
Visibility: export close' : WebSocket -> Optional Bits16 -> Optional String -> JSIO ()- Totality: total
Visibility: export close : WebSocket -> JSIO ()- Totality: total
Visibility: export send : WebSocket -> String -> JSIO ()- Totality: total
Visibility: export send1 : {auto 0 {conArg:19440} : JSType t2} -> {auto 0 _ : Elem Blob (Types t2)} -> WebSocket -> t2 -> JSIO ()- Totality: total
Visibility: export send2 : WebSocket -> ArrayBuffer -> JSIO ()- Totality: total
Visibility: export send3 : WebSocket -> HSum [Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView] -> JSIO ()- Totality: total
Visibility: export get : Window -> String -> JSIO Object- Totality: total
Visibility: export closed : Window -> JSIO Bool- Totality: total
Visibility: export customElements : Window -> JSIO CustomElementRegistry- Totality: total
Visibility: export devicePixelRatio : Window -> JSIO Double- Totality: total
Visibility: export document : Window -> JSIO Document- Totality: total
Visibility: export event : Window -> JSIO (HSum [Event, Undefined])- Totality: total
Visibility: export external : Window -> JSIO External- Totality: total
Visibility: export frameElement : Window -> JSIO (Maybe Element)- Totality: total
Visibility: export frames : Window -> JSIO WindowProxy- Totality: total
Visibility: export history : Window -> JSIO History- Totality: total
Visibility: export innerHeight : Window -> JSIO Int32- Totality: total
Visibility: export innerWidth : Window -> JSIO Int32- Totality: total
Visibility: export length : Window -> JSIO Bits32- Totality: total
Visibility: export location : Window -> JSIO Location- Totality: total
Visibility: export locationbar : Window -> JSIO BarProp- Totality: total
Visibility: export - Totality: total
Visibility: export name : Window -> Attribute True id String- Totality: total
Visibility: export navigator : Window -> JSIO Navigator- Totality: total
Visibility: export opener : Window -> Attribute True id Any- Totality: total
Visibility: export originAgentCluster : Window -> JSIO Bool- Totality: total
Visibility: export outerHeight : Window -> JSIO Int32- Totality: total
Visibility: export outerWidth : Window -> JSIO Int32- Totality: total
Visibility: export pageXOffset : Window -> JSIO Double- Totality: total
Visibility: export pageYOffset : Window -> JSIO Double- Totality: total
Visibility: export parent : Window -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export personalbar : Window -> JSIO BarProp- Totality: total
Visibility: export screen : Window -> JSIO Screen- Totality: total
Visibility: export screenLeft : Window -> JSIO Int32- Totality: total
Visibility: export screenTop : Window -> JSIO Int32- Totality: total
Visibility: export screenX : Window -> JSIO Int32- Totality: total
Visibility: export screenY : Window -> JSIO Int32- Totality: total
Visibility: export scrollX : Window -> JSIO Double- Totality: total
Visibility: export scrollY : Window -> JSIO Double- Totality: total
Visibility: export scrollbars : Window -> JSIO BarProp- Totality: total
Visibility: export self : Window -> JSIO WindowProxy- Totality: total
Visibility: export status : Window -> Attribute True id String- Totality: total
Visibility: export statusbar : Window -> JSIO BarProp- Totality: total
Visibility: export toolbar : Window -> JSIO BarProp- Totality: total
Visibility: export top : Window -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export visualViewport : Window -> JSIO (Maybe VisualViewport)- Totality: total
Visibility: export window : Window -> JSIO WindowProxy- Totality: total
Visibility: export alert : Window -> JSIO ()- Totality: total
Visibility: export alert1 : Window -> String -> JSIO ()- Totality: total
Visibility: export blur : Window -> JSIO ()- Totality: total
Visibility: export captureEvents : Window -> JSIO ()- Totality: total
Visibility: export close : Window -> JSIO ()- Totality: total
Visibility: export confirm' : Window -> Optional String -> JSIO Bool- Totality: total
Visibility: export confirm : Window -> JSIO Bool- Totality: total
Visibility: export focus : Window -> JSIO ()- Totality: total
Visibility: export getComputedStyle' : {auto 0 {conArg:20068} : JSType t2} -> {auto 0 _ : Elem Element (Types t2)} -> Window -> t2 -> Optional (Maybe String) -> JSIO CSSStyleDeclaration- Totality: total
Visibility: export getComputedStyle : {auto 0 {conArg:20112} : JSType t2} -> {auto 0 _ : Elem Element (Types t2)} -> Window -> t2 -> JSIO CSSStyleDeclaration- Totality: total
Visibility: export matchMedia : Window -> String -> JSIO MediaQueryList- Totality: total
Visibility: export moveBy : Window -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export moveTo : Window -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export open' : Window -> Optional String -> Optional String -> Optional String -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export open_ : Window -> JSIO (Maybe WindowProxy)- Totality: total
Visibility: export postMessage' : Window -> Any -> String -> Optional (Array Object) -> JSIO ()- Totality: total
Visibility: export postMessage : Window -> Any -> String -> JSIO ()- Totality: total
Visibility: export postMessage1' : {auto 0 {conArg:20281} : JSType t3} -> {auto 0 _ : Elem WindowPostMessageOptions (Types t3)} -> Window -> Any -> Optional t3 -> JSIO ()- Totality: total
Visibility: export postMessage1 : Window -> Any -> JSIO ()- Totality: total
Visibility: export print : Window -> JSIO ()- Totality: total
Visibility: export prompt' : Window -> Optional String -> Optional String -> JSIO (Maybe String)- Totality: total
Visibility: export prompt : Window -> JSIO (Maybe String)- Totality: total
Visibility: export releaseEvents : Window -> JSIO ()- Totality: total
Visibility: export resizeBy : Window -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export resizeTo : Window -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export scrollBy' : {auto 0 {conArg:20420} : JSType t2} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> Window -> Optional t2 -> JSIO ()- Totality: total
Visibility: export scrollBy : Window -> JSIO ()- Totality: total
Visibility: export scrollBy1 : Window -> Double -> Double -> JSIO ()- Totality: total
Visibility: export scrollTo' : {auto 0 {conArg:20472} : JSType t2} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> Window -> Optional t2 -> JSIO ()- Totality: total
Visibility: export scrollTo : Window -> JSIO ()- Totality: total
Visibility: export scrollTo1 : Window -> Double -> Double -> JSIO ()- Totality: total
Visibility: export scroll' : {auto 0 {conArg:20524} : JSType t2} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> Window -> Optional t2 -> JSIO ()- Totality: total
Visibility: export scroll : Window -> JSIO ()- Totality: total
Visibility: export scroll1 : Window -> Double -> Double -> JSIO ()- Totality: total
Visibility: export stop : Window -> JSIO ()- Totality: total
Visibility: export new' : {auto 0 {conArg:20583} : JSType t2} -> {auto 0 _ : Elem WorkerOptions (Types t2)} -> String -> Optional t2 -> JSIO Worker- Totality: total
Visibility: export new : String -> JSIO Worker- Totality: total
Visibility: export onmessage : Worker -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessageerror : Worker -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export postMessage : Worker -> Any -> Array Object -> JSIO ()- Totality: total
Visibility: export postMessage1' : {auto 0 {conArg:20677} : JSType t3} -> {auto 0 _ : Elem PostMessageOptions (Types t3)} -> Worker -> Any -> Optional t3 -> JSIO ()- Totality: total
Visibility: export postMessage1 : Worker -> Any -> JSIO ()- Totality: total
Visibility: export terminate : Worker -> JSIO ()- Totality: total
Visibility: export location : {auto 0 {conArg:20735} : JSType t1} -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)} -> t1 -> JSIO WorkerLocation- Totality: total
Visibility: export navigator : {auto 0 {conArg:20763} : JSType t1} -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)} -> t1 -> JSIO WorkerNavigator- Totality: total
Visibility: export onerror : {auto 0 {conArg:20791} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe OnErrorEventHandlerNonNull- Totality: total
Visibility: export onlanguagechange : {auto 0 {conArg:20831} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onoffline : {auto 0 {conArg:20871} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ononline : {auto 0 {conArg:20911} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onrejectionhandled : {auto 0 {conArg:20951} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onunhandledrejection : {auto 0 {conArg:20991} : JSType t} -> {auto 0 _ : Elem WorkerGlobalScope (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export self : {auto 0 {conArg:21031} : JSType t1} -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)} -> t1 -> JSIO WorkerGlobalScope- Totality: total
Visibility: export importScripts : {auto 0 {conArg:21059} : JSType t1} -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)} -> t1 -> List String -> JSIO ()- Totality: total
Visibility: export hash : WorkerLocation -> JSIO String- Totality: total
Visibility: export host : WorkerLocation -> JSIO String- Totality: total
Visibility: export hostname : WorkerLocation -> JSIO String- Totality: total
Visibility: export href : WorkerLocation -> JSIO String- Totality: total
Visibility: export origin : WorkerLocation -> JSIO String- Totality: total
Visibility: export pathname : WorkerLocation -> JSIO String- Totality: total
Visibility: export port : WorkerLocation -> JSIO String- Totality: total
Visibility: export protocol : WorkerLocation -> JSIO String- Totality: total
Visibility: export search : WorkerLocation -> JSIO String- Totality: total
Visibility: export permissions : WorkerNavigator -> JSIO Permissions- Totality: total
Visibility: export serviceWorker : WorkerNavigator -> JSIO ServiceWorkerContainer- Totality: total
Visibility: export addModule' : {auto 0 {conArg:21163} : JSType t3} -> {auto 0 _ : Elem WorkletOptions (Types t3)} -> Worklet -> String -> Optional t3 -> JSIO (Promise Undefined)- Totality: total
Visibility: export addModule : Worklet -> String -> JSIO (Promise Undefined)- Totality: total
Visibility: export ariaAtomic : {auto 0 {conArg:21206} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaAutoComplete : {auto 0 {conArg:21244} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaBusy : {auto 0 {conArg:21282} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaChecked : {auto 0 {conArg:21320} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaColCount : {auto 0 {conArg:21358} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaColIndex : {auto 0 {conArg:21396} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaColIndexText : {auto 0 {conArg:21434} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaColSpan : {auto 0 {conArg:21472} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaCurrent : {auto 0 {conArg:21510} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaDescription : {auto 0 {conArg:21548} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaDisabled : {auto 0 {conArg:21586} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaExpanded : {auto 0 {conArg:21624} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export - Totality: total
Visibility: export ariaHidden : {auto 0 {conArg:21700} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaInvalid : {auto 0 {conArg:21738} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaKeyShortcuts : {auto 0 {conArg:21776} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaLabel : {auto 0 {conArg:21814} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaLevel : {auto 0 {conArg:21852} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaLive : {auto 0 {conArg:21890} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaModal : {auto 0 {conArg:21928} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaMultiLine : {auto 0 {conArg:21966} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaMultiSelectable : {auto 0 {conArg:22004} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaOrientation : {auto 0 {conArg:22042} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaPlaceholder : {auto 0 {conArg:22080} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaPosInSet : {auto 0 {conArg:22118} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaPressed : {auto 0 {conArg:22156} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaReadOnly : {auto 0 {conArg:22194} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRequired : {auto 0 {conArg:22232} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRoleDescription : {auto 0 {conArg:22270} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRowCount : {auto 0 {conArg:22308} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRowIndex : {auto 0 {conArg:22346} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRowIndexText : {auto 0 {conArg:22384} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaRowSpan : {auto 0 {conArg:22422} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaSelected : {auto 0 {conArg:22460} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaSetSize : {auto 0 {conArg:22498} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaSort : {auto 0 {conArg:22536} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaValueMax : {auto 0 {conArg:22574} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaValueMin : {auto 0 {conArg:22612} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaValueNow : {auto 0 {conArg:22650} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export ariaValueText : {auto 0 {conArg:22688} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export role : {auto 0 {conArg:22726} : JSType t} -> {auto 0 _ : Elem ARIAMixin (Types t)} -> t -> Attribute False Maybe String- Totality: total
Visibility: export onerror : {auto 0 {conArg:22764} : JSType t} -> {auto 0 _ : Elem AbstractWorker (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export globalAlpha : {auto 0 {conArg:22804} : JSType t} -> {auto 0 _ : Elem CanvasCompositing (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export globalCompositeOperation : {auto 0 {conArg:22842} : JSType t} -> {auto 0 _ : Elem CanvasCompositing (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export drawImage : {auto 0 {conArg:22880} : JSType t1} -> {auto 0 _ : Elem CanvasDrawImage (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas] -> Double -> Double -> JSIO ()- Totality: total
Visibility: export drawImage1 : {auto 0 {conArg:22997} : JSType t1} -> {auto 0 _ : Elem CanvasDrawImage (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas] -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export drawImage2 : {auto 0 {conArg:23120} : JSType t1} -> {auto 0 _ : Elem CanvasDrawImage (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas] -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export beginPath : {auto 0 {conArg:23255} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export clip' : {auto 0 {conArg:23284} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Optional CanvasFillRule -> JSIO ()- Totality: total
Visibility: export clip : {auto 0 {conArg:23322} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export clip1' : {auto 0 {conArg:23352} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> Optional CanvasFillRule -> JSIO ()- Totality: total
Visibility: export clip1 : {auto 0 {conArg:23393} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> JSIO ()- Totality: total
Visibility: export fill' : {auto 0 {conArg:23426} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Optional CanvasFillRule -> JSIO ()- Totality: total
Visibility: export fill : {auto 0 {conArg:23464} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export fill1' : {auto 0 {conArg:23494} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> Optional CanvasFillRule -> JSIO ()- Totality: total
Visibility: export fill1 : {auto 0 {conArg:23535} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> JSIO ()- Totality: total
Visibility: export isPointInPath' : {auto 0 {conArg:23568} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Double -> Double -> Optional CanvasFillRule -> JSIO Bool- Totality: total
Visibility: export isPointInPath : {auto 0 {conArg:23615} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Double -> Double -> JSIO Bool- Totality: total
Visibility: export isPointInPath1' : {auto 0 {conArg:23654} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> Double -> Double -> Optional CanvasFillRule -> JSIO Bool- Totality: total
Visibility: export isPointInPath1 : {auto 0 {conArg:23704} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> Double -> Double -> JSIO Bool- Totality: total
Visibility: export isPointInStroke : {auto 0 {conArg:23746} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Double -> Double -> JSIO Bool- Totality: total
Visibility: export isPointInStroke1 : {auto 0 {conArg:23784} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> Double -> Double -> JSIO Bool- Totality: total
Visibility: export stroke : {auto 0 {conArg:23825} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export stroke1 : {auto 0 {conArg:23854} : JSType t1} -> {auto 0 _ : Elem CanvasDrawPath (Types t1)} -> t1 -> Path2D -> JSIO ()- Totality: total
Visibility: export fillStyle : {auto 0 {conArg:23886} : JSType t} -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t)} -> t -> Attribute True id (HSum [String, CanvasGradient, CanvasPattern])- Totality: total
Visibility: export strokeStyle : {auto 0 {conArg:24014} : JSType t} -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t)} -> t -> Attribute True id (HSum [String, CanvasGradient, CanvasPattern])- Totality: total
Visibility: export createLinearGradient : {auto 0 {conArg:24142} : JSType t1} -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO CanvasGradient- Totality: total
Visibility: export createPattern : {auto 0 {conArg:24182} : JSType t1} -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas] -> String -> JSIO (Maybe CanvasPattern)- Totality: total
Visibility: export createRadialGradient : {auto 0 {conArg:24303} : JSType t1} -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO CanvasGradient- Totality: total
Visibility: export filter : {auto 0 {conArg:24349} : JSType t} -> {auto 0 _ : Elem CanvasFilters (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export createImageData : {auto 0 {conArg:24387} : JSType t1} -> {auto 0 _ : Elem CanvasImageData (Types t1)} -> t1 -> Int32 -> Int32 -> JSIO ImageData- Totality: total
Visibility: export createImageData1 : {auto 0 {conArg:24421} : JSType t1} -> {auto 0 _ : Elem CanvasImageData (Types t1)} -> t1 -> ImageData -> JSIO ImageData- Totality: total
Visibility: export getImageData : {auto 0 {conArg:24452} : JSType t1} -> {auto 0 _ : Elem CanvasImageData (Types t1)} -> t1 -> Int32 -> Int32 -> Int32 -> Int32 -> JSIO ImageData- Totality: total
Visibility: export putImageData : {auto 0 {conArg:24492} : JSType t1} -> {auto 0 _ : Elem CanvasImageData (Types t1)} -> t1 -> ImageData -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export putImageData1 : {auto 0 {conArg:24530} : JSType t1} -> {auto 0 _ : Elem CanvasImageData (Types t1)} -> t1 -> ImageData -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> JSIO ()- Totality: total
Visibility: export imageSmoothingEnabled : {auto 0 {conArg:24580} : JSType t} -> {auto 0 _ : Elem CanvasImageSmoothing (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export imageSmoothingQuality : {auto 0 {conArg:24618} : JSType t} -> {auto 0 _ : Elem CanvasImageSmoothing (Types t)} -> t -> Attribute True id ImageSmoothingQuality- Totality: total
Visibility: export arc' : {auto 0 {conArg:24656} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Optional Bool -> JSIO ()- Totality: total
Visibility: export arc : {auto 0 {conArg:24709} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export arcTo : {auto 0 {conArg:24754} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export bezierCurveTo : {auto 0 {conArg:24798} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export closePath : {auto 0 {conArg:24845} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export ellipse' : {auto 0 {conArg:24874} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> Optional Bool -> JSIO ()- Totality: total
Visibility: export ellipse : {auto 0 {conArg:24933} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export lineTo : {auto 0 {conArg:24984} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> JSIO ()- Totality: total
Visibility: export moveTo : {auto 0 {conArg:25019} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> JSIO ()- Totality: total
Visibility: export quadraticCurveTo : {auto 0 {conArg:25054} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export rect : {auto 0 {conArg:25095} : JSType t1} -> {auto 0 _ : Elem CanvasPath (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export lineCap : {auto 0 {conArg:25136} : JSType t} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)} -> t -> Attribute True id CanvasLineCap- Totality: total
Visibility: export lineDashOffset : {auto 0 {conArg:25174} : JSType t} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export lineJoin : {auto 0 {conArg:25212} : JSType t} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)} -> t -> Attribute True id CanvasLineJoin- Totality: total
Visibility: export lineWidth : {auto 0 {conArg:25250} : JSType t} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export miterLimit : {auto 0 {conArg:25288} : JSType t} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export getLineDash : {auto 0 {conArg:25326} : JSType t1} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t1)} -> t1 -> JSIO (Array Double)- Totality: total
Visibility: export setLineDash : {auto 0 {conArg:25354} : JSType t1} -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t1)} -> t1 -> Array Double -> JSIO ()- Totality: total
Visibility: export clearRect : {auto 0 {conArg:25386} : JSType t1} -> {auto 0 _ : Elem CanvasRect (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export fillRect : {auto 0 {conArg:25427} : JSType t1} -> {auto 0 _ : Elem CanvasRect (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export strokeRect : {auto 0 {conArg:25468} : JSType t1} -> {auto 0 _ : Elem CanvasRect (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export shadowBlur : {auto 0 {conArg:25509} : JSType t} -> {auto 0 _ : Elem CanvasShadowStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export shadowColor : {auto 0 {conArg:25547} : JSType t} -> {auto 0 _ : Elem CanvasShadowStyles (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export shadowOffsetX : {auto 0 {conArg:25585} : JSType t} -> {auto 0 _ : Elem CanvasShadowStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export shadowOffsetY : {auto 0 {conArg:25623} : JSType t} -> {auto 0 _ : Elem CanvasShadowStyles (Types t)} -> t -> Attribute True id Double- Totality: total
Visibility: export restore : {auto 0 {conArg:25661} : JSType t1} -> {auto 0 _ : Elem CanvasState (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export save : {auto 0 {conArg:25690} : JSType t1} -> {auto 0 _ : Elem CanvasState (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export fillText' : {auto 0 {conArg:25719} : JSType t1} -> {auto 0 _ : Elem CanvasText (Types t1)} -> t1 -> String -> Double -> Double -> Optional Double -> JSIO ()- Totality: total
Visibility: export fillText : {auto 0 {conArg:25766} : JSType t1} -> {auto 0 _ : Elem CanvasText (Types t1)} -> t1 -> String -> Double -> Double -> JSIO ()- Totality: total
Visibility: export measureText : {auto 0 {conArg:25805} : JSType t1} -> {auto 0 _ : Elem CanvasText (Types t1)} -> t1 -> String -> JSIO TextMetrics- Totality: total
Visibility: export strokeText' : {auto 0 {conArg:25836} : JSType t1} -> {auto 0 _ : Elem CanvasText (Types t1)} -> t1 -> String -> Double -> Double -> Optional Double -> JSIO ()- Totality: total
Visibility: export strokeText : {auto 0 {conArg:25883} : JSType t1} -> {auto 0 _ : Elem CanvasText (Types t1)} -> t1 -> String -> Double -> Double -> JSIO ()- Totality: total
Visibility: export direction : {auto 0 {conArg:25922} : JSType t} -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)} -> t -> Attribute True id CanvasDirection- Totality: total
Visibility: export font : {auto 0 {conArg:25962} : JSType t} -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export textAlign : {auto 0 {conArg:26000} : JSType t} -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)} -> t -> Attribute True id CanvasTextAlign- Totality: total
Visibility: export textBaseline : {auto 0 {conArg:26038} : JSType t} -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)} -> t -> Attribute True id CanvasTextBaseline- Totality: total
Visibility: export getTransform : {auto 0 {conArg:26076} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> JSIO DOMMatrix- Totality: total
Visibility: export resetTransform : {auto 0 {conArg:26104} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export rotate : {auto 0 {conArg:26133} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> Double -> JSIO ()- Totality: total
Visibility: export scale : {auto 0 {conArg:26165} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> Double -> Double -> JSIO ()- Totality: total
Visibility: export setTransform : {auto 0 {conArg:26200} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export setTransform1' : {auto 0 {conArg:26247} : JSType t1} -> {auto 0 {conArg:26250} : JSType t2} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)} -> t1 -> Optional t2 -> JSIO ()- Totality: total
Visibility: export setTransform1 : {auto 0 {conArg:26300} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export transform : {auto 0 {conArg:26330} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> Double -> Double -> Double -> Double -> Double -> Double -> JSIO ()- Totality: total
Visibility: export translate : {auto 0 {conArg:26377} : JSType t1} -> {auto 0 _ : Elem CanvasTransform (Types t1)} -> t1 -> Double -> Double -> JSIO ()- Totality: total
Visibility: export drawFocusIfNeeded : {auto 0 {conArg:26412} : JSType t1} -> {auto 0 {conArg:26415} : JSType t2} -> {auto 0 _ : Elem CanvasUserInterface (Types t1)} -> {auto 0 _ : Elem Element (Types t2)} -> t1 -> t2 -> JSIO ()- Totality: total
Visibility: export drawFocusIfNeeded1 : {auto 0 {conArg:26466} : JSType t1} -> {auto 0 {conArg:26469} : JSType t3} -> {auto 0 _ : Elem CanvasUserInterface (Types t1)} -> {auto 0 _ : Elem Element (Types t3)} -> t1 -> Path2D -> t3 -> JSIO ()- Totality: total
Visibility: export scrollPathIntoView : {auto 0 {conArg:26523} : JSType t1} -> {auto 0 _ : Elem CanvasUserInterface (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export scrollPathIntoView1 : {auto 0 {conArg:26552} : JSType t1} -> {auto 0 _ : Elem CanvasUserInterface (Types t1)} -> t1 -> Path2D -> JSIO ()- Totality: total
Visibility: export oncopy : {auto 0 {conArg:26584} : JSType t} -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oncut : {auto 0 {conArg:26622} : JSType t} -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onpaste : {auto 0 {conArg:26660} : JSType t} -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export contentEditable : {auto 0 {conArg:26698} : JSType t} -> {auto 0 _ : Elem ElementContentEditable (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export enterKeyHint : {auto 0 {conArg:26736} : JSType t} -> {auto 0 _ : Elem ElementContentEditable (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export inputMode : {auto 0 {conArg:26774} : JSType t} -> {auto 0 _ : Elem ElementContentEditable (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export isContentEditable : {auto 0 {conArg:26812} : JSType t1} -> {auto 0 _ : Elem ElementContentEditable (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export onabort : {auto 0 {conArg:26844} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe UIEventHandler- Totality: total
Visibility: export onauxclick : {auto 0 {conArg:26882} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onblur : {auto 0 {conArg:26920} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe FocusEventHandler- Totality: total
Visibility: export oncancel : {auto 0 {conArg:26958} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oncanplay : {auto 0 {conArg:26996} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oncanplaythrough : {auto 0 {conArg:27034} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onchange : {auto 0 {conArg:27072} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onclick : {auto 0 {conArg:27112} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onclose : {auto 0 {conArg:27150} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oncontextmenu : {auto 0 {conArg:27190} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oncuechange : {auto 0 {conArg:27228} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondblclick : {auto 0 {conArg:27268} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export ondrag : {auto 0 {conArg:27306} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondragend : {auto 0 {conArg:27344} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondragenter : {auto 0 {conArg:27382} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondragleave : {auto 0 {conArg:27420} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondragover : {auto 0 {conArg:27458} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondragstart : {auto 0 {conArg:27496} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondrop : {auto 0 {conArg:27534} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ondurationchange : {auto 0 {conArg:27572} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onemptied : {auto 0 {conArg:27610} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onended : {auto 0 {conArg:27648} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onerror : {auto 0 {conArg:27686} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe OnErrorEventHandlerNonNull- Totality: total
Visibility: export onfocus : {auto 0 {conArg:27726} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe FocusEventHandler- Totality: total
Visibility: export onformdata : {auto 0 {conArg:27764} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export oninput : {auto 0 {conArg:27802} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe InputEventHandler- Totality: total
Visibility: export oninvalid : {auto 0 {conArg:27840} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onkeydown : {auto 0 {conArg:27878} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe KeyboardEventHandler- Totality: total
Visibility: export onkeypress : {auto 0 {conArg:27916} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onkeyup : {auto 0 {conArg:27954} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe KeyboardEventHandler- Totality: total
Visibility: export onload : {auto 0 {conArg:27992} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe UIEventHandler- Totality: total
Visibility: export onloadeddata : {auto 0 {conArg:28030} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onloadedmetadata : {auto 0 {conArg:28068} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onloadstart : {auto 0 {conArg:28106} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmousedown : {auto 0 {conArg:28144} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmouseenter : {auto 0 {conArg:28182} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmouseleave : {auto 0 {conArg:28220} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmousemove : {auto 0 {conArg:28258} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmouseout : {auto 0 {conArg:28296} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmouseover : {auto 0 {conArg:28334} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onmouseup : {auto 0 {conArg:28372} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe MouseEventHandler- Totality: total
Visibility: export onpause : {auto 0 {conArg:28410} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onplay : {auto 0 {conArg:28448} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onplaying : {auto 0 {conArg:28486} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onprogress : {auto 0 {conArg:28524} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onratechange : {auto 0 {conArg:28562} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onreset : {auto 0 {conArg:28600} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onresize : {auto 0 {conArg:28638} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onscroll : {auto 0 {conArg:28676} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onsecuritypolicyviolation : {auto 0 {conArg:28714} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onseeked : {auto 0 {conArg:28752} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onseeking : {auto 0 {conArg:28790} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onselect : {auto 0 {conArg:28828} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe UIEventHandler- Totality: total
Visibility: export onslotchange : {auto 0 {conArg:28866} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onstalled : {auto 0 {conArg:28904} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onsubmit : {auto 0 {conArg:28942} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onsuspend : {auto 0 {conArg:28980} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ontimeupdate : {auto 0 {conArg:29018} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ontoggle : {auto 0 {conArg:29056} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onvolumechange : {auto 0 {conArg:29094} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwaiting : {auto 0 {conArg:29132} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwebkitanimationend : {auto 0 {conArg:29170} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwebkitanimationiteration : {auto 0 {conArg:29208} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwebkitanimationstart : {auto 0 {conArg:29246} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwebkittransitionend : {auto 0 {conArg:29284} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onwheel : {auto 0 {conArg:29322} : JSType t} -> {auto 0 _ : Elem GlobalEventHandlers (Types t)} -> t -> Attribute False Maybe WheelEventHandler- Totality: total
Visibility: export hash : {auto 0 {conArg:29360} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export host : {auto 0 {conArg:29400} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export hostname : {auto 0 {conArg:29440} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export href : {auto 0 {conArg:29480} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export origin : {auto 0 {conArg:29520} : JSType t1} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export password : {auto 0 {conArg:29548} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export pathname : {auto 0 {conArg:29586} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export port : {auto 0 {conArg:29626} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export protocol : {auto 0 {conArg:29666} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export search : {auto 0 {conArg:29706} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export username : {auto 0 {conArg:29746} : JSType t} -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export autofocus : {auto 0 {conArg:29784} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> t -> Attribute True id Bool- Totality: total
Visibility: export dataset : {auto 0 {conArg:29822} : JSType t1} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)} -> t1 -> JSIO DOMStringMap- Totality: total
Visibility: export nonce : {auto 0 {conArg:29850} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> t -> Attribute True id String- Totality: total
Visibility: export tabIndex : {auto 0 {conArg:29888} : JSType t} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)} -> t -> Attribute True id Int32- Totality: total
Visibility: export blur : {auto 0 {conArg:29926} : JSType t1} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export focus' : {auto 0 {conArg:29955} : JSType t1} -> {auto 0 {conArg:29958} : JSType t2} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)} -> {auto 0 _ : Elem FocusOptions (Types t2)} -> t1 -> Optional t2 -> JSIO ()- Totality: total
Visibility: export focus : {auto 0 {conArg:30008} : JSType t1} -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export hardwareConcurrency : {auto 0 {conArg:30038} : JSType t1} -> {auto 0 _ : Elem NavigatorConcurrentHardware (Types t1)} -> t1 -> JSIO JSBits64- Totality: total
Visibility: export registerProtocolHandler : {auto 0 {conArg:30066} : JSType t1} -> {auto 0 _ : Elem NavigatorContentUtils (Types t1)} -> t1 -> String -> String -> JSIO ()- Totality: total
Visibility: export unregisterProtocolHandler : {auto 0 {conArg:30101} : JSType t1} -> {auto 0 _ : Elem NavigatorContentUtils (Types t1)} -> t1 -> String -> String -> JSIO ()- Totality: total
Visibility: export cookieEnabled : {auto 0 {conArg:30136} : JSType t1} -> {auto 0 _ : Elem NavigatorCookies (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export appCodeName : {auto 0 {conArg:30168} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export appName : {auto 0 {conArg:30196} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export appVersion : {auto 0 {conArg:30224} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export platform : {auto 0 {conArg:30252} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export product : {auto 0 {conArg:30280} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export productSub : {auto 0 {conArg:30308} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export userAgent : {auto 0 {conArg:30336} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export vendor : {auto 0 {conArg:30364} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export vendorSub : {auto 0 {conArg:30392} : JSType t1} -> {auto 0 _ : Elem NavigatorID (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export language : {auto 0 {conArg:30420} : JSType t1} -> {auto 0 _ : Elem NavigatorLanguage (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export languages : {auto 0 {conArg:30448} : JSType t1} -> {auto 0 _ : Elem NavigatorLanguage (Types t1)} -> t1 -> JSIO (Array String)- Totality: total
Visibility: export onLine : {auto 0 {conArg:30476} : JSType t1} -> {auto 0 _ : Elem NavigatorOnLine (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export mimeTypes : {auto 0 {conArg:30508} : JSType t1} -> {auto 0 _ : Elem NavigatorPlugins (Types t1)} -> t1 -> JSIO MimeTypeArray- Totality: total
Visibility: export plugins : {auto 0 {conArg:30536} : JSType t1} -> {auto 0 _ : Elem NavigatorPlugins (Types t1)} -> t1 -> JSIO PluginArray- Totality: total
Visibility: export javaEnabled : {auto 0 {conArg:30564} : JSType t1} -> {auto 0 _ : Elem NavigatorPlugins (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export onafterprint : {auto 0 {conArg:30596} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onbeforeprint : {auto 0 {conArg:30634} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onbeforeunload : {auto 0 {conArg:30672} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe OnBeforeUnloadEventHandlerNonNull- Totality: total
Visibility: export onhashchange : {auto 0 {conArg:30710} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onlanguagechange : {auto 0 {conArg:30748} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessage : {auto 0 {conArg:30788} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onmessageerror : {auto 0 {conArg:30828} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onoffline : {auto 0 {conArg:30868} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export ononline : {auto 0 {conArg:30908} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onpagehide : {auto 0 {conArg:30948} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onpageshow : {auto 0 {conArg:30986} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onpopstate : {auto 0 {conArg:31024} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onrejectionhandled : {auto 0 {conArg:31062} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onstorage : {auto 0 {conArg:31102} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onunhandledrejection : {auto 0 {conArg:31140} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull- Totality: total
Visibility: export onunload : {auto 0 {conArg:31180} : JSType t} -> {auto 0 _ : Elem WindowEventHandlers (Types t)} -> t -> Attribute False Maybe UIEventHandler- Totality: total
Visibility: export localStorage : {auto 0 {conArg:31218} : JSType t1} -> {auto 0 _ : Elem WindowLocalStorage (Types t1)} -> t1 -> JSIO Storage- Totality: total
Visibility: export caches : {auto 0 {conArg:31246} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO CacheStorage- Totality: total
Visibility: export crossOriginIsolated : {auto 0 {conArg:31274} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export indexedDB : {auto 0 {conArg:31306} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO IDBFactory- Totality: total
Visibility: export isSecureContext : {auto 0 {conArg:31334} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO Bool- Totality: total
Visibility: export origin : {auto 0 {conArg:31366} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO String- Totality: total
Visibility: export performance : {auto 0 {conArg:31394} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO Performance- Totality: total
Visibility: export atob : {auto 0 {conArg:31422} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> String -> JSIO ByteString- Totality: total
Visibility: export btoa : {auto 0 {conArg:31453} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> String -> JSIO String- Totality: total
Visibility: export clearInterval' : {auto 0 {conArg:31484} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> Optional Int32 -> JSIO ()- Totality: total
Visibility: export clearInterval : {auto 0 {conArg:31522} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export clearTimeout' : {auto 0 {conArg:31552} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> Optional Int32 -> JSIO ()- Totality: total
Visibility: export clearTimeout : {auto 0 {conArg:31590} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> JSIO ()- Totality: total
Visibility: export createImageBitmap' : {auto 0 {conArg:31620} : JSType t1} -> {auto 0 {conArg:31623} : JSType t3} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> {auto 0 _ : Elem ImageBitmapOptions (Types t3)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas, Blob, ImageData] -> Optional t3 -> JSIO (Promise ImageBitmap)- Totality: total
Visibility: export createImageBitmap : {auto 0 {conArg:31778} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas, Blob, ImageData] -> JSIO (Promise ImageBitmap)- Totality: total
Visibility: export createImageBitmap1' : {auto 0 {conArg:31913} : JSType t1} -> {auto 0 {conArg:31916} : JSType t7} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> {auto 0 _ : Elem ImageBitmapOptions (Types t7)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas, Blob, ImageData] -> Int32 -> Int32 -> Int32 -> Int32 -> Optional t7 -> JSIO (Promise ImageBitmap)- Totality: total
Visibility: export createImageBitmap1 : {auto 0 {conArg:32083} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> HSum [HTMLImageElement, SVGImageElement, HTMLVideoElement, HTMLCanvasElement, ImageBitmap, OffscreenCanvas, Blob, ImageData] -> Int32 -> Int32 -> Int32 -> Int32 -> JSIO (Promise ImageBitmap)- Totality: total
Visibility: export fetch' : {auto 0 {conArg:32230} : JSType t1} -> {auto 0 {conArg:32233} : JSType t3} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> {auto 0 _ : Elem RequestInit (Types t3)} -> t1 -> HSum [Request, String] -> Optional t3 -> JSIO (Promise Response)- Totality: total
Visibility: export fetch : {auto 0 {conArg:32316} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> HSum [Request, String] -> JSIO (Promise Response)- Totality: total
Visibility: export queueMicrotask : {auto 0 {conArg:32379} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> VoidFunction -> JSIO ()- Totality: total
Visibility: export reportError : {auto 0 {conArg:32411} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> Any -> JSIO ()- Totality: total
Visibility: export structuredClone' : {auto 0 {conArg:32446} : JSType t1} -> {auto 0 {conArg:32449} : JSType t3} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> {auto 0 _ : Elem StructuredSerializeOptions (Types t3)} -> t1 -> Any -> Optional t3 -> JSIO Any- Totality: total
Visibility: export structuredClone : {auto 0 {conArg:32509} : JSType t1} -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)} -> t1 -> Any -> JSIO Any- Totality: total
Visibility: export new' : Optional Bool -> JSIO AssignedNodesOptions- Totality: total
Visibility: export new : JSIO AssignedNodesOptions- Totality: total
Visibility: export flatten : {auto 0 {conArg:32565} : JSType t} -> {auto 0 _ : Elem AssignedNodesOptions (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional Bool -> Optional Bool -> JSIO CanvasRenderingContext2DSettings- Totality: total
Visibility: export new : JSIO CanvasRenderingContext2DSettings- Totality: total
Visibility: export alpha : {auto 0 {conArg:32629} : JSType t} -> {auto 0 _ : Elem CanvasRenderingContext2DSettings (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export desynchronized : {auto 0 {conArg:32669} : JSType t} -> {auto 0 _ : Elem CanvasRenderingContext2DSettings (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional Bool -> Optional Bits16 -> Optional String -> JSIO CloseEventInit- Totality: total
Visibility: export new : JSIO CloseEventInit- Totality: total
Visibility: export code : {auto 0 {conArg:32743} : JSType t} -> {auto 0 _ : Elem CloseEventInit (Types t)} -> t -> Attribute True Optional Bits16- Totality: total
Visibility: export reason : {auto 0 {conArg:32785} : JSType t} -> {auto 0 _ : Elem CloseEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export wasClean : {auto 0 {conArg:32827} : JSType t} -> {auto 0 _ : Elem CloseEventInit (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional (Maybe DataTransfer) -> JSIO DragEventInit- Totality: total
Visibility: export new : JSIO DragEventInit- Totality: total
Visibility: export dataTransfer : {auto 0 {conArg:32886} : JSType t} -> {auto 0 _ : Elem DragEventInit (Types t)} -> t -> Attribute True Optional (Maybe DataTransfer)- Totality: total
Visibility: export new' : Optional String -> JSIO ElementDefinitionOptions- Totality: total
Visibility: export new : JSIO ElementDefinitionOptions- Totality: total
Visibility: export extends : {auto 0 {conArg:32949} : JSType t} -> {auto 0 _ : Elem ElementDefinitionOptions (Types t)} -> t -> Attribute False Optional String- Totality: total
Visibility: export new' : Optional String -> Optional String -> Optional Bits32 -> Optional Bits32 -> Optional Any -> JSIO ErrorEventInit- Totality: total
Visibility: export new : JSIO ErrorEventInit- Totality: total
Visibility: export colno : {auto 0 {conArg:33043} : JSType t} -> {auto 0 _ : Elem ErrorEventInit (Types t)} -> t -> Attribute True Optional Bits32- Totality: total
Visibility: export error : {auto 0 {conArg:33084} : JSType t} -> {auto 0 _ : Elem ErrorEventInit (Types t)} -> t -> Attribute True Optional Any- Totality: total
Visibility: export filename : {auto 0 {conArg:33127} : JSType t} -> {auto 0 _ : Elem ErrorEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export lineno : {auto 0 {conArg:33168} : JSType t} -> {auto 0 _ : Elem ErrorEventInit (Types t)} -> t -> Attribute True Optional Bits32- Totality: total
Visibility: export message : {auto 0 {conArg:33209} : JSType t} -> {auto 0 _ : Elem ErrorEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional Bool -> JSIO EventSourceInit- Totality: total
Visibility: export new : JSIO EventSourceInit- Totality: total
Visibility: export withCredentials : {auto 0 {conArg:33266} : JSType t} -> {auto 0 _ : Elem EventSourceInit (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional Bool -> JSIO FocusOptions- Totality: total
Visibility: export new : JSIO FocusOptions- Totality: total
Visibility: export preventScroll : {auto 0 {conArg:33321} : JSType t} -> {auto 0 _ : Elem FocusOptions (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new : FormData -> JSIO FormDataEventInit- Totality: total
Visibility: export formData : {auto 0 {conArg:33365} : JSType t} -> {auto 0 _ : Elem FormDataEventInit (Types t)} -> t -> Attribute True id FormData- Totality: total
Visibility: export new' : Optional String -> Optional String -> JSIO HashChangeEventInit- Totality: total
Visibility: export new : JSIO HashChangeEventInit- Totality: total
Visibility: export newURL : {auto 0 {conArg:33430} : JSType t} -> {auto 0 _ : Elem HashChangeEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export oldURL : {auto 0 {conArg:33471} : JSType t} -> {auto 0 _ : Elem HashChangeEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional ImageOrientation -> Optional PremultiplyAlpha -> Optional ColorSpaceConversion -> Optional Bits32 -> Optional Bits32 -> Optional ResizeQuality -> JSIO ImageBitmapOptions- Totality: total
Visibility: export new : JSIO ImageBitmapOptions- Totality: total
Visibility: export colorSpaceConversion : {auto 0 {conArg:33578} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional ColorSpaceConversion- Totality: total
Visibility: export imageOrientation : {auto 0 {conArg:33615} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional ImageOrientation- Totality: total
Visibility: export premultiplyAlpha : {auto 0 {conArg:33652} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional PremultiplyAlpha- Totality: total
Visibility: export resizeHeight : {auto 0 {conArg:33689} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional Bits32- Totality: total
Visibility: export resizeQuality : {auto 0 {conArg:33726} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional ResizeQuality- Totality: total
Visibility: export resizeWidth : {auto 0 {conArg:33763} : JSType t} -> {auto 0 _ : Elem ImageBitmapOptions (Types t)} -> t -> Attribute False Optional Bits32- Totality: total
Visibility: export new' : Optional Bool -> JSIO ImageBitmapRenderingContextSettings- Totality: total
Visibility: export new : JSIO ImageBitmapRenderingContextSettings- Totality: total
Visibility: export alpha : {auto 0 {conArg:33816} : JSType t} -> {auto 0 _ : Elem ImageBitmapRenderingContextSettings (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional String -> Optional Double -> JSIO ImageEncodeOptions- Totality: total
Visibility: export new : JSIO ImageEncodeOptions- Totality: total
Visibility: export quality : {auto 0 {conArg:33882} : JSType t} -> {auto 0 _ : Elem ImageEncodeOptions (Types t)} -> t -> Attribute False Optional Double- Totality: total
Visibility: export type : {auto 0 {conArg:33919} : JSType t} -> {auto 0 _ : Elem ImageEncodeOptions (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional Any -> Optional String -> Optional String -> Optional (Maybe (HSum [WindowProxy, MessagePort, ServiceWorker])) -> Optional (Array MessagePort) -> JSIO MessageEventInit- Totality: total
Visibility: export new : JSIO MessageEventInit- Totality: total
Visibility: export data_ : {auto 0 {conArg:34063} : JSType t} -> {auto 0 _ : Elem MessageEventInit (Types t)} -> t -> Attribute True Optional Any- Totality: total
Visibility: export lastEventId : {auto 0 {conArg:34107} : JSType t} -> {auto 0 _ : Elem MessageEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export origin : {auto 0 {conArg:34148} : JSType t} -> {auto 0 _ : Elem MessageEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export ports : {auto 0 {conArg:34189} : JSType t} -> {auto 0 _ : Elem MessageEventInit (Types t)} -> t -> Attribute False Optional (Array MessagePort)- Totality: total
Visibility: export source : {auto 0 {conArg:34229} : JSType t} -> {auto 0 _ : Elem MessageEventInit (Types t)} -> t -> Attribute True Optional (Maybe (Union3 WindowProxy MessagePort ServiceWorker))- Totality: total
Visibility: export new' : Optional Bool -> JSIO PageTransitionEventInit- Totality: total
Visibility: export new : JSIO PageTransitionEventInit- Totality: total
Visibility: export persisted : {auto 0 {conArg:34298} : JSType t} -> {auto 0 _ : Elem PageTransitionEventInit (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional Any -> JSIO PopStateEventInit- Totality: total
Visibility: export new : JSIO PopStateEventInit- Totality: total
Visibility: export state : {auto 0 {conArg:34354} : JSType t} -> {auto 0 _ : Elem PopStateEventInit (Types t)} -> t -> Attribute True Optional Any- Totality: total
Visibility: export new' : Optional (Array Object) -> JSIO PostMessageOptions- Totality: total
Visibility: export new : JSIO PostMessageOptions- Totality: total
Visibility: export transfer : {auto 0 {conArg:34415} : JSType t} -> {auto 0 _ : Elem PostMessageOptions (Types t)} -> t -> Attribute False Optional (Array Object)- Totality: total
Visibility: export new' : Promise AnyPtr -> Optional Any -> JSIO PromiseRejectionEventInit- Totality: total
Visibility: export new : Promise AnyPtr -> JSIO PromiseRejectionEventInit- Totality: total
Visibility: export promise : {auto 0 {conArg:34482} : JSType t} -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t)} -> t -> Attribute True id (Promise AnyPtr)- Totality: total
Visibility: export reason : {auto 0 {conArg:34523} : JSType t} -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t)} -> t -> Attribute False Optional Any- Totality: total
Visibility: export new' : Optional (Maybe String) -> Optional (Maybe String) -> Optional (Maybe String) -> Optional String -> Optional (Maybe Storage) -> JSIO StorageEventInit- Totality: total
Visibility: export new : JSIO StorageEventInit- Totality: total
Visibility: export key : {auto 0 {conArg:34635} : JSType t} -> {auto 0 _ : Elem StorageEventInit (Types t)} -> t -> Attribute True Optional (Maybe String)- Totality: total
Visibility: export newValue : {auto 0 {conArg:34682} : JSType t} -> {auto 0 _ : Elem StorageEventInit (Types t)} -> t -> Attribute True Optional (Maybe String)- Totality: total
Visibility: export oldValue : {auto 0 {conArg:34729} : JSType t} -> {auto 0 _ : Elem StorageEventInit (Types t)} -> t -> Attribute True Optional (Maybe String)- Totality: total
Visibility: export storageArea : {auto 0 {conArg:34776} : JSType t} -> {auto 0 _ : Elem StorageEventInit (Types t)} -> t -> Attribute True Optional (Maybe Storage)- Totality: total
Visibility: export url : {auto 0 {conArg:34823} : JSType t} -> {auto 0 _ : Elem StorageEventInit (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional (Array Object) -> JSIO StructuredSerializeOptions- Totality: total
Visibility: export new : JSIO StructuredSerializeOptions- Totality: total
Visibility: export transfer : {auto 0 {conArg:34882} : JSType t} -> {auto 0 _ : Elem StructuredSerializeOptions (Types t)} -> t -> Attribute False Optional (Array Object)- Totality: total
Visibility: export new' : {auto 0 {conArg:34926} : JSType t1} -> {auto 0 _ : Elem HTMLElement (Types t1)} -> Optional (Maybe t1) -> JSIO SubmitEventInit- Totality: total
Visibility: export new : JSIO SubmitEventInit- Totality: total
Visibility: export submitter : {auto 0 {conArg:34958} : JSType t} -> {auto 0 _ : Elem SubmitEventInit (Types t)} -> t -> Attribute True Optional (Maybe HTMLElement)- Totality: total
Visibility: export new' : Optional (Maybe (HSum [VideoTrack, AudioTrack, TextTrack])) -> JSIO TrackEventInit- Totality: total
Visibility: export new : JSIO TrackEventInit- Totality: total
Visibility: export track : {auto 0 {conArg:35065} : JSType t} -> {auto 0 _ : Elem TrackEventInit (Types t)} -> t -> Attribute True Optional (Maybe (HSum [VideoTrack, AudioTrack, TextTrack]))- Totality: total
Visibility: export new' : Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> JSIO ValidityStateFlags- Totality: total
Visibility: export new : JSIO ValidityStateFlags- Totality: total
Visibility: export badInput : {auto 0 {conArg:35308} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export customError : {auto 0 {conArg:35347} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export patternMismatch : {auto 0 {conArg:35386} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export rangeOverflow : {auto 0 {conArg:35425} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export rangeUnderflow : {auto 0 {conArg:35464} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export stepMismatch : {auto 0 {conArg:35503} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export tooLong : {auto 0 {conArg:35542} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export tooShort : {auto 0 {conArg:35581} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export typeMismatch : {auto 0 {conArg:35620} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export valueMissing : {auto 0 {conArg:35659} : JSType t} -> {auto 0 _ : Elem ValidityStateFlags (Types t)} -> t -> Attribute True Optional Bool- Totality: total
Visibility: export new' : Optional String -> JSIO WindowPostMessageOptions- Totality: total
Visibility: export new : JSIO WindowPostMessageOptions- Totality: total
Visibility: export targetOrigin : {auto 0 {conArg:35714} : JSType t} -> {auto 0 _ : Elem WindowPostMessageOptions (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export new' : Optional WorkerType -> Optional RequestCredentials -> Optional String -> JSIO WorkerOptions- Totality: total
Visibility: export new : JSIO WorkerOptions- Totality: total
Visibility: export credentials : {auto 0 {conArg:35790} : JSType t} -> {auto 0 _ : Elem WorkerOptions (Types t)} -> t -> Attribute False Optional RequestCredentials- Totality: total
Visibility: export name : {auto 0 {conArg:35829} : JSType t} -> {auto 0 _ : Elem WorkerOptions (Types t)} -> t -> Attribute True Optional String- Totality: total
Visibility: export type : {auto 0 {conArg:35871} : JSType t} -> {auto 0 _ : Elem WorkerOptions (Types t)} -> t -> Attribute False Optional WorkerType- Totality: total
Visibility: export new' : Optional RequestCredentials -> JSIO WorkletOptions- Totality: total
Visibility: export new : JSIO WorkletOptions- Totality: total
Visibility: export credentials : {auto 0 {conArg:35926} : JSType t} -> {auto 0 _ : Elem WorkletOptions (Types t)} -> t -> Attribute False Optional RequestCredentials- Totality: total
Visibility: export toBlobCallback : (Nullable Blob -> IO ()) -> JSIO BlobCallback- Totality: total
Visibility: export toCompositionEventHandler : (CompositionEvent -> IO ()) -> JSIO CompositionEventHandler- Totality: total
Visibility: export toCustomElementConstructor : (() -> IO HTMLElement) -> JSIO CustomElementConstructor- Totality: total
Visibility: export toEventHandlerNonNull : (Event -> IO AnyPtr) -> JSIO EventHandlerNonNull- Totality: total
Visibility: export toFocusEventHandler : (FocusEvent -> IO ()) -> JSIO FocusEventHandler- Totality: total
Visibility: export toFunctionStringCallback : (String -> IO ()) -> JSIO FunctionStringCallback- Totality: total
Visibility: export toInputEventHandler : (InputEvent -> IO ()) -> JSIO InputEventHandler- Totality: total
Visibility: export toKeyboardEventHandler : (KeyboardEvent -> IO ()) -> JSIO KeyboardEventHandler- Totality: total
Visibility: export toMouseEventHandler : (MouseEvent -> IO ()) -> JSIO MouseEventHandler- Totality: total
Visibility: export toOnBeforeUnloadEventHandlerNonNull : (Event -> IO (Nullable String)) -> JSIO OnBeforeUnloadEventHandlerNonNull- Totality: total
Visibility: export toOnErrorEventHandlerNonNull : (Union2 Event String -> UndefOr String -> UndefOr Bits32 -> UndefOr Bits32 -> UndefOr AnyPtr -> IO AnyPtr) -> JSIO OnErrorEventHandlerNonNull- Totality: total
Visibility: export toUIEventHandler : (UIEvent -> IO ()) -> JSIO UIEventHandler- Totality: total
Visibility: export toWheelEventHandler : (WheelEvent -> IO ()) -> JSIO WheelEventHandler- Totality: total
Visibility: export