Idris2Doc : Web.Raw.Dom

Web.Raw.Dom

(source)

Definitions

new : JSIO AbortController
Totality: total
Visibility: export
signal : AbortController -> JSIO AbortSignal
Totality: total
Visibility: export
abort : AbortController -> JSIO ()
Totality: total
Visibility: export
abort : JSIO AbortSignal
Totality: total
Visibility: export
aborted : AbortSignal -> JSIO Bool
Totality: total
Visibility: export
onabort : AbortSignal -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
collapsed : {auto 0 {conArg:3619} : JSType t1} -> {auto 0 _ : Elem AbstractRange (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
endContainer : {auto 0 {conArg:3651} : JSType t1} -> {auto 0 _ : Elem AbstractRange (Types t1)} -> t1 -> JSIO Node
Totality: total
Visibility: export
endOffset : {auto 0 {conArg:3679} : JSType t1} -> {auto 0 _ : Elem AbstractRange (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
startContainer : {auto 0 {conArg:3707} : JSType t1} -> {auto 0 _ : Elem AbstractRange (Types t1)} -> t1 -> JSIO Node
Totality: total
Visibility: export
startOffset : {auto 0 {conArg:3735} : JSType t1} -> {auto 0 _ : Elem AbstractRange (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
localName : Attr -> JSIO String
Totality: total
Visibility: export
name : Attr -> JSIO String
Totality: total
Visibility: export
namespaceURI : Attr -> JSIO (Maybe String)
Totality: total
Visibility: export
ownerElement : Attr -> JSIO (Maybe Element)
Totality: total
Visibility: export
prefix_ : Attr -> JSIO (Maybe String)
Totality: total
Visibility: export
specified : Attr -> JSIO Bool
Totality: total
Visibility: export
value : Attr -> Attribute True id String
Totality: total
Visibility: export
data_ : {auto 0 {conArg:3846} : JSType t} -> {auto 0 _ : Elem CharacterData (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
length : {auto 0 {conArg:3884} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
appendData : {auto 0 {conArg:3912} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> String -> JSIO ()
Totality: total
Visibility: export
deleteData : {auto 0 {conArg:3944} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> Bits32 -> Bits32 -> JSIO ()
Totality: total
Visibility: export
insertData : {auto 0 {conArg:3979} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> Bits32 -> String -> JSIO ()
Totality: total
Visibility: export
replaceData : {auto 0 {conArg:4014} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> Bits32 -> Bits32 -> String -> JSIO ()
Totality: total
Visibility: export
substringData : {auto 0 {conArg:4052} : JSType t1} -> {auto 0 _ : Elem CharacterData (Types t1)} -> t1 -> Bits32 -> Bits32 -> JSIO String
Totality: total
Visibility: export
new' : Optional String -> JSIO Comment
Totality: total
Visibility: export
new : JSIO Comment
Totality: total
Visibility: export
new' : {auto 0 {conArg:4102} : JSType t2} -> {auto 0 _ : Elem CustomEventInit (Types t2)} -> String -> Optional t2 -> JSIO CustomEvent
Totality: total
Visibility: export
new : String -> JSIO CustomEvent
Totality: total
Visibility: export
detail : CustomEvent -> JSIO Any
Totality: total
Visibility: export
initCustomEvent' : CustomEvent -> String -> Optional Bool -> Optional Bool -> Optional Any -> JSIO ()
Totality: total
Visibility: export
initCustomEvent : CustomEvent -> String -> JSIO ()
Totality: total
Visibility: export
createDocument' : DOMImplementation -> Maybe String -> String -> Optional (Maybe DocumentType) -> JSIO XMLDocument
Totality: total
Visibility: export
createDocument : DOMImplementation -> Maybe String -> String -> JSIO XMLDocument
Totality: total
Visibility: export
createDocumentType : DOMImplementation -> String -> String -> String -> JSIO DocumentType
Totality: total
Visibility: export
createHTMLDocument' : DOMImplementation -> Optional String -> JSIO Document
Totality: total
Visibility: export
createHTMLDocument : DOMImplementation -> JSIO Document
Totality: total
Visibility: export
hasFeature : DOMImplementation -> JSIO Bool
Totality: total
Visibility: export
length : DOMTokenList -> JSIO Bits32
Totality: total
Visibility: export
value : DOMTokenList -> Attribute True id String
Totality: total
Visibility: export
add : DOMTokenList -> List String -> JSIO ()
Totality: total
Visibility: export
contains : DOMTokenList -> String -> JSIO Bool
Totality: total
Visibility: export
item : DOMTokenList -> Bits32 -> JSIO (Maybe String)
Totality: total
Visibility: export
remove : DOMTokenList -> List String -> JSIO ()
Totality: total
Visibility: export
replace : DOMTokenList -> String -> String -> JSIO Bool
Totality: total
Visibility: export
supports : DOMTokenList -> String -> JSIO Bool
Totality: total
Visibility: export
toggle' : DOMTokenList -> String -> Optional Bool -> JSIO Bool
Totality: total
Visibility: export
toggle : DOMTokenList -> String -> JSIO Bool
Totality: total
Visibility: export
new : JSIO Document
Totality: total
Visibility: export
get : {auto 0 {conArg:4456} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Object
Totality: total
Visibility: export
URL : {auto 0 {conArg:4488} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
alinkColor : {auto 0 {conArg:4516} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
all : {auto 0 {conArg:4554} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLAllCollection
Totality: total
Visibility: export
anchors : {auto 0 {conArg:4582} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
applets : {auto 0 {conArg:4610} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
bgColor : {auto 0 {conArg:4638} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
body : {auto 0 {conArg:4676} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute False Maybe HTMLElement
Totality: total
Visibility: export
characterSet : {auto 0 {conArg:4714} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
charset : {auto 0 {conArg:4742} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
compatMode : {auto 0 {conArg:4770} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
contentType : {auto 0 {conArg:4798} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
cookie : {auto 0 {conArg:4826} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
currentScript : {auto 0 {conArg:4864} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe (HSum [HTMLScriptElement, SVGScriptElement]))
Totality: total
Visibility: export
defaultView : {auto 0 {conArg:4943} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe WindowProxy)
Totality: total
Visibility: export
designMode : {auto 0 {conArg:4979} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
dir : {auto 0 {conArg:5017} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
doctype : {auto 0 {conArg:5055} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe DocumentType)
Totality: total
Visibility: export
documentElement : {auto 0 {conArg:5091} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
documentURI : {auto 0 {conArg:5127} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
domain : {auto 0 {conArg:5155} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
embeds : {auto 0 {conArg:5193} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
fgColor : {auto 0 {conArg:5221} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
forms : {auto 0 {conArg:5259} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
head : {auto 0 {conArg:5287} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe HTMLHeadElement)
Totality: total
Visibility: export
hidden : {auto 0 {conArg:5323} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
images : {auto 0 {conArg:5355} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
implementation_ : {auto 0 {conArg:5383} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO DOMImplementation
Totality: total
Visibility: export
inputEncoding : {auto 0 {conArg:5411} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
lastModified : {auto 0 {conArg:5439} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
linkColor : {auto 0 {conArg:5467} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
Totality: total
Visibility: export
location : {auto 0 {conArg:5533} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe Location)
Totality: total
Visibility: export
onreadystatechange : {auto 0 {conArg:5569} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onvisibilitychange : {auto 0 {conArg:5607} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
plugins : {auto 0 {conArg:5645} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
readyState : {auto 0 {conArg:5673} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO DocumentReadyState
Totality: total
Visibility: export
referrer : {auto 0 {conArg:5705} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
rootElement : {auto 0 {conArg:5733} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe SVGSVGElement)
Totality: total
Visibility: export
scripts : {auto 0 {conArg:5769} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
scrollingElement : {auto 0 {conArg:5797} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
timeline : {auto 0 {conArg:5833} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO DocumentTimeline
Totality: total
Visibility: export
title : {auto 0 {conArg:5861} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
visibilityState : {auto 0 {conArg:5899} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO VisibilityState
Totality: total
Visibility: export
vlinkColor : {auto 0 {conArg:5931} : JSType t} -> {auto 0 _ : Elem Document (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
adoptNode : {auto 0 {conArg:5969} : JSType t1} -> {auto 0 {conArg:5972} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO Node
Totality: total
Visibility: export
captureEvents : {auto 0 {conArg:6022} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
caretPositionFromPoint : {auto 0 {conArg:6051} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Double -> Double -> JSIO (Maybe CaretPosition)
Totality: total
Visibility: export
clear : {auto 0 {conArg:6093} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
close : {auto 0 {conArg:6122} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
createAttribute : {auto 0 {conArg:6151} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Attr
Totality: total
Visibility: export
createAttributeNS : {auto 0 {conArg:6183} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Maybe String -> String -> JSIO Attr
Totality: total
Visibility: export
createCDATASection : {auto 0 {conArg:6224} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO CDATASection
Totality: total
Visibility: export
createComment : {auto 0 {conArg:6255} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Comment
Totality: total
Visibility: export
createDocumentFragment : {auto 0 {conArg:6286} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO DocumentFragment
Totality: total
Visibility: export
createElement' : {auto 0 {conArg:6314} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> Optional (HSum [String, ElementCreationOptions]) -> JSIO Element
Totality: total
Visibility: export
createElement : {auto 0 {conArg:6382} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Element
Totality: total
Visibility: export
createElementNS' : {auto 0 {conArg:6414} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Maybe String -> String -> Optional (HSum [String, ElementCreationOptions]) -> JSIO Element
Totality: total
Visibility: export
createElementNS : {auto 0 {conArg:6491} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Maybe String -> String -> JSIO Element
Totality: total
Visibility: export
createEvent : {auto 0 {conArg:6532} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Event
Totality: total
Visibility: export
createNodeIterator' : {auto 0 {conArg:6563} : JSType t1} -> {auto 0 {conArg:6566} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> Optional Bits32 -> Optional (Maybe NodeFilter) -> JSIO NodeIterator
Totality: total
Visibility: export
createNodeIterator : {auto 0 {conArg:6638} : JSType t1} -> {auto 0 {conArg:6641} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO NodeIterator
Totality: total
Visibility: export
createProcessingInstruction : {auto 0 {conArg:6693} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> String -> JSIO ProcessingInstruction
Totality: total
Visibility: export
createRange : {auto 0 {conArg:6727} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO Range
Totality: total
Visibility: export
createTextNode : {auto 0 {conArg:6756} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Text
Totality: total
Visibility: export
createTreeWalker' : {auto 0 {conArg:6788} : JSType t1} -> {auto 0 {conArg:6791} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> Optional Bits32 -> Optional (Maybe NodeFilter) -> JSIO TreeWalker
Totality: total
Visibility: export
createTreeWalker : {auto 0 {conArg:6863} : JSType t1} -> {auto 0 {conArg:6866} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO TreeWalker
Totality: total
Visibility: export
elementFromPoint : {auto 0 {conArg:6918} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Double -> Double -> JSIO (Maybe Element)
Totality: total
Visibility: export
elementsFromPoint : {auto 0 {conArg:6960} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Double -> Double -> JSIO (Array Element)
Totality: total
Visibility: export
execCommand' : {auto 0 {conArg:6994} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> Optional Bool -> Optional String -> JSIO Bool
Totality: total
Visibility: export
execCommand : {auto 0 {conArg:7047} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
getAnimations : {auto 0 {conArg:7084} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO (Array Animation)
Totality: total
Visibility: export
getElementsByClassName : {auto 0 {conArg:7112} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
getElementsByName : {auto 0 {conArg:7143} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO NodeList
Totality: total
Visibility: export
getElementsByTagName : {auto 0 {conArg:7174} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
getElementsByTagNameNS : {auto 0 {conArg:7205} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Maybe String -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
hasFocus : {auto 0 {conArg:7245} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
importNode' : {auto 0 {conArg:7277} : JSType t1} -> {auto 0 {conArg:7280} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> Optional Bool -> JSIO Node
Totality: total
Visibility: export
importNode : {auto 0 {conArg:7339} : JSType t1} -> {auto 0 {conArg:7342} : JSType t2} -> {auto 0 _ : Elem Document (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO Node
Totality: total
Visibility: export
open' : {auto 0 {conArg:7393} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> Optional String -> Optional String -> JSIO Document
Totality: total
Visibility: export
open_ : {auto 0 {conArg:7440} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO Document
Totality: total
Visibility: export
open1 : {auto 0 {conArg:7471} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> String -> String -> JSIO (Maybe WindowProxy)
Totality: total
Visibility: export
queryCommandEnabled : {auto 0 {conArg:7516} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
queryCommandIndeterm : {auto 0 {conArg:7551} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
queryCommandState : {auto 0 {conArg:7586} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
queryCommandSupported : {auto 0 {conArg:7621} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
queryCommandValue : {auto 0 {conArg:7656} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> String -> JSIO String
Totality: total
Visibility: export
releaseEvents : {auto 0 {conArg:7687} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
write : {auto 0 {conArg:7716} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> List String -> JSIO ()
Totality: total
Visibility: export
writeln : {auto 0 {conArg:7754} : JSType t1} -> {auto 0 _ : Elem Document (Types t1)} -> t1 -> List String -> JSIO ()
Totality: total
Visibility: export
new : JSIO DocumentFragment
Totality: total
Visibility: export
name : DocumentType -> JSIO String
Totality: total
Visibility: export
publicId : DocumentType -> JSIO String
Totality: total
Visibility: export
systemId : DocumentType -> JSIO String
Totality: total
Visibility: export
attributes : {auto 0 {conArg:7813} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO NamedNodeMap
Totality: total
Visibility: export
classList : {auto 0 {conArg:7841} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO DOMTokenList
Totality: total
Visibility: export
className : {auto 0 {conArg:7869} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
clientHeight : {auto 0 {conArg:7907} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
clientLeft : {auto 0 {conArg:7935} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
clientTop : {auto 0 {conArg:7963} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
clientWidth : {auto 0 {conArg:7991} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
id : {auto 0 {conArg:8019} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
localName : {auto 0 {conArg:8057} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
namespaceURI : {auto 0 {conArg:8085} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO (Maybe String)
Totality: total
Visibility: export
outerHTML : {auto 0 {conArg:8121} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
prefix_ : {auto 0 {conArg:8159} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO (Maybe String)
Totality: total
Visibility: export
scrollHeight : {auto 0 {conArg:8195} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
scrollLeft : {auto 0 {conArg:8223} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id Double
Totality: total
Visibility: export
scrollTop : {auto 0 {conArg:8261} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id Double
Totality: total
Visibility: export
scrollWidth : {auto 0 {conArg:8299} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Int32
Totality: total
Visibility: export
shadowRoot : {auto 0 {conArg:8327} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO (Maybe ShadowRoot)
Totality: total
Visibility: export
slot : {auto 0 {conArg:8363} : JSType t} -> {auto 0 _ : Elem Element (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
tagName : {auto 0 {conArg:8401} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
attachShadow : {auto 0 {conArg:8429} : JSType t1} -> {auto 0 {conArg:8432} : JSType t2} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem ShadowRootInit (Types t2)} -> t1 -> t2 -> JSIO ShadowRoot
Totality: total
Visibility: export
checkVisibility' : {auto 0 {conArg:8482} : JSType t1} -> {auto 0 {conArg:8485} : JSType t2} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem CheckVisibilityOptions (Types t2)} -> t1 -> Optional t2 -> JSIO Bool
Totality: total
Visibility: export
checkVisibility : {auto 0 {conArg:8538} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
closest : {auto 0 {conArg:8571} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO (Maybe Element)
Totality: total
Visibility: export
getAttribute : {auto 0 {conArg:8610} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO (Maybe String)
Totality: total
Visibility: export
getAttributeNS : {auto 0 {conArg:8649} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> JSIO (Maybe String)
Totality: total
Visibility: export
getAttributeNames : {auto 0 {conArg:8697} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO (Array String)
Totality: total
Visibility: export
getAttributeNode : {auto 0 {conArg:8725} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO (Maybe Attr)
Totality: total
Visibility: export
getAttributeNodeNS : {auto 0 {conArg:8765} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> JSIO (Maybe Attr)
Totality: total
Visibility: export
getBoundingClientRect : {auto 0 {conArg:8814} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO DOMRect
Totality: total
Visibility: export
getClientRects : {auto 0 {conArg:8842} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO DOMRectList
Totality: total
Visibility: export
getElementsByClassName : {auto 0 {conArg:8870} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
getElementsByTagName : {auto 0 {conArg:8901} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
getElementsByTagNameNS : {auto 0 {conArg:8932} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> JSIO HTMLCollection
Totality: total
Visibility: export
hasAttribute : {auto 0 {conArg:8972} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
hasAttributeNS : {auto 0 {conArg:9007} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> JSIO Bool
Totality: total
Visibility: export
hasAttributes : {auto 0 {conArg:9051} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
insertAdjacentElement : {auto 0 {conArg:9083} : JSType t1} -> {auto 0 {conArg:9086} : JSType t3} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem Element (Types t3)} -> t1 -> String -> t3 -> JSIO (Maybe Element)
Totality: total
Visibility: export
insertAdjacentHTML : {auto 0 {conArg:9147} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> String -> JSIO ()
Totality: total
Visibility: export
insertAdjacentText : {auto 0 {conArg:9182} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> String -> JSIO ()
Totality: total
Visibility: export
matches : {auto 0 {conArg:9217} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
pseudo : {auto 0 {conArg:9252} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO (Maybe CSSPseudoElement)
Totality: total
Visibility: export
removeAttribute : {auto 0 {conArg:9291} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO ()
Totality: total
Visibility: export
removeAttributeNS : {auto 0 {conArg:9323} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> JSIO ()
Totality: total
Visibility: export
removeAttributeNode : {auto 0 {conArg:9364} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Attr -> JSIO Attr
Totality: total
Visibility: export
scrollBy' : {auto 0 {conArg:9396} : JSType t1} -> {auto 0 {conArg:9399} : JSType t2} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> t1 -> Optional t2 -> JSIO ()
Totality: total
Visibility: export
scrollBy : {auto 0 {conArg:9449} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
scrollBy1 : {auto 0 {conArg:9479} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
scroll' : {auto 0 {conArg:9514} : JSType t1} -> {auto 0 {conArg:9517} : JSType t2} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> t1 -> Optional t2 -> JSIO ()
Totality: total
Visibility: export
scroll : {auto 0 {conArg:9567} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
scroll1 : {auto 0 {conArg:9597} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
scrollIntoView' : {auto 0 {conArg:9632} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Optional (HSum [Bool, ScrollIntoViewOptions]) -> JSIO ()
Totality: total
Visibility: export
scrollIntoView : {auto 0 {conArg:9698} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
scrollTo' : {auto 0 {conArg:9728} : JSType t1} -> {auto 0 {conArg:9731} : JSType t2} -> {auto 0 _ : Elem Element (Types t1)} -> {auto 0 _ : Elem ScrollToOptions (Types t2)} -> t1 -> Optional t2 -> JSIO ()
Totality: total
Visibility: export
scrollTo : {auto 0 {conArg:9781} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
scrollTo1 : {auto 0 {conArg:9811} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Double -> Double -> JSIO ()
Totality: total
Visibility: export
setAttribute : {auto 0 {conArg:9846} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> String -> JSIO ()
Totality: total
Visibility: export
setAttributeNS : {auto 0 {conArg:9881} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Maybe String -> String -> String -> JSIO ()
Totality: total
Visibility: export
setAttributeNode : {auto 0 {conArg:9925} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Attr -> JSIO (Maybe Attr)
Totality: total
Visibility: export
setAttributeNodeNS : {auto 0 {conArg:9965} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> Attr -> JSIO (Maybe Attr)
Totality: total
Visibility: export
toggleAttribute' : {auto 0 {conArg:10005} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> Optional Bool -> JSIO Bool
Totality: total
Visibility: export
toggleAttribute : {auto 0 {conArg:10049} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
webkitMatchesSelector : {auto 0 {conArg:10085} : JSType t1} -> {auto 0 _ : Elem Element (Types t1)} -> t1 -> String -> JSIO Bool
Totality: total
Visibility: export
AT_TARGET : Bits16
Totality: total
Visibility: public export
BUBBLING_PHASE : Bits16
Totality: total
Visibility: public export
CAPTURING_PHASE : Bits16
Totality: total
Visibility: public export
NONE : Bits16
Totality: total
Visibility: public export
new' : {auto 0 {conArg:10132} : JSType t2} -> {auto 0 _ : Elem EventInit (Types t2)} -> String -> Optional t2 -> JSIO Event
Totality: total
Visibility: export
new : String -> JSIO Event
Totality: total
Visibility: export
bubbles : {auto 0 {conArg:10169} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
cancelBubble : {auto 0 {conArg:10201} : JSType t} -> {auto 0 _ : Elem Event (Types t)} -> t -> Attribute True id Bool
Totality: total
Visibility: export
cancelable : {auto 0 {conArg:10239} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
composed : {auto 0 {conArg:10271} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
currentTarget : {auto 0 {conArg:10303} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO (Maybe EventTarget)
Totality: total
Visibility: export
defaultPrevented : {auto 0 {conArg:10339} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
eventPhase : {auto 0 {conArg:10371} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bits16
Totality: total
Visibility: export
isTrusted : {auto 0 {conArg:10399} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
returnValue : {auto 0 {conArg:10431} : JSType t} -> {auto 0 _ : Elem Event (Types t)} -> t -> Attribute True id Bool
Totality: total
Visibility: export
srcElement : {auto 0 {conArg:10469} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO (Maybe EventTarget)
Totality: total
Visibility: export
target : {auto 0 {conArg:10505} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO (Maybe EventTarget)
Totality: total
Visibility: export
timeStamp : {auto 0 {conArg:10541} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO Double
Totality: total
Visibility: export
type : {auto 0 {conArg:10569} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
composedPath : {auto 0 {conArg:10597} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO (Array EventTarget)
Totality: total
Visibility: export
initEvent' : {auto 0 {conArg:10625} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> String -> Optional Bool -> Optional Bool -> JSIO ()
Totality: total
Visibility: export
initEvent : {auto 0 {conArg:10675} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> String -> JSIO ()
Totality: total
Visibility: export
preventDefault : {auto 0 {conArg:10709} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
stopImmediatePropagation : {auto 0 {conArg:10738} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
stopPropagation : {auto 0 {conArg:10767} : JSType t1} -> {auto 0 _ : Elem Event (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
new : JSIO EventTarget
Totality: total
Visibility: export
addEventListener' : {auto 0 {conArg:10799} : JSType t1} -> {auto 0 _ : Elem EventTarget (Types t1)} -> t1 -> String -> Maybe EventListener -> Optional (HSum [AddEventListenerOptions, Bool]) -> JSIO ()
Totality: total
Visibility: export
addEventListener : {auto 0 {conArg:10877} : JSType t1} -> {auto 0 _ : Elem EventTarget (Types t1)} -> t1 -> String -> Maybe EventListener -> JSIO ()
Totality: total
Visibility: export
dispatchEvent : {auto 0 {conArg:10919} : JSType t1} -> {auto 0 {conArg:10922} : JSType t2} -> {auto 0 _ : Elem EventTarget (Types t1)} -> {auto 0 _ : Elem Event (Types t2)} -> t1 -> t2 -> JSIO Bool
Totality: total
Visibility: export
removeEventListener' : {auto 0 {conArg:10976} : JSType t1} -> {auto 0 _ : Elem EventTarget (Types t1)} -> t1 -> String -> Maybe EventListener -> Optional (HSum [EventListenerOptions, Bool]) -> JSIO ()
Totality: total
Visibility: export
removeEventListener : {auto 0 {conArg:11054} : JSType t1} -> {auto 0 _ : Elem EventTarget (Types t1)} -> t1 -> String -> Maybe EventListener -> JSIO ()
Totality: total
Visibility: export
length : {auto 0 {conArg:11096} : JSType t1} -> {auto 0 _ : Elem HTMLCollection (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
item : {auto 0 {conArg:11124} : JSType t1} -> {auto 0 _ : Elem HTMLCollection (Types t1)} -> t1 -> Bits32 -> JSIO (Maybe Element)
Totality: total
Visibility: export
namedItem : {auto 0 {conArg:11163} : JSType t1} -> {auto 0 _ : Elem HTMLCollection (Types t1)} -> t1 -> String -> JSIO (Maybe Element)
Totality: total
Visibility: export
new : MutationCallback -> JSIO MutationObserver
Totality: total
Visibility: export
disconnect : MutationObserver -> JSIO ()
Totality: total
Visibility: export
observe' : {auto 0 {conArg:11215} : JSType t2} -> {auto 0 {conArg:11218} : JSType t3} -> {auto 0 _ : Elem Node (Types t2)} -> {auto 0 _ : Elem MutationObserverInit (Types t3)} -> MutationObserver -> t2 -> Optional t3 -> JSIO ()
Totality: total
Visibility: export
observe : {auto 0 {conArg:11271} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> MutationObserver -> t2 -> JSIO ()
Totality: total
Visibility: export
takeRecords : MutationObserver -> JSIO (Array MutationRecord)
Totality: total
Visibility: export
addedNodes : MutationRecord -> JSIO NodeList
Totality: total
Visibility: export
attributeName : MutationRecord -> JSIO (Maybe String)
Totality: total
Visibility: export
attributeNamespace : MutationRecord -> JSIO (Maybe String)
Totality: total
Visibility: export
nextSibling : MutationRecord -> JSIO (Maybe Node)
Totality: total
Visibility: export
oldValue : MutationRecord -> JSIO (Maybe String)
Totality: total
Visibility: export
previousSibling : MutationRecord -> JSIO (Maybe Node)
Totality: total
Visibility: export
removedNodes : MutationRecord -> JSIO NodeList
Totality: total
Visibility: export
target : MutationRecord -> JSIO Node
Totality: total
Visibility: export
type : MutationRecord -> JSIO String
Totality: total
Visibility: export
length : NamedNodeMap -> JSIO Bits32
Totality: total
Visibility: export
getNamedItemNS : NamedNodeMap -> Maybe String -> String -> JSIO (Maybe Attr)
Totality: total
Visibility: export
getNamedItem : NamedNodeMap -> String -> JSIO (Maybe Attr)
Totality: total
Visibility: export
item : NamedNodeMap -> Bits32 -> JSIO (Maybe Attr)
Totality: total
Visibility: export
removeNamedItemNS : NamedNodeMap -> Maybe String -> String -> JSIO Attr
Totality: total
Visibility: export
removeNamedItem : NamedNodeMap -> String -> JSIO Attr
Totality: total
Visibility: export
setNamedItemNS : NamedNodeMap -> Attr -> JSIO (Maybe Attr)
Totality: total
Visibility: export
setNamedItem : NamedNodeMap -> Attr -> JSIO (Maybe Attr)
Totality: total
Visibility: export
ATTRIBUTE_NODE : Bits16
Totality: total
Visibility: public export
CDATA_SECTION_NODE : Bits16
Totality: total
Visibility: public export
COMMENT_NODE : Bits16
Totality: total
Visibility: public export
DOCUMENT_FRAGMENT_NODE : Bits16
Totality: total
Visibility: public export
DOCUMENT_NODE : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_CONTAINED_BY : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_CONTAINS : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_DISCONNECTED : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_FOLLOWING : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_IMPLEMENTATION_SPECIFIC : Bits16
Totality: total
Visibility: public export
DOCUMENT_POSITION_PRECEDING : Bits16
Totality: total
Visibility: public export
DOCUMENT_TYPE_NODE : Bits16
Totality: total
Visibility: public export
ELEMENT_NODE : Bits16
Totality: total
Visibility: public export
ENTITY_NODE : Bits16
Totality: total
Visibility: public export
ENTITY_REFERENCE_NODE : Bits16
Totality: total
Visibility: public export
NOTATION_NODE : Bits16
Totality: total
Visibility: public export
PROCESSING_INSTRUCTION_NODE : Bits16
Totality: total
Visibility: public export
TEXT_NODE : Bits16
Totality: total
Visibility: public export
baseURI : {auto 0 {conArg:11592} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
childNodes : {auto 0 {conArg:11620} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO NodeList
Totality: total
Visibility: export
firstChild : {auto 0 {conArg:11648} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Node)
Totality: total
Visibility: export
isConnected : {auto 0 {conArg:11684} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
lastChild : {auto 0 {conArg:11716} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Node)
Totality: total
Visibility: export
nextSibling : {auto 0 {conArg:11752} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Node)
Totality: total
Visibility: export
nodeName : {auto 0 {conArg:11788} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
nodeType : {auto 0 {conArg:11816} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO Bits16
Totality: total
Visibility: export
nodeValue : {auto 0 {conArg:11844} : JSType t} -> {auto 0 _ : Elem Node (Types t)} -> t -> Attribute False Maybe String
Totality: total
Visibility: export
ownerDocument : {auto 0 {conArg:11882} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Document)
Totality: total
Visibility: export
parentElement : {auto 0 {conArg:11919} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
parentNode : {auto 0 {conArg:11955} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Node)
Totality: total
Visibility: export
previousSibling : {auto 0 {conArg:11991} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO (Maybe Node)
Totality: total
Visibility: export
textContent : {auto 0 {conArg:12027} : JSType t} -> {auto 0 _ : Elem Node (Types t)} -> t -> Attribute False Maybe String
Totality: total
Visibility: export
appendChild : {auto 0 {conArg:12065} : JSType t1} -> {auto 0 {conArg:12068} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO Node
Totality: total
Visibility: export
cloneNode' : {auto 0 {conArg:12118} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> Optional Bool -> JSIO Node
Totality: total
Visibility: export
cloneNode : {auto 0 {conArg:12155} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO Node
Totality: total
Visibility: export
compareDocumentPosition : {auto 0 {conArg:12184} : JSType t1} -> {auto 0 {conArg:12187} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO Bits16
Totality: total
Visibility: export
contains : {auto 0 {conArg:12237} : JSType t1} -> {auto 0 {conArg:12240} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> Maybe t2 -> JSIO Bool
Totality: total
Visibility: export
getRootNode' : {auto 0 {conArg:12293} : JSType t1} -> {auto 0 {conArg:12296} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem GetRootNodeOptions (Types t2)} -> t1 -> Optional t2 -> JSIO Node
Totality: total
Visibility: export
getRootNode : {auto 0 {conArg:12345} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO Node
Totality: total
Visibility: export
hasChildNodes : {auto 0 {conArg:12374} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO Bool
Totality: total
Visibility: export
insertBefore : {auto 0 {conArg:12406} : JSType t1} -> {auto 0 {conArg:12409} : JSType t2} -> {auto 0 {conArg:12412} : JSType t3} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> {auto 0 _ : Elem Node (Types t3)} -> t1 -> t2 -> Maybe t3 -> JSIO Node
Totality: total
Visibility: export
isDefaultNamespace : {auto 0 {conArg:12483} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> Maybe String -> JSIO Bool
Totality: total
Visibility: export
isEqualNode : {auto 0 {conArg:12524} : JSType t1} -> {auto 0 {conArg:12527} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> Maybe t2 -> JSIO Bool
Totality: total
Visibility: export
isSameNode : {auto 0 {conArg:12580} : JSType t1} -> {auto 0 {conArg:12583} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> Maybe t2 -> JSIO Bool
Totality: total
Visibility: export
lookupNamespaceURI : {auto 0 {conArg:12636} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> Maybe String -> JSIO (Maybe String)
Totality: total
Visibility: export
lookupPrefix : {auto 0 {conArg:12681} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> Maybe String -> JSIO (Maybe String)
Totality: total
Visibility: export
normalize : {auto 0 {conArg:12726} : JSType t1} -> {auto 0 _ : Elem Node (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
removeChild : {auto 0 {conArg:12755} : JSType t1} -> {auto 0 {conArg:12758} : JSType t2} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO Node
Totality: total
Visibility: export
replaceChild : {auto 0 {conArg:12808} : JSType t1} -> {auto 0 {conArg:12811} : JSType t2} -> {auto 0 {conArg:12814} : JSType t3} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> {auto 0 _ : Elem Node (Types t3)} -> t1 -> t2 -> t3 -> JSIO Node
Totality: total
Visibility: export
filter : NodeIterator -> JSIO (Maybe NodeFilter)
Totality: total
Visibility: export
pointerBeforeReferenceNode : NodeIterator -> JSIO Bool
Totality: total
Visibility: export
referenceNode : NodeIterator -> JSIO Node
Totality: total
Visibility: export
root : NodeIterator -> JSIO Node
Totality: total
Visibility: export
whatToShow : NodeIterator -> JSIO Bits32
Totality: total
Visibility: export
detach : NodeIterator -> JSIO ()
Totality: total
Visibility: export
nextNode : NodeIterator -> JSIO (Maybe Node)
Totality: total
Visibility: export
previousNode : NodeIterator -> JSIO (Maybe Node)
Totality: total
Visibility: export
length : {auto 0 {conArg:12963} : JSType t1} -> {auto 0 _ : Elem NodeList (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
item : {auto 0 {conArg:12991} : JSType t1} -> {auto 0 _ : Elem NodeList (Types t1)} -> t1 -> Bits32 -> JSIO (Maybe Node)
Totality: total
Visibility: export
timeOrigin : Performance -> JSIO Double
Totality: total
Visibility: export
now : Performance -> JSIO Double
Totality: total
Visibility: export
toJSON : Performance -> JSIO Object
Totality: total
Visibility: export
target : ProcessingInstruction -> JSIO String
Totality: total
Visibility: export
END_TO_END : Bits16
Totality: total
Visibility: public export
END_TO_START : Bits16
Totality: total
Visibility: public export
START_TO_END : Bits16
Totality: total
Visibility: public export
START_TO_START : Bits16
Totality: total
Visibility: public export
new : JSIO Range
Totality: total
Visibility: export
commonAncestorContainer : Range -> JSIO Node
Totality: total
Visibility: export
cloneContents : Range -> JSIO DocumentFragment
Totality: total
Visibility: export
cloneRange : Range -> JSIO Range
Totality: total
Visibility: export
collapse' : Range -> Optional Bool -> JSIO ()
Totality: total
Visibility: export
collapse : Range -> JSIO ()
Totality: total
Visibility: export
compareBoundaryPoints : Range -> Bits16 -> Range -> JSIO Int16
Totality: total
Visibility: export
comparePoint : {auto 0 {conArg:13126} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> Bits32 -> JSIO Int16
Totality: total
Visibility: export
createContextualFragment : Range -> String -> JSIO DocumentFragment
Totality: total
Visibility: export
deleteContents : Range -> JSIO ()
Totality: total
Visibility: export
detach : Range -> JSIO ()
Totality: total
Visibility: export
extractContents : Range -> JSIO DocumentFragment
Totality: total
Visibility: export
getBoundingClientRect : Range -> JSIO DOMRect
Totality: total
Visibility: export
getClientRects : Range -> JSIO DOMRectList
Totality: total
Visibility: export
insertNode : {auto 0 {conArg:13201} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
intersectsNode : {auto 0 {conArg:13233} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO Bool
Totality: total
Visibility: export
isPointInRange : {auto 0 {conArg:13268} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> Bits32 -> JSIO Bool
Totality: total
Visibility: export
selectNodeContents : {auto 0 {conArg:13306} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
selectNode : {auto 0 {conArg:13338} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
setEndAfter : {auto 0 {conArg:13370} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
setEndBefore : {auto 0 {conArg:13402} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
setEnd : {auto 0 {conArg:13434} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> Bits32 -> JSIO ()
Totality: total
Visibility: export
setStartAfter : {auto 0 {conArg:13469} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
setStartBefore : {auto 0 {conArg:13501} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
setStart : {auto 0 {conArg:13533} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> Bits32 -> JSIO ()
Totality: total
Visibility: export
surroundContents : {auto 0 {conArg:13568} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> Range -> t2 -> JSIO ()
Totality: total
Visibility: export
toString : Range -> JSIO String
Totality: total
Visibility: export
host : {auto 0 {conArg:13606} : JSType t1} -> {auto 0 _ : Elem ShadowRoot (Types t1)} -> t1 -> JSIO Element
Totality: total
Visibility: export
mode : {auto 0 {conArg:13634} : JSType t1} -> {auto 0 _ : Elem ShadowRoot (Types t1)} -> t1 -> JSIO ShadowRootMode
Totality: total
Visibility: export
onslotchange : {auto 0 {conArg:13666} : JSType t} -> {auto 0 _ : Elem ShadowRoot (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
new : {auto 0 {conArg:13704} : JSType t1} -> {auto 0 _ : Elem StaticRangeInit (Types t1)} -> t1 -> JSIO StaticRange
Totality: total
Visibility: export
new' : Optional String -> JSIO Text
Totality: total
Visibility: export
new : JSIO Text
Totality: total
Visibility: export
wholeText : {auto 0 {conArg:13750} : JSType t1} -> {auto 0 _ : Elem Text (Types t1)} -> t1 -> JSIO String
Totality: total
Visibility: export
splitText : {auto 0 {conArg:13778} : JSType t1} -> {auto 0 _ : Elem Text (Types t1)} -> t1 -> Bits32 -> JSIO Text
Totality: total
Visibility: export
currentNode : TreeWalker -> Attribute True id Node
Totality: total
Visibility: export
filter : TreeWalker -> JSIO (Maybe NodeFilter)
Totality: total
Visibility: export
root : TreeWalker -> JSIO Node
Totality: total
Visibility: export
whatToShow : TreeWalker -> JSIO Bits32
Totality: total
Visibility: export
firstChild : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
lastChild : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
nextNode : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
nextSibling : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
parentNode : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
previousNode : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
previousSibling : TreeWalker -> JSIO (Maybe Node)
Totality: total
Visibility: export
new : JSIO XMLSerializer
Totality: total
Visibility: export
serializeToString : {auto 0 {conArg:13954} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> XMLSerializer -> t2 -> JSIO String
Totality: total
Visibility: export
new : JSIO XPathEvaluator
Totality: total
Visibility: export
evaluate' : {auto 0 {conArg:13988} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> XPathExpression -> t2 -> Optional Bits16 -> Optional (Maybe XPathResult) -> JSIO XPathResult
Totality: total
Visibility: export
evaluate : {auto 0 {conArg:14041} : JSType t2} -> {auto 0 _ : Elem Node (Types t2)} -> XPathExpression -> t2 -> JSIO XPathResult
Totality: total
Visibility: export
ANY_TYPE : Bits16
Totality: total
Visibility: public export
ANY_UNORDERED_NODE_TYPE : Bits16
Totality: total
Visibility: public export
BOOLEAN_TYPE : Bits16
Totality: total
Visibility: public export
FIRST_ORDERED_NODE_TYPE : Bits16
Totality: total
Visibility: public export
NUMBER_TYPE : Bits16
Totality: total
Visibility: public export
ORDERED_NODE_ITERATOR_TYPE : Bits16
Totality: total
Visibility: public export
ORDERED_NODE_SNAPSHOT_TYPE : Bits16
Totality: total
Visibility: public export
STRING_TYPE : Bits16
Totality: total
Visibility: public export
UNORDERED_NODE_ITERATOR_TYPE : Bits16
Totality: total
Visibility: public export
UNORDERED_NODE_SNAPSHOT_TYPE : Bits16
Totality: total
Visibility: public export
booleanValue : XPathResult -> JSIO Bool
Totality: total
Visibility: export
invalidIteratorState : XPathResult -> JSIO Bool
Totality: total
Visibility: export
numberValue : XPathResult -> JSIO Double
Totality: total
Visibility: export
resultType : XPathResult -> JSIO Bits16
Totality: total
Visibility: export
singleNodeValue : XPathResult -> JSIO (Maybe Node)
Totality: total
Visibility: export
snapshotLength : XPathResult -> JSIO Bits32
Totality: total
Visibility: export
stringValue : XPathResult -> JSIO String
Totality: total
Visibility: export
iterateNext : XPathResult -> JSIO (Maybe Node)
Totality: total
Visibility: export
snapshotItem : XPathResult -> Bits32 -> JSIO (Maybe Node)
Totality: total
Visibility: export
after : {auto 0 {conArg:14193} : JSType t1} -> {auto 0 _ : Elem ChildNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
before : {auto 0 {conArg:14259} : JSType t1} -> {auto 0 _ : Elem ChildNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
remove : {auto 0 {conArg:14325} : JSType t1} -> {auto 0 _ : Elem ChildNode (Types t1)} -> t1 -> JSIO ()
Totality: total
Visibility: export
replaceWith : {auto 0 {conArg:14354} : JSType t1} -> {auto 0 _ : Elem ChildNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
styleSheets : {auto 0 {conArg:14420} : JSType t1} -> {auto 0 _ : Elem DocumentOrShadowRoot (Types t1)} -> t1 -> JSIO StyleSheetList
Totality: total
Visibility: export
innerHTML : {auto 0 {conArg:14448} : JSType t} -> {auto 0 _ : Elem InnerHTML (Types t)} -> t -> Attribute True id String
Totality: total
Visibility: export
nextElementSibling : {auto 0 {conArg:14486} : JSType t1} -> {auto 0 _ : Elem NonDocumentTypeChildNode (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
previousElementSibling : {auto 0 {conArg:14522} : JSType t1} -> {auto 0 _ : Elem NonDocumentTypeChildNode (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
getElementById : {auto 0 {conArg:14558} : JSType t1} -> {auto 0 _ : Elem NonElementParentNode (Types t1)} -> t1 -> String -> JSIO (Maybe Element)
Totality: total
Visibility: export
childElementCount : {auto 0 {conArg:14597} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> JSIO Bits32
Totality: total
Visibility: export
children : {auto 0 {conArg:14625} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> JSIO HTMLCollection
Totality: total
Visibility: export
firstElementChild : {auto 0 {conArg:14653} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
lastElementChild : {auto 0 {conArg:14689} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> JSIO (Maybe Element)
Totality: total
Visibility: export
append : {auto 0 {conArg:14725} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
prepend : {auto 0 {conArg:14791} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
querySelectorAll : {auto 0 {conArg:14857} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> String -> JSIO NodeList
Totality: total
Visibility: export
querySelector : {auto 0 {conArg:14888} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> String -> JSIO (Maybe Element)
Totality: total
Visibility: export
replaceChildren : {auto 0 {conArg:14927} : JSType t1} -> {auto 0 _ : Elem ParentNode (Types t1)} -> t1 -> List (HSum [Node, String]) -> JSIO ()
Totality: total
Visibility: export
assignedSlot : {auto 0 {conArg:14993} : JSType t1} -> {auto 0 _ : Elem Slottable (Types t1)} -> t1 -> JSIO (Maybe HTMLSlotElement)
Totality: total
Visibility: export
createExpression' : {auto 0 {conArg:15029} : JSType t1} -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)} -> t1 -> String -> Optional (Maybe XPathNSResolver) -> JSIO XPathExpression
Totality: total
Visibility: export
createExpression : {auto 0 {conArg:15073} : JSType t1} -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)} -> t1 -> String -> JSIO XPathExpression
Totality: total
Visibility: export
createNSResolver : {auto 0 {conArg:15105} : JSType t1} -> {auto 0 {conArg:15108} : JSType t2} -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)} -> {auto 0 _ : Elem Node (Types t2)} -> t1 -> t2 -> JSIO XPathNSResolver
Totality: total
Visibility: export
evaluate' : {auto 0 {conArg:15158} : JSType t1} -> {auto 0 {conArg:15161} : JSType t3} -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)} -> {auto 0 _ : Elem Node (Types t3)} -> t1 -> String -> t3 -> Optional (Maybe XPathNSResolver) -> Optional Bits16 -> Optional (Maybe XPathResult) -> JSIO XPathResult
Totality: total
Visibility: export
evaluate : {auto 0 {conArg:15249} : JSType t1} -> {auto 0 {conArg:15252} : JSType t3} -> {auto 0 _ : Elem XPathEvaluatorBase (Types t1)} -> {auto 0 _ : Elem Node (Types t3)} -> t1 -> String -> t3 -> JSIO XPathResult
Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional AbortSignal -> JSIO AddEventListenerOptions
Totality: total
Visibility: export
new : JSIO AddEventListenerOptions
Totality: total
Visibility: export
once : {auto 0 {conArg:15344} : JSType t} -> {auto 0 _ : Elem AddEventListenerOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
passive : {auto 0 {conArg:15382} : JSType t} -> {auto 0 _ : Elem AddEventListenerOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
signal : {auto 0 {conArg:15420} : JSType t} -> {auto 0 _ : Elem AddEventListenerOptions (Types t)} -> t -> Attribute False Optional AbortSignal
Totality: total
Visibility: export
new' : Optional Any -> JSIO CustomEventInit
Totality: total
Visibility: export
new : JSIO CustomEventInit
Totality: total
Visibility: export
detail : {auto 0 {conArg:15475} : JSType t} -> {auto 0 _ : Elem CustomEventInit (Types t)} -> t -> Attribute True Optional Any
Totality: total
Visibility: export
new' : Optional String -> JSIO ElementCreationOptions
Totality: total
Visibility: export
new : JSIO ElementCreationOptions
Totality: total
Visibility: export
is : {auto 0 {conArg:15534} : JSType t} -> {auto 0 _ : Elem ElementCreationOptions (Types t)} -> t -> Attribute False Optional String
Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> JSIO EventInit
Totality: total
Visibility: export
new : JSIO EventInit
Totality: total
Visibility: export
bubbles : {auto 0 {conArg:15607} : JSType t} -> {auto 0 _ : Elem EventInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
cancelable : {auto 0 {conArg:15646} : JSType t} -> {auto 0 _ : Elem EventInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
composed : {auto 0 {conArg:15685} : JSType t} -> {auto 0 _ : Elem EventInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new' : Optional Bool -> JSIO EventListenerOptions
Totality: total
Visibility: export
new : JSIO EventListenerOptions
Totality: total
Visibility: export
capture : {auto 0 {conArg:15741} : JSType t} -> {auto 0 _ : Elem EventListenerOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new' : Optional Bool -> JSIO GetRootNodeOptions
Totality: total
Visibility: export
new : JSIO GetRootNodeOptions
Totality: total
Visibility: export
composed : {auto 0 {conArg:15795} : JSType t} -> {auto 0 _ : Elem GetRootNodeOptions (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional Bool -> Optional (Array String) -> JSIO MutationObserverInit
Totality: total
Visibility: export
new : JSIO MutationObserverInit
Totality: total
Visibility: export
attributeFilter : {auto 0 {conArg:15912} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute False Optional (Array String)
Totality: total
Visibility: export
attributeOldValue : {auto 0 {conArg:15951} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute False Optional Bool
Totality: total
Visibility: export
attributes : {auto 0 {conArg:15988} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute False Optional Bool
Totality: total
Visibility: export
characterData : {auto 0 {conArg:16026} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute False Optional Bool
Totality: total
Visibility: export
characterDataOldValue : {auto 0 {conArg:16063} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute False Optional Bool
Totality: total
Visibility: export
childList : {auto 0 {conArg:16100} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
subtree : {auto 0 {conArg:16138} : JSType t} -> {auto 0 _ : Elem MutationObserverInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new' : ShadowRootMode -> Optional Bool -> JSIO ShadowRootInit
Totality: total
Visibility: export
new : ShadowRootMode -> JSIO ShadowRootInit
Totality: total
Visibility: export
delegatesFocus : {auto 0 {conArg:16204} : JSType t} -> {auto 0 _ : Elem ShadowRootInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
mode : {auto 0 {conArg:16242} : JSType t} -> {auto 0 _ : Elem ShadowRootInit (Types t)} -> t -> Attribute True id ShadowRootMode
Totality: total
Visibility: export
new : {auto 0 {conArg:16281} : JSType t1} -> {auto 0 {conArg:16284} : JSType t3} -> {auto 0 _ : Elem Node (Types t1)} -> {auto 0 _ : Elem Node (Types t3)} -> t1 -> Bits32 -> t3 -> Bits32 -> JSIO StaticRangeInit
Totality: total
Visibility: export
endContainer : {auto 0 {conArg:16340} : JSType t} -> {auto 0 _ : Elem StaticRangeInit (Types t)} -> t -> Attribute True id Node
Totality: total
Visibility: export
endOffset : {auto 0 {conArg:16379} : JSType t} -> {auto 0 _ : Elem StaticRangeInit (Types t)} -> t -> Attribute True id Bits32
Totality: total
Visibility: export
startContainer : {auto 0 {conArg:16418} : JSType t} -> {auto 0 _ : Elem StaticRangeInit (Types t)} -> t -> Attribute True id Node
Totality: total
Visibility: export
startOffset : {auto 0 {conArg:16457} : JSType t} -> {auto 0 _ : Elem StaticRangeInit (Types t)} -> t -> Attribute True id Bits32
Totality: total
Visibility: export
toEventListener : (Event -> IO ()) -> JSIO EventListener
Totality: total
Visibility: export
toMutationCallback : (Array MutationRecord -> MutationObserver -> IO ()) -> JSIO MutationCallback
Totality: total
Visibility: export
toNodeFilter : (Node -> IO Bits16) -> JSIO NodeFilter
Totality: total
Visibility: export
FILTER_ACCEPT : Bits16
Totality: total
Visibility: public export
FILTER_REJECT : Bits16
Totality: total
Visibility: public export
FILTER_SKIP : Bits16
Totality: total
Visibility: public export
SHOW_ALL : Bits32
Totality: total
Visibility: public export
SHOW_ATTRIBUTE : Bits32
Totality: total
Visibility: public export
SHOW_CDATA_SECTION : Bits32
Totality: total
Visibility: public export
SHOW_COMMENT : Bits32
Totality: total
Visibility: public export
SHOW_DOCUMENT : Bits32
Totality: total
Visibility: public export
SHOW_DOCUMENT_FRAGMENT : Bits32
Totality: total
Visibility: public export
SHOW_DOCUMENT_TYPE : Bits32
Totality: total
Visibility: public export
SHOW_ELEMENT : Bits32
Totality: total
Visibility: public export
SHOW_ENTITY : Bits32
Totality: total
Visibility: public export
SHOW_ENTITY_REFERENCE : Bits32
Totality: total
Visibility: public export
SHOW_NOTATION : Bits32
Totality: total
Visibility: public export
SHOW_PROCESSING_INSTRUCTION : Bits32
Totality: total
Visibility: public export
SHOW_TEXT : Bits32
Totality: total
Visibility: public export
toXPathNSResolver : (Nullable String -> IO (Nullable String)) -> JSIO XPathNSResolver
Totality: total
Visibility: export