3 | import Web.Internal.HtmlPrim
4 | import Web.Internal.Types
13 | namespace AudioTrack
16 | enabled : AudioTrack -> Attribute True Prelude.id Bool
17 | enabled v = fromPrim "AudioTrack.getenabled" prim__enabled prim__setEnabled v
21 | id : (obj : AudioTrack) -> JSIO String
22 | id a = primJS $
AudioTrack.prim__id a
26 | kind : (obj : AudioTrack) -> JSIO String
27 | kind a = primJS $
AudioTrack.prim__kind a
31 | label : (obj : AudioTrack) -> JSIO String
32 | label a = primJS $
AudioTrack.prim__label a
36 | language : (obj : AudioTrack) -> JSIO String
37 | language a = primJS $
AudioTrack.prim__language a
41 | sourceBuffer : (obj : AudioTrack) -> JSIO (Maybe SourceBuffer)
42 | sourceBuffer a = tryJS "AudioTrack.sourceBuffer" $
43 | AudioTrack.prim__sourceBuffer a
47 | namespace AudioTrackList
50 | get : (obj : AudioTrackList) -> (index : Bits32) -> JSIO AudioTrack
51 | get a b = primJS $
AudioTrackList.prim__get a b
55 | length : (obj : AudioTrackList) -> JSIO Bits32
56 | length a = primJS $
AudioTrackList.prim__length a
60 | onaddtrack : AudioTrackList -> Attribute False Maybe EventHandlerNonNull
61 | onaddtrack v = fromNullablePrim
62 | "AudioTrackList.getonaddtrack"
69 | onchange : AudioTrackList -> Attribute False Maybe EventHandlerNonNull
70 | onchange v = fromNullablePrim
71 | "AudioTrackList.getonchange"
78 | onremovetrack : AudioTrackList -> Attribute False Maybe EventHandlerNonNull
79 | onremovetrack v = fromNullablePrim
80 | "AudioTrackList.getonremovetrack"
82 | prim__setOnremovetrack
88 | (obj : AudioTrackList)
90 | -> JSIO (Maybe AudioTrack)
91 | getTrackById a b = tryJS "AudioTrackList.getTrackById" $
92 | AudioTrackList.prim__getTrackById a b
99 | visible : (obj : BarProp) -> JSIO Bool
100 | visible a = tryJS "BarProp.visible" $
BarProp.prim__visible a
104 | namespace BeforeUnloadEvent
107 | returnValue : BeforeUnloadEvent -> Attribute True Prelude.id String
108 | returnValue v = fromPrim
109 | "BeforeUnloadEvent.getreturnValue"
111 | prim__setReturnValue
116 | namespace BroadcastChannel
119 | new : (name : String) -> JSIO BroadcastChannel
120 | new a = primJS $
BroadcastChannel.prim__new a
124 | name : (obj : BroadcastChannel) -> JSIO String
125 | name a = primJS $
BroadcastChannel.prim__name a
129 | onmessage : BroadcastChannel -> Attribute False Maybe EventHandlerNonNull
130 | onmessage v = fromNullablePrim
131 | "BroadcastChannel.getonmessage"
138 | onmessageerror : BroadcastChannel -> Attribute False Maybe EventHandlerNonNull
139 | onmessageerror v = fromNullablePrim
140 | "BroadcastChannel.getonmessageerror"
141 | prim__onmessageerror
142 | prim__setOnmessageerror
147 | close : (obj : BroadcastChannel) -> JSIO ()
148 | close a = primJS $
BroadcastChannel.prim__close a
152 | postMessage : (obj : BroadcastChannel) -> (message : Any) -> JSIO ()
153 | postMessage a b = primJS $
BroadcastChannel.prim__postMessage a (toFFI b)
157 | namespace CanvasGradient
161 | (obj : CanvasGradient)
162 | -> (offset : Double)
163 | -> (color : String)
165 | addColorStop a b c = primJS $
CanvasGradient.prim__addColorStop a b c
169 | namespace CanvasPattern
173 | {auto 0 _ : JSType t2}
174 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)}
175 | -> (obj : CanvasPattern)
176 | -> (transform : Optional t2)
178 | setTransform' a b = primJS $
CanvasPattern.prim__setTransform a (optUp b)
181 | setTransform : (obj : CanvasPattern) -> JSIO ()
182 | setTransform a = primJS $
CanvasPattern.prim__setTransform a undef
186 | namespace CanvasRenderingContext2D
189 | canvas : (obj : CanvasRenderingContext2D) -> JSIO HTMLCanvasElement
190 | canvas a = primJS $
CanvasRenderingContext2D.prim__canvas a
194 | getContextAttributes :
195 | (obj : CanvasRenderingContext2D)
196 | -> JSIO CanvasRenderingContext2DSettings
197 | getContextAttributes a = primJS $
198 | CanvasRenderingContext2D.prim__getContextAttributes a
202 | namespace CloseEvent
206 | {auto 0 _ : JSType t2}
207 | -> {auto 0 _ : Elem CloseEventInit (Types t2)}
209 | -> (eventInitDict : Optional t2)
211 | new' a b = primJS $
CloseEvent.prim__new a (optUp b)
214 | new : (type : String) -> JSIO CloseEvent
215 | new a = primJS $
CloseEvent.prim__new a undef
219 | code : (obj : CloseEvent) -> JSIO Bits16
220 | code a = primJS $
CloseEvent.prim__code a
224 | reason : (obj : CloseEvent) -> JSIO String
225 | reason a = primJS $
CloseEvent.prim__reason a
229 | wasClean : (obj : CloseEvent) -> JSIO Bool
230 | wasClean a = tryJS "CloseEvent.wasClean" $
CloseEvent.prim__wasClean a
234 | namespace CustomElementRegistry
238 | {auto 0 _ : JSType t4}
239 | -> {auto 0 _ : Elem ElementDefinitionOptions (Types t4)}
240 | -> (obj : CustomElementRegistry)
242 | -> (constructor : CustomElementConstructor)
243 | -> (options : Optional t4)
245 | define' a b c d = primJS $
CustomElementRegistry.prim__define a b c (optUp d)
249 | (obj : CustomElementRegistry)
251 | -> (constructor : CustomElementConstructor)
253 | define a b c = primJS $
CustomElementRegistry.prim__define a b c undef
258 | (obj : CustomElementRegistry)
260 | -> JSIO (Union2 CustomElementConstructor Undefined)
261 | get a b = primJS $
CustomElementRegistry.prim__get a b
266 | {auto 0 _ : JSType t2}
267 | -> {auto 0 _ : Elem Node (Types t2)}
268 | -> (obj : CustomElementRegistry)
271 | upgrade a b = primJS $
CustomElementRegistry.prim__upgrade a (up b)
276 | (obj : CustomElementRegistry)
278 | -> JSIO (Promise CustomElementConstructor)
279 | whenDefined a b = primJS $
CustomElementRegistry.prim__whenDefined a b
283 | namespace DOMParser
286 | new : JSIO DOMParser
287 | new = primJS $
DOMParser.prim__new
293 | -> (string : String)
294 | -> (type : DOMParserSupportedType)
296 | parseFromString a b c = primJS $
DOMParser.prim__parseFromString a b (toFFI c)
300 | namespace DOMStringList
303 | length : (obj : DOMStringList) -> JSIO Bits32
304 | length a = primJS $
DOMStringList.prim__length a
308 | contains : (obj : DOMStringList) -> (string : String) -> JSIO Bool
309 | contains a b = tryJS "DOMStringList.contains" $
310 | DOMStringList.prim__contains a b
314 | item : (obj : DOMStringList) -> (index : Bits32) -> JSIO (Maybe String)
315 | item a b = tryJS "DOMStringList.item" $
DOMStringList.prim__item a b
319 | namespace DOMStringMap
322 | get : (obj : DOMStringMap) -> (name : String) -> JSIO String
323 | get a b = primJS $
DOMStringMap.prim__get a b
327 | set : (obj : DOMStringMap) -> (name : String) -> (value : String) -> JSIO ()
328 | set a b c = primJS $
DOMStringMap.prim__set a b c
332 | namespace DataTransfer
335 | new : JSIO DataTransfer
336 | new = primJS $
DataTransfer.prim__new
340 | dropEffect : DataTransfer -> Attribute True Prelude.id String
341 | dropEffect v = fromPrim
342 | "DataTransfer.getdropEffect"
344 | prim__setDropEffect
349 | effectAllowed : DataTransfer -> Attribute True Prelude.id String
350 | effectAllowed v = fromPrim
351 | "DataTransfer.geteffectAllowed"
352 | prim__effectAllowed
353 | prim__setEffectAllowed
358 | files : (obj : DataTransfer) -> JSIO FileList
359 | files a = primJS $
DataTransfer.prim__files a
363 | items : (obj : DataTransfer) -> JSIO DataTransferItemList
364 | items a = primJS $
DataTransfer.prim__items a
368 | types : (obj : DataTransfer) -> JSIO (Array String)
369 | types a = primJS $
DataTransfer.prim__types a
373 | clearData' : (obj : DataTransfer) -> (format : Optional String) -> JSIO ()
374 | clearData' a b = primJS $
DataTransfer.prim__clearData a (toFFI b)
377 | clearData : (obj : DataTransfer) -> JSIO ()
378 | clearData a = primJS $
DataTransfer.prim__clearData a undef
382 | getData : (obj : DataTransfer) -> (format : String) -> JSIO String
383 | getData a b = primJS $
DataTransfer.prim__getData a b
388 | (obj : DataTransfer)
389 | -> (format : String)
390 | -> (data_ : String)
392 | setData a b c = primJS $
DataTransfer.prim__setData a b c
397 | {auto 0 _ : JSType t2}
398 | -> {auto 0 _ : Elem Element (Types t2)}
399 | -> (obj : DataTransfer)
404 | setDragImage a b c d = primJS $
DataTransfer.prim__setDragImage a (up b) c d
408 | namespace DataTransferItem
411 | kind : (obj : DataTransferItem) -> JSIO String
412 | kind a = primJS $
DataTransferItem.prim__kind a
416 | type : (obj : DataTransferItem) -> JSIO String
417 | type a = primJS $
DataTransferItem.prim__type a
421 | getAsFile : (obj : DataTransferItem) -> JSIO (Maybe File)
422 | getAsFile a = tryJS "DataTransferItem.getAsFile" $
423 | DataTransferItem.prim__getAsFile a
428 | (obj : DataTransferItem)
429 | -> (callback : Maybe FunctionStringCallback)
431 | getAsString a b = primJS $
DataTransferItem.prim__getAsString a (toFFI b)
435 | namespace DataTransferItemList
439 | (obj : DataTransferItemList)
440 | -> (index : Bits32)
441 | -> JSIO DataTransferItem
442 | get a b = primJS $
DataTransferItemList.prim__get a b
446 | length : (obj : DataTransferItemList) -> JSIO Bits32
447 | length a = primJS $
DataTransferItemList.prim__length a
452 | (obj : DataTransferItemList)
453 | -> (data_ : String)
455 | -> JSIO (Maybe DataTransferItem)
456 | add a b c = tryJS "DataTransferItemList.add" $
457 | DataTransferItemList.prim__add a b c
462 | (obj : DataTransferItemList)
464 | -> JSIO (Maybe DataTransferItem)
465 | add1 a b = tryJS "DataTransferItemList.add1" $
466 | DataTransferItemList.prim__add1 a b
470 | clear : (obj : DataTransferItemList) -> JSIO ()
471 | clear a = primJS $
DataTransferItemList.prim__clear a
475 | remove : (obj : DataTransferItemList) -> (index : Bits32) -> JSIO ()
476 | remove a b = primJS $
DataTransferItemList.prim__remove a b
480 | namespace DedicatedWorkerGlobalScope
483 | name : (obj : DedicatedWorkerGlobalScope) -> JSIO String
484 | name a = primJS $
DedicatedWorkerGlobalScope.prim__name a
489 | DedicatedWorkerGlobalScope
490 | -> Attribute False Maybe EventHandlerNonNull
491 | onmessage v = fromNullablePrim
492 | "DedicatedWorkerGlobalScope.getonmessage"
500 | DedicatedWorkerGlobalScope
501 | -> Attribute False Maybe EventHandlerNonNull
502 | onmessageerror v = fromNullablePrim
503 | "DedicatedWorkerGlobalScope.getonmessageerror"
504 | prim__onmessageerror
505 | prim__setOnmessageerror
510 | close : (obj : DedicatedWorkerGlobalScope) -> JSIO ()
511 | close a = primJS $
DedicatedWorkerGlobalScope.prim__close a
516 | (obj : DedicatedWorkerGlobalScope)
518 | -> (transfer : Array Object)
520 | postMessage a b c = primJS $
521 | DedicatedWorkerGlobalScope.prim__postMessage a (toFFI b) c
526 | {auto 0 _ : JSType t3}
527 | -> {auto 0 _ : Elem PostMessageOptions (Types t3)}
528 | -> (obj : DedicatedWorkerGlobalScope)
530 | -> (options : Optional t3)
532 | postMessage1' a b c = primJS $
533 | DedicatedWorkerGlobalScope.prim__postMessage1 a (toFFI b) (optUp c)
537 | (obj : DedicatedWorkerGlobalScope)
540 | postMessage1 a b = primJS $
541 | DedicatedWorkerGlobalScope.prim__postMessage1 a (toFFI b) undef
545 | namespace DragEvent
549 | {auto 0 _ : JSType t2}
550 | -> {auto 0 _ : Elem DragEventInit (Types t2)}
552 | -> (eventInitDict : Optional t2)
554 | new' a b = primJS $
DragEvent.prim__new a (optUp b)
557 | new : (type : String) -> JSIO DragEvent
558 | new a = primJS $
DragEvent.prim__new a undef
562 | dataTransfer : (obj : DragEvent) -> JSIO (Maybe DataTransfer)
563 | dataTransfer a = tryJS "DragEvent.dataTransfer" $
564 | DragEvent.prim__dataTransfer a
568 | namespace ElementInternals
571 | form : (obj : ElementInternals) -> JSIO (Maybe HTMLFormElement)
572 | form a = tryJS "ElementInternals.form" $
ElementInternals.prim__form a
576 | labels : (obj : ElementInternals) -> JSIO NodeList
577 | labels a = primJS $
ElementInternals.prim__labels a
581 | shadowRoot : (obj : ElementInternals) -> JSIO (Maybe ShadowRoot)
582 | shadowRoot a = tryJS "ElementInternals.shadowRoot" $
583 | ElementInternals.prim__shadowRoot a
587 | validationMessage : (obj : ElementInternals) -> JSIO String
588 | validationMessage a = primJS $
ElementInternals.prim__validationMessage a
592 | validity : (obj : ElementInternals) -> JSIO ValidityState
593 | validity a = primJS $
ElementInternals.prim__validity a
597 | willValidate : (obj : ElementInternals) -> JSIO Bool
598 | willValidate a = tryJS "ElementInternals.willValidate" $
599 | ElementInternals.prim__willValidate a
603 | checkValidity : (obj : ElementInternals) -> JSIO Bool
604 | checkValidity a = tryJS "ElementInternals.checkValidity" $
605 | ElementInternals.prim__checkValidity a
609 | reportValidity : (obj : ElementInternals) -> JSIO Bool
610 | reportValidity a = tryJS "ElementInternals.reportValidity" $
611 | ElementInternals.prim__reportValidity a
616 | (obj : ElementInternals)
617 | -> (value : Maybe (HSum [File, String, FormData]))
618 | -> (state : Optional (Maybe (HSum [File, String, FormData])))
620 | setFormValue' a b c = primJS $
621 | ElementInternals.prim__setFormValue a (toFFI b) (toFFI c)
625 | (obj : ElementInternals)
626 | -> (value : Maybe (HSum [File, String, FormData]))
628 | setFormValue a b = primJS $
629 | ElementInternals.prim__setFormValue a (toFFI b) undef
634 | {auto 0 _ : JSType t2}
635 | -> {auto 0 _ : JSType t4}
636 | -> {auto 0 _ : Elem ValidityStateFlags (Types t2)}
637 | -> {auto 0 _ : Elem HTMLElement (Types t4)}
638 | -> (obj : ElementInternals)
639 | -> (flags : Optional t2)
640 | -> (message : Optional String)
641 | -> (anchor : Optional t4)
643 | setValidity' a b c d = primJS $
644 | ElementInternals.prim__setValidity a (optUp b) (toFFI c) (optUp d)
647 | setValidity : (obj : ElementInternals) -> JSIO ()
648 | setValidity a = primJS $
649 | ElementInternals.prim__setValidity a undef undef undef
653 | namespace ErrorEvent
657 | {auto 0 _ : JSType t2}
658 | -> {auto 0 _ : Elem ErrorEventInit (Types t2)}
660 | -> (eventInitDict : Optional t2)
662 | new' a b = primJS $
ErrorEvent.prim__new a (optUp b)
665 | new : (type : String) -> JSIO ErrorEvent
666 | new a = primJS $
ErrorEvent.prim__new a undef
670 | colno : (obj : ErrorEvent) -> JSIO Bits32
671 | colno a = primJS $
ErrorEvent.prim__colno a
675 | error : (obj : ErrorEvent) -> JSIO Any
676 | error a = tryJS "ErrorEvent.error" $
ErrorEvent.prim__error a
680 | filename : (obj : ErrorEvent) -> JSIO String
681 | filename a = primJS $
ErrorEvent.prim__filename a
685 | lineno : (obj : ErrorEvent) -> JSIO Bits32
686 | lineno a = primJS $
ErrorEvent.prim__lineno a
690 | message : (obj : ErrorEvent) -> JSIO String
691 | message a = primJS $
ErrorEvent.prim__message a
695 | namespace EventSource
703 | CONNECTING : Bits16
714 | {auto 0 _ : JSType t2}
715 | -> {auto 0 _ : Elem EventSourceInit (Types t2)}
717 | -> (eventSourceInitDict : Optional t2)
718 | -> JSIO EventSource
719 | new' a b = primJS $
EventSource.prim__new a (optUp b)
722 | new : (url : String) -> JSIO EventSource
723 | new a = primJS $
EventSource.prim__new a undef
727 | onerror : EventSource -> Attribute False Maybe EventHandlerNonNull
728 | onerror v = fromNullablePrim
729 | "EventSource.getonerror"
736 | onmessage : EventSource -> Attribute False Maybe EventHandlerNonNull
737 | onmessage v = fromNullablePrim
738 | "EventSource.getonmessage"
745 | onopen : EventSource -> Attribute False Maybe EventHandlerNonNull
746 | onopen v = fromNullablePrim
747 | "EventSource.getonopen"
754 | readyState : (obj : EventSource) -> JSIO Bits16
755 | readyState a = primJS $
EventSource.prim__readyState a
759 | url : (obj : EventSource) -> JSIO String
760 | url a = primJS $
EventSource.prim__url a
764 | withCredentials : (obj : EventSource) -> JSIO Bool
765 | withCredentials a = tryJS "EventSource.withCredentials" $
766 | EventSource.prim__withCredentials a
770 | close : (obj : EventSource) -> JSIO ()
771 | close a = primJS $
EventSource.prim__close a
778 | AddSearchProvider : (obj : External) -> JSIO ()
779 | AddSearchProvider a = primJS $
External.prim__AddSearchProvider a
783 | IsSearchProviderInstalled : (obj : External) -> JSIO ()
784 | IsSearchProviderInstalled a = primJS $
785 | External.prim__IsSearchProviderInstalled a
789 | namespace FormDataEvent
793 | {auto 0 _ : JSType t2}
794 | -> {auto 0 _ : Elem FormDataEventInit (Types t2)}
796 | -> (eventInitDict : t2)
797 | -> JSIO FormDataEvent
798 | new a b = primJS $
FormDataEvent.prim__new a (up b)
802 | formData : (obj : FormDataEvent) -> JSIO FormData
803 | formData a = primJS $
FormDataEvent.prim__formData a
807 | namespace HTMLAllCollection
810 | get : (obj : HTMLAllCollection) -> (index : Bits32) -> JSIO Element
811 | get a b = primJS $
HTMLAllCollection.prim__get a b
815 | length : (obj : HTMLAllCollection) -> JSIO Bits32
816 | length a = primJS $
HTMLAllCollection.prim__length a
821 | (obj : HTMLAllCollection)
822 | -> (nameOrIndex : Optional String)
823 | -> JSIO (Maybe (HSum [HTMLCollection, Element]))
824 | item' a b = tryJS "HTMLAllCollection.item'" $
825 | HTMLAllCollection.prim__item a (toFFI b)
829 | (obj : HTMLAllCollection)
830 | -> JSIO (Maybe (HSum [HTMLCollection, Element]))
831 | item a = tryJS "HTMLAllCollection.item" $
HTMLAllCollection.prim__item a undef
836 | (obj : HTMLAllCollection)
838 | -> JSIO (Maybe (HSum [HTMLCollection, Element]))
839 | namedItem a b = tryJS "HTMLAllCollection.namedItem" $
840 | HTMLAllCollection.prim__namedItem a b
844 | namespace HTMLAnchorElement
847 | new : JSIO HTMLAnchorElement
848 | new = primJS $
HTMLAnchorElement.prim__new
852 | charset : HTMLAnchorElement -> Attribute True Prelude.id String
853 | charset v = fromPrim
854 | "HTMLAnchorElement.getcharset"
861 | coords : HTMLAnchorElement -> Attribute True Prelude.id String
862 | coords v = fromPrim
863 | "HTMLAnchorElement.getcoords"
870 | download : HTMLAnchorElement -> Attribute True Prelude.id String
871 | download v = fromPrim
872 | "HTMLAnchorElement.getdownload"
879 | hreflang : HTMLAnchorElement -> Attribute True Prelude.id String
880 | hreflang v = fromPrim
881 | "HTMLAnchorElement.gethreflang"
888 | name : HTMLAnchorElement -> Attribute True Prelude.id String
889 | name v = fromPrim "HTMLAnchorElement.getname" prim__name prim__setName v
893 | ping : HTMLAnchorElement -> Attribute True Prelude.id String
894 | ping v = fromPrim "HTMLAnchorElement.getping" prim__ping prim__setPing v
898 | referrerPolicy : HTMLAnchorElement -> Attribute True Prelude.id String
899 | referrerPolicy v = fromPrim
900 | "HTMLAnchorElement.getreferrerPolicy"
901 | prim__referrerPolicy
902 | prim__setReferrerPolicy
907 | rel : HTMLAnchorElement -> Attribute True Prelude.id String
908 | rel v = fromPrim "HTMLAnchorElement.getrel" prim__rel prim__setRel v
912 | relList : (obj : HTMLAnchorElement) -> JSIO DOMTokenList
913 | relList a = primJS $
HTMLAnchorElement.prim__relList a
917 | rev : HTMLAnchorElement -> Attribute True Prelude.id String
918 | rev v = fromPrim "HTMLAnchorElement.getrev" prim__rev prim__setRev v
922 | shape : HTMLAnchorElement -> Attribute True Prelude.id String
923 | shape v = fromPrim "HTMLAnchorElement.getshape" prim__shape prim__setShape v
927 | target : HTMLAnchorElement -> Attribute True Prelude.id String
928 | target v = fromPrim
929 | "HTMLAnchorElement.gettarget"
936 | text : HTMLAnchorElement -> Attribute True Prelude.id String
937 | text v = fromPrim "HTMLAnchorElement.gettext" prim__text prim__setText v
941 | type : HTMLAnchorElement -> Attribute True Prelude.id String
942 | type v = fromPrim "HTMLAnchorElement.gettype" prim__type prim__setType v
946 | namespace HTMLAreaElement
949 | new : JSIO HTMLAreaElement
950 | new = primJS $
HTMLAreaElement.prim__new
954 | alt : HTMLAreaElement -> Attribute True Prelude.id String
955 | alt v = fromPrim "HTMLAreaElement.getalt" prim__alt prim__setAlt v
959 | coords : HTMLAreaElement -> Attribute True Prelude.id String
960 | coords v = fromPrim "HTMLAreaElement.getcoords" prim__coords prim__setCoords v
964 | download : HTMLAreaElement -> Attribute True Prelude.id String
965 | download v = fromPrim
966 | "HTMLAreaElement.getdownload"
973 | noHref : HTMLAreaElement -> Attribute True Prelude.id Bool
974 | noHref v = fromPrim "HTMLAreaElement.getnoHref" prim__noHref prim__setNoHref v
978 | ping : HTMLAreaElement -> Attribute True Prelude.id String
979 | ping v = fromPrim "HTMLAreaElement.getping" prim__ping prim__setPing v
983 | referrerPolicy : HTMLAreaElement -> Attribute True Prelude.id String
984 | referrerPolicy v = fromPrim
985 | "HTMLAreaElement.getreferrerPolicy"
986 | prim__referrerPolicy
987 | prim__setReferrerPolicy
992 | rel : HTMLAreaElement -> Attribute True Prelude.id String
993 | rel v = fromPrim "HTMLAreaElement.getrel" prim__rel prim__setRel v
997 | relList : (obj : HTMLAreaElement) -> JSIO DOMTokenList
998 | relList a = primJS $
HTMLAreaElement.prim__relList a
1002 | shape : HTMLAreaElement -> Attribute True Prelude.id String
1003 | shape v = fromPrim "HTMLAreaElement.getshape" prim__shape prim__setShape v
1007 | target : HTMLAreaElement -> Attribute True Prelude.id String
1008 | target v = fromPrim "HTMLAreaElement.gettarget" prim__target prim__setTarget v
1012 | namespace HTMLAudioElement
1015 | new : JSIO HTMLAudioElement
1016 | new = primJS $
HTMLAudioElement.prim__new
1020 | namespace HTMLBRElement
1023 | new : JSIO HTMLBRElement
1024 | new = primJS $
HTMLBRElement.prim__new
1028 | clear : HTMLBRElement -> Attribute True Prelude.id String
1029 | clear v = fromPrim "HTMLBRElement.getclear" prim__clear prim__setClear v
1033 | namespace HTMLBaseElement
1036 | new : JSIO HTMLBaseElement
1037 | new = primJS $
HTMLBaseElement.prim__new
1041 | href : HTMLBaseElement -> Attribute True Prelude.id String
1042 | href v = fromPrim "HTMLBaseElement.gethref" prim__href prim__setHref v
1046 | target : HTMLBaseElement -> Attribute True Prelude.id String
1047 | target v = fromPrim "HTMLBaseElement.gettarget" prim__target prim__setTarget v
1051 | namespace HTMLBodyElement
1054 | new : JSIO HTMLBodyElement
1055 | new = primJS $
HTMLBodyElement.prim__new
1059 | aLink : HTMLBodyElement -> Attribute True Prelude.id String
1060 | aLink v = fromPrim "HTMLBodyElement.getaLink" prim__aLink prim__setALink v
1064 | background : HTMLBodyElement -> Attribute True Prelude.id String
1065 | background v = fromPrim
1066 | "HTMLBodyElement.getbackground"
1073 | bgColor : HTMLBodyElement -> Attribute True Prelude.id String
1075 | "HTMLBodyElement.getbgColor"
1082 | link : HTMLBodyElement -> Attribute True Prelude.id String
1083 | link v = fromPrim "HTMLBodyElement.getlink" prim__link prim__setLink v
1087 | text : HTMLBodyElement -> Attribute True Prelude.id String
1088 | text v = fromPrim "HTMLBodyElement.gettext" prim__text prim__setText v
1092 | vLink : HTMLBodyElement -> Attribute True Prelude.id String
1093 | vLink v = fromPrim "HTMLBodyElement.getvLink" prim__vLink prim__setVLink v
1097 | namespace HTMLButtonElement
1100 | new : JSIO HTMLButtonElement
1101 | new = primJS $
HTMLButtonElement.prim__new
1105 | disabled : HTMLButtonElement -> Attribute True Prelude.id Bool
1107 | "HTMLButtonElement.getdisabled"
1114 | form : (obj : HTMLButtonElement) -> JSIO (Maybe HTMLFormElement)
1115 | form a = tryJS "HTMLButtonElement.form" $
HTMLButtonElement.prim__form a
1119 | formAction : HTMLButtonElement -> Attribute True Prelude.id String
1120 | formAction v = fromPrim
1121 | "HTMLButtonElement.getformAction"
1128 | formEnctype : HTMLButtonElement -> Attribute True Prelude.id String
1129 | formEnctype v = fromPrim
1130 | "HTMLButtonElement.getformEnctype"
1137 | formMethod : HTMLButtonElement -> Attribute True Prelude.id String
1138 | formMethod v = fromPrim
1139 | "HTMLButtonElement.getformMethod"
1146 | formNoValidate : HTMLButtonElement -> Attribute True Prelude.id Bool
1147 | formNoValidate v = fromPrim
1148 | "HTMLButtonElement.getformNoValidate"
1150 | prim__setFormNoValidate
1155 | formTarget : HTMLButtonElement -> Attribute True Prelude.id String
1156 | formTarget v = fromPrim
1157 | "HTMLButtonElement.getformTarget"
1164 | labels : (obj : HTMLButtonElement) -> JSIO NodeList
1165 | labels a = primJS $
HTMLButtonElement.prim__labels a
1169 | name : HTMLButtonElement -> Attribute True Prelude.id String
1170 | name v = fromPrim "HTMLButtonElement.getname" prim__name prim__setName v
1174 | type : HTMLButtonElement -> Attribute True Prelude.id String
1175 | type v = fromPrim "HTMLButtonElement.gettype" prim__type prim__setType v
1179 | validationMessage : (obj : HTMLButtonElement) -> JSIO String
1180 | validationMessage a = primJS $
HTMLButtonElement.prim__validationMessage a
1184 | validity : (obj : HTMLButtonElement) -> JSIO ValidityState
1185 | validity a = primJS $
HTMLButtonElement.prim__validity a
1189 | value : HTMLButtonElement -> Attribute True Prelude.id String
1190 | value v = fromPrim "HTMLButtonElement.getvalue" prim__value prim__setValue v
1194 | willValidate : (obj : HTMLButtonElement) -> JSIO Bool
1195 | willValidate a = tryJS "HTMLButtonElement.willValidate" $
1196 | HTMLButtonElement.prim__willValidate a
1200 | checkValidity : (obj : HTMLButtonElement) -> JSIO Bool
1201 | checkValidity a = tryJS "HTMLButtonElement.checkValidity" $
1202 | HTMLButtonElement.prim__checkValidity a
1206 | reportValidity : (obj : HTMLButtonElement) -> JSIO Bool
1207 | reportValidity a = tryJS "HTMLButtonElement.reportValidity" $
1208 | HTMLButtonElement.prim__reportValidity a
1212 | setCustomValidity : (obj : HTMLButtonElement) -> (error : String) -> JSIO ()
1213 | setCustomValidity a b = primJS $
HTMLButtonElement.prim__setCustomValidity a b
1217 | namespace HTMLCanvasElement
1220 | new : JSIO HTMLCanvasElement
1221 | new = primJS $
HTMLCanvasElement.prim__new
1225 | height : HTMLCanvasElement -> Attribute True Prelude.id Bits32
1227 | "HTMLCanvasElement.getheight"
1234 | width : HTMLCanvasElement -> Attribute True Prelude.id Bits32
1235 | width v = fromPrim "HTMLCanvasElement.getwidth" prim__width prim__setWidth v
1240 | (obj : HTMLCanvasElement)
1241 | -> (contextId : String)
1242 | -> (options : Optional Any)
1246 | [ CanvasRenderingContext2D
1247 | , ImageBitmapRenderingContext
1248 | , WebGLRenderingContext
1249 | , WebGL2RenderingContext
1251 | getContext' a b c = tryJS "HTMLCanvasElement.getContext'" $
1252 | HTMLCanvasElement.prim__getContext a b (toFFI c)
1256 | (obj : HTMLCanvasElement)
1257 | -> (contextId : String)
1261 | [ CanvasRenderingContext2D
1262 | , ImageBitmapRenderingContext
1263 | , WebGLRenderingContext
1264 | , WebGL2RenderingContext
1266 | getContext a b = tryJS "HTMLCanvasElement.getContext" $
1267 | HTMLCanvasElement.prim__getContext a b undef
1272 | (obj : HTMLCanvasElement)
1273 | -> (callback : BlobCallback)
1274 | -> (type : Optional String)
1275 | -> (quality : Optional Any)
1277 | toBlob' a b c d = primJS $
1278 | HTMLCanvasElement.prim__toBlob a b (toFFI c) (toFFI d)
1281 | toBlob : (obj : HTMLCanvasElement) -> (callback : BlobCallback) -> JSIO ()
1282 | toBlob a b = primJS $
HTMLCanvasElement.prim__toBlob a b undef undef
1287 | (obj : HTMLCanvasElement)
1288 | -> (type : Optional String)
1289 | -> (quality : Optional Any)
1291 | toDataURL' a b c = primJS $
1292 | HTMLCanvasElement.prim__toDataURL a (toFFI b) (toFFI c)
1295 | toDataURL : (obj : HTMLCanvasElement) -> JSIO String
1296 | toDataURL a = primJS $
HTMLCanvasElement.prim__toDataURL a undef undef
1300 | transferControlToOffscreen : (obj : HTMLCanvasElement) -> JSIO OffscreenCanvas
1301 | transferControlToOffscreen a = primJS $
1302 | HTMLCanvasElement.prim__transferControlToOffscreen a
1306 | namespace HTMLDListElement
1309 | new : JSIO HTMLDListElement
1310 | new = primJS $
HTMLDListElement.prim__new
1314 | compact : HTMLDListElement -> Attribute True Prelude.id Bool
1316 | "HTMLDListElement.getcompact"
1323 | namespace HTMLDataElement
1326 | new : JSIO HTMLDataElement
1327 | new = primJS $
HTMLDataElement.prim__new
1331 | value : HTMLDataElement -> Attribute True Prelude.id String
1332 | value v = fromPrim "HTMLDataElement.getvalue" prim__value prim__setValue v
1336 | namespace HTMLDataListElement
1339 | new : JSIO HTMLDataListElement
1340 | new = primJS $
HTMLDataListElement.prim__new
1344 | options : (obj : HTMLDataListElement) -> JSIO HTMLCollection
1345 | options a = primJS $
HTMLDataListElement.prim__options a
1349 | namespace HTMLDetailsElement
1352 | new : JSIO HTMLDetailsElement
1353 | new = primJS $
HTMLDetailsElement.prim__new
1357 | open_ : HTMLDetailsElement -> Attribute True Prelude.id Bool
1358 | open_ v = fromPrim "HTMLDetailsElement.getopen" prim__open prim__setOpen v
1362 | namespace HTMLDialogElement
1365 | new : JSIO HTMLDialogElement
1366 | new = primJS $
HTMLDialogElement.prim__new
1370 | open_ : HTMLDialogElement -> Attribute True Prelude.id Bool
1371 | open_ v = fromPrim "HTMLDialogElement.getopen" prim__open prim__setOpen v
1375 | returnValue : HTMLDialogElement -> Attribute True Prelude.id String
1376 | returnValue v = fromPrim
1377 | "HTMLDialogElement.getreturnValue"
1385 | (obj : HTMLDialogElement)
1386 | -> (returnValue : Optional String)
1388 | close' a b = primJS $
HTMLDialogElement.prim__close a (toFFI b)
1391 | close : (obj : HTMLDialogElement) -> JSIO ()
1392 | close a = primJS $
HTMLDialogElement.prim__close a undef
1396 | show : (obj : HTMLDialogElement) -> JSIO ()
1397 | show a = primJS $
HTMLDialogElement.prim__show a
1401 | showModal : (obj : HTMLDialogElement) -> JSIO ()
1402 | showModal a = primJS $
HTMLDialogElement.prim__showModal a
1406 | namespace HTMLDirectoryElement
1409 | new : JSIO HTMLDirectoryElement
1410 | new = primJS $
HTMLDirectoryElement.prim__new
1414 | compact : HTMLDirectoryElement -> Attribute True Prelude.id Bool
1416 | "HTMLDirectoryElement.getcompact"
1423 | namespace HTMLDivElement
1426 | new : JSIO HTMLDivElement
1427 | new = primJS $
HTMLDivElement.prim__new
1431 | align : HTMLDivElement -> Attribute True Prelude.id String
1432 | align v = fromPrim "HTMLDivElement.getalign" prim__align prim__setAlign v
1440 | new = primJS $
HTMLElement.prim__new
1446 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1448 | -> Attribute True Prelude.id String
1450 | "HTMLElement.getaccessKey"
1459 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1462 | accessKeyLabel a = primJS $
HTMLElement.prim__accessKeyLabel (up a)
1468 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1470 | -> Attribute True Prelude.id String
1471 | autocapitalize v = fromPrim
1472 | "HTMLElement.getautocapitalize"
1474 | prim__setAutocapitalize
1481 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1483 | -> Attribute True Prelude.id String
1494 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1496 | -> Attribute True Prelude.id Bool
1498 | "HTMLElement.getdraggable"
1507 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1509 | -> Attribute True Prelude.id Bool
1511 | "HTMLElement.gethidden"
1520 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1522 | -> Attribute True Prelude.id String
1524 | "HTMLElement.getinnerText"
1533 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1535 | -> Attribute True Prelude.id String
1546 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1549 | offsetHeight a = primJS $
HTMLElement.prim__offsetHeight (up a)
1555 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1558 | offsetLeft a = primJS $
HTMLElement.prim__offsetLeft (up a)
1564 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1566 | -> JSIO (Maybe Element)
1567 | offsetParent a = tryJS "HTMLElement.offsetParent" $
1568 | HTMLElement.prim__offsetParent (up a)
1574 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1577 | offsetTop a = primJS $
HTMLElement.prim__offsetTop (up a)
1583 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1586 | offsetWidth a = primJS $
HTMLElement.prim__offsetWidth (up a)
1592 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1594 | -> Attribute True Prelude.id Bool
1595 | spellcheck v = fromPrim
1596 | "HTMLElement.getspellcheck"
1605 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1607 | -> Attribute True Prelude.id String
1618 | -> {auto 0 _ : Elem HTMLElement (Types t)}
1620 | -> Attribute True Prelude.id Bool
1622 | "HTMLElement.gettranslate"
1631 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1633 | -> JSIO ElementInternals
1634 | attachInternals a = primJS $
HTMLElement.prim__attachInternals (up a)
1640 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
1643 | click a = primJS $
HTMLElement.prim__click (up a)
1647 | namespace HTMLEmbedElement
1650 | new : JSIO HTMLEmbedElement
1651 | new = primJS $
HTMLEmbedElement.prim__new
1655 | align : HTMLEmbedElement -> Attribute True Prelude.id String
1656 | align v = fromPrim "HTMLEmbedElement.getalign" prim__align prim__setAlign v
1660 | height : HTMLEmbedElement -> Attribute True Prelude.id String
1662 | "HTMLEmbedElement.getheight"
1669 | name : HTMLEmbedElement -> Attribute True Prelude.id String
1670 | name v = fromPrim "HTMLEmbedElement.getname" prim__name prim__setName v
1674 | src : HTMLEmbedElement -> Attribute True Prelude.id String
1675 | src v = fromPrim "HTMLEmbedElement.getsrc" prim__src prim__setSrc v
1679 | type : HTMLEmbedElement -> Attribute True Prelude.id String
1680 | type v = fromPrim "HTMLEmbedElement.gettype" prim__type prim__setType v
1684 | width : HTMLEmbedElement -> Attribute True Prelude.id String
1685 | width v = fromPrim "HTMLEmbedElement.getwidth" prim__width prim__setWidth v
1689 | getSVGDocument : (obj : HTMLEmbedElement) -> JSIO (Maybe Document)
1690 | getSVGDocument a = tryJS "HTMLEmbedElement.getSVGDocument" $
1691 | HTMLEmbedElement.prim__getSVGDocument a
1695 | namespace HTMLFieldSetElement
1698 | new : JSIO HTMLFieldSetElement
1699 | new = primJS $
HTMLFieldSetElement.prim__new
1703 | disabled : HTMLFieldSetElement -> Attribute True Prelude.id Bool
1705 | "HTMLFieldSetElement.getdisabled"
1712 | elements : (obj : HTMLFieldSetElement) -> JSIO HTMLCollection
1713 | elements a = primJS $
HTMLFieldSetElement.prim__elements a
1717 | form : (obj : HTMLFieldSetElement) -> JSIO (Maybe HTMLFormElement)
1718 | form a = tryJS "HTMLFieldSetElement.form" $
HTMLFieldSetElement.prim__form a
1722 | name : HTMLFieldSetElement -> Attribute True Prelude.id String
1723 | name v = fromPrim "HTMLFieldSetElement.getname" prim__name prim__setName v
1727 | type : (obj : HTMLFieldSetElement) -> JSIO String
1728 | type a = primJS $
HTMLFieldSetElement.prim__type a
1732 | validationMessage : (obj : HTMLFieldSetElement) -> JSIO String
1733 | validationMessage a = primJS $
HTMLFieldSetElement.prim__validationMessage a
1737 | validity : (obj : HTMLFieldSetElement) -> JSIO ValidityState
1738 | validity a = primJS $
HTMLFieldSetElement.prim__validity a
1742 | willValidate : (obj : HTMLFieldSetElement) -> JSIO Bool
1743 | willValidate a = tryJS "HTMLFieldSetElement.willValidate" $
1744 | HTMLFieldSetElement.prim__willValidate a
1748 | checkValidity : (obj : HTMLFieldSetElement) -> JSIO Bool
1749 | checkValidity a = tryJS "HTMLFieldSetElement.checkValidity" $
1750 | HTMLFieldSetElement.prim__checkValidity a
1754 | reportValidity : (obj : HTMLFieldSetElement) -> JSIO Bool
1755 | reportValidity a = tryJS "HTMLFieldSetElement.reportValidity" $
1756 | HTMLFieldSetElement.prim__reportValidity a
1760 | setCustomValidity : (obj : HTMLFieldSetElement) -> (error : String) -> JSIO ()
1761 | setCustomValidity a b = primJS $
1762 | HTMLFieldSetElement.prim__setCustomValidity a b
1766 | namespace HTMLFontElement
1769 | new : JSIO HTMLFontElement
1770 | new = primJS $
HTMLFontElement.prim__new
1774 | color : HTMLFontElement -> Attribute True Prelude.id String
1775 | color v = fromPrim "HTMLFontElement.getcolor" prim__color prim__setColor v
1779 | face : HTMLFontElement -> Attribute True Prelude.id String
1780 | face v = fromPrim "HTMLFontElement.getface" prim__face prim__setFace v
1784 | size : HTMLFontElement -> Attribute True Prelude.id String
1785 | size v = fromPrim "HTMLFontElement.getsize" prim__size prim__setSize v
1789 | namespace HTMLFormControlsCollection
1793 | (obj : HTMLFormControlsCollection)
1795 | -> JSIO (Maybe (HSum [RadioNodeList, Element]))
1796 | namedItem a b = tryJS "HTMLFormControlsCollection.namedItem" $
1797 | HTMLFormControlsCollection.prim__namedItem a b
1801 | namespace HTMLFormElement
1804 | new : JSIO HTMLFormElement
1805 | new = primJS $
HTMLFormElement.prim__new
1809 | get : (obj : HTMLFormElement) -> (index : Bits32) -> JSIO Element
1810 | get a b = primJS $
HTMLFormElement.prim__get a b
1815 | (obj : HTMLFormElement)
1817 | -> JSIO (HSum [RadioNodeList, Element])
1818 | get1 a b = tryJS "HTMLFormElement.get1" $
HTMLFormElement.prim__get1 a b
1822 | acceptCharset : HTMLFormElement -> Attribute True Prelude.id String
1823 | acceptCharset v = fromPrim
1824 | "HTMLFormElement.getacceptCharset"
1831 | action : HTMLFormElement -> Attribute True Prelude.id String
1832 | action v = fromPrim "HTMLFormElement.getaction" prim__action prim__setAction v
1836 | autocomplete : HTMLFormElement -> Attribute True Prelude.id String
1837 | autocomplete v = fromPrim
1838 | "HTMLFormElement.getautocomplete"
1845 | elements : (obj : HTMLFormElement) -> JSIO HTMLFormControlsCollection
1846 | elements a = primJS $
HTMLFormElement.prim__elements a
1850 | encoding : HTMLFormElement -> Attribute True Prelude.id String
1852 | "HTMLFormElement.getencoding"
1859 | enctype : HTMLFormElement -> Attribute True Prelude.id String
1861 | "HTMLFormElement.getenctype"
1868 | length : (obj : HTMLFormElement) -> JSIO Bits32
1869 | length a = primJS $
HTMLFormElement.prim__length a
1873 | method : HTMLFormElement -> Attribute True Prelude.id String
1874 | method v = fromPrim "HTMLFormElement.getmethod" prim__method prim__setMethod v
1878 | name : HTMLFormElement -> Attribute True Prelude.id String
1879 | name v = fromPrim "HTMLFormElement.getname" prim__name prim__setName v
1883 | noValidate : HTMLFormElement -> Attribute True Prelude.id Bool
1884 | noValidate v = fromPrim
1885 | "HTMLFormElement.getnoValidate"
1892 | rel : HTMLFormElement -> Attribute True Prelude.id String
1893 | rel v = fromPrim "HTMLFormElement.getrel" prim__rel prim__setRel v
1897 | relList : (obj : HTMLFormElement) -> JSIO DOMTokenList
1898 | relList a = primJS $
HTMLFormElement.prim__relList a
1902 | target : HTMLFormElement -> Attribute True Prelude.id String
1903 | target v = fromPrim "HTMLFormElement.gettarget" prim__target prim__setTarget v
1907 | checkValidity : (obj : HTMLFormElement) -> JSIO Bool
1908 | checkValidity a = tryJS "HTMLFormElement.checkValidity" $
1909 | HTMLFormElement.prim__checkValidity a
1913 | reportValidity : (obj : HTMLFormElement) -> JSIO Bool
1914 | reportValidity a = tryJS "HTMLFormElement.reportValidity" $
1915 | HTMLFormElement.prim__reportValidity a
1921 | -> {auto 0 _ : Elem HTMLElement (Types t2)}
1922 | -> (obj : HTMLFormElement)
1923 | -> (submitter : Optional (Maybe t2))
1925 | requestSubmit' a b = primJS $
HTMLFormElement.prim__requestSubmit a (omyUp b)
1928 | requestSubmit : (obj : HTMLFormElement) -> JSIO ()
1929 | requestSubmit a = primJS $
HTMLFormElement.prim__requestSubmit a undef
1933 | reset : (obj : HTMLFormElement) -> JSIO ()
1934 | reset a = primJS $
HTMLFormElement.prim__reset a
1938 | submit : (obj : HTMLFormElement) -> JSIO ()
1939 | submit a = primJS $
HTMLFormElement.prim__submit a
1943 | namespace HTMLFrameElement
1946 | new : JSIO HTMLFrameElement
1947 | new = primJS $
HTMLFrameElement.prim__new
1951 | contentDocument : (obj : HTMLFrameElement) -> JSIO (Maybe Document)
1952 | contentDocument a = tryJS "HTMLFrameElement.contentDocument" $
1953 | HTMLFrameElement.prim__contentDocument a
1957 | contentWindow : (obj : HTMLFrameElement) -> JSIO (Maybe WindowProxy)
1958 | contentWindow a = tryJS "HTMLFrameElement.contentWindow" $
1959 | HTMLFrameElement.prim__contentWindow a
1963 | frameBorder : HTMLFrameElement -> Attribute True Prelude.id String
1964 | frameBorder v = fromPrim
1965 | "HTMLFrameElement.getframeBorder"
1972 | longDesc : HTMLFrameElement -> Attribute True Prelude.id String
1974 | "HTMLFrameElement.getlongDesc"
1981 | marginHeight : HTMLFrameElement -> Attribute True Prelude.id String
1982 | marginHeight v = fromPrim
1983 | "HTMLFrameElement.getmarginHeight"
1990 | marginWidth : HTMLFrameElement -> Attribute True Prelude.id String
1991 | marginWidth v = fromPrim
1992 | "HTMLFrameElement.getmarginWidth"
1999 | name : HTMLFrameElement -> Attribute True Prelude.id String
2000 | name v = fromPrim "HTMLFrameElement.getname" prim__name prim__setName v
2004 | noResize : HTMLFrameElement -> Attribute True Prelude.id Bool
2006 | "HTMLFrameElement.getnoResize"
2013 | scrolling : HTMLFrameElement -> Attribute True Prelude.id String
2015 | "HTMLFrameElement.getscrolling"
2022 | src : HTMLFrameElement -> Attribute True Prelude.id String
2023 | src v = fromPrim "HTMLFrameElement.getsrc" prim__src prim__setSrc v
2027 | namespace HTMLFrameSetElement
2030 | new : JSIO HTMLFrameSetElement
2031 | new = primJS $
HTMLFrameSetElement.prim__new
2035 | cols : HTMLFrameSetElement -> Attribute True Prelude.id String
2036 | cols v = fromPrim "HTMLFrameSetElement.getcols" prim__cols prim__setCols v
2040 | rows : HTMLFrameSetElement -> Attribute True Prelude.id String
2041 | rows v = fromPrim "HTMLFrameSetElement.getrows" prim__rows prim__setRows v
2045 | namespace HTMLHRElement
2048 | new : JSIO HTMLHRElement
2049 | new = primJS $
HTMLHRElement.prim__new
2053 | align : HTMLHRElement -> Attribute True Prelude.id String
2054 | align v = fromPrim "HTMLHRElement.getalign" prim__align prim__setAlign v
2058 | color : HTMLHRElement -> Attribute True Prelude.id String
2059 | color v = fromPrim "HTMLHRElement.getcolor" prim__color prim__setColor v
2063 | noShade : HTMLHRElement -> Attribute True Prelude.id Bool
2065 | "HTMLHRElement.getnoShade"
2072 | size : HTMLHRElement -> Attribute True Prelude.id String
2073 | size v = fromPrim "HTMLHRElement.getsize" prim__size prim__setSize v
2077 | width : HTMLHRElement -> Attribute True Prelude.id String
2078 | width v = fromPrim "HTMLHRElement.getwidth" prim__width prim__setWidth v
2082 | namespace HTMLHeadElement
2085 | new : JSIO HTMLHeadElement
2086 | new = primJS $
HTMLHeadElement.prim__new
2090 | namespace HTMLHeadingElement
2093 | new : JSIO HTMLHeadingElement
2094 | new = primJS $
HTMLHeadingElement.prim__new
2098 | align : HTMLHeadingElement -> Attribute True Prelude.id String
2099 | align v = fromPrim "HTMLHeadingElement.getalign" prim__align prim__setAlign v
2103 | namespace HTMLHtmlElement
2106 | new : JSIO HTMLHtmlElement
2107 | new = primJS $
HTMLHtmlElement.prim__new
2111 | version : HTMLHtmlElement -> Attribute True Prelude.id String
2113 | "HTMLHtmlElement.getversion"
2120 | namespace HTMLIFrameElement
2123 | new : JSIO HTMLIFrameElement
2124 | new = primJS $
HTMLIFrameElement.prim__new
2128 | align : HTMLIFrameElement -> Attribute True Prelude.id String
2129 | align v = fromPrim "HTMLIFrameElement.getalign" prim__align prim__setAlign v
2133 | allow : HTMLIFrameElement -> Attribute True Prelude.id String
2134 | allow v = fromPrim "HTMLIFrameElement.getallow" prim__allow prim__setAllow v
2138 | allowFullscreen : HTMLIFrameElement -> Attribute True Prelude.id Bool
2139 | allowFullscreen v = fromPrim
2140 | "HTMLIFrameElement.getallowFullscreen"
2142 | prim__setAllowFullscreen
2147 | contentDocument : (obj : HTMLIFrameElement) -> JSIO (Maybe Document)
2148 | contentDocument a = tryJS "HTMLIFrameElement.contentDocument" $
2149 | HTMLIFrameElement.prim__contentDocument a
2153 | contentWindow : (obj : HTMLIFrameElement) -> JSIO (Maybe WindowProxy)
2154 | contentWindow a = tryJS "HTMLIFrameElement.contentWindow" $
2155 | HTMLIFrameElement.prim__contentWindow a
2159 | frameBorder : HTMLIFrameElement -> Attribute True Prelude.id String
2160 | frameBorder v = fromPrim
2161 | "HTMLIFrameElement.getframeBorder"
2168 | height : HTMLIFrameElement -> Attribute True Prelude.id String
2170 | "HTMLIFrameElement.getheight"
2177 | loading : HTMLIFrameElement -> Attribute True Prelude.id String
2179 | "HTMLIFrameElement.getloading"
2186 | longDesc : HTMLIFrameElement -> Attribute True Prelude.id String
2188 | "HTMLIFrameElement.getlongDesc"
2195 | marginHeight : HTMLIFrameElement -> Attribute True Prelude.id String
2196 | marginHeight v = fromPrim
2197 | "HTMLIFrameElement.getmarginHeight"
2204 | marginWidth : HTMLIFrameElement -> Attribute True Prelude.id String
2205 | marginWidth v = fromPrim
2206 | "HTMLIFrameElement.getmarginWidth"
2213 | name : HTMLIFrameElement -> Attribute True Prelude.id String
2214 | name v = fromPrim "HTMLIFrameElement.getname" prim__name prim__setName v
2218 | referrerPolicy : HTMLIFrameElement -> Attribute True Prelude.id String
2219 | referrerPolicy v = fromPrim
2220 | "HTMLIFrameElement.getreferrerPolicy"
2222 | prim__setReferrerPolicy
2227 | sandbox : (obj : HTMLIFrameElement) -> JSIO DOMTokenList
2228 | sandbox a = primJS $
HTMLIFrameElement.prim__sandbox a
2232 | scrolling : HTMLIFrameElement -> Attribute True Prelude.id String
2234 | "HTMLIFrameElement.getscrolling"
2241 | src : HTMLIFrameElement -> Attribute True Prelude.id String
2242 | src v = fromPrim "HTMLIFrameElement.getsrc" prim__src prim__setSrc v
2246 | srcdoc : HTMLIFrameElement -> Attribute True Prelude.id String
2248 | "HTMLIFrameElement.getsrcdoc"
2255 | width : HTMLIFrameElement -> Attribute True Prelude.id String
2256 | width v = fromPrim "HTMLIFrameElement.getwidth" prim__width prim__setWidth v
2260 | getSVGDocument : (obj : HTMLIFrameElement) -> JSIO (Maybe Document)
2261 | getSVGDocument a = tryJS "HTMLIFrameElement.getSVGDocument" $
2262 | HTMLIFrameElement.prim__getSVGDocument a
2266 | namespace HTMLImageElement
2269 | new : JSIO HTMLImageElement
2270 | new = primJS $
HTMLImageElement.prim__new
2274 | align : HTMLImageElement -> Attribute True Prelude.id String
2275 | align v = fromPrim "HTMLImageElement.getalign" prim__align prim__setAlign v
2279 | alt : HTMLImageElement -> Attribute True Prelude.id String
2280 | alt v = fromPrim "HTMLImageElement.getalt" prim__alt prim__setAlt v
2284 | border : HTMLImageElement -> Attribute True Prelude.id String
2286 | "HTMLImageElement.getborder"
2293 | complete : (obj : HTMLImageElement) -> JSIO Bool
2294 | complete a = tryJS "HTMLImageElement.complete" $
2295 | HTMLImageElement.prim__complete a
2299 | crossOrigin : HTMLImageElement -> Attribute False Maybe String
2300 | crossOrigin v = fromNullablePrim
2301 | "HTMLImageElement.getcrossOrigin"
2308 | currentSrc : (obj : HTMLImageElement) -> JSIO String
2309 | currentSrc a = primJS $
HTMLImageElement.prim__currentSrc a
2313 | decoding : HTMLImageElement -> Attribute True Prelude.id String
2315 | "HTMLImageElement.getdecoding"
2322 | height : HTMLImageElement -> Attribute True Prelude.id Bits32
2324 | "HTMLImageElement.getheight"
2331 | hspace : HTMLImageElement -> Attribute True Prelude.id Bits32
2333 | "HTMLImageElement.gethspace"
2340 | isMap : HTMLImageElement -> Attribute True Prelude.id Bool
2341 | isMap v = fromPrim "HTMLImageElement.getisMap" prim__isMap prim__setIsMap v
2345 | loading : HTMLImageElement -> Attribute True Prelude.id String
2347 | "HTMLImageElement.getloading"
2354 | longDesc : HTMLImageElement -> Attribute True Prelude.id String
2356 | "HTMLImageElement.getlongDesc"
2363 | lowsrc : HTMLImageElement -> Attribute True Prelude.id String
2365 | "HTMLImageElement.getlowsrc"
2372 | name : HTMLImageElement -> Attribute True Prelude.id String
2373 | name v = fromPrim "HTMLImageElement.getname" prim__name prim__setName v
2377 | naturalHeight : (obj : HTMLImageElement) -> JSIO Bits32
2378 | naturalHeight a = primJS $
HTMLImageElement.prim__naturalHeight a
2382 | naturalWidth : (obj : HTMLImageElement) -> JSIO Bits32
2383 | naturalWidth a = primJS $
HTMLImageElement.prim__naturalWidth a
2387 | referrerPolicy : HTMLImageElement -> Attribute True Prelude.id String
2388 | referrerPolicy v = fromPrim
2389 | "HTMLImageElement.getreferrerPolicy"
2391 | prim__setReferrerPolicy
2396 | sizes : HTMLImageElement -> Attribute True Prelude.id String
2397 | sizes v = fromPrim "HTMLImageElement.getsizes" prim__sizes prim__setSizes v
2401 | src : HTMLImageElement -> Attribute True Prelude.id String
2402 | src v = fromPrim "HTMLImageElement.getsrc" prim__src prim__setSrc v
2406 | srcset : HTMLImageElement -> Attribute True Prelude.id String
2408 | "HTMLImageElement.getsrcset"
2415 | useMap : HTMLImageElement -> Attribute True Prelude.id String
2417 | "HTMLImageElement.getuseMap"
2424 | vspace : HTMLImageElement -> Attribute True Prelude.id Bits32
2426 | "HTMLImageElement.getvspace"
2433 | width : HTMLImageElement -> Attribute True Prelude.id Bits32
2434 | width v = fromPrim "HTMLImageElement.getwidth" prim__width prim__setWidth v
2438 | x : (obj : HTMLImageElement) -> JSIO Int32
2439 | x a = primJS $
HTMLImageElement.prim__x a
2443 | y : (obj : HTMLImageElement) -> JSIO Int32
2444 | y a = primJS $
HTMLImageElement.prim__y a
2448 | decode : (obj : HTMLImageElement) -> JSIO (Promise Undefined)
2449 | decode a = primJS $
HTMLImageElement.prim__decode a
2453 | namespace HTMLInputElement
2456 | new : JSIO HTMLInputElement
2457 | new = primJS $
HTMLInputElement.prim__new
2461 | accept : HTMLInputElement -> Attribute True Prelude.id String
2463 | "HTMLInputElement.getaccept"
2470 | align : HTMLInputElement -> Attribute True Prelude.id String
2471 | align v = fromPrim "HTMLInputElement.getalign" prim__align prim__setAlign v
2475 | alt : HTMLInputElement -> Attribute True Prelude.id String
2476 | alt v = fromPrim "HTMLInputElement.getalt" prim__alt prim__setAlt v
2480 | autocomplete : HTMLInputElement -> Attribute True Prelude.id String
2481 | autocomplete v = fromPrim
2482 | "HTMLInputElement.getautocomplete"
2489 | checked : HTMLInputElement -> Attribute True Prelude.id Bool
2491 | "HTMLInputElement.getchecked"
2498 | defaultChecked : HTMLInputElement -> Attribute True Prelude.id Bool
2499 | defaultChecked v = fromPrim
2500 | "HTMLInputElement.getdefaultChecked"
2502 | prim__setDefaultChecked
2507 | defaultValue : HTMLInputElement -> Attribute True Prelude.id String
2508 | defaultValue v = fromPrim
2509 | "HTMLInputElement.getdefaultValue"
2516 | dirName : HTMLInputElement -> Attribute True Prelude.id String
2518 | "HTMLInputElement.getdirName"
2525 | disabled : HTMLInputElement -> Attribute True Prelude.id Bool
2527 | "HTMLInputElement.getdisabled"
2534 | files : HTMLInputElement -> Attribute False Maybe FileList
2535 | files v = fromNullablePrim
2536 | "HTMLInputElement.getfiles"
2543 | form : (obj : HTMLInputElement) -> JSIO (Maybe HTMLFormElement)
2544 | form a = tryJS "HTMLInputElement.form" $
HTMLInputElement.prim__form a
2548 | formAction : HTMLInputElement -> Attribute True Prelude.id String
2549 | formAction v = fromPrim
2550 | "HTMLInputElement.getformAction"
2557 | formEnctype : HTMLInputElement -> Attribute True Prelude.id String
2558 | formEnctype v = fromPrim
2559 | "HTMLInputElement.getformEnctype"
2566 | formMethod : HTMLInputElement -> Attribute True Prelude.id String
2567 | formMethod v = fromPrim
2568 | "HTMLInputElement.getformMethod"
2575 | formNoValidate : HTMLInputElement -> Attribute True Prelude.id Bool
2576 | formNoValidate v = fromPrim
2577 | "HTMLInputElement.getformNoValidate"
2579 | prim__setFormNoValidate
2584 | formTarget : HTMLInputElement -> Attribute True Prelude.id String
2585 | formTarget v = fromPrim
2586 | "HTMLInputElement.getformTarget"
2593 | height : HTMLInputElement -> Attribute True Prelude.id Bits32
2595 | "HTMLInputElement.getheight"
2602 | indeterminate : HTMLInputElement -> Attribute True Prelude.id Bool
2603 | indeterminate v = fromPrim
2604 | "HTMLInputElement.getindeterminate"
2611 | labels : (obj : HTMLInputElement) -> JSIO (Maybe NodeList)
2612 | labels a = tryJS "HTMLInputElement.labels" $
HTMLInputElement.prim__labels a
2616 | list : (obj : HTMLInputElement) -> JSIO (Maybe HTMLElement)
2617 | list a = tryJS "HTMLInputElement.list" $
HTMLInputElement.prim__list a
2621 | max : HTMLInputElement -> Attribute True Prelude.id String
2622 | max v = fromPrim "HTMLInputElement.getmax" prim__max prim__setMax v
2626 | maxLength : HTMLInputElement -> Attribute True Prelude.id Int32
2628 | "HTMLInputElement.getmaxLength"
2635 | min : HTMLInputElement -> Attribute True Prelude.id String
2636 | min v = fromPrim "HTMLInputElement.getmin" prim__min prim__setMin v
2640 | minLength : HTMLInputElement -> Attribute True Prelude.id Int32
2642 | "HTMLInputElement.getminLength"
2649 | multiple : HTMLInputElement -> Attribute True Prelude.id Bool
2651 | "HTMLInputElement.getmultiple"
2658 | name : HTMLInputElement -> Attribute True Prelude.id String
2659 | name v = fromPrim "HTMLInputElement.getname" prim__name prim__setName v
2663 | pattern : HTMLInputElement -> Attribute True Prelude.id String
2665 | "HTMLInputElement.getpattern"
2672 | placeholder : HTMLInputElement -> Attribute True Prelude.id String
2673 | placeholder v = fromPrim
2674 | "HTMLInputElement.getplaceholder"
2681 | readOnly : HTMLInputElement -> Attribute True Prelude.id Bool
2683 | "HTMLInputElement.getreadOnly"
2690 | required : HTMLInputElement -> Attribute True Prelude.id Bool
2692 | "HTMLInputElement.getrequired"
2699 | selectionDirection : HTMLInputElement -> Attribute False Maybe String
2700 | selectionDirection v = fromNullablePrim
2701 | "HTMLInputElement.getselectionDirection"
2702 | prim__selectionDirection
2703 | prim__setSelectionDirection
2708 | selectionEnd : HTMLInputElement -> Attribute False Maybe Bits32
2709 | selectionEnd v = fromNullablePrim
2710 | "HTMLInputElement.getselectionEnd"
2717 | selectionStart : HTMLInputElement -> Attribute False Maybe Bits32
2718 | selectionStart v = fromNullablePrim
2719 | "HTMLInputElement.getselectionStart"
2721 | prim__setSelectionStart
2726 | size : HTMLInputElement -> Attribute True Prelude.id Bits32
2727 | size v = fromPrim "HTMLInputElement.getsize" prim__size prim__setSize v
2731 | src : HTMLInputElement -> Attribute True Prelude.id String
2732 | src v = fromPrim "HTMLInputElement.getsrc" prim__src prim__setSrc v
2736 | step : HTMLInputElement -> Attribute True Prelude.id String
2737 | step v = fromPrim "HTMLInputElement.getstep" prim__step prim__setStep v
2741 | type : HTMLInputElement -> Attribute True Prelude.id String
2742 | type v = fromPrim "HTMLInputElement.gettype" prim__type prim__setType v
2746 | useMap : HTMLInputElement -> Attribute True Prelude.id String
2748 | "HTMLInputElement.getuseMap"
2755 | validationMessage : (obj : HTMLInputElement) -> JSIO String
2756 | validationMessage a = primJS $
HTMLInputElement.prim__validationMessage a
2760 | validity : (obj : HTMLInputElement) -> JSIO ValidityState
2761 | validity a = primJS $
HTMLInputElement.prim__validity a
2765 | value : HTMLInputElement -> Attribute True Prelude.id String
2766 | value v = fromPrim "HTMLInputElement.getvalue" prim__value prim__setValue v
2770 | valueAsDate : HTMLInputElement -> Attribute False Maybe Object
2771 | valueAsDate v = fromNullablePrim
2772 | "HTMLInputElement.getvalueAsDate"
2779 | valueAsNumber : HTMLInputElement -> Attribute True Prelude.id Double
2780 | valueAsNumber v = fromPrim
2781 | "HTMLInputElement.getvalueAsNumber"
2788 | width : HTMLInputElement -> Attribute True Prelude.id Bits32
2789 | width v = fromPrim "HTMLInputElement.getwidth" prim__width prim__setWidth v
2793 | willValidate : (obj : HTMLInputElement) -> JSIO Bool
2794 | willValidate a = tryJS "HTMLInputElement.willValidate" $
2795 | HTMLInputElement.prim__willValidate a
2799 | checkValidity : (obj : HTMLInputElement) -> JSIO Bool
2800 | checkValidity a = tryJS "HTMLInputElement.checkValidity" $
2801 | HTMLInputElement.prim__checkValidity a
2805 | reportValidity : (obj : HTMLInputElement) -> JSIO Bool
2806 | reportValidity a = tryJS "HTMLInputElement.reportValidity" $
2807 | HTMLInputElement.prim__reportValidity a
2811 | select : (obj : HTMLInputElement) -> JSIO ()
2812 | select a = primJS $
HTMLInputElement.prim__select a
2816 | setCustomValidity : (obj : HTMLInputElement) -> (error : String) -> JSIO ()
2817 | setCustomValidity a b = primJS $
HTMLInputElement.prim__setCustomValidity a b
2821 | setRangeText : (obj : HTMLInputElement) -> (replacement : String) -> JSIO ()
2822 | setRangeText a b = primJS $
HTMLInputElement.prim__setRangeText a b
2827 | (obj : HTMLInputElement)
2828 | -> (replacement : String)
2831 | -> (selectionMode : Optional SelectionMode)
2833 | setRangeText1' a b c d e = primJS $
2834 | HTMLInputElement.prim__setRangeText1 a b c d (toFFI e)
2838 | (obj : HTMLInputElement)
2839 | -> (replacement : String)
2843 | setRangeText1 a b c d = primJS $
2844 | HTMLInputElement.prim__setRangeText1 a b c d undef
2849 | (obj : HTMLInputElement)
2852 | -> (direction : Optional String)
2854 | setSelectionRange' a b c d = primJS $
2855 | HTMLInputElement.prim__setSelectionRange a b c (toFFI d)
2859 | (obj : HTMLInputElement)
2863 | setSelectionRange a b c = primJS $
2864 | HTMLInputElement.prim__setSelectionRange a b c undef
2868 | stepDown' : (obj : HTMLInputElement) -> (n : Optional Int32) -> JSIO ()
2869 | stepDown' a b = primJS $
HTMLInputElement.prim__stepDown a (toFFI b)
2872 | stepDown : (obj : HTMLInputElement) -> JSIO ()
2873 | stepDown a = primJS $
HTMLInputElement.prim__stepDown a undef
2877 | stepUp' : (obj : HTMLInputElement) -> (n : Optional Int32) -> JSIO ()
2878 | stepUp' a b = primJS $
HTMLInputElement.prim__stepUp a (toFFI b)
2881 | stepUp : (obj : HTMLInputElement) -> JSIO ()
2882 | stepUp a = primJS $
HTMLInputElement.prim__stepUp a undef
2886 | namespace HTMLLIElement
2889 | new : JSIO HTMLLIElement
2890 | new = primJS $
HTMLLIElement.prim__new
2894 | type : HTMLLIElement -> Attribute True Prelude.id String
2895 | type v = fromPrim "HTMLLIElement.gettype" prim__type prim__setType v
2899 | value : HTMLLIElement -> Attribute True Prelude.id Int32
2900 | value v = fromPrim "HTMLLIElement.getvalue" prim__value prim__setValue v
2904 | namespace HTMLLabelElement
2907 | new : JSIO HTMLLabelElement
2908 | new = primJS $
HTMLLabelElement.prim__new
2912 | control : (obj : HTMLLabelElement) -> JSIO (Maybe HTMLElement)
2913 | control a = tryJS "HTMLLabelElement.control" $
2914 | HTMLLabelElement.prim__control a
2918 | form : (obj : HTMLLabelElement) -> JSIO (Maybe HTMLFormElement)
2919 | form a = tryJS "HTMLLabelElement.form" $
HTMLLabelElement.prim__form a
2923 | htmlFor : HTMLLabelElement -> Attribute True Prelude.id String
2925 | "HTMLLabelElement.gethtmlFor"
2932 | namespace HTMLLegendElement
2935 | new : JSIO HTMLLegendElement
2936 | new = primJS $
HTMLLegendElement.prim__new
2940 | align : HTMLLegendElement -> Attribute True Prelude.id String
2941 | align v = fromPrim "HTMLLegendElement.getalign" prim__align prim__setAlign v
2945 | form : (obj : HTMLLegendElement) -> JSIO (Maybe HTMLFormElement)
2946 | form a = tryJS "HTMLLegendElement.form" $
HTMLLegendElement.prim__form a
2950 | namespace HTMLLinkElement
2953 | new : JSIO HTMLLinkElement
2954 | new = primJS $
HTMLLinkElement.prim__new
2958 | as : HTMLLinkElement -> Attribute True Prelude.id String
2959 | as v = fromPrim "HTMLLinkElement.getas" prim__as prim__setAs v
2963 | charset : HTMLLinkElement -> Attribute True Prelude.id String
2965 | "HTMLLinkElement.getcharset"
2972 | crossOrigin : HTMLLinkElement -> Attribute False Maybe String
2973 | crossOrigin v = fromNullablePrim
2974 | "HTMLLinkElement.getcrossOrigin"
2981 | disabled : HTMLLinkElement -> Attribute True Prelude.id Bool
2983 | "HTMLLinkElement.getdisabled"
2990 | href : HTMLLinkElement -> Attribute True Prelude.id String
2991 | href v = fromPrim "HTMLLinkElement.gethref" prim__href prim__setHref v
2995 | hreflang : HTMLLinkElement -> Attribute True Prelude.id String
2997 | "HTMLLinkElement.gethreflang"
3004 | imageSizes : HTMLLinkElement -> Attribute True Prelude.id String
3005 | imageSizes v = fromPrim
3006 | "HTMLLinkElement.getimageSizes"
3013 | imageSrcset : HTMLLinkElement -> Attribute True Prelude.id String
3014 | imageSrcset v = fromPrim
3015 | "HTMLLinkElement.getimageSrcset"
3022 | integrity : HTMLLinkElement -> Attribute True Prelude.id String
3024 | "HTMLLinkElement.getintegrity"
3031 | media : HTMLLinkElement -> Attribute True Prelude.id String
3032 | media v = fromPrim "HTMLLinkElement.getmedia" prim__media prim__setMedia v
3036 | referrerPolicy : HTMLLinkElement -> Attribute True Prelude.id String
3037 | referrerPolicy v = fromPrim
3038 | "HTMLLinkElement.getreferrerPolicy"
3040 | prim__setReferrerPolicy
3045 | rel : HTMLLinkElement -> Attribute True Prelude.id String
3046 | rel v = fromPrim "HTMLLinkElement.getrel" prim__rel prim__setRel v
3050 | relList : (obj : HTMLLinkElement) -> JSIO DOMTokenList
3051 | relList a = primJS $
HTMLLinkElement.prim__relList a
3055 | rev : HTMLLinkElement -> Attribute True Prelude.id String
3056 | rev v = fromPrim "HTMLLinkElement.getrev" prim__rev prim__setRev v
3060 | sizes : (obj : HTMLLinkElement) -> JSIO DOMTokenList
3061 | sizes a = primJS $
HTMLLinkElement.prim__sizes a
3065 | target : HTMLLinkElement -> Attribute True Prelude.id String
3066 | target v = fromPrim "HTMLLinkElement.gettarget" prim__target prim__setTarget v
3070 | type : HTMLLinkElement -> Attribute True Prelude.id String
3071 | type v = fromPrim "HTMLLinkElement.gettype" prim__type prim__setType v
3075 | namespace HTMLMapElement
3078 | new : JSIO HTMLMapElement
3079 | new = primJS $
HTMLMapElement.prim__new
3083 | areas : (obj : HTMLMapElement) -> JSIO HTMLCollection
3084 | areas a = primJS $
HTMLMapElement.prim__areas a
3088 | name : HTMLMapElement -> Attribute True Prelude.id String
3089 | name v = fromPrim "HTMLMapElement.getname" prim__name prim__setName v
3093 | namespace HTMLMarqueeElement
3096 | new : JSIO HTMLMarqueeElement
3097 | new = primJS $
HTMLMarqueeElement.prim__new
3101 | behavior : HTMLMarqueeElement -> Attribute True Prelude.id String
3103 | "HTMLMarqueeElement.getbehavior"
3110 | bgColor : HTMLMarqueeElement -> Attribute True Prelude.id String
3112 | "HTMLMarqueeElement.getbgColor"
3119 | direction : HTMLMarqueeElement -> Attribute True Prelude.id String
3121 | "HTMLMarqueeElement.getdirection"
3128 | height : HTMLMarqueeElement -> Attribute True Prelude.id String
3130 | "HTMLMarqueeElement.getheight"
3137 | hspace : HTMLMarqueeElement -> Attribute True Prelude.id Bits32
3139 | "HTMLMarqueeElement.gethspace"
3146 | loop : HTMLMarqueeElement -> Attribute True Prelude.id Int32
3147 | loop v = fromPrim "HTMLMarqueeElement.getloop" prim__loop prim__setLoop v
3151 | scrollAmount : HTMLMarqueeElement -> Attribute True Prelude.id Bits32
3152 | scrollAmount v = fromPrim
3153 | "HTMLMarqueeElement.getscrollAmount"
3160 | scrollDelay : HTMLMarqueeElement -> Attribute True Prelude.id Bits32
3161 | scrollDelay v = fromPrim
3162 | "HTMLMarqueeElement.getscrollDelay"
3169 | trueSpeed : HTMLMarqueeElement -> Attribute True Prelude.id Bool
3171 | "HTMLMarqueeElement.gettrueSpeed"
3178 | vspace : HTMLMarqueeElement -> Attribute True Prelude.id Bits32
3180 | "HTMLMarqueeElement.getvspace"
3187 | width : HTMLMarqueeElement -> Attribute True Prelude.id String
3188 | width v = fromPrim "HTMLMarqueeElement.getwidth" prim__width prim__setWidth v
3192 | start : (obj : HTMLMarqueeElement) -> JSIO ()
3193 | start a = primJS $
HTMLMarqueeElement.prim__start a
3197 | stop : (obj : HTMLMarqueeElement) -> JSIO ()
3198 | stop a = primJS $
HTMLMarqueeElement.prim__stop a
3202 | namespace HTMLMediaElement
3205 | HAVE_CURRENT_DATA : Bits16
3210 | HAVE_ENOUGH_DATA : Bits16
3215 | HAVE_FUTURE_DATA : Bits16
3240 | NETWORK_LOADING : Bits16
3245 | NETWORK_NO_SOURCE : Bits16
3252 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3255 | audioTracks a = primJS $
HTMLMediaElement.prim__audioTracks (up a)
3261 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3263 | -> Attribute True Prelude.id Bool
3265 | "HTMLMediaElement.getautoplay"
3268 | (v :> HTMLMediaElement)
3274 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3277 | buffered a = primJS $
HTMLMediaElement.prim__buffered (up a)
3283 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3285 | -> Attribute True Prelude.id Bool
3287 | "HTMLMediaElement.getcontrols"
3290 | (v :> HTMLMediaElement)
3296 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3298 | -> Attribute False Maybe String
3299 | crossOrigin v = fromNullablePrim
3300 | "HTMLMediaElement.getcrossOrigin"
3303 | (v :> HTMLMediaElement)
3309 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3312 | currentSrc a = primJS $
HTMLMediaElement.prim__currentSrc (up a)
3318 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3320 | -> Attribute True Prelude.id Double
3321 | currentTime v = fromPrim
3322 | "HTMLMediaElement.getcurrentTime"
3325 | (v :> HTMLMediaElement)
3331 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3333 | -> Attribute True Prelude.id Bool
3334 | defaultMuted v = fromPrim
3335 | "HTMLMediaElement.getdefaultMuted"
3338 | (v :> HTMLMediaElement)
3344 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3346 | -> Attribute True Prelude.id Double
3347 | defaultPlaybackRate v = fromPrim
3348 | "HTMLMediaElement.getdefaultPlaybackRate"
3349 | prim__defaultPlaybackRate
3350 | prim__setDefaultPlaybackRate
3351 | (v :> HTMLMediaElement)
3357 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3360 | duration a = primJS $
HTMLMediaElement.prim__duration (up a)
3366 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3369 | ended a = tryJS "HTMLMediaElement.ended" $
HTMLMediaElement.prim__ended (up a)
3375 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3377 | -> JSIO (Maybe MediaError)
3378 | error a = tryJS "HTMLMediaElement.error" $
HTMLMediaElement.prim__error (up a)
3384 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3386 | -> Attribute True Prelude.id Bool
3388 | "HTMLMediaElement.getloop"
3391 | (v :> HTMLMediaElement)
3397 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3399 | -> Attribute True Prelude.id Bool
3401 | "HTMLMediaElement.getmuted"
3404 | (v :> HTMLMediaElement)
3410 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3413 | networkState a = primJS $
HTMLMediaElement.prim__networkState (up a)
3419 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3422 | paused a = tryJS "HTMLMediaElement.paused" $
3423 | HTMLMediaElement.prim__paused (up a)
3429 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3431 | -> Attribute True Prelude.id Double
3432 | playbackRate v = fromPrim
3433 | "HTMLMediaElement.getplaybackRate"
3436 | (v :> HTMLMediaElement)
3442 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3445 | played a = primJS $
HTMLMediaElement.prim__played (up a)
3451 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3453 | -> Attribute True Prelude.id String
3455 | "HTMLMediaElement.getpreload"
3458 | (v :> HTMLMediaElement)
3464 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3466 | -> Attribute True Prelude.id Bool
3467 | preservesPitch v = fromPrim
3468 | "HTMLMediaElement.getpreservesPitch"
3470 | prim__setPreservesPitch
3471 | (v :> HTMLMediaElement)
3477 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3480 | readyState a = primJS $
HTMLMediaElement.prim__readyState (up a)
3486 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3489 | seekable a = primJS $
HTMLMediaElement.prim__seekable (up a)
3495 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3498 | seeking a = tryJS "HTMLMediaElement.seeking" $
3499 | HTMLMediaElement.prim__seeking (up a)
3505 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3507 | -> Attribute True Prelude.id String
3509 | "HTMLMediaElement.getsrc"
3512 | (v :> HTMLMediaElement)
3518 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3520 | -> Attribute False Maybe (HSum [MediaStream, MediaSource, Blob])
3521 | srcObject v = fromNullablePrim
3522 | "HTMLMediaElement.getsrcObject"
3525 | (v :> HTMLMediaElement)
3531 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3534 | textTracks a = primJS $
HTMLMediaElement.prim__textTracks (up a)
3540 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3543 | videoTracks a = primJS $
HTMLMediaElement.prim__videoTracks (up a)
3549 | -> {auto 0 _ : Elem HTMLMediaElement (Types t)}
3551 | -> Attribute True Prelude.id Double
3553 | "HTMLMediaElement.getvolume"
3556 | (v :> HTMLMediaElement)
3562 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3564 | -> (kind : TextTrackKind)
3565 | -> (label : Optional String)
3566 | -> (language : Optional String)
3568 | addTextTrack' a b c d = primJS $
3569 | HTMLMediaElement.prim__addTextTrack (up a) (toFFI b) (toFFI c) (toFFI d)
3574 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3576 | -> (kind : TextTrackKind)
3578 | addTextTrack a b = primJS $
3579 | HTMLMediaElement.prim__addTextTrack (up a) (toFFI b) undef undef
3585 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3588 | -> JSIO CanPlayTypeResult
3589 | canPlayType a b = tryJS "HTMLMediaElement.canPlayType" $
3590 | HTMLMediaElement.prim__canPlayType (up a) b
3596 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3600 | fastSeek a b = primJS $
HTMLMediaElement.prim__fastSeek (up a) b
3606 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3609 | getStartDate a = primJS $
HTMLMediaElement.prim__getStartDate (up a)
3615 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3618 | load a = primJS $
HTMLMediaElement.prim__load (up a)
3624 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3627 | pause a = primJS $
HTMLMediaElement.prim__pause (up a)
3633 | -> {auto 0 _ : Elem HTMLMediaElement (Types t1)}
3635 | -> JSIO (Promise Undefined)
3636 | play a = primJS $
HTMLMediaElement.prim__play (up a)
3640 | namespace HTMLMenuElement
3643 | new : JSIO HTMLMenuElement
3644 | new = primJS $
HTMLMenuElement.prim__new
3648 | compact : HTMLMenuElement -> Attribute True Prelude.id Bool
3650 | "HTMLMenuElement.getcompact"
3657 | namespace HTMLMetaElement
3660 | new : JSIO HTMLMetaElement
3661 | new = primJS $
HTMLMetaElement.prim__new
3665 | content : HTMLMetaElement -> Attribute True Prelude.id String
3667 | "HTMLMetaElement.getcontent"
3674 | httpEquiv : HTMLMetaElement -> Attribute True Prelude.id String
3676 | "HTMLMetaElement.gethttpEquiv"
3683 | name : HTMLMetaElement -> Attribute True Prelude.id String
3684 | name v = fromPrim "HTMLMetaElement.getname" prim__name prim__setName v
3688 | scheme : HTMLMetaElement -> Attribute True Prelude.id String
3689 | scheme v = fromPrim "HTMLMetaElement.getscheme" prim__scheme prim__setScheme v
3693 | namespace HTMLMeterElement
3696 | new : JSIO HTMLMeterElement
3697 | new = primJS $
HTMLMeterElement.prim__new
3701 | high : HTMLMeterElement -> Attribute True Prelude.id Double
3702 | high v = fromPrim "HTMLMeterElement.gethigh" prim__high prim__setHigh v
3706 | labels : (obj : HTMLMeterElement) -> JSIO NodeList
3707 | labels a = primJS $
HTMLMeterElement.prim__labels a
3711 | low : HTMLMeterElement -> Attribute True Prelude.id Double
3712 | low v = fromPrim "HTMLMeterElement.getlow" prim__low prim__setLow v
3716 | max : HTMLMeterElement -> Attribute True Prelude.id Double
3717 | max v = fromPrim "HTMLMeterElement.getmax" prim__max prim__setMax v
3721 | min : HTMLMeterElement -> Attribute True Prelude.id Double
3722 | min v = fromPrim "HTMLMeterElement.getmin" prim__min prim__setMin v
3726 | optimum : HTMLMeterElement -> Attribute True Prelude.id Double
3728 | "HTMLMeterElement.getoptimum"
3735 | value : HTMLMeterElement -> Attribute True Prelude.id Double
3736 | value v = fromPrim "HTMLMeterElement.getvalue" prim__value prim__setValue v
3740 | namespace HTMLModElement
3743 | new : JSIO HTMLModElement
3744 | new = primJS $
HTMLModElement.prim__new
3748 | cite : HTMLModElement -> Attribute True Prelude.id String
3749 | cite v = fromPrim "HTMLModElement.getcite" prim__cite prim__setCite v
3753 | dateTime : HTMLModElement -> Attribute True Prelude.id String
3755 | "HTMLModElement.getdateTime"
3762 | namespace HTMLOListElement
3765 | new : JSIO HTMLOListElement
3766 | new = primJS $
HTMLOListElement.prim__new
3770 | compact : HTMLOListElement -> Attribute True Prelude.id Bool
3772 | "HTMLOListElement.getcompact"
3779 | reversed : HTMLOListElement -> Attribute True Prelude.id Bool
3781 | "HTMLOListElement.getreversed"
3788 | start : HTMLOListElement -> Attribute True Prelude.id Int32
3789 | start v = fromPrim "HTMLOListElement.getstart" prim__start prim__setStart v
3793 | type : HTMLOListElement -> Attribute True Prelude.id String
3794 | type v = fromPrim "HTMLOListElement.gettype" prim__type prim__setType v
3798 | namespace HTMLObjectElement
3801 | new : JSIO HTMLObjectElement
3802 | new = primJS $
HTMLObjectElement.prim__new
3806 | align : HTMLObjectElement -> Attribute True Prelude.id String
3807 | align v = fromPrim "HTMLObjectElement.getalign" prim__align prim__setAlign v
3811 | archive : HTMLObjectElement -> Attribute True Prelude.id String
3813 | "HTMLObjectElement.getarchive"
3820 | border : HTMLObjectElement -> Attribute True Prelude.id String
3822 | "HTMLObjectElement.getborder"
3829 | code : HTMLObjectElement -> Attribute True Prelude.id String
3830 | code v = fromPrim "HTMLObjectElement.getcode" prim__code prim__setCode v
3834 | codeBase : HTMLObjectElement -> Attribute True Prelude.id String
3836 | "HTMLObjectElement.getcodeBase"
3843 | codeType : HTMLObjectElement -> Attribute True Prelude.id String
3845 | "HTMLObjectElement.getcodeType"
3852 | contentDocument : (obj : HTMLObjectElement) -> JSIO (Maybe Document)
3853 | contentDocument a = tryJS "HTMLObjectElement.contentDocument" $
3854 | HTMLObjectElement.prim__contentDocument a
3858 | contentWindow : (obj : HTMLObjectElement) -> JSIO (Maybe WindowProxy)
3859 | contentWindow a = tryJS "HTMLObjectElement.contentWindow" $
3860 | HTMLObjectElement.prim__contentWindow a
3864 | data_ : HTMLObjectElement -> Attribute True Prelude.id String
3865 | data_ v = fromPrim "HTMLObjectElement.getdata" prim__data prim__setData v
3869 | declare : HTMLObjectElement -> Attribute True Prelude.id Bool
3871 | "HTMLObjectElement.getdeclare"
3878 | form : (obj : HTMLObjectElement) -> JSIO (Maybe HTMLFormElement)
3879 | form a = tryJS "HTMLObjectElement.form" $
HTMLObjectElement.prim__form a
3883 | height : HTMLObjectElement -> Attribute True Prelude.id String
3885 | "HTMLObjectElement.getheight"
3892 | hspace : HTMLObjectElement -> Attribute True Prelude.id Bits32
3894 | "HTMLObjectElement.gethspace"
3901 | name : HTMLObjectElement -> Attribute True Prelude.id String
3902 | name v = fromPrim "HTMLObjectElement.getname" prim__name prim__setName v
3906 | standby : HTMLObjectElement -> Attribute True Prelude.id String
3908 | "HTMLObjectElement.getstandby"
3915 | type : HTMLObjectElement -> Attribute True Prelude.id String
3916 | type v = fromPrim "HTMLObjectElement.gettype" prim__type prim__setType v
3920 | useMap : HTMLObjectElement -> Attribute True Prelude.id String
3922 | "HTMLObjectElement.getuseMap"
3929 | validationMessage : (obj : HTMLObjectElement) -> JSIO String
3930 | validationMessage a = primJS $
HTMLObjectElement.prim__validationMessage a
3934 | validity : (obj : HTMLObjectElement) -> JSIO ValidityState
3935 | validity a = primJS $
HTMLObjectElement.prim__validity a
3939 | vspace : HTMLObjectElement -> Attribute True Prelude.id Bits32
3941 | "HTMLObjectElement.getvspace"
3948 | width : HTMLObjectElement -> Attribute True Prelude.id String
3949 | width v = fromPrim "HTMLObjectElement.getwidth" prim__width prim__setWidth v
3953 | willValidate : (obj : HTMLObjectElement) -> JSIO Bool
3954 | willValidate a = tryJS "HTMLObjectElement.willValidate" $
3955 | HTMLObjectElement.prim__willValidate a
3959 | checkValidity : (obj : HTMLObjectElement) -> JSIO Bool
3960 | checkValidity a = tryJS "HTMLObjectElement.checkValidity" $
3961 | HTMLObjectElement.prim__checkValidity a
3965 | getSVGDocument : (obj : HTMLObjectElement) -> JSIO (Maybe Document)
3966 | getSVGDocument a = tryJS "HTMLObjectElement.getSVGDocument" $
3967 | HTMLObjectElement.prim__getSVGDocument a
3971 | reportValidity : (obj : HTMLObjectElement) -> JSIO Bool
3972 | reportValidity a = tryJS "HTMLObjectElement.reportValidity" $
3973 | HTMLObjectElement.prim__reportValidity a
3977 | setCustomValidity : (obj : HTMLObjectElement) -> (error : String) -> JSIO ()
3978 | setCustomValidity a b = primJS $
HTMLObjectElement.prim__setCustomValidity a b
3982 | namespace HTMLOptGroupElement
3985 | new : JSIO HTMLOptGroupElement
3986 | new = primJS $
HTMLOptGroupElement.prim__new
3990 | disabled : HTMLOptGroupElement -> Attribute True Prelude.id Bool
3992 | "HTMLOptGroupElement.getdisabled"
3999 | label : HTMLOptGroupElement -> Attribute True Prelude.id String
4000 | label v = fromPrim "HTMLOptGroupElement.getlabel" prim__label prim__setLabel v
4004 | namespace HTMLOptionElement
4007 | new : JSIO HTMLOptionElement
4008 | new = primJS $
HTMLOptionElement.prim__new
4012 | defaultSelected : HTMLOptionElement -> Attribute True Prelude.id Bool
4013 | defaultSelected v = fromPrim
4014 | "HTMLOptionElement.getdefaultSelected"
4016 | prim__setDefaultSelected
4021 | disabled : HTMLOptionElement -> Attribute True Prelude.id Bool
4023 | "HTMLOptionElement.getdisabled"
4030 | form : (obj : HTMLOptionElement) -> JSIO (Maybe HTMLFormElement)
4031 | form a = tryJS "HTMLOptionElement.form" $
HTMLOptionElement.prim__form a
4035 | index : (obj : HTMLOptionElement) -> JSIO Int32
4036 | index a = primJS $
HTMLOptionElement.prim__index a
4040 | label : HTMLOptionElement -> Attribute True Prelude.id String
4041 | label v = fromPrim "HTMLOptionElement.getlabel" prim__label prim__setLabel v
4045 | selected : HTMLOptionElement -> Attribute True Prelude.id Bool
4047 | "HTMLOptionElement.getselected"
4054 | text : HTMLOptionElement -> Attribute True Prelude.id String
4055 | text v = fromPrim "HTMLOptionElement.gettext" prim__text prim__setText v
4059 | value : HTMLOptionElement -> Attribute True Prelude.id String
4060 | value v = fromPrim "HTMLOptionElement.getvalue" prim__value prim__setValue v
4064 | namespace HTMLOptionsCollection
4068 | (obj : HTMLOptionsCollection)
4070 | -> (option : Maybe HTMLOptionElement)
4072 | set a b c = primJS $
HTMLOptionsCollection.prim__set a b (toFFI c)
4076 | length : HTMLOptionsCollection -> Attribute True Prelude.id Bits32
4078 | "HTMLOptionsCollection.getlength"
4085 | selectedIndex : HTMLOptionsCollection -> Attribute True Prelude.id Int32
4086 | selectedIndex v = fromPrim
4087 | "HTMLOptionsCollection.getselectedIndex"
4095 | (obj : HTMLOptionsCollection)
4096 | -> (element : HSum [HTMLOptionElement, HTMLOptGroupElement])
4097 | -> (before : Optional (Maybe (HSum [HTMLElement, Int32])))
4099 | add' a b c = primJS $
HTMLOptionsCollection.prim__add a (toFFI b) (toFFI c)
4103 | (obj : HTMLOptionsCollection)
4104 | -> (element : HSum [HTMLOptionElement, HTMLOptGroupElement])
4106 | add a b = primJS $
HTMLOptionsCollection.prim__add a (toFFI b) undef
4110 | remove : (obj : HTMLOptionsCollection) -> (index : Int32) -> JSIO ()
4111 | remove a b = primJS $
HTMLOptionsCollection.prim__remove a b
4115 | namespace HTMLOutputElement
4118 | new : JSIO HTMLOutputElement
4119 | new = primJS $
HTMLOutputElement.prim__new
4123 | defaultValue : HTMLOutputElement -> Attribute True Prelude.id String
4124 | defaultValue v = fromPrim
4125 | "HTMLOutputElement.getdefaultValue"
4132 | form : (obj : HTMLOutputElement) -> JSIO (Maybe HTMLFormElement)
4133 | form a = tryJS "HTMLOutputElement.form" $
HTMLOutputElement.prim__form a
4137 | htmlFor : (obj : HTMLOutputElement) -> JSIO DOMTokenList
4138 | htmlFor a = primJS $
HTMLOutputElement.prim__htmlFor a
4142 | labels : (obj : HTMLOutputElement) -> JSIO NodeList
4143 | labels a = primJS $
HTMLOutputElement.prim__labels a
4147 | name : HTMLOutputElement -> Attribute True Prelude.id String
4148 | name v = fromPrim "HTMLOutputElement.getname" prim__name prim__setName v
4152 | type : (obj : HTMLOutputElement) -> JSIO String
4153 | type a = primJS $
HTMLOutputElement.prim__type a
4157 | validationMessage : (obj : HTMLOutputElement) -> JSIO String
4158 | validationMessage a = primJS $
HTMLOutputElement.prim__validationMessage a
4162 | validity : (obj : HTMLOutputElement) -> JSIO ValidityState
4163 | validity a = primJS $
HTMLOutputElement.prim__validity a
4167 | value : HTMLOutputElement -> Attribute True Prelude.id String
4168 | value v = fromPrim "HTMLOutputElement.getvalue" prim__value prim__setValue v
4172 | willValidate : (obj : HTMLOutputElement) -> JSIO Bool
4173 | willValidate a = tryJS "HTMLOutputElement.willValidate" $
4174 | HTMLOutputElement.prim__willValidate a
4178 | checkValidity : (obj : HTMLOutputElement) -> JSIO Bool
4179 | checkValidity a = tryJS "HTMLOutputElement.checkValidity" $
4180 | HTMLOutputElement.prim__checkValidity a
4184 | reportValidity : (obj : HTMLOutputElement) -> JSIO Bool
4185 | reportValidity a = tryJS "HTMLOutputElement.reportValidity" $
4186 | HTMLOutputElement.prim__reportValidity a
4190 | setCustomValidity : (obj : HTMLOutputElement) -> (error : String) -> JSIO ()
4191 | setCustomValidity a b = primJS $
HTMLOutputElement.prim__setCustomValidity a b
4195 | namespace HTMLParagraphElement
4198 | new : JSIO HTMLParagraphElement
4199 | new = primJS $
HTMLParagraphElement.prim__new
4203 | align : HTMLParagraphElement -> Attribute True Prelude.id String
4205 | "HTMLParagraphElement.getalign"
4212 | namespace HTMLParamElement
4215 | new : JSIO HTMLParamElement
4216 | new = primJS $
HTMLParamElement.prim__new
4220 | name : HTMLParamElement -> Attribute True Prelude.id String
4221 | name v = fromPrim "HTMLParamElement.getname" prim__name prim__setName v
4225 | type : HTMLParamElement -> Attribute True Prelude.id String
4226 | type v = fromPrim "HTMLParamElement.gettype" prim__type prim__setType v
4230 | value : HTMLParamElement -> Attribute True Prelude.id String
4231 | value v = fromPrim "HTMLParamElement.getvalue" prim__value prim__setValue v
4235 | valueType : HTMLParamElement -> Attribute True Prelude.id String
4237 | "HTMLParamElement.getvalueType"
4244 | namespace HTMLPictureElement
4247 | new : JSIO HTMLPictureElement
4248 | new = primJS $
HTMLPictureElement.prim__new
4252 | namespace HTMLPreElement
4255 | new : JSIO HTMLPreElement
4256 | new = primJS $
HTMLPreElement.prim__new
4260 | width : HTMLPreElement -> Attribute True Prelude.id Int32
4261 | width v = fromPrim "HTMLPreElement.getwidth" prim__width prim__setWidth v
4265 | namespace HTMLProgressElement
4268 | new : JSIO HTMLProgressElement
4269 | new = primJS $
HTMLProgressElement.prim__new
4273 | labels : (obj : HTMLProgressElement) -> JSIO NodeList
4274 | labels a = primJS $
HTMLProgressElement.prim__labels a
4278 | max : HTMLProgressElement -> Attribute True Prelude.id Double
4279 | max v = fromPrim "HTMLProgressElement.getmax" prim__max prim__setMax v
4283 | position : (obj : HTMLProgressElement) -> JSIO Double
4284 | position a = primJS $
HTMLProgressElement.prim__position a
4288 | value : HTMLProgressElement -> Attribute True Prelude.id Double
4289 | value v = fromPrim "HTMLProgressElement.getvalue" prim__value prim__setValue v
4293 | namespace HTMLQuoteElement
4296 | new : JSIO HTMLQuoteElement
4297 | new = primJS $
HTMLQuoteElement.prim__new
4301 | cite : HTMLQuoteElement -> Attribute True Prelude.id String
4302 | cite v = fromPrim "HTMLQuoteElement.getcite" prim__cite prim__setCite v
4306 | namespace HTMLScriptElement
4309 | new : JSIO HTMLScriptElement
4310 | new = primJS $
HTMLScriptElement.prim__new
4314 | async : HTMLScriptElement -> Attribute True Prelude.id Bool
4315 | async v = fromPrim "HTMLScriptElement.getasync" prim__async prim__setAsync v
4319 | charset : HTMLScriptElement -> Attribute True Prelude.id String
4321 | "HTMLScriptElement.getcharset"
4328 | crossOrigin : HTMLScriptElement -> Attribute False Maybe String
4329 | crossOrigin v = fromNullablePrim
4330 | "HTMLScriptElement.getcrossOrigin"
4337 | defer : HTMLScriptElement -> Attribute True Prelude.id Bool
4338 | defer v = fromPrim "HTMLScriptElement.getdefer" prim__defer prim__setDefer v
4342 | event : HTMLScriptElement -> Attribute True Prelude.id String
4343 | event v = fromPrim "HTMLScriptElement.getevent" prim__event prim__setEvent v
4347 | htmlFor : HTMLScriptElement -> Attribute True Prelude.id String
4349 | "HTMLScriptElement.gethtmlFor"
4356 | integrity : HTMLScriptElement -> Attribute True Prelude.id String
4358 | "HTMLScriptElement.getintegrity"
4365 | noModule : HTMLScriptElement -> Attribute True Prelude.id Bool
4367 | "HTMLScriptElement.getnoModule"
4374 | referrerPolicy : HTMLScriptElement -> Attribute True Prelude.id String
4375 | referrerPolicy v = fromPrim
4376 | "HTMLScriptElement.getreferrerPolicy"
4378 | prim__setReferrerPolicy
4383 | src : HTMLScriptElement -> Attribute True Prelude.id String
4384 | src v = fromPrim "HTMLScriptElement.getsrc" prim__src prim__setSrc v
4388 | text : HTMLScriptElement -> Attribute True Prelude.id String
4389 | text v = fromPrim "HTMLScriptElement.gettext" prim__text prim__setText v
4393 | type : HTMLScriptElement -> Attribute True Prelude.id String
4394 | type v = fromPrim "HTMLScriptElement.gettype" prim__type prim__setType v
4398 | namespace HTMLSelectElement
4401 | new : JSIO HTMLSelectElement
4402 | new = primJS $
HTMLSelectElement.prim__new
4407 | (obj : HTMLSelectElement)
4409 | -> (option : Maybe HTMLOptionElement)
4411 | set a b c = primJS $
HTMLSelectElement.prim__set a b (toFFI c)
4415 | autocomplete : HTMLSelectElement -> Attribute True Prelude.id String
4416 | autocomplete v = fromPrim
4417 | "HTMLSelectElement.getautocomplete"
4424 | disabled : HTMLSelectElement -> Attribute True Prelude.id Bool
4426 | "HTMLSelectElement.getdisabled"
4433 | form : (obj : HTMLSelectElement) -> JSIO (Maybe HTMLFormElement)
4434 | form a = tryJS "HTMLSelectElement.form" $
HTMLSelectElement.prim__form a
4438 | labels : (obj : HTMLSelectElement) -> JSIO NodeList
4439 | labels a = primJS $
HTMLSelectElement.prim__labels a
4443 | length : HTMLSelectElement -> Attribute True Prelude.id Bits32
4445 | "HTMLSelectElement.getlength"
4452 | multiple : HTMLSelectElement -> Attribute True Prelude.id Bool
4454 | "HTMLSelectElement.getmultiple"
4461 | name : HTMLSelectElement -> Attribute True Prelude.id String
4462 | name v = fromPrim "HTMLSelectElement.getname" prim__name prim__setName v
4466 | options : (obj : HTMLSelectElement) -> JSIO HTMLOptionsCollection
4467 | options a = primJS $
HTMLSelectElement.prim__options a
4471 | required : HTMLSelectElement -> Attribute True Prelude.id Bool
4473 | "HTMLSelectElement.getrequired"
4480 | selectedIndex : HTMLSelectElement -> Attribute True Prelude.id Int32
4481 | selectedIndex v = fromPrim
4482 | "HTMLSelectElement.getselectedIndex"
4489 | selectedOptions : (obj : HTMLSelectElement) -> JSIO HTMLCollection
4490 | selectedOptions a = primJS $
HTMLSelectElement.prim__selectedOptions a
4494 | size : HTMLSelectElement -> Attribute True Prelude.id Bits32
4495 | size v = fromPrim "HTMLSelectElement.getsize" prim__size prim__setSize v
4499 | type : (obj : HTMLSelectElement) -> JSIO String
4500 | type a = primJS $
HTMLSelectElement.prim__type a
4504 | validationMessage : (obj : HTMLSelectElement) -> JSIO String
4505 | validationMessage a = primJS $
HTMLSelectElement.prim__validationMessage a
4509 | validity : (obj : HTMLSelectElement) -> JSIO ValidityState
4510 | validity a = primJS $
HTMLSelectElement.prim__validity a
4514 | value : HTMLSelectElement -> Attribute True Prelude.id String
4515 | value v = fromPrim "HTMLSelectElement.getvalue" prim__value prim__setValue v
4519 | willValidate : (obj : HTMLSelectElement) -> JSIO Bool
4520 | willValidate a = tryJS "HTMLSelectElement.willValidate" $
4521 | HTMLSelectElement.prim__willValidate a
4526 | (obj : HTMLSelectElement)
4527 | -> (element : HSum [HTMLOptionElement, HTMLOptGroupElement])
4528 | -> (before : Optional (Maybe (HSum [HTMLElement, Int32])))
4530 | add' a b c = primJS $
HTMLSelectElement.prim__add a (toFFI b) (toFFI c)
4534 | (obj : HTMLSelectElement)
4535 | -> (element : HSum [HTMLOptionElement, HTMLOptGroupElement])
4537 | add a b = primJS $
HTMLSelectElement.prim__add a (toFFI b) undef
4541 | checkValidity : (obj : HTMLSelectElement) -> JSIO Bool
4542 | checkValidity a = tryJS "HTMLSelectElement.checkValidity" $
4543 | HTMLSelectElement.prim__checkValidity a
4547 | item : (obj : HTMLSelectElement) -> (index : Bits32) -> JSIO (Maybe Element)
4548 | item a b = tryJS "HTMLSelectElement.item" $
HTMLSelectElement.prim__item a b
4553 | (obj : HTMLSelectElement)
4555 | -> JSIO (Maybe HTMLOptionElement)
4556 | namedItem a b = tryJS "HTMLSelectElement.namedItem" $
4557 | HTMLSelectElement.prim__namedItem a b
4561 | remove : (obj : HTMLSelectElement) -> JSIO ()
4562 | remove a = primJS $
HTMLSelectElement.prim__remove a
4566 | remove1 : (obj : HTMLSelectElement) -> (index : Int32) -> JSIO ()
4567 | remove1 a b = primJS $
HTMLSelectElement.prim__remove1 a b
4571 | reportValidity : (obj : HTMLSelectElement) -> JSIO Bool
4572 | reportValidity a = tryJS "HTMLSelectElement.reportValidity" $
4573 | HTMLSelectElement.prim__reportValidity a
4577 | setCustomValidity : (obj : HTMLSelectElement) -> (error : String) -> JSIO ()
4578 | setCustomValidity a b = primJS $
HTMLSelectElement.prim__setCustomValidity a b
4582 | namespace HTMLSlotElement
4585 | new : JSIO HTMLSlotElement
4586 | new = primJS $
HTMLSlotElement.prim__new
4590 | name : HTMLSlotElement -> Attribute True Prelude.id String
4591 | name v = fromPrim "HTMLSlotElement.getname" prim__name prim__setName v
4597 | -> {auto 0 _ : Elem AssignedNodesOptions (Types t2)}
4598 | -> (obj : HTMLSlotElement)
4599 | -> (options : Optional t2)
4600 | -> JSIO (Array Element)
4601 | assignedElements' a b = primJS $
4602 | HTMLSlotElement.prim__assignedElements a (optUp b)
4605 | assignedElements : (obj : HTMLSlotElement) -> JSIO (Array Element)
4606 | assignedElements a = primJS $
HTMLSlotElement.prim__assignedElements a undef
4612 | -> {auto 0 _ : Elem AssignedNodesOptions (Types t2)}
4613 | -> (obj : HTMLSlotElement)
4614 | -> (options : Optional t2)
4616 | assignedNodes' a b = primJS $
HTMLSlotElement.prim__assignedNodes a (optUp b)
4619 | assignedNodes : (obj : HTMLSlotElement) -> JSIO (Array Node)
4620 | assignedNodes a = primJS $
HTMLSlotElement.prim__assignedNodes a undef
4624 | namespace HTMLSourceElement
4627 | new : JSIO HTMLSourceElement
4628 | new = primJS $
HTMLSourceElement.prim__new
4632 | height : HTMLSourceElement -> Attribute True Prelude.id Bits32
4634 | "HTMLSourceElement.getheight"
4641 | media : HTMLSourceElement -> Attribute True Prelude.id String
4642 | media v = fromPrim "HTMLSourceElement.getmedia" prim__media prim__setMedia v
4646 | sizes : HTMLSourceElement -> Attribute True Prelude.id String
4647 | sizes v = fromPrim "HTMLSourceElement.getsizes" prim__sizes prim__setSizes v
4651 | src : HTMLSourceElement -> Attribute True Prelude.id String
4652 | src v = fromPrim "HTMLSourceElement.getsrc" prim__src prim__setSrc v
4656 | srcset : HTMLSourceElement -> Attribute True Prelude.id String
4658 | "HTMLSourceElement.getsrcset"
4665 | type : HTMLSourceElement -> Attribute True Prelude.id String
4666 | type v = fromPrim "HTMLSourceElement.gettype" prim__type prim__setType v
4670 | width : HTMLSourceElement -> Attribute True Prelude.id Bits32
4671 | width v = fromPrim "HTMLSourceElement.getwidth" prim__width prim__setWidth v
4675 | namespace HTMLSpanElement
4678 | new : JSIO HTMLSpanElement
4679 | new = primJS $
HTMLSpanElement.prim__new
4683 | namespace HTMLStyleElement
4686 | new : JSIO HTMLStyleElement
4687 | new = primJS $
HTMLStyleElement.prim__new
4691 | media : HTMLStyleElement -> Attribute True Prelude.id String
4692 | media v = fromPrim "HTMLStyleElement.getmedia" prim__media prim__setMedia v
4696 | type : HTMLStyleElement -> Attribute True Prelude.id String
4697 | type v = fromPrim "HTMLStyleElement.gettype" prim__type prim__setType v
4701 | namespace HTMLTableCaptionElement
4704 | new : JSIO HTMLTableCaptionElement
4705 | new = primJS $
HTMLTableCaptionElement.prim__new
4709 | align : HTMLTableCaptionElement -> Attribute True Prelude.id String
4711 | "HTMLTableCaptionElement.getalign"
4718 | namespace HTMLTableCellElement
4721 | new : JSIO HTMLTableCellElement
4722 | new = primJS $
HTMLTableCellElement.prim__new
4726 | abbr : HTMLTableCellElement -> Attribute True Prelude.id String
4727 | abbr v = fromPrim "HTMLTableCellElement.getabbr" prim__abbr prim__setAbbr v
4731 | align : HTMLTableCellElement -> Attribute True Prelude.id String
4733 | "HTMLTableCellElement.getalign"
4740 | axis : HTMLTableCellElement -> Attribute True Prelude.id String
4741 | axis v = fromPrim "HTMLTableCellElement.getaxis" prim__axis prim__setAxis v
4745 | bgColor : HTMLTableCellElement -> Attribute True Prelude.id String
4747 | "HTMLTableCellElement.getbgColor"
4754 | cellIndex : (obj : HTMLTableCellElement) -> JSIO Int32
4755 | cellIndex a = primJS $
HTMLTableCellElement.prim__cellIndex a
4759 | ch : HTMLTableCellElement -> Attribute True Prelude.id String
4760 | ch v = fromPrim "HTMLTableCellElement.getch" prim__ch prim__setCh v
4764 | chOff : HTMLTableCellElement -> Attribute True Prelude.id String
4766 | "HTMLTableCellElement.getchOff"
4773 | colSpan : HTMLTableCellElement -> Attribute True Prelude.id Bits32
4775 | "HTMLTableCellElement.getcolSpan"
4782 | headers : HTMLTableCellElement -> Attribute True Prelude.id String
4784 | "HTMLTableCellElement.getheaders"
4791 | height : HTMLTableCellElement -> Attribute True Prelude.id String
4793 | "HTMLTableCellElement.getheight"
4800 | noWrap : HTMLTableCellElement -> Attribute True Prelude.id Bool
4802 | "HTMLTableCellElement.getnoWrap"
4809 | rowSpan : HTMLTableCellElement -> Attribute True Prelude.id Bits32
4811 | "HTMLTableCellElement.getrowSpan"
4818 | scope : HTMLTableCellElement -> Attribute True Prelude.id String
4820 | "HTMLTableCellElement.getscope"
4827 | vAlign : HTMLTableCellElement -> Attribute True Prelude.id String
4829 | "HTMLTableCellElement.getvAlign"
4836 | width : HTMLTableCellElement -> Attribute True Prelude.id String
4838 | "HTMLTableCellElement.getwidth"
4845 | namespace HTMLTableColElement
4848 | new : JSIO HTMLTableColElement
4849 | new = primJS $
HTMLTableColElement.prim__new
4853 | align : HTMLTableColElement -> Attribute True Prelude.id String
4854 | align v = fromPrim "HTMLTableColElement.getalign" prim__align prim__setAlign v
4858 | ch : HTMLTableColElement -> Attribute True Prelude.id String
4859 | ch v = fromPrim "HTMLTableColElement.getch" prim__ch prim__setCh v
4863 | chOff : HTMLTableColElement -> Attribute True Prelude.id String
4864 | chOff v = fromPrim "HTMLTableColElement.getchOff" prim__chOff prim__setChOff v
4868 | span : HTMLTableColElement -> Attribute True Prelude.id Bits32
4869 | span v = fromPrim "HTMLTableColElement.getspan" prim__span prim__setSpan v
4873 | vAlign : HTMLTableColElement -> Attribute True Prelude.id String
4875 | "HTMLTableColElement.getvAlign"
4882 | width : HTMLTableColElement -> Attribute True Prelude.id String
4883 | width v = fromPrim "HTMLTableColElement.getwidth" prim__width prim__setWidth v
4887 | namespace HTMLTableElement
4890 | new : JSIO HTMLTableElement
4891 | new = primJS $
HTMLTableElement.prim__new
4895 | align : HTMLTableElement -> Attribute True Prelude.id String
4896 | align v = fromPrim "HTMLTableElement.getalign" prim__align prim__setAlign v
4900 | bgColor : HTMLTableElement -> Attribute True Prelude.id String
4902 | "HTMLTableElement.getbgColor"
4909 | border : HTMLTableElement -> Attribute True Prelude.id String
4911 | "HTMLTableElement.getborder"
4918 | caption : HTMLTableElement -> Attribute False Maybe HTMLTableCaptionElement
4919 | caption v = fromNullablePrim
4920 | "HTMLTableElement.getcaption"
4927 | cellPadding : HTMLTableElement -> Attribute True Prelude.id String
4928 | cellPadding v = fromPrim
4929 | "HTMLTableElement.getcellPadding"
4936 | cellSpacing : HTMLTableElement -> Attribute True Prelude.id String
4937 | cellSpacing v = fromPrim
4938 | "HTMLTableElement.getcellSpacing"
4945 | frame : HTMLTableElement -> Attribute True Prelude.id String
4946 | frame v = fromPrim "HTMLTableElement.getframe" prim__frame prim__setFrame v
4950 | rows : (obj : HTMLTableElement) -> JSIO HTMLCollection
4951 | rows a = primJS $
HTMLTableElement.prim__rows a
4955 | rules : HTMLTableElement -> Attribute True Prelude.id String
4956 | rules v = fromPrim "HTMLTableElement.getrules" prim__rules prim__setRules v
4960 | summary : HTMLTableElement -> Attribute True Prelude.id String
4962 | "HTMLTableElement.getsummary"
4969 | tBodies : (obj : HTMLTableElement) -> JSIO HTMLCollection
4970 | tBodies a = primJS $
HTMLTableElement.prim__tBodies a
4974 | tFoot : HTMLTableElement -> Attribute False Maybe HTMLTableSectionElement
4975 | tFoot v = fromNullablePrim
4976 | "HTMLTableElement.gettFoot"
4983 | tHead : HTMLTableElement -> Attribute False Maybe HTMLTableSectionElement
4984 | tHead v = fromNullablePrim
4985 | "HTMLTableElement.gettHead"
4992 | width : HTMLTableElement -> Attribute True Prelude.id String
4993 | width v = fromPrim "HTMLTableElement.getwidth" prim__width prim__setWidth v
4997 | createCaption : (obj : HTMLTableElement) -> JSIO HTMLTableCaptionElement
4998 | createCaption a = primJS $
HTMLTableElement.prim__createCaption a
5002 | createTBody : (obj : HTMLTableElement) -> JSIO HTMLTableSectionElement
5003 | createTBody a = primJS $
HTMLTableElement.prim__createTBody a
5007 | createTFoot : (obj : HTMLTableElement) -> JSIO HTMLTableSectionElement
5008 | createTFoot a = primJS $
HTMLTableElement.prim__createTFoot a
5012 | createTHead : (obj : HTMLTableElement) -> JSIO HTMLTableSectionElement
5013 | createTHead a = primJS $
HTMLTableElement.prim__createTHead a
5017 | deleteCaption : (obj : HTMLTableElement) -> JSIO ()
5018 | deleteCaption a = primJS $
HTMLTableElement.prim__deleteCaption a
5022 | deleteRow : (obj : HTMLTableElement) -> (index : Int32) -> JSIO ()
5023 | deleteRow a b = primJS $
HTMLTableElement.prim__deleteRow a b
5027 | deleteTFoot : (obj : HTMLTableElement) -> JSIO ()
5028 | deleteTFoot a = primJS $
HTMLTableElement.prim__deleteTFoot a
5032 | deleteTHead : (obj : HTMLTableElement) -> JSIO ()
5033 | deleteTHead a = primJS $
HTMLTableElement.prim__deleteTHead a
5038 | (obj : HTMLTableElement)
5039 | -> (index : Optional Int32)
5040 | -> JSIO HTMLTableRowElement
5041 | insertRow' a b = primJS $
HTMLTableElement.prim__insertRow a (toFFI b)
5044 | insertRow : (obj : HTMLTableElement) -> JSIO HTMLTableRowElement
5045 | insertRow a = primJS $
HTMLTableElement.prim__insertRow a undef
5049 | namespace HTMLTableRowElement
5052 | new : JSIO HTMLTableRowElement
5053 | new = primJS $
HTMLTableRowElement.prim__new
5057 | align : HTMLTableRowElement -> Attribute True Prelude.id String
5058 | align v = fromPrim "HTMLTableRowElement.getalign" prim__align prim__setAlign v
5062 | bgColor : HTMLTableRowElement -> Attribute True Prelude.id String
5064 | "HTMLTableRowElement.getbgColor"
5071 | cells : (obj : HTMLTableRowElement) -> JSIO HTMLCollection
5072 | cells a = primJS $
HTMLTableRowElement.prim__cells a
5076 | ch : HTMLTableRowElement -> Attribute True Prelude.id String
5077 | ch v = fromPrim "HTMLTableRowElement.getch" prim__ch prim__setCh v
5081 | chOff : HTMLTableRowElement -> Attribute True Prelude.id String
5082 | chOff v = fromPrim "HTMLTableRowElement.getchOff" prim__chOff prim__setChOff v
5086 | rowIndex : (obj : HTMLTableRowElement) -> JSIO Int32
5087 | rowIndex a = primJS $
HTMLTableRowElement.prim__rowIndex a
5091 | sectionRowIndex : (obj : HTMLTableRowElement) -> JSIO Int32
5092 | sectionRowIndex a = primJS $
HTMLTableRowElement.prim__sectionRowIndex a
5096 | vAlign : HTMLTableRowElement -> Attribute True Prelude.id String
5098 | "HTMLTableRowElement.getvAlign"
5105 | deleteCell : (obj : HTMLTableRowElement) -> (index : Int32) -> JSIO ()
5106 | deleteCell a b = primJS $
HTMLTableRowElement.prim__deleteCell a b
5111 | (obj : HTMLTableRowElement)
5112 | -> (index : Optional Int32)
5113 | -> JSIO HTMLTableCellElement
5114 | insertCell' a b = primJS $
HTMLTableRowElement.prim__insertCell a (toFFI b)
5117 | insertCell : (obj : HTMLTableRowElement) -> JSIO HTMLTableCellElement
5118 | insertCell a = primJS $
HTMLTableRowElement.prim__insertCell a undef
5122 | namespace HTMLTableSectionElement
5125 | new : JSIO HTMLTableSectionElement
5126 | new = primJS $
HTMLTableSectionElement.prim__new
5130 | align : HTMLTableSectionElement -> Attribute True Prelude.id String
5132 | "HTMLTableSectionElement.getalign"
5139 | ch : HTMLTableSectionElement -> Attribute True Prelude.id String
5140 | ch v = fromPrim "HTMLTableSectionElement.getch" prim__ch prim__setCh v
5144 | chOff : HTMLTableSectionElement -> Attribute True Prelude.id String
5146 | "HTMLTableSectionElement.getchOff"
5153 | rows : (obj : HTMLTableSectionElement) -> JSIO HTMLCollection
5154 | rows a = primJS $
HTMLTableSectionElement.prim__rows a
5158 | vAlign : HTMLTableSectionElement -> Attribute True Prelude.id String
5160 | "HTMLTableSectionElement.getvAlign"
5167 | deleteRow : (obj : HTMLTableSectionElement) -> (index : Int32) -> JSIO ()
5168 | deleteRow a b = primJS $
HTMLTableSectionElement.prim__deleteRow a b
5173 | (obj : HTMLTableSectionElement)
5174 | -> (index : Optional Int32)
5175 | -> JSIO HTMLTableRowElement
5176 | insertRow' a b = primJS $
HTMLTableSectionElement.prim__insertRow a (toFFI b)
5179 | insertRow : (obj : HTMLTableSectionElement) -> JSIO HTMLTableRowElement
5180 | insertRow a = primJS $
HTMLTableSectionElement.prim__insertRow a undef
5184 | namespace HTMLTemplateElement
5187 | new : JSIO HTMLTemplateElement
5188 | new = primJS $
HTMLTemplateElement.prim__new
5192 | content : (obj : HTMLTemplateElement) -> JSIO DocumentFragment
5193 | content a = primJS $
HTMLTemplateElement.prim__content a
5197 | namespace HTMLTextAreaElement
5200 | new : JSIO HTMLTextAreaElement
5201 | new = primJS $
HTMLTextAreaElement.prim__new
5205 | autocomplete : HTMLTextAreaElement -> Attribute True Prelude.id String
5206 | autocomplete v = fromPrim
5207 | "HTMLTextAreaElement.getautocomplete"
5214 | cols : HTMLTextAreaElement -> Attribute True Prelude.id Bits32
5215 | cols v = fromPrim "HTMLTextAreaElement.getcols" prim__cols prim__setCols v
5219 | defaultValue : HTMLTextAreaElement -> Attribute True Prelude.id String
5220 | defaultValue v = fromPrim
5221 | "HTMLTextAreaElement.getdefaultValue"
5228 | dirName : HTMLTextAreaElement -> Attribute True Prelude.id String
5230 | "HTMLTextAreaElement.getdirName"
5237 | disabled : HTMLTextAreaElement -> Attribute True Prelude.id Bool
5239 | "HTMLTextAreaElement.getdisabled"
5246 | form : (obj : HTMLTextAreaElement) -> JSIO (Maybe HTMLFormElement)
5247 | form a = tryJS "HTMLTextAreaElement.form" $
HTMLTextAreaElement.prim__form a
5251 | labels : (obj : HTMLTextAreaElement) -> JSIO NodeList
5252 | labels a = primJS $
HTMLTextAreaElement.prim__labels a
5256 | maxLength : HTMLTextAreaElement -> Attribute True Prelude.id Int32
5258 | "HTMLTextAreaElement.getmaxLength"
5265 | minLength : HTMLTextAreaElement -> Attribute True Prelude.id Int32
5267 | "HTMLTextAreaElement.getminLength"
5274 | name : HTMLTextAreaElement -> Attribute True Prelude.id String
5275 | name v = fromPrim "HTMLTextAreaElement.getname" prim__name prim__setName v
5279 | placeholder : HTMLTextAreaElement -> Attribute True Prelude.id String
5280 | placeholder v = fromPrim
5281 | "HTMLTextAreaElement.getplaceholder"
5288 | readOnly : HTMLTextAreaElement -> Attribute True Prelude.id Bool
5290 | "HTMLTextAreaElement.getreadOnly"
5297 | required : HTMLTextAreaElement -> Attribute True Prelude.id Bool
5299 | "HTMLTextAreaElement.getrequired"
5306 | rows : HTMLTextAreaElement -> Attribute True Prelude.id Bits32
5307 | rows v = fromPrim "HTMLTextAreaElement.getrows" prim__rows prim__setRows v
5311 | selectionDirection : HTMLTextAreaElement -> Attribute True Prelude.id String
5312 | selectionDirection v = fromPrim
5313 | "HTMLTextAreaElement.getselectionDirection"
5314 | prim__selectionDirection
5315 | prim__setSelectionDirection
5320 | selectionEnd : HTMLTextAreaElement -> Attribute True Prelude.id Bits32
5321 | selectionEnd v = fromPrim
5322 | "HTMLTextAreaElement.getselectionEnd"
5329 | selectionStart : HTMLTextAreaElement -> Attribute True Prelude.id Bits32
5330 | selectionStart v = fromPrim
5331 | "HTMLTextAreaElement.getselectionStart"
5333 | prim__setSelectionStart
5338 | textLength : (obj : HTMLTextAreaElement) -> JSIO Bits32
5339 | textLength a = primJS $
HTMLTextAreaElement.prim__textLength a
5343 | type : (obj : HTMLTextAreaElement) -> JSIO String
5344 | type a = primJS $
HTMLTextAreaElement.prim__type a
5348 | validationMessage : (obj : HTMLTextAreaElement) -> JSIO String
5349 | validationMessage a = primJS $
HTMLTextAreaElement.prim__validationMessage a
5353 | validity : (obj : HTMLTextAreaElement) -> JSIO ValidityState
5354 | validity a = primJS $
HTMLTextAreaElement.prim__validity a
5358 | value : HTMLTextAreaElement -> Attribute True Prelude.id String
5359 | value v = fromPrim "HTMLTextAreaElement.getvalue" prim__value prim__setValue v
5363 | willValidate : (obj : HTMLTextAreaElement) -> JSIO Bool
5364 | willValidate a = tryJS "HTMLTextAreaElement.willValidate" $
5365 | HTMLTextAreaElement.prim__willValidate a
5369 | wrap : HTMLTextAreaElement -> Attribute True Prelude.id String
5370 | wrap v = fromPrim "HTMLTextAreaElement.getwrap" prim__wrap prim__setWrap v
5374 | checkValidity : (obj : HTMLTextAreaElement) -> JSIO Bool
5375 | checkValidity a = tryJS "HTMLTextAreaElement.checkValidity" $
5376 | HTMLTextAreaElement.prim__checkValidity a
5380 | reportValidity : (obj : HTMLTextAreaElement) -> JSIO Bool
5381 | reportValidity a = tryJS "HTMLTextAreaElement.reportValidity" $
5382 | HTMLTextAreaElement.prim__reportValidity a
5386 | select : (obj : HTMLTextAreaElement) -> JSIO ()
5387 | select a = primJS $
HTMLTextAreaElement.prim__select a
5391 | setCustomValidity : (obj : HTMLTextAreaElement) -> (error : String) -> JSIO ()
5392 | setCustomValidity a b = primJS $
5393 | HTMLTextAreaElement.prim__setCustomValidity a b
5398 | (obj : HTMLTextAreaElement)
5399 | -> (replacement : String)
5401 | setRangeText a b = primJS $
HTMLTextAreaElement.prim__setRangeText a b
5406 | (obj : HTMLTextAreaElement)
5407 | -> (replacement : String)
5410 | -> (selectionMode : Optional SelectionMode)
5412 | setRangeText1' a b c d e = primJS $
5413 | HTMLTextAreaElement.prim__setRangeText1 a b c d (toFFI e)
5417 | (obj : HTMLTextAreaElement)
5418 | -> (replacement : String)
5422 | setRangeText1 a b c d = primJS $
5423 | HTMLTextAreaElement.prim__setRangeText1 a b c d undef
5428 | (obj : HTMLTextAreaElement)
5431 | -> (direction : Optional String)
5433 | setSelectionRange' a b c d = primJS $
5434 | HTMLTextAreaElement.prim__setSelectionRange a b c (toFFI d)
5438 | (obj : HTMLTextAreaElement)
5442 | setSelectionRange a b c = primJS $
5443 | HTMLTextAreaElement.prim__setSelectionRange a b c undef
5447 | namespace HTMLTimeElement
5450 | new : JSIO HTMLTimeElement
5451 | new = primJS $
HTMLTimeElement.prim__new
5455 | dateTime : HTMLTimeElement -> Attribute True Prelude.id String
5457 | "HTMLTimeElement.getdateTime"
5464 | namespace HTMLTitleElement
5467 | new : JSIO HTMLTitleElement
5468 | new = primJS $
HTMLTitleElement.prim__new
5472 | text : HTMLTitleElement -> Attribute True Prelude.id String
5473 | text v = fromPrim "HTMLTitleElement.gettext" prim__text prim__setText v
5477 | namespace HTMLTrackElement
5500 | new : JSIO HTMLTrackElement
5501 | new = primJS $
HTMLTrackElement.prim__new
5505 | default_ : HTMLTrackElement -> Attribute True Prelude.id Bool
5507 | "HTMLTrackElement.getdefault"
5514 | kind : HTMLTrackElement -> Attribute True Prelude.id String
5515 | kind v = fromPrim "HTMLTrackElement.getkind" prim__kind prim__setKind v
5519 | label : HTMLTrackElement -> Attribute True Prelude.id String
5520 | label v = fromPrim "HTMLTrackElement.getlabel" prim__label prim__setLabel v
5524 | readyState : (obj : HTMLTrackElement) -> JSIO Bits16
5525 | readyState a = primJS $
HTMLTrackElement.prim__readyState a
5529 | src : HTMLTrackElement -> Attribute True Prelude.id String
5530 | src v = fromPrim "HTMLTrackElement.getsrc" prim__src prim__setSrc v
5534 | srclang : HTMLTrackElement -> Attribute True Prelude.id String
5536 | "HTMLTrackElement.getsrclang"
5543 | track : (obj : HTMLTrackElement) -> JSIO TextTrack
5544 | track a = primJS $
HTMLTrackElement.prim__track a
5548 | namespace HTMLUListElement
5551 | new : JSIO HTMLUListElement
5552 | new = primJS $
HTMLUListElement.prim__new
5556 | compact : HTMLUListElement -> Attribute True Prelude.id Bool
5558 | "HTMLUListElement.getcompact"
5565 | type : HTMLUListElement -> Attribute True Prelude.id String
5566 | type v = fromPrim "HTMLUListElement.gettype" prim__type prim__setType v
5571 | namespace HTMLVideoElement
5574 | new : JSIO HTMLVideoElement
5575 | new = primJS $
HTMLVideoElement.prim__new
5579 | height : HTMLVideoElement -> Attribute True Prelude.id Bits32
5581 | "HTMLVideoElement.getheight"
5588 | playsInline : HTMLVideoElement -> Attribute True Prelude.id Bool
5589 | playsInline v = fromPrim
5590 | "HTMLVideoElement.getplaysInline"
5597 | poster : HTMLVideoElement -> Attribute True Prelude.id String
5599 | "HTMLVideoElement.getposter"
5606 | videoHeight : (obj : HTMLVideoElement) -> JSIO Bits32
5607 | videoHeight a = primJS $
HTMLVideoElement.prim__videoHeight a
5611 | videoWidth : (obj : HTMLVideoElement) -> JSIO Bits32
5612 | videoWidth a = primJS $
HTMLVideoElement.prim__videoWidth a
5616 | width : HTMLVideoElement -> Attribute True Prelude.id Bits32
5617 | width v = fromPrim "HTMLVideoElement.getwidth" prim__width prim__setWidth v
5621 | namespace HashChangeEvent
5626 | -> {auto 0 _ : Elem HashChangeEventInit (Types t2)}
5628 | -> (eventInitDict : Optional t2)
5629 | -> JSIO HashChangeEvent
5630 | new' a b = primJS $
HashChangeEvent.prim__new a (optUp b)
5633 | new : (type : String) -> JSIO HashChangeEvent
5634 | new a = primJS $
HashChangeEvent.prim__new a undef
5638 | newURL : (obj : HashChangeEvent) -> JSIO String
5639 | newURL a = primJS $
HashChangeEvent.prim__newURL a
5643 | oldURL : (obj : HashChangeEvent) -> JSIO String
5644 | oldURL a = primJS $
HashChangeEvent.prim__oldURL a
5651 | length : (obj : History) -> JSIO Bits32
5652 | length a = primJS $
History.prim__length a
5656 | scrollRestoration : History -> Attribute True Prelude.id ScrollRestoration
5657 | scrollRestoration v = fromPrim
5658 | "History.getscrollRestoration"
5659 | prim__scrollRestoration
5660 | prim__setScrollRestoration
5665 | state : (obj : History) -> JSIO Any
5666 | state a = tryJS "History.state" $
History.prim__state a
5670 | back : (obj : History) -> JSIO ()
5671 | back a = primJS $
History.prim__back a
5675 | forward : (obj : History) -> JSIO ()
5676 | forward a = primJS $
History.prim__forward a
5680 | go' : (obj : History) -> (delta : Optional Int32) -> JSIO ()
5681 | go' a b = primJS $
History.prim__go a (toFFI b)
5684 | go : (obj : History) -> JSIO ()
5685 | go a = primJS $
History.prim__go a undef
5693 | -> (url : Optional (Maybe String))
5695 | pushState' a b c d = primJS $
History.prim__pushState a (toFFI b) c (toFFI d)
5698 | pushState : (obj : History) -> (data_ : Any) -> (unused : String) -> JSIO ()
5699 | pushState a b c = primJS $
History.prim__pushState a (toFFI b) c undef
5707 | -> (url : Optional (Maybe String))
5709 | replaceState' a b c d = primJS $
5710 | History.prim__replaceState a (toFFI b) c (toFFI d)
5718 | replaceState a b c = primJS $
History.prim__replaceState a (toFFI b) c undef
5725 | height : (obj : ImageBitmap) -> JSIO Bits32
5726 | height a = primJS $
ImageBitmap.prim__height a
5730 | width : (obj : ImageBitmap) -> JSIO Bits32
5731 | width a = primJS $
ImageBitmap.prim__width a
5735 | close : (obj : ImageBitmap) -> JSIO ()
5736 | close a = primJS $
ImageBitmap.prim__close a
5740 | namespace ImageBitmapRenderingContext
5744 | (obj : ImageBitmapRenderingContext)
5745 | -> JSIO (HSum [HTMLCanvasElement, OffscreenCanvas])
5746 | canvas a = tryJS "ImageBitmapRenderingContext.canvas" $
5747 | ImageBitmapRenderingContext.prim__canvas a
5751 | transferFromImageBitmap :
5752 | (obj : ImageBitmapRenderingContext)
5753 | -> (bitmap : Maybe ImageBitmap)
5755 | transferFromImageBitmap a b = primJS $
5756 | ImageBitmapRenderingContext.prim__transferFromImageBitmap a (toFFI b)
5763 | new : (sw : Bits32) -> (sh : Bits32) -> JSIO ImageData
5764 | new a b = primJS $
ImageData.prim__new a b
5769 | (data_ : UInt8ClampedArray)
5771 | -> (sh : Optional Bits32)
5773 | new1' a b c = primJS $
ImageData.prim__new1 a b (toFFI c)
5776 | new1 : (data_ : UInt8ClampedArray) -> (sw : Bits32) -> JSIO ImageData
5777 | new1 a b = primJS $
ImageData.prim__new1 a b undef
5781 | data_ : (obj : ImageData) -> JSIO UInt8ClampedArray
5782 | data_ a = primJS $
ImageData.prim__data a
5786 | height : (obj : ImageData) -> JSIO Bits32
5787 | height a = primJS $
ImageData.prim__height a
5791 | width : (obj : ImageData) -> JSIO Bits32
5792 | width a = primJS $
ImageData.prim__width a
5799 | ancestorOrigins : (obj : Location) -> JSIO DOMStringList
5800 | ancestorOrigins a = primJS $
Location.prim__ancestorOrigins a
5804 | hash : Location -> Attribute True Prelude.id String
5805 | hash v = fromPrim "Location.gethash" prim__hash prim__setHash v
5809 | host : Location -> Attribute True Prelude.id String
5810 | host v = fromPrim "Location.gethost" prim__host prim__setHost v
5814 | hostname : Location -> Attribute True Prelude.id String
5823 | href : Location -> Attribute True Prelude.id String
5824 | href v = fromPrim "Location.gethref" prim__href prim__setHref v
5828 | origin : (obj : Location) -> JSIO String
5829 | origin a = primJS $
Location.prim__origin a
5833 | pathname : Location -> Attribute True Prelude.id String
5842 | port : Location -> Attribute True Prelude.id String
5843 | port v = fromPrim "Location.getport" prim__port prim__setPort v
5847 | protocol : Location -> Attribute True Prelude.id String
5856 | search : Location -> Attribute True Prelude.id String
5857 | search v = fromPrim "Location.getsearch" prim__search prim__setSearch v
5861 | assign : (obj : Location) -> (url : String) -> JSIO ()
5862 | assign a b = primJS $
Location.prim__assign a b
5866 | reload : (obj : Location) -> JSIO ()
5867 | reload a = primJS $
Location.prim__reload a
5871 | replace : (obj : Location) -> (url : String) -> JSIO ()
5872 | replace a b = primJS $
Location.prim__replace a b
5879 | MEDIA_ERR_ABORTED : Bits16
5884 | MEDIA_ERR_DECODE : Bits16
5889 | MEDIA_ERR_NETWORK : Bits16
5894 | MEDIA_ERR_SRC_NOT_SUPPORTED : Bits16
5895 | MEDIA_ERR_SRC_NOT_SUPPORTED = 4
5899 | code : (obj : MediaError) -> JSIO Bits16
5900 | code a = primJS $
MediaError.prim__code a
5904 | message : (obj : MediaError) -> JSIO String
5905 | message a = primJS $
MediaError.prim__message a
5909 | namespace MessageChannel
5912 | new : JSIO MessageChannel
5913 | new = primJS $
MessageChannel.prim__new
5917 | port1 : (obj : MessageChannel) -> JSIO MessagePort
5918 | port1 a = primJS $
MessageChannel.prim__port1 a
5922 | port2 : (obj : MessageChannel) -> JSIO MessagePort
5923 | port2 a = primJS $
MessageChannel.prim__port2 a
5932 | -> {auto 0 _ : Elem MessageEventInit (Types t2)}
5934 | -> (eventInitDict : Optional t2)
5936 | new' a b = primJS $
MessageEvent.prim__new a (optUp b)
5939 | new : (type : String) -> JSIO MessageEvent
5940 | new a = primJS $
MessageEvent.prim__new a undef
5944 | data_ : (obj : MessageEvent) -> JSIO Any
5945 | data_ a = tryJS "MessageEvent.data_" $
MessageEvent.prim__data a
5949 | lastEventId : (obj : MessageEvent) -> JSIO String
5950 | lastEventId a = primJS $
MessageEvent.prim__lastEventId a
5954 | origin : (obj : MessageEvent) -> JSIO String
5955 | origin a = primJS $
MessageEvent.prim__origin a
5959 | ports : (obj : MessageEvent) -> JSIO (Array MessagePort)
5960 | ports a = primJS $
MessageEvent.prim__ports a
5966 | -> JSIO (Maybe (Union3 WindowProxy MessagePort ServiceWorker))
5967 | source a = tryJS "MessageEvent.source" $
MessageEvent.prim__source a
5974 | -> (bubbles : Optional Bool)
5975 | -> (cancelable : Optional Bool)
5976 | -> (data_ : Optional Any)
5977 | -> (origin : Optional String)
5978 | -> (lastEventId : Optional String)
5980 | (Maybe (HSum [WindowProxy, MessagePort, ServiceWorker])))
5981 | -> (ports : Optional (Array MessagePort))
5983 | initMessageEvent' a b c d e f g h i = primJS $
5984 | MessageEvent.prim__initMessageEvent
5996 | initMessageEvent : (obj : MessageEvent) -> (type : String) -> JSIO ()
5997 | initMessageEvent a b = primJS $
5998 | MessageEvent.prim__initMessageEvent
6014 | onmessage : MessagePort -> Attribute False Maybe EventHandlerNonNull
6015 | onmessage v = fromNullablePrim
6016 | "MessagePort.getonmessage"
6023 | onmessageerror : MessagePort -> Attribute False Maybe EventHandlerNonNull
6024 | onmessageerror v = fromNullablePrim
6025 | "MessagePort.getonmessageerror"
6027 | prim__setOnmessageerror
6032 | close : (obj : MessagePort) -> JSIO ()
6033 | close a = primJS $
MessagePort.prim__close a
6040 | -> (transfer : Array Object)
6042 | postMessage a b c = primJS $
MessagePort.prim__postMessage a (toFFI b) c
6048 | -> {auto 0 _ : Elem PostMessageOptions (Types t3)}
6051 | -> (options : Optional t3)
6053 | postMessage1' a b c = primJS $
6054 | MessagePort.prim__postMessage1 a (toFFI b) (optUp c)
6057 | postMessage1 : (obj : MessagePort) -> (message : Any) -> JSIO ()
6058 | postMessage1 a b = primJS $
MessagePort.prim__postMessage1 a (toFFI b) undef
6062 | start : (obj : MessagePort) -> JSIO ()
6063 | start a = primJS $
MessagePort.prim__start a
6070 | description : (obj : MimeType) -> JSIO ()
6071 | description a = primJS $
MimeType.prim__description a
6075 | enabledPlugin : (obj : MimeType) -> JSIO ()
6076 | enabledPlugin a = primJS $
MimeType.prim__enabledPlugin a
6080 | suffixes : (obj : MimeType) -> JSIO ()
6081 | suffixes a = primJS $
MimeType.prim__suffixes a
6085 | type : (obj : MimeType) -> JSIO ()
6086 | type a = primJS $
MimeType.prim__type a
6090 | namespace MimeTypeArray
6093 | length : (obj : MimeTypeArray) -> JSIO Bits32
6094 | length a = primJS $
MimeTypeArray.prim__length a
6098 | item : (obj : MimeTypeArray) -> (index : Bits32) -> JSIO (Maybe Object)
6099 | item a b = tryJS "MimeTypeArray.item" $
MimeTypeArray.prim__item a b
6103 | namedItem : (obj : MimeTypeArray) -> (name : String) -> JSIO (Maybe Object)
6104 | namedItem a b = tryJS "MimeTypeArray.namedItem" $
6105 | MimeTypeArray.prim__namedItem a b
6112 | clipboard : (obj : Navigator) -> JSIO Clipboard
6113 | clipboard a = primJS $
Navigator.prim__clipboard a
6117 | mediaDevices : (obj : Navigator) -> JSIO MediaDevices
6118 | mediaDevices a = primJS $
Navigator.prim__mediaDevices a
6122 | permissions : (obj : Navigator) -> JSIO Permissions
6123 | permissions a = primJS $
Navigator.prim__permissions a
6127 | serviceWorker : (obj : Navigator) -> JSIO ServiceWorkerContainer
6128 | serviceWorker a = primJS $
Navigator.prim__serviceWorker a
6134 | -> {auto 0 _ : Elem MediaStreamConstraints (Types t2)}
6137 | -> (successCallback : NavigatorUserMediaSuccessCallback)
6138 | -> (errorCallback : NavigatorUserMediaErrorCallback)
6140 | getUserMedia a b c d = primJS $
Navigator.prim__getUserMedia a (up b) c d
6144 | namespace OffscreenCanvas
6147 | new : (width : JSBits64) -> (height : JSBits64) -> JSIO OffscreenCanvas
6148 | new a b = primJS $
OffscreenCanvas.prim__new a b
6152 | height : OffscreenCanvas -> Attribute True Prelude.id JSBits64
6153 | height v = fromPrim "OffscreenCanvas.getheight" prim__height prim__setHeight v
6157 | width : OffscreenCanvas -> Attribute True Prelude.id JSBits64
6158 | width v = fromPrim "OffscreenCanvas.getwidth" prim__width prim__setWidth v
6164 | -> {auto 0 _ : Elem ImageEncodeOptions (Types t2)}
6165 | -> (obj : OffscreenCanvas)
6166 | -> (options : Optional t2)
6168 | convertToBlob' a b = primJS $
OffscreenCanvas.prim__convertToBlob a (optUp b)
6171 | convertToBlob : (obj : OffscreenCanvas) -> JSIO (Promise Blob)
6172 | convertToBlob a = primJS $
OffscreenCanvas.prim__convertToBlob a undef
6177 | (obj : OffscreenCanvas)
6178 | -> (contextId : OffscreenRenderingContextId)
6179 | -> (options : Optional Any)
6183 | [ OffscreenCanvasRenderingContext2D
6184 | , ImageBitmapRenderingContext
6185 | , WebGLRenderingContext
6186 | , WebGL2RenderingContext
6188 | getContext' a b c = tryJS "OffscreenCanvas.getContext'" $
6189 | OffscreenCanvas.prim__getContext a (toFFI b) (toFFI c)
6193 | (obj : OffscreenCanvas)
6194 | -> (contextId : OffscreenRenderingContextId)
6198 | [ OffscreenCanvasRenderingContext2D
6199 | , ImageBitmapRenderingContext
6200 | , WebGLRenderingContext
6201 | , WebGL2RenderingContext
6203 | getContext a b = tryJS "OffscreenCanvas.getContext" $
6204 | OffscreenCanvas.prim__getContext a (toFFI b) undef
6208 | transferToImageBitmap : (obj : OffscreenCanvas) -> JSIO ImageBitmap
6209 | transferToImageBitmap a = primJS $
6210 | OffscreenCanvas.prim__transferToImageBitmap a
6214 | namespace OffscreenCanvasRenderingContext2D
6217 | canvas : (obj : OffscreenCanvasRenderingContext2D) -> JSIO OffscreenCanvas
6218 | canvas a = primJS $
OffscreenCanvasRenderingContext2D.prim__canvas a
6222 | commit : (obj : OffscreenCanvasRenderingContext2D) -> JSIO ()
6223 | commit a = primJS $
OffscreenCanvasRenderingContext2D.prim__commit a
6227 | namespace PageTransitionEvent
6232 | -> {auto 0 _ : Elem PageTransitionEventInit (Types t2)}
6234 | -> (eventInitDict : Optional t2)
6235 | -> JSIO PageTransitionEvent
6236 | new' a b = primJS $
PageTransitionEvent.prim__new a (optUp b)
6239 | new : (type : String) -> JSIO PageTransitionEvent
6240 | new a = primJS $
PageTransitionEvent.prim__new a undef
6244 | persisted : (obj : PageTransitionEvent) -> JSIO Bool
6245 | persisted a = tryJS "PageTransitionEvent.persisted" $
6246 | PageTransitionEvent.prim__persisted a
6253 | new' : (path : Optional (HSum [Path2D, String])) -> JSIO Path2D
6254 | new' a = primJS $
Path2D.prim__new (toFFI a)
6258 | new = primJS $
Path2D.prim__new undef
6264 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t3)}
6267 | -> (transform : Optional t3)
6269 | addPath' a b c = primJS $
Path2D.prim__addPath a b (optUp c)
6272 | addPath : (obj : Path2D) -> (path : Path2D) -> JSIO ()
6273 | addPath a b = primJS $
Path2D.prim__addPath a b undef
6280 | description : (obj : Plugin) -> JSIO ()
6281 | description a = primJS $
Plugin.prim__description a
6285 | filename : (obj : Plugin) -> JSIO ()
6286 | filename a = primJS $
Plugin.prim__filename a
6290 | length : (obj : Plugin) -> JSIO ()
6291 | length a = primJS $
Plugin.prim__length a
6295 | name : (obj : Plugin) -> JSIO ()
6296 | name a = primJS $
Plugin.prim__name a
6300 | item : (obj : Plugin) -> (index : Bits32) -> JSIO ()
6301 | item a b = primJS $
Plugin.prim__item a b
6305 | namedItem : (obj : Plugin) -> (name : String) -> JSIO ()
6306 | namedItem a b = primJS $
Plugin.prim__namedItem a b
6313 | length : (obj : PluginArray) -> JSIO Bits32
6314 | length a = primJS $
PluginArray.prim__length a
6318 | item : (obj : PluginArray) -> (index : Bits32) -> JSIO (Maybe Object)
6319 | item a b = tryJS "PluginArray.item" $
PluginArray.prim__item a b
6323 | namedItem : (obj : PluginArray) -> (name : String) -> JSIO (Maybe Object)
6324 | namedItem a b = tryJS "PluginArray.namedItem" $
6325 | PluginArray.prim__namedItem a b
6329 | refresh : (obj : PluginArray) -> JSIO ()
6330 | refresh a = primJS $
PluginArray.prim__refresh a
6334 | namespace PopStateEvent
6339 | -> {auto 0 _ : Elem PopStateEventInit (Types t2)}
6341 | -> (eventInitDict : Optional t2)
6343 | new' a b = primJS $
PopStateEvent.prim__new a (optUp b)
6346 | new : (type : String) -> JSIO PopStateEvent
6347 | new a = primJS $
PopStateEvent.prim__new a undef
6351 | state : (obj : PopStateEvent) -> JSIO Any
6352 | state a = tryJS "PopStateEvent.state" $
PopStateEvent.prim__state a
6356 | namespace PromiseRejectionEvent
6361 | -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t2)}
6363 | -> (eventInitDict : t2)
6364 | -> JSIO PromiseRejectionEvent
6365 | new a b = primJS $
PromiseRejectionEvent.prim__new a (up b)
6369 | promise : (obj : PromiseRejectionEvent) -> JSIO (Promise AnyPtr)
6370 | promise a = primJS $
PromiseRejectionEvent.prim__promise a
6374 | reason : (obj : PromiseRejectionEvent) -> JSIO Any
6375 | reason a = tryJS "PromiseRejectionEvent.reason" $
6376 | PromiseRejectionEvent.prim__reason a
6380 | namespace RadioNodeList
6383 | value : RadioNodeList -> Attribute True Prelude.id String
6384 | value v = fromPrim "RadioNodeList.getvalue" prim__value prim__setValue v
6393 | -> (options : Optional (HSum [String, WorkerOptions]))
6395 | new' a b = primJS $
SharedWorker.prim__new a (toFFI b)
6398 | new : (scriptURL : String) -> JSIO SharedWorker
6399 | new a = primJS $
SharedWorker.prim__new a undef
6403 | port : (obj : SharedWorker) -> JSIO MessagePort
6404 | port a = primJS $
SharedWorker.prim__port a
6408 | namespace SharedWorkerGlobalScope
6411 | name : (obj : SharedWorkerGlobalScope) -> JSIO String
6412 | name a = primJS $
SharedWorkerGlobalScope.prim__name a
6417 | SharedWorkerGlobalScope
6418 | -> Attribute False Maybe EventHandlerNonNull
6419 | onconnect v = fromNullablePrim
6420 | "SharedWorkerGlobalScope.getonconnect"
6427 | close : (obj : SharedWorkerGlobalScope) -> JSIO ()
6428 | close a = primJS $
SharedWorkerGlobalScope.prim__close a
6435 | length : (obj : Storage) -> JSIO Bits32
6436 | length a = primJS $
Storage.prim__length a
6440 | clear : (obj : Storage) -> JSIO ()
6441 | clear a = primJS $
Storage.prim__clear a
6445 | getItem : (obj : Storage) -> (key : String) -> JSIO (Maybe String)
6446 | getItem a b = tryJS "Storage.getItem" $
Storage.prim__getItem a b
6450 | key : (obj : Storage) -> (index : Bits32) -> JSIO (Maybe String)
6451 | key a b = tryJS "Storage.key" $
Storage.prim__key a b
6455 | setItem : (obj : Storage) -> (key : String) -> (value : String) -> JSIO ()
6456 | setItem a b c = primJS $
Storage.prim__setItem a b c
6465 | -> {auto 0 _ : Elem StorageEventInit (Types t2)}
6467 | -> (eventInitDict : Optional t2)
6469 | new' a b = primJS $
StorageEvent.prim__new a (optUp b)
6472 | new : (type : String) -> JSIO StorageEvent
6473 | new a = primJS $
StorageEvent.prim__new a undef
6477 | key : (obj : StorageEvent) -> JSIO (Maybe String)
6478 | key a = tryJS "StorageEvent.key" $
StorageEvent.prim__key a
6482 | newValue : (obj : StorageEvent) -> JSIO (Maybe String)
6483 | newValue a = tryJS "StorageEvent.newValue" $
StorageEvent.prim__newValue a
6487 | oldValue : (obj : StorageEvent) -> JSIO (Maybe String)
6488 | oldValue a = tryJS "StorageEvent.oldValue" $
StorageEvent.prim__oldValue a
6492 | storageArea : (obj : StorageEvent) -> JSIO (Maybe Storage)
6493 | storageArea a = tryJS "StorageEvent.storageArea" $
6494 | StorageEvent.prim__storageArea a
6498 | url : (obj : StorageEvent) -> JSIO String
6499 | url a = primJS $
StorageEvent.prim__url a
6506 | -> (bubbles : Optional Bool)
6507 | -> (cancelable : Optional Bool)
6508 | -> (key : Optional (Maybe String))
6509 | -> (oldValue : Optional (Maybe String))
6510 | -> (newValue : Optional (Maybe String))
6511 | -> (url : Optional String)
6512 | -> (storageArea : Optional (Maybe Storage))
6514 | initStorageEvent' a b c d e f g h i = primJS $
6515 | StorageEvent.prim__initStorageEvent
6527 | initStorageEvent : (obj : StorageEvent) -> (type : String) -> JSIO ()
6528 | initStorageEvent a b = primJS $
6529 | StorageEvent.prim__initStorageEvent
6547 | -> {auto 0 _ : Elem SubmitEventInit (Types t2)}
6549 | -> (eventInitDict : Optional t2)
6551 | new' a b = primJS $
SubmitEvent.prim__new a (optUp b)
6554 | new : (type : String) -> JSIO SubmitEvent
6555 | new a = primJS $
SubmitEvent.prim__new a undef
6559 | submitter : (obj : SubmitEvent) -> JSIO (Maybe HTMLElement)
6560 | submitter a = tryJS "SubmitEvent.submitter" $
SubmitEvent.prim__submitter a
6567 | actualBoundingBoxAscent : (obj : TextMetrics) -> JSIO Double
6568 | actualBoundingBoxAscent a = primJS $
6569 | TextMetrics.prim__actualBoundingBoxAscent a
6573 | actualBoundingBoxDescent : (obj : TextMetrics) -> JSIO Double
6574 | actualBoundingBoxDescent a = primJS $
6575 | TextMetrics.prim__actualBoundingBoxDescent a
6579 | actualBoundingBoxLeft : (obj : TextMetrics) -> JSIO Double
6580 | actualBoundingBoxLeft a = primJS $
TextMetrics.prim__actualBoundingBoxLeft a
6584 | actualBoundingBoxRight : (obj : TextMetrics) -> JSIO Double
6585 | actualBoundingBoxRight a = primJS $
TextMetrics.prim__actualBoundingBoxRight a
6589 | alphabeticBaseline : (obj : TextMetrics) -> JSIO Double
6590 | alphabeticBaseline a = primJS $
TextMetrics.prim__alphabeticBaseline a
6594 | emHeightAscent : (obj : TextMetrics) -> JSIO Double
6595 | emHeightAscent a = primJS $
TextMetrics.prim__emHeightAscent a
6599 | emHeightDescent : (obj : TextMetrics) -> JSIO Double
6600 | emHeightDescent a = primJS $
TextMetrics.prim__emHeightDescent a
6604 | fontBoundingBoxAscent : (obj : TextMetrics) -> JSIO Double
6605 | fontBoundingBoxAscent a = primJS $
TextMetrics.prim__fontBoundingBoxAscent a
6609 | fontBoundingBoxDescent : (obj : TextMetrics) -> JSIO Double
6610 | fontBoundingBoxDescent a = primJS $
TextMetrics.prim__fontBoundingBoxDescent a
6614 | hangingBaseline : (obj : TextMetrics) -> JSIO Double
6615 | hangingBaseline a = primJS $
TextMetrics.prim__hangingBaseline a
6619 | ideographicBaseline : (obj : TextMetrics) -> JSIO Double
6620 | ideographicBaseline a = primJS $
TextMetrics.prim__ideographicBaseline a
6624 | width : (obj : TextMetrics) -> JSIO Double
6625 | width a = primJS $
TextMetrics.prim__width a
6632 | activeCues : (obj : TextTrack) -> JSIO (Maybe TextTrackCueList)
6633 | activeCues a = tryJS "TextTrack.activeCues" $
TextTrack.prim__activeCues a
6637 | cues : (obj : TextTrack) -> JSIO (Maybe TextTrackCueList)
6638 | cues a = tryJS "TextTrack.cues" $
TextTrack.prim__cues a
6642 | id : (obj : TextTrack) -> JSIO String
6643 | id a = primJS $
TextTrack.prim__id a
6647 | inBandMetadataTrackDispatchType : (obj : TextTrack) -> JSIO String
6648 | inBandMetadataTrackDispatchType a = primJS $
6649 | TextTrack.prim__inBandMetadataTrackDispatchType a
6653 | kind : (obj : TextTrack) -> JSIO TextTrackKind
6654 | kind a = tryJS "TextTrack.kind" $
TextTrack.prim__kind a
6658 | label : (obj : TextTrack) -> JSIO String
6659 | label a = primJS $
TextTrack.prim__label a
6663 | language : (obj : TextTrack) -> JSIO String
6664 | language a = primJS $
TextTrack.prim__language a
6668 | mode : TextTrack -> Attribute True Prelude.id TextTrackMode
6669 | mode v = fromPrim "TextTrack.getmode" prim__mode prim__setMode v
6673 | oncuechange : TextTrack -> Attribute False Maybe EventHandlerNonNull
6674 | oncuechange v = fromNullablePrim
6675 | "TextTrack.getoncuechange"
6682 | sourceBuffer : (obj : TextTrack) -> JSIO (Maybe SourceBuffer)
6683 | sourceBuffer a = tryJS "TextTrack.sourceBuffer" $
6684 | TextTrack.prim__sourceBuffer a
6688 | addCue : (obj : TextTrack) -> (cue : TextTrackCue) -> JSIO ()
6689 | addCue a b = primJS $
TextTrack.prim__addCue a b
6693 | removeCue : (obj : TextTrack) -> (cue : TextTrackCue) -> JSIO ()
6694 | removeCue a b = primJS $
TextTrack.prim__removeCue a b
6701 | endTime : TextTrackCue -> Attribute True Prelude.id Double
6703 | "TextTrackCue.getendTime"
6710 | id : TextTrackCue -> Attribute True Prelude.id String
6711 | id v = fromPrim "TextTrackCue.getid" prim__id prim__setId v
6715 | onenter : TextTrackCue -> Attribute False Maybe EventHandlerNonNull
6716 | onenter v = fromNullablePrim
6717 | "TextTrackCue.getonenter"
6724 | onexit : TextTrackCue -> Attribute False Maybe EventHandlerNonNull
6725 | onexit v = fromNullablePrim
6726 | "TextTrackCue.getonexit"
6733 | pauseOnExit : TextTrackCue -> Attribute True Prelude.id Bool
6734 | pauseOnExit v = fromPrim
6735 | "TextTrackCue.getpauseOnExit"
6742 | startTime : TextTrackCue -> Attribute True Prelude.id Double
6744 | "TextTrackCue.getstartTime"
6751 | track : (obj : TextTrackCue) -> JSIO (Maybe TextTrack)
6752 | track a = tryJS "TextTrackCue.track" $
TextTrackCue.prim__track a
6756 | namespace TextTrackCueList
6759 | get : (obj : TextTrackCueList) -> (index : Bits32) -> JSIO TextTrackCue
6760 | get a b = primJS $
TextTrackCueList.prim__get a b
6764 | length : (obj : TextTrackCueList) -> JSIO Bits32
6765 | length a = primJS $
TextTrackCueList.prim__length a
6770 | (obj : TextTrackCueList)
6772 | -> JSIO (Maybe TextTrackCue)
6773 | getCueById a b = tryJS "TextTrackCueList.getCueById" $
6774 | TextTrackCueList.prim__getCueById a b
6778 | namespace TextTrackList
6781 | get : (obj : TextTrackList) -> (index : Bits32) -> JSIO TextTrack
6782 | get a b = primJS $
TextTrackList.prim__get a b
6786 | length : (obj : TextTrackList) -> JSIO Bits32
6787 | length a = primJS $
TextTrackList.prim__length a
6791 | onaddtrack : TextTrackList -> Attribute False Maybe EventHandlerNonNull
6792 | onaddtrack v = fromNullablePrim
6793 | "TextTrackList.getonaddtrack"
6800 | onchange : TextTrackList -> Attribute False Maybe EventHandlerNonNull
6801 | onchange v = fromNullablePrim
6802 | "TextTrackList.getonchange"
6809 | onremovetrack : TextTrackList -> Attribute False Maybe EventHandlerNonNull
6810 | onremovetrack v = fromNullablePrim
6811 | "TextTrackList.getonremovetrack"
6821 | -> JSIO (Maybe TextTrack)
6822 | getTrackById a b = tryJS "TextTrackList.getTrackById" $
6823 | TextTrackList.prim__getTrackById a b
6830 | length : (obj : TimeRanges) -> JSIO Bits32
6831 | length a = primJS $
TimeRanges.prim__length a
6835 | end : (obj : TimeRanges) -> (index : Bits32) -> JSIO Double
6836 | end a b = primJS $
TimeRanges.prim__end a b
6840 | start : (obj : TimeRanges) -> (index : Bits32) -> JSIO Double
6841 | start a b = primJS $
TimeRanges.prim__start a b
6850 | -> {auto 0 _ : Elem TrackEventInit (Types t2)}
6852 | -> (eventInitDict : Optional t2)
6854 | new' a b = primJS $
TrackEvent.prim__new a (optUp b)
6857 | new : (type : String) -> JSIO TrackEvent
6858 | new a = primJS $
TrackEvent.prim__new a undef
6864 | -> JSIO (Maybe (HSum [VideoTrack, AudioTrack, TextTrack]))
6865 | track a = tryJS "TrackEvent.track" $
TrackEvent.prim__track a
6869 | namespace ValidityState
6872 | badInput : (obj : ValidityState) -> JSIO Bool
6873 | badInput a = tryJS "ValidityState.badInput" $
ValidityState.prim__badInput a
6877 | customError : (obj : ValidityState) -> JSIO Bool
6878 | customError a = tryJS "ValidityState.customError" $
6879 | ValidityState.prim__customError a
6883 | patternMismatch : (obj : ValidityState) -> JSIO Bool
6884 | patternMismatch a = tryJS "ValidityState.patternMismatch" $
6885 | ValidityState.prim__patternMismatch a
6889 | rangeOverflow : (obj : ValidityState) -> JSIO Bool
6890 | rangeOverflow a = tryJS "ValidityState.rangeOverflow" $
6891 | ValidityState.prim__rangeOverflow a
6895 | rangeUnderflow : (obj : ValidityState) -> JSIO Bool
6896 | rangeUnderflow a = tryJS "ValidityState.rangeUnderflow" $
6897 | ValidityState.prim__rangeUnderflow a
6901 | stepMismatch : (obj : ValidityState) -> JSIO Bool
6902 | stepMismatch a = tryJS "ValidityState.stepMismatch" $
6903 | ValidityState.prim__stepMismatch a
6907 | tooLong : (obj : ValidityState) -> JSIO Bool
6908 | tooLong a = tryJS "ValidityState.tooLong" $
ValidityState.prim__tooLong a
6912 | tooShort : (obj : ValidityState) -> JSIO Bool
6913 | tooShort a = tryJS "ValidityState.tooShort" $
ValidityState.prim__tooShort a
6917 | typeMismatch : (obj : ValidityState) -> JSIO Bool
6918 | typeMismatch a = tryJS "ValidityState.typeMismatch" $
6919 | ValidityState.prim__typeMismatch a
6923 | valid : (obj : ValidityState) -> JSIO Bool
6924 | valid a = tryJS "ValidityState.valid" $
ValidityState.prim__valid a
6928 | valueMissing : (obj : ValidityState) -> JSIO Bool
6929 | valueMissing a = tryJS "ValidityState.valueMissing" $
6930 | ValidityState.prim__valueMissing a
6937 | id : (obj : VideoTrack) -> JSIO String
6938 | id a = primJS $
VideoTrack.prim__id a
6942 | kind : (obj : VideoTrack) -> JSIO String
6943 | kind a = primJS $
VideoTrack.prim__kind a
6947 | label : (obj : VideoTrack) -> JSIO String
6948 | label a = primJS $
VideoTrack.prim__label a
6952 | language : (obj : VideoTrack) -> JSIO String
6953 | language a = primJS $
VideoTrack.prim__language a
6957 | selected : VideoTrack -> Attribute True Prelude.id Bool
6959 | "VideoTrack.getselected"
6966 | sourceBuffer : (obj : VideoTrack) -> JSIO (Maybe SourceBuffer)
6967 | sourceBuffer a = tryJS "VideoTrack.sourceBuffer" $
6968 | VideoTrack.prim__sourceBuffer a
6972 | namespace VideoTrackList
6975 | get : (obj : VideoTrackList) -> (index : Bits32) -> JSIO VideoTrack
6976 | get a b = primJS $
VideoTrackList.prim__get a b
6980 | length : (obj : VideoTrackList) -> JSIO Bits32
6981 | length a = primJS $
VideoTrackList.prim__length a
6985 | onaddtrack : VideoTrackList -> Attribute False Maybe EventHandlerNonNull
6986 | onaddtrack v = fromNullablePrim
6987 | "VideoTrackList.getonaddtrack"
6994 | onchange : VideoTrackList -> Attribute False Maybe EventHandlerNonNull
6995 | onchange v = fromNullablePrim
6996 | "VideoTrackList.getonchange"
7003 | onremovetrack : VideoTrackList -> Attribute False Maybe EventHandlerNonNull
7004 | onremovetrack v = fromNullablePrim
7005 | "VideoTrackList.getonremovetrack"
7012 | selectedIndex : (obj : VideoTrackList) -> JSIO Int32
7013 | selectedIndex a = primJS $
VideoTrackList.prim__selectedIndex a
7020 | -> JSIO (Maybe VideoTrack)
7021 | getTrackById a b = tryJS "VideoTrackList.getTrackById" $
7022 | VideoTrackList.prim__getTrackById a b
7051 | -> (protocols : Optional (HSum [String, Array String]))
7053 | new' a b = primJS $
WebSocket.prim__new a (toFFI b)
7056 | new : (url : String) -> JSIO WebSocket
7057 | new a = primJS $
WebSocket.prim__new a undef
7061 | binaryType : WebSocket -> Attribute True Prelude.id BinaryType
7062 | binaryType v = fromPrim
7063 | "WebSocket.getbinaryType"
7070 | bufferedAmount : (obj : WebSocket) -> JSIO JSBits64
7071 | bufferedAmount a = primJS $
WebSocket.prim__bufferedAmount a
7075 | extensions : (obj : WebSocket) -> JSIO String
7076 | extensions a = primJS $
WebSocket.prim__extensions a
7080 | onclose : WebSocket -> Attribute False Maybe EventHandlerNonNull
7081 | onclose v = fromNullablePrim
7089 | onerror : WebSocket -> Attribute False Maybe EventHandlerNonNull
7090 | onerror v = fromNullablePrim
7098 | onmessage : WebSocket -> Attribute False Maybe EventHandlerNonNull
7099 | onmessage v = fromNullablePrim
7100 | "WebSocket.getonmessage"
7107 | onopen : WebSocket -> Attribute False Maybe EventHandlerNonNull
7108 | onopen v = fromNullablePrim
7116 | protocol : (obj : WebSocket) -> JSIO String
7117 | protocol a = primJS $
WebSocket.prim__protocol a
7121 | readyState : (obj : WebSocket) -> JSIO Bits16
7122 | readyState a = primJS $
WebSocket.prim__readyState a
7126 | url : (obj : WebSocket) -> JSIO String
7127 | url a = primJS $
WebSocket.prim__url a
7133 | -> (code : Optional Bits16)
7134 | -> (reason : Optional String)
7136 | close' a b c = primJS $
WebSocket.prim__close a (toFFI b) (toFFI c)
7139 | close : (obj : WebSocket) -> JSIO ()
7140 | close a = primJS $
WebSocket.prim__close a undef undef
7144 | send : (obj : WebSocket) -> (data_ : String) -> JSIO ()
7145 | send a b = primJS $
WebSocket.prim__send a b
7151 | -> {auto 0 _ : Elem Blob (Types t2)}
7155 | send1 a b = primJS $
WebSocket.prim__send1 a (up b)
7159 | send2 : (obj : WebSocket) -> (data_ : ArrayBuffer) -> JSIO ()
7160 | send2 a b = primJS $
WebSocket.prim__send2 a b
7179 | send3 a b = primJS $
WebSocket.prim__send3 a (toFFI b)
7186 | get : (obj : Window) -> (name : String) -> JSIO Object
7187 | get a b = primJS $
Window.prim__get a b
7191 | closed : (obj : Window) -> JSIO Bool
7192 | closed a = tryJS "Window.closed" $
Window.prim__closed a
7196 | customElements : (obj : Window) -> JSIO CustomElementRegistry
7197 | customElements a = primJS $
Window.prim__customElements a
7201 | devicePixelRatio : (obj : Window) -> JSIO Double
7202 | devicePixelRatio a = primJS $
Window.prim__devicePixelRatio a
7206 | document : (obj : Window) -> JSIO Document
7207 | document a = primJS $
Window.prim__document a
7211 | event : (obj : Window) -> JSIO (HSum [Event, Undefined])
7212 | event a = tryJS "Window.event" $
Window.prim__event a
7216 | external : (obj : Window) -> JSIO External
7217 | external a = primJS $
Window.prim__external a
7221 | frameElement : (obj : Window) -> JSIO (Maybe Element)
7222 | frameElement a = tryJS "Window.frameElement" $
Window.prim__frameElement a
7226 | frames : (obj : Window) -> JSIO WindowProxy
7227 | frames a = primJS $
Window.prim__frames a
7231 | history : (obj : Window) -> JSIO History
7232 | history a = primJS $
Window.prim__history a
7236 | innerHeight : (obj : Window) -> JSIO Int32
7237 | innerHeight a = primJS $
Window.prim__innerHeight a
7241 | innerWidth : (obj : Window) -> JSIO Int32
7242 | innerWidth a = primJS $
Window.prim__innerWidth a
7246 | length : (obj : Window) -> JSIO Bits32
7247 | length a = primJS $
Window.prim__length a
7251 | location : (obj : Window) -> JSIO Location
7252 | location a = primJS $
Window.prim__location a
7256 | locationbar : (obj : Window) -> JSIO BarProp
7257 | locationbar a = primJS $
Window.prim__locationbar a
7261 | menubar : (obj : Window) -> JSIO BarProp
7262 | menubar a = primJS $
Window.prim__menubar a
7266 | name : Window -> Attribute True Prelude.id String
7267 | name v = fromPrim "Window.getname" prim__name prim__setName v
7271 | navigator : (obj : Window) -> JSIO Navigator
7272 | navigator a = primJS $
Window.prim__navigator a
7276 | opener : Window -> Attribute True Prelude.id Any
7277 | opener v = fromPrim "Window.getopener" prim__opener prim__setOpener v
7281 | originAgentCluster : (obj : Window) -> JSIO Bool
7282 | originAgentCluster a = tryJS "Window.originAgentCluster" $
7283 | Window.prim__originAgentCluster a
7287 | outerHeight : (obj : Window) -> JSIO Int32
7288 | outerHeight a = primJS $
Window.prim__outerHeight a
7292 | outerWidth : (obj : Window) -> JSIO Int32
7293 | outerWidth a = primJS $
Window.prim__outerWidth a
7297 | pageXOffset : (obj : Window) -> JSIO Double
7298 | pageXOffset a = primJS $
Window.prim__pageXOffset a
7302 | pageYOffset : (obj : Window) -> JSIO Double
7303 | pageYOffset a = primJS $
Window.prim__pageYOffset a
7307 | parent : (obj : Window) -> JSIO (Maybe WindowProxy)
7308 | parent a = tryJS "Window.parent" $
Window.prim__parent a
7312 | personalbar : (obj : Window) -> JSIO BarProp
7313 | personalbar a = primJS $
Window.prim__personalbar a
7317 | screen : (obj : Window) -> JSIO Screen
7318 | screen a = primJS $
Window.prim__screen a
7322 | screenLeft : (obj : Window) -> JSIO Int32
7323 | screenLeft a = primJS $
Window.prim__screenLeft a
7327 | screenTop : (obj : Window) -> JSIO Int32
7328 | screenTop a = primJS $
Window.prim__screenTop a
7332 | screenX : (obj : Window) -> JSIO Int32
7333 | screenX a = primJS $
Window.prim__screenX a
7337 | screenY : (obj : Window) -> JSIO Int32
7338 | screenY a = primJS $
Window.prim__screenY a
7342 | scrollX : (obj : Window) -> JSIO Double
7343 | scrollX a = primJS $
Window.prim__scrollX a
7347 | scrollY : (obj : Window) -> JSIO Double
7348 | scrollY a = primJS $
Window.prim__scrollY a
7352 | scrollbars : (obj : Window) -> JSIO BarProp
7353 | scrollbars a = primJS $
Window.prim__scrollbars a
7357 | self : (obj : Window) -> JSIO WindowProxy
7358 | self a = primJS $
Window.prim__self a
7362 | status : Window -> Attribute True Prelude.id String
7363 | status v = fromPrim "Window.getstatus" prim__status prim__setStatus v
7367 | statusbar : (obj : Window) -> JSIO BarProp
7368 | statusbar a = primJS $
Window.prim__statusbar a
7372 | toolbar : (obj : Window) -> JSIO BarProp
7373 | toolbar a = primJS $
Window.prim__toolbar a
7377 | top : (obj : Window) -> JSIO (Maybe WindowProxy)
7378 | top a = tryJS "Window.top" $
Window.prim__top a
7382 | visualViewport : (obj : Window) -> JSIO (Maybe VisualViewport)
7383 | visualViewport a = tryJS "Window.visualViewport" $
7384 | Window.prim__visualViewport a
7388 | window : (obj : Window) -> JSIO WindowProxy
7389 | window a = primJS $
Window.prim__window a
7393 | alert : (obj : Window) -> JSIO ()
7394 | alert a = primJS $
Window.prim__alert a
7398 | alert1 : (obj : Window) -> (message : String) -> JSIO ()
7399 | alert1 a b = primJS $
Window.prim__alert1 a b
7403 | blur : (obj : Window) -> JSIO ()
7404 | blur a = primJS $
Window.prim__blur a
7408 | captureEvents : (obj : Window) -> JSIO ()
7409 | captureEvents a = primJS $
Window.prim__captureEvents a
7413 | close : (obj : Window) -> JSIO ()
7414 | close a = primJS $
Window.prim__close a
7418 | confirm' : (obj : Window) -> (message : Optional String) -> JSIO Bool
7419 | confirm' a b = tryJS "Window.confirm'" $
Window.prim__confirm a (toFFI b)
7422 | confirm : (obj : Window) -> JSIO Bool
7423 | confirm a = tryJS "Window.confirm" $
Window.prim__confirm a undef
7427 | focus : (obj : Window) -> JSIO ()
7428 | focus a = primJS $
Window.prim__focus a
7434 | -> {auto 0 _ : Elem Element (Types t2)}
7437 | -> (pseudoElt : Optional (Maybe String))
7438 | -> JSIO CSSStyleDeclaration
7439 | getComputedStyle' a b c = primJS $
7440 | Window.prim__getComputedStyle a (up b) (toFFI c)
7445 | -> {auto 0 _ : Elem Element (Types t2)}
7448 | -> JSIO CSSStyleDeclaration
7449 | getComputedStyle a b = primJS $
Window.prim__getComputedStyle a (up b) undef
7453 | matchMedia : (obj : Window) -> (query : String) -> JSIO MediaQueryList
7454 | matchMedia a b = primJS $
Window.prim__matchMedia a b
7458 | moveBy : (obj : Window) -> (x : Int32) -> (y : Int32) -> JSIO ()
7459 | moveBy a b c = primJS $
Window.prim__moveBy a b c
7463 | moveTo : (obj : Window) -> (x : Int32) -> (y : Int32) -> JSIO ()
7464 | moveTo a b c = primJS $
Window.prim__moveTo a b c
7470 | -> (url : Optional String)
7471 | -> (target : Optional String)
7472 | -> (features : Optional String)
7473 | -> JSIO (Maybe WindowProxy)
7474 | open' a b c d = tryJS "Window.open'" $
7475 | Window.prim__open a (toFFI b) (toFFI c) (toFFI d)
7478 | open_ : (obj : Window) -> JSIO (Maybe WindowProxy)
7479 | open_ a = tryJS "Window.open_" $
Window.prim__open a undef undef undef
7486 | -> (targetOrigin : String)
7487 | -> (transfer : Optional (Array Object))
7489 | postMessage' a b c d = primJS $
7490 | Window.prim__postMessage a (toFFI b) c (toFFI d)
7496 | -> (targetOrigin : String)
7498 | postMessage a b c = primJS $
Window.prim__postMessage a (toFFI b) c undef
7504 | -> {auto 0 _ : Elem WindowPostMessageOptions (Types t3)}
7507 | -> (options : Optional t3)
7509 | postMessage1' a b c = primJS $
Window.prim__postMessage1 a (toFFI b) (optUp c)
7512 | postMessage1 : (obj : Window) -> (message : Any) -> JSIO ()
7513 | postMessage1 a b = primJS $
Window.prim__postMessage1 a (toFFI b) undef
7517 | print : (obj : Window) -> JSIO ()
7518 | print a = primJS $
Window.prim__print a
7524 | -> (message : Optional String)
7525 | -> (default_ : Optional String)
7527 | prompt' a b c = tryJS "Window.prompt'" $
7528 | Window.prim__prompt a (toFFI b) (toFFI c)
7531 | prompt : (obj : Window) -> JSIO (Maybe String)
7532 | prompt a = tryJS "Window.prompt" $
Window.prim__prompt a undef undef
7536 | releaseEvents : (obj : Window) -> JSIO ()
7537 | releaseEvents a = primJS $
Window.prim__releaseEvents a
7541 | resizeBy : (obj : Window) -> (x : Int32) -> (y : Int32) -> JSIO ()
7542 | resizeBy a b c = primJS $
Window.prim__resizeBy a b c
7546 | resizeTo : (obj : Window) -> (width : Int32) -> (height : Int32) -> JSIO ()
7547 | resizeTo a b c = primJS $
Window.prim__resizeTo a b c
7553 | -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
7555 | -> (options : Optional t2)
7557 | scrollBy' a b = primJS $
Window.prim__scrollBy a (optUp b)
7560 | scrollBy : (obj : Window) -> JSIO ()
7561 | scrollBy a = primJS $
Window.prim__scrollBy a undef
7565 | scrollBy1 : (obj : Window) -> (x : Double) -> (y : Double) -> JSIO ()
7566 | scrollBy1 a b c = primJS $
Window.prim__scrollBy1 a b c
7572 | -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
7574 | -> (options : Optional t2)
7576 | scrollTo' a b = primJS $
Window.prim__scrollTo a (optUp b)
7579 | scrollTo : (obj : Window) -> JSIO ()
7580 | scrollTo a = primJS $
Window.prim__scrollTo a undef
7584 | scrollTo1 : (obj : Window) -> (x : Double) -> (y : Double) -> JSIO ()
7585 | scrollTo1 a b c = primJS $
Window.prim__scrollTo1 a b c
7591 | -> {auto 0 _ : Elem ScrollToOptions (Types t2)}
7593 | -> (options : Optional t2)
7595 | scroll' a b = primJS $
Window.prim__scroll a (optUp b)
7598 | scroll : (obj : Window) -> JSIO ()
7599 | scroll a = primJS $
Window.prim__scroll a undef
7603 | scroll1 : (obj : Window) -> (x : Double) -> (y : Double) -> JSIO ()
7604 | scroll1 a b c = primJS $
Window.prim__scroll1 a b c
7608 | stop : (obj : Window) -> JSIO ()
7609 | stop a = primJS $
Window.prim__stop a
7618 | -> {auto 0 _ : Elem WorkerOptions (Types t2)}
7619 | -> (scriptURL : String)
7620 | -> (options : Optional t2)
7622 | new' a b = primJS $
Worker.prim__new a (optUp b)
7625 | new : (scriptURL : String) -> JSIO Worker
7626 | new a = primJS $
Worker.prim__new a undef
7630 | onmessage : Worker -> Attribute False Maybe EventHandlerNonNull
7631 | onmessage v = fromNullablePrim
7639 | onmessageerror : Worker -> Attribute False Maybe EventHandlerNonNull
7640 | onmessageerror v = fromNullablePrim
7641 | "Worker.getonmessageerror"
7643 | prim__setOnmessageerror
7651 | -> (transfer : Array Object)
7653 | postMessage a b c = primJS $
Worker.prim__postMessage a (toFFI b) c
7659 | -> {auto 0 _ : Elem PostMessageOptions (Types t3)}
7662 | -> (options : Optional t3)
7664 | postMessage1' a b c = primJS $
Worker.prim__postMessage1 a (toFFI b) (optUp c)
7667 | postMessage1 : (obj : Worker) -> (message : Any) -> JSIO ()
7668 | postMessage1 a b = primJS $
Worker.prim__postMessage1 a (toFFI b) undef
7672 | terminate : (obj : Worker) -> JSIO ()
7673 | terminate a = primJS $
Worker.prim__terminate a
7677 | namespace WorkerGlobalScope
7682 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)}
7685 | location a = primJS $
WorkerGlobalScope.prim__location (up a)
7691 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)}
7693 | -> JSIO WorkerNavigator
7694 | navigator a = primJS $
WorkerGlobalScope.prim__navigator (up a)
7700 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7702 | -> Attribute False Maybe OnErrorEventHandlerNonNull
7703 | onerror v = fromNullablePrim
7704 | "WorkerGlobalScope.getonerror"
7707 | (v :> WorkerGlobalScope)
7713 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7715 | -> Attribute False Maybe EventHandlerNonNull
7716 | onlanguagechange v = fromNullablePrim
7717 | "WorkerGlobalScope.getonlanguagechange"
7719 | prim__setOnlanguagechange
7720 | (v :> WorkerGlobalScope)
7726 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7728 | -> Attribute False Maybe EventHandlerNonNull
7729 | onoffline v = fromNullablePrim
7730 | "WorkerGlobalScope.getonoffline"
7733 | (v :> WorkerGlobalScope)
7739 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7741 | -> Attribute False Maybe EventHandlerNonNull
7742 | ononline v = fromNullablePrim
7743 | "WorkerGlobalScope.getononline"
7746 | (v :> WorkerGlobalScope)
7752 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7754 | -> Attribute False Maybe EventHandlerNonNull
7755 | onrejectionhandled v = fromNullablePrim
7756 | "WorkerGlobalScope.getonrejectionhandled"
7757 | prim__onrejectionhandled
7758 | prim__setOnrejectionhandled
7759 | (v :> WorkerGlobalScope)
7765 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t)}
7767 | -> Attribute False Maybe EventHandlerNonNull
7768 | onunhandledrejection v = fromNullablePrim
7769 | "WorkerGlobalScope.getonunhandledrejection"
7770 | prim__onunhandledrejection
7771 | prim__setOnunhandledrejection
7772 | (v :> WorkerGlobalScope)
7778 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)}
7780 | -> JSIO WorkerGlobalScope
7781 | self a = primJS $
WorkerGlobalScope.prim__self (up a)
7787 | -> {auto 0 _ : Elem WorkerGlobalScope (Types t1)}
7789 | -> (urls : List String)
7791 | importScripts a b = primJS $
7792 | WorkerGlobalScope.prim__importScripts (up a) (toFFI b)
7796 | namespace WorkerLocation
7799 | hash : (obj : WorkerLocation) -> JSIO String
7800 | hash a = primJS $
WorkerLocation.prim__hash a
7804 | host : (obj : WorkerLocation) -> JSIO String
7805 | host a = primJS $
WorkerLocation.prim__host a
7809 | hostname : (obj : WorkerLocation) -> JSIO String
7810 | hostname a = primJS $
WorkerLocation.prim__hostname a
7814 | href : (obj : WorkerLocation) -> JSIO String
7815 | href a = primJS $
WorkerLocation.prim__href a
7819 | origin : (obj : WorkerLocation) -> JSIO String
7820 | origin a = primJS $
WorkerLocation.prim__origin a
7824 | pathname : (obj : WorkerLocation) -> JSIO String
7825 | pathname a = primJS $
WorkerLocation.prim__pathname a
7829 | port : (obj : WorkerLocation) -> JSIO String
7830 | port a = primJS $
WorkerLocation.prim__port a
7834 | protocol : (obj : WorkerLocation) -> JSIO String
7835 | protocol a = primJS $
WorkerLocation.prim__protocol a
7839 | search : (obj : WorkerLocation) -> JSIO String
7840 | search a = primJS $
WorkerLocation.prim__search a
7844 | namespace WorkerNavigator
7847 | permissions : (obj : WorkerNavigator) -> JSIO Permissions
7848 | permissions a = primJS $
WorkerNavigator.prim__permissions a
7852 | serviceWorker : (obj : WorkerNavigator) -> JSIO ServiceWorkerContainer
7853 | serviceWorker a = primJS $
WorkerNavigator.prim__serviceWorker a
7862 | -> {auto 0 _ : Elem WorkletOptions (Types t3)}
7864 | -> (moduleURL : String)
7865 | -> (options : Optional t3)
7866 | -> JSIO (Promise Undefined)
7867 | addModule' a b c = primJS $
Worklet.prim__addModule a b (optUp c)
7872 | -> (moduleURL : String)
7873 | -> JSIO (Promise Undefined)
7874 | addModule a b = primJS $
Worklet.prim__addModule a b undef
7889 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7891 | -> Attribute True Prelude.id String
7892 | ariaAtomic v = fromPrim
7893 | "ARIAMixin.getariaAtomic"
7902 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7904 | -> Attribute True Prelude.id String
7905 | ariaAutoComplete v = fromPrim
7906 | "ARIAMixin.getariaAutoComplete"
7908 | prim__setAriaAutoComplete
7915 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7917 | -> Attribute True Prelude.id String
7919 | "ARIAMixin.getariaBusy"
7928 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7930 | -> Attribute True Prelude.id String
7931 | ariaChecked v = fromPrim
7932 | "ARIAMixin.getariaChecked"
7941 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7943 | -> Attribute True Prelude.id String
7944 | ariaColCount v = fromPrim
7945 | "ARIAMixin.getariaColCount"
7954 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7956 | -> Attribute True Prelude.id String
7957 | ariaColIndex v = fromPrim
7958 | "ARIAMixin.getariaColIndex"
7967 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7969 | -> Attribute True Prelude.id String
7970 | ariaColIndexText v = fromPrim
7971 | "ARIAMixin.getariaColIndexText"
7973 | prim__setAriaColIndexText
7980 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7982 | -> Attribute True Prelude.id String
7983 | ariaColSpan v = fromPrim
7984 | "ARIAMixin.getariaColSpan"
7993 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
7995 | -> Attribute True Prelude.id String
7996 | ariaCurrent v = fromPrim
7997 | "ARIAMixin.getariaCurrent"
8006 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8008 | -> Attribute True Prelude.id String
8009 | ariaDescription v = fromPrim
8010 | "ARIAMixin.getariaDescription"
8012 | prim__setAriaDescription
8019 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8021 | -> Attribute True Prelude.id String
8022 | ariaDisabled v = fromPrim
8023 | "ARIAMixin.getariaDisabled"
8032 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8034 | -> Attribute True Prelude.id String
8035 | ariaExpanded v = fromPrim
8036 | "ARIAMixin.getariaExpanded"
8045 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8047 | -> Attribute True Prelude.id String
8048 | ariaHasPopup v = fromPrim
8049 | "ARIAMixin.getariaHasPopup"
8058 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8060 | -> Attribute True Prelude.id String
8061 | ariaHidden v = fromPrim
8062 | "ARIAMixin.getariaHidden"
8071 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8073 | -> Attribute True Prelude.id String
8074 | ariaInvalid v = fromPrim
8075 | "ARIAMixin.getariaInvalid"
8084 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8086 | -> Attribute True Prelude.id String
8087 | ariaKeyShortcuts v = fromPrim
8088 | "ARIAMixin.getariaKeyShortcuts"
8090 | prim__setAriaKeyShortcuts
8097 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8099 | -> Attribute True Prelude.id String
8101 | "ARIAMixin.getariaLabel"
8110 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8112 | -> Attribute True Prelude.id String
8114 | "ARIAMixin.getariaLevel"
8123 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8125 | -> Attribute True Prelude.id String
8127 | "ARIAMixin.getariaLive"
8136 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8138 | -> Attribute True Prelude.id String
8140 | "ARIAMixin.getariaModal"
8149 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8151 | -> Attribute True Prelude.id String
8152 | ariaMultiLine v = fromPrim
8153 | "ARIAMixin.getariaMultiLine"
8162 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8164 | -> Attribute True Prelude.id String
8165 | ariaMultiSelectable v = fromPrim
8166 | "ARIAMixin.getariaMultiSelectable"
8167 | prim__ariaMultiSelectable
8168 | prim__setAriaMultiSelectable
8175 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8177 | -> Attribute True Prelude.id String
8178 | ariaOrientation v = fromPrim
8179 | "ARIAMixin.getariaOrientation"
8181 | prim__setAriaOrientation
8188 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8190 | -> Attribute True Prelude.id String
8191 | ariaPlaceholder v = fromPrim
8192 | "ARIAMixin.getariaPlaceholder"
8194 | prim__setAriaPlaceholder
8201 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8203 | -> Attribute True Prelude.id String
8204 | ariaPosInSet v = fromPrim
8205 | "ARIAMixin.getariaPosInSet"
8214 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8216 | -> Attribute True Prelude.id String
8217 | ariaPressed v = fromPrim
8218 | "ARIAMixin.getariaPressed"
8227 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8229 | -> Attribute True Prelude.id String
8230 | ariaReadOnly v = fromPrim
8231 | "ARIAMixin.getariaReadOnly"
8240 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8242 | -> Attribute True Prelude.id String
8243 | ariaRequired v = fromPrim
8244 | "ARIAMixin.getariaRequired"
8253 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8255 | -> Attribute True Prelude.id String
8256 | ariaRoleDescription v = fromPrim
8257 | "ARIAMixin.getariaRoleDescription"
8258 | prim__ariaRoleDescription
8259 | prim__setAriaRoleDescription
8266 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8268 | -> Attribute True Prelude.id String
8269 | ariaRowCount v = fromPrim
8270 | "ARIAMixin.getariaRowCount"
8279 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8281 | -> Attribute True Prelude.id String
8282 | ariaRowIndex v = fromPrim
8283 | "ARIAMixin.getariaRowIndex"
8292 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8294 | -> Attribute True Prelude.id String
8295 | ariaRowIndexText v = fromPrim
8296 | "ARIAMixin.getariaRowIndexText"
8298 | prim__setAriaRowIndexText
8305 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8307 | -> Attribute True Prelude.id String
8308 | ariaRowSpan v = fromPrim
8309 | "ARIAMixin.getariaRowSpan"
8318 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8320 | -> Attribute True Prelude.id String
8321 | ariaSelected v = fromPrim
8322 | "ARIAMixin.getariaSelected"
8331 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8333 | -> Attribute True Prelude.id String
8334 | ariaSetSize v = fromPrim
8335 | "ARIAMixin.getariaSetSize"
8344 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8346 | -> Attribute True Prelude.id String
8348 | "ARIAMixin.getariaSort"
8357 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8359 | -> Attribute True Prelude.id String
8360 | ariaValueMax v = fromPrim
8361 | "ARIAMixin.getariaValueMax"
8370 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8372 | -> Attribute True Prelude.id String
8373 | ariaValueMin v = fromPrim
8374 | "ARIAMixin.getariaValueMin"
8383 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8385 | -> Attribute True Prelude.id String
8386 | ariaValueNow v = fromPrim
8387 | "ARIAMixin.getariaValueNow"
8396 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8398 | -> Attribute True Prelude.id String
8399 | ariaValueText v = fromPrim
8400 | "ARIAMixin.getariaValueText"
8409 | -> {auto 0 _ : Elem ARIAMixin (Types t)}
8411 | -> Attribute False Maybe String
8412 | role v = fromNullablePrim
8420 | namespace AbstractWorker
8425 | -> {auto 0 _ : Elem AbstractWorker (Types t)}
8427 | -> Attribute False Maybe EventHandlerNonNull
8428 | onerror v = fromNullablePrim
8429 | "AbstractWorker.getonerror"
8436 | namespace CanvasCompositing
8441 | -> {auto 0 _ : Elem CanvasCompositing (Types t)}
8443 | -> Attribute True Prelude.id Double
8444 | globalAlpha v = fromPrim
8445 | "CanvasCompositing.getglobalAlpha"
8448 | (v :> CanvasCompositing)
8452 | globalCompositeOperation :
8454 | -> {auto 0 _ : Elem CanvasCompositing (Types t)}
8456 | -> Attribute True Prelude.id String
8457 | globalCompositeOperation v = fromPrim
8458 | "CanvasCompositing.getglobalCompositeOperation"
8459 | prim__globalCompositeOperation
8460 | prim__setGlobalCompositeOperation
8461 | (v :> CanvasCompositing)
8465 | namespace CanvasDrawImage
8470 | -> {auto 0 _ : Elem CanvasDrawImage (Types t1)}
8483 | drawImage a b c d = primJS $
8484 | CanvasDrawImage.prim__drawImage (up a) (toFFI b) c d
8490 | -> {auto 0 _ : Elem CanvasDrawImage (Types t1)}
8505 | drawImage1 a b c d e f = primJS $
8506 | CanvasDrawImage.prim__drawImage1 (up a) (toFFI b) c d e f
8512 | -> {auto 0 _ : Elem CanvasDrawImage (Types t1)}
8531 | drawImage2 a b c d e f g h i j = primJS $
8532 | CanvasDrawImage.prim__drawImage2 (up a) (toFFI b) c d e f g h i j
8536 | namespace CanvasDrawPath
8541 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8544 | beginPath a = primJS $
CanvasDrawPath.prim__beginPath (up a)
8550 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8552 | -> (fillRule : Optional CanvasFillRule)
8554 | clip' a b = primJS $
CanvasDrawPath.prim__clip (up a) (toFFI b)
8559 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8562 | clip a = primJS $
CanvasDrawPath.prim__clip (up a) undef
8568 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8571 | -> (fillRule : Optional CanvasFillRule)
8573 | clip1' a b c = primJS $
CanvasDrawPath.prim__clip1 (up a) b (toFFI c)
8578 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8582 | clip1 a b = primJS $
CanvasDrawPath.prim__clip1 (up a) b undef
8588 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8590 | -> (fillRule : Optional CanvasFillRule)
8592 | fill' a b = primJS $
CanvasDrawPath.prim__fill (up a) (toFFI b)
8597 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8600 | fill a = primJS $
CanvasDrawPath.prim__fill (up a) undef
8606 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8609 | -> (fillRule : Optional CanvasFillRule)
8611 | fill1' a b c = primJS $
CanvasDrawPath.prim__fill1 (up a) b (toFFI c)
8616 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8620 | fill1 a b = primJS $
CanvasDrawPath.prim__fill1 (up a) b undef
8626 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8630 | -> (fillRule : Optional CanvasFillRule)
8632 | isPointInPath' a b c d = tryJS "CanvasDrawPath.isPointInPath'" $
8633 | CanvasDrawPath.prim__isPointInPath (up a) b c (toFFI d)
8638 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8643 | isPointInPath a b c = tryJS "CanvasDrawPath.isPointInPath" $
8644 | CanvasDrawPath.prim__isPointInPath (up a) b c undef
8650 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8655 | -> (fillRule : Optional CanvasFillRule)
8657 | isPointInPath1' a b c d e = tryJS "CanvasDrawPath.isPointInPath1'" $
8658 | CanvasDrawPath.prim__isPointInPath1 (up a) b c d (toFFI e)
8663 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8669 | isPointInPath1 a b c d = tryJS "CanvasDrawPath.isPointInPath1" $
8670 | CanvasDrawPath.prim__isPointInPath1 (up a) b c d undef
8676 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8681 | isPointInStroke a b c = tryJS "CanvasDrawPath.isPointInStroke" $
8682 | CanvasDrawPath.prim__isPointInStroke (up a) b c
8688 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8694 | isPointInStroke1 a b c d = tryJS "CanvasDrawPath.isPointInStroke1" $
8695 | CanvasDrawPath.prim__isPointInStroke1 (up a) b c d
8701 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8704 | stroke a = primJS $
CanvasDrawPath.prim__stroke (up a)
8710 | -> {auto 0 _ : Elem CanvasDrawPath (Types t1)}
8714 | stroke1 a b = primJS $
CanvasDrawPath.prim__stroke1 (up a) b
8718 | namespace CanvasFillStrokeStyles
8723 | -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t)}
8725 | -> Attribute True Prelude.id (HSum [String, CanvasGradient, CanvasPattern])
8727 | "CanvasFillStrokeStyles.getfillStyle"
8730 | (v :> CanvasFillStrokeStyles)
8736 | -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t)}
8738 | -> Attribute True Prelude.id (HSum [String, CanvasGradient, CanvasPattern])
8739 | strokeStyle v = fromPrim
8740 | "CanvasFillStrokeStyles.getstrokeStyle"
8743 | (v :> CanvasFillStrokeStyles)
8749 | -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)}
8756 | createLinearGradient a b c d e = primJS $
8757 | CanvasFillStrokeStyles.prim__createLinearGradient (up a) b c d e
8763 | -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)}
8773 | -> (repetition : String)
8774 | -> JSIO (Maybe CanvasPattern)
8775 | createPattern a b c = tryJS "CanvasFillStrokeStyles.createPattern" $
8776 | CanvasFillStrokeStyles.prim__createPattern (up a) (toFFI b) c
8782 | -> {auto 0 _ : Elem CanvasFillStrokeStyles (Types t1)}
8791 | createRadialGradient a b c d e f g = primJS $
8792 | CanvasFillStrokeStyles.prim__createRadialGradient (up a) b c d e f g
8796 | namespace CanvasFilters
8801 | -> {auto 0 _ : Elem CanvasFilters (Types t)}
8803 | -> Attribute True Prelude.id String
8805 | "CanvasFilters.getfilter"
8812 | namespace CanvasImageData
8817 | -> {auto 0 _ : Elem CanvasImageData (Types t1)}
8822 | createImageData a b c = primJS $
8823 | CanvasImageData.prim__createImageData (up a) b c
8829 | -> {auto 0 _ : Elem CanvasImageData (Types t1)}
8831 | -> (imagedata : ImageData)
8833 | createImageData1 a b = primJS $
8834 | CanvasImageData.prim__createImageData1 (up a) b
8840 | -> {auto 0 _ : Elem CanvasImageData (Types t1)}
8847 | getImageData a b c d e = primJS $
8848 | CanvasImageData.prim__getImageData (up a) b c d e
8854 | -> {auto 0 _ : Elem CanvasImageData (Types t1)}
8856 | -> (imagedata : ImageData)
8860 | putImageData a b c d = primJS $
8861 | CanvasImageData.prim__putImageData (up a) b c d
8867 | -> {auto 0 _ : Elem CanvasImageData (Types t1)}
8869 | -> (imagedata : ImageData)
8874 | -> (dirtyWidth : Int32)
8875 | -> (dirtyHeight : Int32)
8877 | putImageData1 a b c d e f g h = primJS $
8878 | CanvasImageData.prim__putImageData1 (up a) b c d e f g h
8882 | namespace CanvasImageSmoothing
8885 | imageSmoothingEnabled :
8887 | -> {auto 0 _ : Elem CanvasImageSmoothing (Types t)}
8889 | -> Attribute True Prelude.id Bool
8890 | imageSmoothingEnabled v = fromPrim
8891 | "CanvasImageSmoothing.getimageSmoothingEnabled"
8892 | prim__imageSmoothingEnabled
8893 | prim__setImageSmoothingEnabled
8894 | (v :> CanvasImageSmoothing)
8898 | imageSmoothingQuality :
8900 | -> {auto 0 _ : Elem CanvasImageSmoothing (Types t)}
8902 | -> Attribute True Prelude.id ImageSmoothingQuality
8903 | imageSmoothingQuality v = fromPrim
8904 | "CanvasImageSmoothing.getimageSmoothingQuality"
8905 | prim__imageSmoothingQuality
8906 | prim__setImageSmoothingQuality
8907 | (v :> CanvasImageSmoothing)
8916 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8921 | -> (startAngle : Double)
8923 | -> (counterclockwise : Optional Bool)
8925 | arc' a b c d e f g = primJS $
CanvasPath.prim__arc (up a) b c d e f (toFFI g)
8930 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8935 | -> (startAngle : Double)
8938 | arc a b c d e f = primJS $
CanvasPath.prim__arc (up a) b c d e f undef
8944 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8952 | arcTo a b c d e f = primJS $
CanvasPath.prim__arcTo (up a) b c d e f
8958 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8967 | bezierCurveTo a b c d e f g = primJS $
8968 | CanvasPath.prim__bezierCurveTo (up a) b c d e f g
8974 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8977 | closePath a = primJS $
CanvasPath.prim__closePath (up a)
8983 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
8990 | -> (startAngle : Double)
8992 | -> (counterclockwise : Optional Bool)
8994 | ellipse' a b c d e f g h i = primJS $
8995 | CanvasPath.prim__ellipse (up a) b c d e f g h (toFFI i)
9000 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
9007 | -> (startAngle : Double)
9010 | ellipse a b c d e f g h = primJS $
9011 | CanvasPath.prim__ellipse (up a) b c d e f g h undef
9017 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
9022 | lineTo a b c = primJS $
CanvasPath.prim__lineTo (up a) b c
9028 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
9033 | moveTo a b c = primJS $
CanvasPath.prim__moveTo (up a) b c
9039 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
9046 | quadraticCurveTo a b c d e = primJS $
9047 | CanvasPath.prim__quadraticCurveTo (up a) b c d e
9053 | -> {auto 0 _ : Elem CanvasPath (Types t1)}
9060 | rect a b c d e = primJS $
CanvasPath.prim__rect (up a) b c d e
9064 | namespace CanvasPathDrawingStyles
9069 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)}
9071 | -> Attribute True Prelude.id CanvasLineCap
9073 | "CanvasPathDrawingStyles.getlineCap"
9076 | (v :> CanvasPathDrawingStyles)
9082 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)}
9084 | -> Attribute True Prelude.id Double
9085 | lineDashOffset v = fromPrim
9086 | "CanvasPathDrawingStyles.getlineDashOffset"
9088 | prim__setLineDashOffset
9089 | (v :> CanvasPathDrawingStyles)
9095 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)}
9097 | -> Attribute True Prelude.id CanvasLineJoin
9099 | "CanvasPathDrawingStyles.getlineJoin"
9102 | (v :> CanvasPathDrawingStyles)
9108 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)}
9110 | -> Attribute True Prelude.id Double
9112 | "CanvasPathDrawingStyles.getlineWidth"
9115 | (v :> CanvasPathDrawingStyles)
9121 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t)}
9123 | -> Attribute True Prelude.id Double
9124 | miterLimit v = fromPrim
9125 | "CanvasPathDrawingStyles.getmiterLimit"
9128 | (v :> CanvasPathDrawingStyles)
9134 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t1)}
9137 | getLineDash a = primJS $
CanvasPathDrawingStyles.prim__getLineDash (up a)
9143 | -> {auto 0 _ : Elem CanvasPathDrawingStyles (Types t1)}
9145 | -> (segments : Array Double)
9147 | setLineDash a b = primJS $
CanvasPathDrawingStyles.prim__setLineDash (up a) b
9156 | -> {auto 0 _ : Elem CanvasRect (Types t1)}
9163 | clearRect a b c d e = primJS $
CanvasRect.prim__clearRect (up a) b c d e
9169 | -> {auto 0 _ : Elem CanvasRect (Types t1)}
9176 | fillRect a b c d e = primJS $
CanvasRect.prim__fillRect (up a) b c d e
9182 | -> {auto 0 _ : Elem CanvasRect (Types t1)}
9189 | strokeRect a b c d e = primJS $
CanvasRect.prim__strokeRect (up a) b c d e
9193 | namespace CanvasShadowStyles
9198 | -> {auto 0 _ : Elem CanvasShadowStyles (Types t)}
9200 | -> Attribute True Prelude.id Double
9201 | shadowBlur v = fromPrim
9202 | "CanvasShadowStyles.getshadowBlur"
9205 | (v :> CanvasShadowStyles)
9211 | -> {auto 0 _ : Elem CanvasShadowStyles (Types t)}
9213 | -> Attribute True Prelude.id String
9214 | shadowColor v = fromPrim
9215 | "CanvasShadowStyles.getshadowColor"
9218 | (v :> CanvasShadowStyles)
9224 | -> {auto 0 _ : Elem CanvasShadowStyles (Types t)}
9226 | -> Attribute True Prelude.id Double
9227 | shadowOffsetX v = fromPrim
9228 | "CanvasShadowStyles.getshadowOffsetX"
9231 | (v :> CanvasShadowStyles)
9237 | -> {auto 0 _ : Elem CanvasShadowStyles (Types t)}
9239 | -> Attribute True Prelude.id Double
9240 | shadowOffsetY v = fromPrim
9241 | "CanvasShadowStyles.getshadowOffsetY"
9244 | (v :> CanvasShadowStyles)
9253 | -> {auto 0 _ : Elem CanvasState (Types t1)}
9256 | restore a = primJS $
CanvasState.prim__restore (up a)
9262 | -> {auto 0 _ : Elem CanvasState (Types t1)}
9265 | save a = primJS $
CanvasState.prim__save (up a)
9274 | -> {auto 0 _ : Elem CanvasText (Types t1)}
9279 | -> (maxWidth : Optional Double)
9281 | fillText' a b c d e = primJS $
9282 | CanvasText.prim__fillText (up a) b c d (toFFI e)
9287 | -> {auto 0 _ : Elem CanvasText (Types t1)}
9293 | fillText a b c d = primJS $
CanvasText.prim__fillText (up a) b c d undef
9299 | -> {auto 0 _ : Elem CanvasText (Types t1)}
9303 | measureText a b = primJS $
CanvasText.prim__measureText (up a) b
9309 | -> {auto 0 _ : Elem CanvasText (Types t1)}
9314 | -> (maxWidth : Optional Double)
9316 | strokeText' a b c d e = primJS $
9317 | CanvasText.prim__strokeText (up a) b c d (toFFI e)
9322 | -> {auto 0 _ : Elem CanvasText (Types t1)}
9328 | strokeText a b c d = primJS $
CanvasText.prim__strokeText (up a) b c d undef
9332 | namespace CanvasTextDrawingStyles
9337 | -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)}
9339 | -> Attribute True Prelude.id CanvasDirection
9341 | "CanvasTextDrawingStyles.getdirection"
9344 | (v :> CanvasTextDrawingStyles)
9350 | -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)}
9352 | -> Attribute True Prelude.id String
9354 | "CanvasTextDrawingStyles.getfont"
9357 | (v :> CanvasTextDrawingStyles)
9363 | -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)}
9365 | -> Attribute True Prelude.id CanvasTextAlign
9367 | "CanvasTextDrawingStyles.gettextAlign"
9370 | (v :> CanvasTextDrawingStyles)
9376 | -> {auto 0 _ : Elem CanvasTextDrawingStyles (Types t)}
9378 | -> Attribute True Prelude.id CanvasTextBaseline
9379 | textBaseline v = fromPrim
9380 | "CanvasTextDrawingStyles.gettextBaseline"
9383 | (v :> CanvasTextDrawingStyles)
9387 | namespace CanvasTransform
9392 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9395 | getTransform a = primJS $
CanvasTransform.prim__getTransform (up a)
9401 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9404 | resetTransform a = primJS $
CanvasTransform.prim__resetTransform (up a)
9410 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9414 | rotate a b = primJS $
CanvasTransform.prim__rotate (up a) b
9420 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9425 | scale a b c = primJS $
CanvasTransform.prim__scale (up a) b c
9431 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9440 | setTransform a b c d e f g = primJS $
9441 | CanvasTransform.prim__setTransform (up a) b c d e f g
9447 | -> {auto 0 _ : JSType t2}
9448 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9449 | -> {auto 0 _ : Elem DOMMatrix2DInit (Types t2)}
9451 | -> (transform : Optional t2)
9453 | setTransform1' a b = primJS $
9454 | CanvasTransform.prim__setTransform1 (up a) (optUp b)
9459 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9462 | setTransform1 a = primJS $
CanvasTransform.prim__setTransform1 (up a) undef
9468 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9477 | transform a b c d e f g = primJS $
9478 | CanvasTransform.prim__transform (up a) b c d e f g
9484 | -> {auto 0 _ : Elem CanvasTransform (Types t1)}
9489 | translate a b c = primJS $
CanvasTransform.prim__translate (up a) b c
9493 | namespace CanvasUserInterface
9498 | -> {auto 0 _ : JSType t2}
9499 | -> {auto 0 _ : Elem CanvasUserInterface (Types t1)}
9500 | -> {auto 0 _ : Elem Element (Types t2)}
9504 | drawFocusIfNeeded a b = primJS $
9505 | CanvasUserInterface.prim__drawFocusIfNeeded (up a) (up b)
9511 | -> {auto 0 _ : JSType t3}
9512 | -> {auto 0 _ : Elem CanvasUserInterface (Types t1)}
9513 | -> {auto 0 _ : Elem Element (Types t3)}
9518 | drawFocusIfNeeded1 a b c = primJS $
9519 | CanvasUserInterface.prim__drawFocusIfNeeded1 (up a) b (up c)
9525 | -> {auto 0 _ : Elem CanvasUserInterface (Types t1)}
9528 | scrollPathIntoView a = primJS $
9529 | CanvasUserInterface.prim__scrollPathIntoView (up a)
9535 | -> {auto 0 _ : Elem CanvasUserInterface (Types t1)}
9539 | scrollPathIntoView1 a b = primJS $
9540 | CanvasUserInterface.prim__scrollPathIntoView1 (up a) b
9544 | namespace DocumentAndElementEventHandlers
9549 | -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)}
9551 | -> Attribute False Maybe EventHandlerNonNull
9552 | oncopy v = fromNullablePrim
9553 | "DocumentAndElementEventHandlers.getoncopy"
9556 | (v :> DocumentAndElementEventHandlers)
9562 | -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)}
9564 | -> Attribute False Maybe EventHandlerNonNull
9565 | oncut v = fromNullablePrim
9566 | "DocumentAndElementEventHandlers.getoncut"
9569 | (v :> DocumentAndElementEventHandlers)
9575 | -> {auto 0 _ : Elem DocumentAndElementEventHandlers (Types t)}
9577 | -> Attribute False Maybe EventHandlerNonNull
9578 | onpaste v = fromNullablePrim
9579 | "DocumentAndElementEventHandlers.getonpaste"
9582 | (v :> DocumentAndElementEventHandlers)
9586 | namespace ElementContentEditable
9591 | -> {auto 0 _ : Elem ElementContentEditable (Types t)}
9593 | -> Attribute True Prelude.id String
9594 | contentEditable v = fromPrim
9595 | "ElementContentEditable.getcontentEditable"
9597 | prim__setContentEditable
9598 | (v :> ElementContentEditable)
9604 | -> {auto 0 _ : Elem ElementContentEditable (Types t)}
9606 | -> Attribute True Prelude.id String
9607 | enterKeyHint v = fromPrim
9608 | "ElementContentEditable.getenterKeyHint"
9611 | (v :> ElementContentEditable)
9617 | -> {auto 0 _ : Elem ElementContentEditable (Types t)}
9619 | -> Attribute True Prelude.id String
9621 | "ElementContentEditable.getinputMode"
9624 | (v :> ElementContentEditable)
9630 | -> {auto 0 _ : Elem ElementContentEditable (Types t1)}
9633 | isContentEditable a = tryJS "ElementContentEditable.isContentEditable" $
9634 | ElementContentEditable.prim__isContentEditable (up a)
9638 | namespace GlobalEventHandlers
9643 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9645 | -> Attribute False Maybe UIEventHandler
9646 | onabort v = fromNullablePrim
9647 | "GlobalEventHandlers.getonabort"
9650 | (v :> GlobalEventHandlers)
9656 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9658 | -> Attribute False Maybe MouseEventHandler
9659 | onauxclick v = fromNullablePrim
9660 | "GlobalEventHandlers.getonauxclick"
9663 | (v :> GlobalEventHandlers)
9669 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9671 | -> Attribute False Maybe FocusEventHandler
9672 | onblur v = fromNullablePrim
9673 | "GlobalEventHandlers.getonblur"
9676 | (v :> GlobalEventHandlers)
9682 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9684 | -> Attribute False Maybe EventHandlerNonNull
9685 | oncancel v = fromNullablePrim
9686 | "GlobalEventHandlers.getoncancel"
9689 | (v :> GlobalEventHandlers)
9695 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9697 | -> Attribute False Maybe EventHandlerNonNull
9698 | oncanplay v = fromNullablePrim
9699 | "GlobalEventHandlers.getoncanplay"
9702 | (v :> GlobalEventHandlers)
9708 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9710 | -> Attribute False Maybe EventHandlerNonNull
9711 | oncanplaythrough v = fromNullablePrim
9712 | "GlobalEventHandlers.getoncanplaythrough"
9714 | prim__setOncanplaythrough
9715 | (v :> GlobalEventHandlers)
9721 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9723 | -> Attribute False Maybe EventHandlerNonNull
9724 | onchange v = fromNullablePrim
9725 | "GlobalEventHandlers.getonchange"
9728 | (v :> GlobalEventHandlers)
9734 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9736 | -> Attribute False Maybe MouseEventHandler
9737 | onclick v = fromNullablePrim
9738 | "GlobalEventHandlers.getonclick"
9741 | (v :> GlobalEventHandlers)
9747 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9749 | -> Attribute False Maybe EventHandlerNonNull
9750 | onclose v = fromNullablePrim
9751 | "GlobalEventHandlers.getonclose"
9754 | (v :> GlobalEventHandlers)
9760 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9762 | -> Attribute False Maybe EventHandlerNonNull
9763 | oncontextmenu v = fromNullablePrim
9764 | "GlobalEventHandlers.getoncontextmenu"
9767 | (v :> GlobalEventHandlers)
9773 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9775 | -> Attribute False Maybe EventHandlerNonNull
9776 | oncuechange v = fromNullablePrim
9777 | "GlobalEventHandlers.getoncuechange"
9780 | (v :> GlobalEventHandlers)
9786 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9788 | -> Attribute False Maybe MouseEventHandler
9789 | ondblclick v = fromNullablePrim
9790 | "GlobalEventHandlers.getondblclick"
9793 | (v :> GlobalEventHandlers)
9799 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9801 | -> Attribute False Maybe EventHandlerNonNull
9802 | ondrag v = fromNullablePrim
9803 | "GlobalEventHandlers.getondrag"
9806 | (v :> GlobalEventHandlers)
9812 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9814 | -> Attribute False Maybe EventHandlerNonNull
9815 | ondragend v = fromNullablePrim
9816 | "GlobalEventHandlers.getondragend"
9819 | (v :> GlobalEventHandlers)
9825 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9827 | -> Attribute False Maybe EventHandlerNonNull
9828 | ondragenter v = fromNullablePrim
9829 | "GlobalEventHandlers.getondragenter"
9832 | (v :> GlobalEventHandlers)
9838 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9840 | -> Attribute False Maybe EventHandlerNonNull
9841 | ondragleave v = fromNullablePrim
9842 | "GlobalEventHandlers.getondragleave"
9845 | (v :> GlobalEventHandlers)
9851 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9853 | -> Attribute False Maybe EventHandlerNonNull
9854 | ondragover v = fromNullablePrim
9855 | "GlobalEventHandlers.getondragover"
9858 | (v :> GlobalEventHandlers)
9864 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9866 | -> Attribute False Maybe EventHandlerNonNull
9867 | ondragstart v = fromNullablePrim
9868 | "GlobalEventHandlers.getondragstart"
9871 | (v :> GlobalEventHandlers)
9877 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9879 | -> Attribute False Maybe EventHandlerNonNull
9880 | ondrop v = fromNullablePrim
9881 | "GlobalEventHandlers.getondrop"
9884 | (v :> GlobalEventHandlers)
9890 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9892 | -> Attribute False Maybe EventHandlerNonNull
9893 | ondurationchange v = fromNullablePrim
9894 | "GlobalEventHandlers.getondurationchange"
9896 | prim__setOndurationchange
9897 | (v :> GlobalEventHandlers)
9903 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9905 | -> Attribute False Maybe EventHandlerNonNull
9906 | onemptied v = fromNullablePrim
9907 | "GlobalEventHandlers.getonemptied"
9910 | (v :> GlobalEventHandlers)
9916 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9918 | -> Attribute False Maybe EventHandlerNonNull
9919 | onended v = fromNullablePrim
9920 | "GlobalEventHandlers.getonended"
9923 | (v :> GlobalEventHandlers)
9929 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9931 | -> Attribute False Maybe OnErrorEventHandlerNonNull
9932 | onerror v = fromNullablePrim
9933 | "GlobalEventHandlers.getonerror"
9936 | (v :> GlobalEventHandlers)
9942 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9944 | -> Attribute False Maybe FocusEventHandler
9945 | onfocus v = fromNullablePrim
9946 | "GlobalEventHandlers.getonfocus"
9949 | (v :> GlobalEventHandlers)
9955 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9957 | -> Attribute False Maybe EventHandlerNonNull
9958 | onformdata v = fromNullablePrim
9959 | "GlobalEventHandlers.getonformdata"
9962 | (v :> GlobalEventHandlers)
9968 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9970 | -> Attribute False Maybe InputEventHandler
9971 | oninput v = fromNullablePrim
9972 | "GlobalEventHandlers.getoninput"
9975 | (v :> GlobalEventHandlers)
9981 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9983 | -> Attribute False Maybe EventHandlerNonNull
9984 | oninvalid v = fromNullablePrim
9985 | "GlobalEventHandlers.getoninvalid"
9988 | (v :> GlobalEventHandlers)
9994 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
9996 | -> Attribute False Maybe KeyboardEventHandler
9997 | onkeydown v = fromNullablePrim
9998 | "GlobalEventHandlers.getonkeydown"
10007 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10009 | -> Attribute False Maybe EventHandlerNonNull
10010 | onkeypress v = fromNullablePrim
10011 | "GlobalEventHandlers.getonkeypress"
10020 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10022 | -> Attribute False Maybe KeyboardEventHandler
10023 | onkeyup v = fromNullablePrim
10024 | "GlobalEventHandlers.getonkeyup"
10033 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10035 | -> Attribute False Maybe UIEventHandler
10036 | onload v = fromNullablePrim
10037 | "GlobalEventHandlers.getonload"
10046 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10048 | -> Attribute False Maybe EventHandlerNonNull
10049 | onloadeddata v = fromNullablePrim
10050 | "GlobalEventHandlers.getonloadeddata"
10059 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10061 | -> Attribute False Maybe EventHandlerNonNull
10062 | onloadedmetadata v = fromNullablePrim
10063 | "GlobalEventHandlers.getonloadedmetadata"
10072 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10074 | -> Attribute False Maybe EventHandlerNonNull
10075 | onloadstart v = fromNullablePrim
10076 | "GlobalEventHandlers.getonloadstart"
10085 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10087 | -> Attribute False Maybe MouseEventHandler
10088 | onmousedown v = fromNullablePrim
10089 | "GlobalEventHandlers.getonmousedown"
10098 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10100 | -> Attribute False Maybe MouseEventHandler
10101 | onmouseenter v = fromNullablePrim
10102 | "GlobalEventHandlers.getonmouseenter"
10111 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10113 | -> Attribute False Maybe MouseEventHandler
10114 | onmouseleave v = fromNullablePrim
10115 | "GlobalEventHandlers.getonmouseleave"
10124 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10126 | -> Attribute False Maybe MouseEventHandler
10127 | onmousemove v = fromNullablePrim
10128 | "GlobalEventHandlers.getonmousemove"
10137 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10139 | -> Attribute False Maybe MouseEventHandler
10140 | onmouseout v = fromNullablePrim
10141 | "GlobalEventHandlers.getonmouseout"
10150 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10152 | -> Attribute False Maybe MouseEventHandler
10153 | onmouseover v = fromNullablePrim
10154 | "GlobalEventHandlers.getonmouseover"
10163 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10165 | -> Attribute False Maybe MouseEventHandler
10166 | onmouseup v = fromNullablePrim
10167 | "GlobalEventHandlers.getonmouseup"
10176 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10178 | -> Attribute False Maybe EventHandlerNonNull
10179 | onpause v = fromNullablePrim
10180 | "GlobalEventHandlers.getonpause"
10189 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10191 | -> Attribute False Maybe EventHandlerNonNull
10192 | onplay v = fromNullablePrim
10193 | "GlobalEventHandlers.getonplay"
10202 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10204 | -> Attribute False Maybe EventHandlerNonNull
10205 | onplaying v = fromNullablePrim
10206 | "GlobalEventHandlers.getonplaying"
10215 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10217 | -> Attribute False Maybe EventHandlerNonNull
10218 | onprogress v = fromNullablePrim
10219 | "GlobalEventHandlers.getonprogress"
10228 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10230 | -> Attribute False Maybe EventHandlerNonNull
10231 | onratechange v = fromNullablePrim
10232 | "GlobalEventHandlers.getonratechange"
10241 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10243 | -> Attribute False Maybe EventHandlerNonNull
10244 | onreset v = fromNullablePrim
10245 | "GlobalEventHandlers.getonreset"
10254 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10256 | -> Attribute False Maybe EventHandlerNonNull
10257 | onresize v = fromNullablePrim
10258 | "GlobalEventHandlers.getonresize"
10267 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10269 | -> Attribute False Maybe EventHandlerNonNull
10270 | onscroll v = fromNullablePrim
10271 | "GlobalEventHandlers.getonscroll"
10278 | onsecuritypolicyviolation :
10280 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10282 | -> Attribute False Maybe EventHandlerNonNull
10283 | onsecuritypolicyviolation v = fromNullablePrim
10284 | "GlobalEventHandlers.getonsecuritypolicyviolation"
10285 | prim__onsecuritypolicyviolation
10286 | prim__setOnsecuritypolicyviolation
10293 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10295 | -> Attribute False Maybe EventHandlerNonNull
10296 | onseeked v = fromNullablePrim
10297 | "GlobalEventHandlers.getonseeked"
10306 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10308 | -> Attribute False Maybe EventHandlerNonNull
10309 | onseeking v = fromNullablePrim
10310 | "GlobalEventHandlers.getonseeking"
10319 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10321 | -> Attribute False Maybe UIEventHandler
10322 | onselect v = fromNullablePrim
10323 | "GlobalEventHandlers.getonselect"
10332 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10334 | -> Attribute False Maybe EventHandlerNonNull
10335 | onslotchange v = fromNullablePrim
10336 | "GlobalEventHandlers.getonslotchange"
10345 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10347 | -> Attribute False Maybe EventHandlerNonNull
10348 | onstalled v = fromNullablePrim
10349 | "GlobalEventHandlers.getonstalled"
10358 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10360 | -> Attribute False Maybe EventHandlerNonNull
10361 | onsubmit v = fromNullablePrim
10362 | "GlobalEventHandlers.getonsubmit"
10371 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10373 | -> Attribute False Maybe EventHandlerNonNull
10374 | onsuspend v = fromNullablePrim
10375 | "GlobalEventHandlers.getonsuspend"
10384 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10386 | -> Attribute False Maybe EventHandlerNonNull
10387 | ontimeupdate v = fromNullablePrim
10388 | "GlobalEventHandlers.getontimeupdate"
10397 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10399 | -> Attribute False Maybe EventHandlerNonNull
10400 | ontoggle v = fromNullablePrim
10401 | "GlobalEventHandlers.getontoggle"
10410 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10412 | -> Attribute False Maybe EventHandlerNonNull
10413 | onvolumechange v = fromNullablePrim
10414 | "GlobalEventHandlers.getonvolumechange"
10423 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10425 | -> Attribute False Maybe EventHandlerNonNull
10426 | onwaiting v = fromNullablePrim
10427 | "GlobalEventHandlers.getonwaiting"
10436 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10438 | -> Attribute False Maybe EventHandlerNonNull
10439 | onwebkitanimationend v = fromNullablePrim
10440 | "GlobalEventHandlers.getonwebkitanimationend"
10442 | prim__setOnwebkitanimationend
10447 | onwebkitanimationiteration :
10449 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10451 | -> Attribute False Maybe EventHandlerNonNull
10452 | onwebkitanimationiteration v = fromNullablePrim
10453 | "GlobalEventHandlers.getonwebkitanimationiteration"
10454 | prim__onwebkitanimationiteration
10455 | prim__setOnwebkitanimationiteration
10462 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10464 | -> Attribute False Maybe EventHandlerNonNull
10465 | onwebkitanimationstart v = fromNullablePrim
10466 | "GlobalEventHandlers.getonwebkitanimationstart"
10467 | prim__onwebkitanimationstart
10468 | prim__setOnwebkitanimationstart
10475 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10477 | -> Attribute False Maybe EventHandlerNonNull
10478 | onwebkittransitionend v = fromNullablePrim
10479 | "GlobalEventHandlers.getonwebkittransitionend"
10480 | prim__onwebkittransitionend
10481 | prim__setOnwebkittransitionend
10488 | -> {auto 0 _ : Elem GlobalEventHandlers (Types t)}
10490 | -> Attribute False Maybe WheelEventHandler
10491 | onwheel v = fromNullablePrim
10492 | "GlobalEventHandlers.getonwheel"
10499 | namespace HTMLHyperlinkElementUtils
10504 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10506 | -> Attribute True Prelude.id String
10508 | "HTMLHyperlinkElementUtils.gethash"
10511 | (v :> HTMLHyperlinkElementUtils)
10517 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10519 | -> Attribute True Prelude.id String
10521 | "HTMLHyperlinkElementUtils.gethost"
10524 | (v :> HTMLHyperlinkElementUtils)
10530 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10532 | -> Attribute True Prelude.id String
10534 | "HTMLHyperlinkElementUtils.gethostname"
10537 | (v :> HTMLHyperlinkElementUtils)
10543 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10545 | -> Attribute True Prelude.id String
10547 | "HTMLHyperlinkElementUtils.gethref"
10550 | (v :> HTMLHyperlinkElementUtils)
10556 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t1)}
10559 | origin a = primJS $
HTMLHyperlinkElementUtils.prim__origin (up a)
10565 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10567 | -> Attribute True Prelude.id String
10569 | "HTMLHyperlinkElementUtils.getpassword"
10572 | (v :> HTMLHyperlinkElementUtils)
10578 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10580 | -> Attribute True Prelude.id String
10582 | "HTMLHyperlinkElementUtils.getpathname"
10585 | (v :> HTMLHyperlinkElementUtils)
10591 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10593 | -> Attribute True Prelude.id String
10595 | "HTMLHyperlinkElementUtils.getport"
10598 | (v :> HTMLHyperlinkElementUtils)
10604 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10606 | -> Attribute True Prelude.id String
10608 | "HTMLHyperlinkElementUtils.getprotocol"
10611 | (v :> HTMLHyperlinkElementUtils)
10617 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10619 | -> Attribute True Prelude.id String
10621 | "HTMLHyperlinkElementUtils.getsearch"
10624 | (v :> HTMLHyperlinkElementUtils)
10630 | -> {auto 0 _ : Elem HTMLHyperlinkElementUtils (Types t)}
10632 | -> Attribute True Prelude.id String
10634 | "HTMLHyperlinkElementUtils.getusername"
10637 | (v :> HTMLHyperlinkElementUtils)
10646 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)}
10648 | -> Attribute True Prelude.id Bool
10650 | "HTMLOrSVGElement.getautofocus"
10659 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)}
10662 | dataset a = primJS $
HTMLOrSVGElement.prim__dataset (up a)
10668 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)}
10670 | -> Attribute True Prelude.id String
10672 | "HTMLOrSVGElement.getnonce"
10681 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t)}
10683 | -> Attribute True Prelude.id Int32
10685 | "HTMLOrSVGElement.gettabIndex"
10694 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)}
10697 | blur a = primJS $
HTMLOrSVGElement.prim__blur (up a)
10704 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)}
10705 | -> {auto 0 _ : Elem FocusOptions (Types t2)}
10709 | focus' a b = primJS $
HTMLOrSVGElement.prim__focus (up a) (optUp b)
10714 | -> {auto 0 _ : Elem HTMLOrSVGElement (Types t1)}
10717 | focus a = primJS $
HTMLOrSVGElement.prim__focus (up a) undef
10721 | namespace NavigatorConcurrentHardware
10726 | -> {auto 0 _ : Elem NavigatorConcurrentHardware (Types t1)}
10729 | hardwareConcurrency a = primJS $
10730 | NavigatorConcurrentHardware.prim__hardwareConcurrency (up a)
10734 | namespace NavigatorContentUtils
10739 | -> {auto 0 _ : Elem NavigatorContentUtils (Types t1)}
10744 | registerProtocolHandler a b c = primJS $
10745 | NavigatorContentUtils.prim__registerProtocolHandler (up a) b c
10749 | unregisterProtocolHandler :
10751 | -> {auto 0 _ : Elem NavigatorContentUtils (Types t1)}
10756 | unregisterProtocolHandler a b c = primJS $
10757 | NavigatorContentUtils.prim__unregisterProtocolHandler (up a) b c
10766 | -> {auto 0 _ : Elem NavigatorCookies (Types t1)}
10769 | cookieEnabled a = tryJS "NavigatorCookies.cookieEnabled" $
10770 | NavigatorCookies.prim__cookieEnabled (up a)
10779 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10782 | appCodeName a = primJS $
NavigatorID.prim__appCodeName (up a)
10788 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10791 | appName a = primJS $
NavigatorID.prim__appName (up a)
10797 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10800 | appVersion a = primJS $
NavigatorID.prim__appVersion (up a)
10806 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10809 | platform a = primJS $
NavigatorID.prim__platform (up a)
10815 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10818 | product a = primJS $
NavigatorID.prim__product (up a)
10824 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10827 | productSub a = primJS $
NavigatorID.prim__productSub (up a)
10833 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10836 | userAgent a = primJS $
NavigatorID.prim__userAgent (up a)
10842 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10845 | vendor a = primJS $
NavigatorID.prim__vendor (up a)
10851 | -> {auto 0 _ : Elem NavigatorID (Types t1)}
10854 | vendorSub a = primJS $
NavigatorID.prim__vendorSub (up a)
10858 | namespace NavigatorLanguage
10863 | -> {auto 0 _ : Elem NavigatorLanguage (Types t1)}
10866 | language a = primJS $
NavigatorLanguage.prim__language (up a)
10872 | -> {auto 0 _ : Elem NavigatorLanguage (Types t1)}
10875 | languages a = primJS $
NavigatorLanguage.prim__languages (up a)
10884 | -> {auto 0 _ : Elem NavigatorOnLine (Types t1)}
10887 | onLine a = tryJS "NavigatorOnLine.onLine" $
10888 | NavigatorOnLine.prim__onLine (up a)
10897 | -> {auto 0 _ : Elem NavigatorPlugins (Types t1)}
10900 | mimeTypes a = primJS $
NavigatorPlugins.prim__mimeTypes (up a)
10906 | -> {auto 0 _ : Elem NavigatorPlugins (Types t1)}
10909 | plugins a = primJS $
NavigatorPlugins.prim__plugins (up a)
10915 | -> {auto 0 _ : Elem NavigatorPlugins (Types t1)}
10918 | javaEnabled a = tryJS "NavigatorPlugins.javaEnabled" $
10919 | NavigatorPlugins.prim__javaEnabled (up a)
10923 | namespace WindowEventHandlers
10928 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10930 | -> Attribute False Maybe EventHandlerNonNull
10931 | onafterprint v = fromNullablePrim
10932 | "WindowEventHandlers.getonafterprint"
10941 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10943 | -> Attribute False Maybe EventHandlerNonNull
10944 | onbeforeprint v = fromNullablePrim
10945 | "WindowEventHandlers.getonbeforeprint"
10954 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10956 | -> Attribute False Maybe OnBeforeUnloadEventHandlerNonNull
10957 | onbeforeunload v = fromNullablePrim
10958 | "WindowEventHandlers.getonbeforeunload"
10967 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10969 | -> Attribute False Maybe EventHandlerNonNull
10970 | onhashchange v = fromNullablePrim
10971 | "WindowEventHandlers.getonhashchange"
10980 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10982 | -> Attribute False Maybe EventHandlerNonNull
10983 | onlanguagechange v = fromNullablePrim
10984 | "WindowEventHandlers.getonlanguagechange"
10993 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
10995 | -> Attribute False Maybe EventHandlerNonNull
10996 | onmessage v = fromNullablePrim
10997 | "WindowEventHandlers.getonmessage"
11006 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11008 | -> Attribute False Maybe EventHandlerNonNull
11009 | onmessageerror v = fromNullablePrim
11010 | "WindowEventHandlers.getonmessageerror"
11019 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11021 | -> Attribute False Maybe EventHandlerNonNull
11022 | onoffline v = fromNullablePrim
11023 | "WindowEventHandlers.getonoffline"
11032 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11034 | -> Attribute False Maybe EventHandlerNonNull
11035 | ononline v = fromNullablePrim
11036 | "WindowEventHandlers.getononline"
11045 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11047 | -> Attribute False Maybe EventHandlerNonNull
11048 | onpagehide v = fromNullablePrim
11049 | "WindowEventHandlers.getonpagehide"
11058 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11060 | -> Attribute False Maybe EventHandlerNonNull
11061 | onpageshow v = fromNullablePrim
11062 | "WindowEventHandlers.getonpageshow"
11071 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11073 | -> Attribute False Maybe EventHandlerNonNull
11074 | onpopstate v = fromNullablePrim
11075 | "WindowEventHandlers.getonpopstate"
11084 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11086 | -> Attribute False Maybe EventHandlerNonNull
11087 | onrejectionhandled v = fromNullablePrim
11088 | "WindowEventHandlers.getonrejectionhandled"
11090 | prim__setOnrejectionhandled
11097 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11099 | -> Attribute False Maybe EventHandlerNonNull
11100 | onstorage v = fromNullablePrim
11101 | "WindowEventHandlers.getonstorage"
11110 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11112 | -> Attribute False Maybe EventHandlerNonNull
11113 | onunhandledrejection v = fromNullablePrim
11114 | "WindowEventHandlers.getonunhandledrejection"
11116 | prim__setOnunhandledrejection
11123 | -> {auto 0 _ : Elem WindowEventHandlers (Types t)}
11125 | -> Attribute False Maybe UIEventHandler
11126 | onunload v = fromNullablePrim
11127 | "WindowEventHandlers.getonunload"
11134 | namespace WindowLocalStorage
11139 | -> {auto 0 _ : Elem WindowLocalStorage (Types t1)}
11142 | localStorage a = primJS $
WindowLocalStorage.prim__localStorage (up a)
11146 | namespace WindowOrWorkerGlobalScope
11151 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11154 | caches a = primJS $
WindowOrWorkerGlobalScope.prim__caches (up a)
11160 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11163 | crossOriginIsolated a = tryJS "WindowOrWorkerGlobalScope.crossOriginIsolated" $
11164 | WindowOrWorkerGlobalScope.prim__crossOriginIsolated (up a)
11170 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11173 | indexedDB a = primJS $
WindowOrWorkerGlobalScope.prim__indexedDB (up a)
11179 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11182 | isSecureContext a = tryJS "WindowOrWorkerGlobalScope.isSecureContext" $
11183 | WindowOrWorkerGlobalScope.prim__isSecureContext (up a)
11189 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11192 | origin a = primJS $
WindowOrWorkerGlobalScope.prim__origin (up a)
11198 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11201 | performance a = primJS $
WindowOrWorkerGlobalScope.prim__performance (up a)
11207 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11211 | atob a b = primJS $
WindowOrWorkerGlobalScope.prim__atob (up a) b
11217 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11221 | btoa a b = primJS $
WindowOrWorkerGlobalScope.prim__btoa (up a) b
11227 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11231 | clearInterval' a b = primJS $
11232 | WindowOrWorkerGlobalScope.prim__clearInterval (up a) (toFFI b)
11237 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11241 | WindowOrWorkerGlobalScope.prim__clearInterval (up a) undef
11247 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11251 | clearTimeout' a b = primJS $
11252 | WindowOrWorkerGlobalScope.prim__clearTimeout (up a) (toFFI b)
11257 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11261 | WindowOrWorkerGlobalScope.prim__clearTimeout (up a) undef
11268 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11269 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t3)}
11282 | -> JSIO (Promise ImageBitmap)
11283 | createImageBitmap' a b c = primJS $
11284 | WindowOrWorkerGlobalScope.prim__createImageBitmap (up a) (toFFI b) (optUp c)
11289 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11301 | -> JSIO (Promise ImageBitmap)
11302 | createImageBitmap a b = primJS $
11303 | WindowOrWorkerGlobalScope.prim__createImageBitmap (up a) (toFFI b) undef
11310 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11311 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t7)}
11328 | -> JSIO (Promise ImageBitmap)
11329 | createImageBitmap1' a b c d e f g = primJS $
11330 | WindowOrWorkerGlobalScope.prim__createImageBitmap1
11342 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11358 | -> JSIO (Promise ImageBitmap)
11359 | createImageBitmap1 a b c d e f = primJS $
11360 | WindowOrWorkerGlobalScope.prim__createImageBitmap1
11374 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11375 | -> {auto 0 _ : Elem RequestInit (Types t3)}
11377 | -> (input : HSum [Request, String])
11381 | WindowOrWorkerGlobalScope.prim__fetch (up a) (toFFI b) (optUp c)
11386 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11388 | -> (input : HSum [Request, String])
11391 | WindowOrWorkerGlobalScope.prim__fetch (up a) (toFFI b) undef
11397 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11399 | -> (callback : VoidFunction)
11401 | queueMicrotask a b = primJS $
11402 | WindowOrWorkerGlobalScope.prim__queueMicrotask (up a) b
11408 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11413 | WindowOrWorkerGlobalScope.prim__reportError (up a) (toFFI b)
11420 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11421 | -> {auto 0 _ : Elem StructuredSerializeOptions (Types t3)}
11426 | structuredClone' a b c = tryJS "WindowOrWorkerGlobalScope.structuredClone'" $
11427 | WindowOrWorkerGlobalScope.prim__structuredClone (up a) (toFFI b) (optUp c)
11432 | -> {auto 0 _ : Elem WindowOrWorkerGlobalScope (Types t1)}
11436 | structuredClone a b = tryJS "WindowOrWorkerGlobalScope.structuredClone" $
11437 | WindowOrWorkerGlobalScope.prim__structuredClone (up a) (toFFI b) undef
11446 | namespace AssignedNodesOptions
11449 | new' : (flatten : Optional Bool) -> JSIO AssignedNodesOptions
11450 | new' a = primJS $
AssignedNodesOptions.prim__new (toFFI a)
11453 | new : JSIO AssignedNodesOptions
11454 | new = primJS $
AssignedNodesOptions.prim__new undef
11460 | -> {auto 0 _ : Elem AssignedNodesOptions (Types t)}
11462 | -> Attribute True Optional Bool
11463 | flatten v = fromUndefOrPrim
11464 | "AssignedNodesOptions.getflatten"
11468 | (v :> AssignedNodesOptions)
11472 | namespace CanvasRenderingContext2DSettings
11477 | -> (desynchronized : Optional Bool)
11478 | -> JSIO CanvasRenderingContext2DSettings
11480 | CanvasRenderingContext2DSettings.prim__new (toFFI a) (toFFI b)
11483 | new : JSIO CanvasRenderingContext2DSettings
11484 | new = primJS $
CanvasRenderingContext2DSettings.prim__new undef undef
11490 | -> {auto 0 _ : Elem CanvasRenderingContext2DSettings (Types t)}
11492 | -> Attribute True Optional Bool
11494 | "CanvasRenderingContext2DSettings.getalpha"
11498 | (v :> CanvasRenderingContext2DSettings)
11504 | -> {auto 0 _ : Elem CanvasRenderingContext2DSettings (Types t)}
11506 | -> Attribute True Optional Bool
11507 | desynchronized v = fromUndefOrPrim
11508 | "CanvasRenderingContext2DSettings.getdesynchronized"
11512 | (v :> CanvasRenderingContext2DSettings)
11521 | -> (code : Optional Bits16)
11522 | -> (reason : Optional String)
11524 | new' a b c = primJS $
CloseEventInit.prim__new (toFFI a) (toFFI b) (toFFI c)
11528 | new = primJS $
CloseEventInit.prim__new undef undef undef
11534 | -> {auto 0 _ : Elem CloseEventInit (Types t)}
11536 | -> Attribute True Optional Bits16
11548 | -> {auto 0 _ : Elem CloseEventInit (Types t)}
11550 | -> Attribute True Optional String
11562 | -> {auto 0 _ : Elem CloseEventInit (Types t)}
11564 | -> Attribute True Optional Bool
11565 | wasClean v = fromUndefOrPrim
11566 | "CloseEventInit.getwasClean"
11577 | new' : (dataTransfer : Optional (Maybe DataTransfer)) -> JSIO DragEventInit
11578 | new' a = primJS $
DragEventInit.prim__new (toFFI a)
11582 | new = primJS $
DragEventInit.prim__new undef
11588 | -> {auto 0 _ : Elem DragEventInit (Types t)}
11590 | -> Attribute True Optional (Maybe DataTransfer)
11591 | dataTransfer v = fromUndefOrPrim
11592 | "DragEventInit.getdataTransfer"
11600 | namespace ElementDefinitionOptions
11603 | new' : (extends : Optional String) -> JSIO ElementDefinitionOptions
11604 | new' a = primJS $
ElementDefinitionOptions.prim__new (toFFI a)
11607 | new : JSIO ElementDefinitionOptions
11608 | new = primJS $
ElementDefinitionOptions.prim__new undef
11614 | -> {auto 0 _ : Elem ElementDefinitionOptions (Types t)}
11616 | -> Attribute False Optional String
11617 | extends v = fromUndefOrPrimNoDefault
11618 | "ElementDefinitionOptions.getextends"
11621 | (v :> ElementDefinitionOptions)
11629 | (message : Optional String)
11630 | -> (filename : Optional String)
11631 | -> (lineno : Optional Bits32)
11632 | -> (colno : Optional Bits32)
11636 | ErrorEventInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d) (toFFI e)
11640 | new = primJS $
ErrorEventInit.prim__new undef undef undef undef undef
11646 | -> {auto 0 _ : Elem ErrorEventInit (Types t)}
11648 | -> Attribute True Optional Bits32
11660 | -> {auto 0 _ : Elem ErrorEventInit (Types t)}
11662 | -> Attribute True Optional Any
11674 | -> {auto 0 _ : Elem ErrorEventInit (Types t)}
11676 | -> Attribute True Optional String
11677 | filename v = fromUndefOrPrim
11678 | "ErrorEventInit.getfilename"
11688 | -> {auto 0 _ : Elem ErrorEventInit (Types t)}
11690 | -> Attribute True Optional Bits32
11702 | -> {auto 0 _ : Elem ErrorEventInit (Types t)}
11704 | -> Attribute True Optional String
11705 | message v = fromUndefOrPrim
11706 | "ErrorEventInit.getmessage"
11717 | new' : (withCredentials : Optional Bool) -> JSIO EventSourceInit
11718 | new' a = primJS $
EventSourceInit.prim__new (toFFI a)
11722 | new = primJS $
EventSourceInit.prim__new undef
11728 | -> {auto 0 _ : Elem EventSourceInit (Types t)}
11730 | -> Attribute True Optional Bool
11731 | withCredentials v = fromUndefOrPrim
11732 | "EventSourceInit.getwithCredentials"
11743 | new' : (preventScroll : Optional Bool) -> JSIO FocusOptions
11744 | new' a = primJS $
FocusOptions.prim__new (toFFI a)
11748 | new = primJS $
FocusOptions.prim__new undef
11754 | -> {auto 0 _ : Elem FocusOptions (Types t)}
11756 | -> Attribute True Optional Bool
11757 | preventScroll v = fromUndefOrPrim
11758 | "FocusOptions.getpreventScroll"
11766 | namespace FormDataEventInit
11769 | new : (formData : FormData) -> JSIO FormDataEventInit
11770 | new a = primJS $
FormDataEventInit.prim__new a
11776 | -> {auto 0 _ : Elem FormDataEventInit (Types t)}
11778 | -> Attribute True Prelude.id FormData
11780 | "FormDataEventInit.getformData"
11787 | namespace HashChangeEventInit
11792 | -> (newURL : Optional String)
11793 | -> JSIO HashChangeEventInit
11794 | new' a b = primJS $
HashChangeEventInit.prim__new (toFFI a) (toFFI b)
11797 | new : JSIO HashChangeEventInit
11798 | new = primJS $
HashChangeEventInit.prim__new undef undef
11804 | -> {auto 0 _ : Elem HashChangeEventInit (Types t)}
11806 | -> Attribute True Optional String
11808 | "HashChangeEventInit.getnewURL"
11818 | -> {auto 0 _ : Elem HashChangeEventInit (Types t)}
11820 | -> Attribute True Optional String
11822 | "HashChangeEventInit.getoldURL"
11830 | namespace ImageBitmapOptions
11834 | (imageOrientation : Optional ImageOrientation)
11835 | -> (premultiplyAlpha : Optional PremultiplyAlpha)
11836 | -> (colorSpaceConversion : Optional ColorSpaceConversion)
11837 | -> (resizeWidth : Optional Bits32)
11838 | -> (resizeHeight : Optional Bits32)
11839 | -> (resizeQuality : Optional ResizeQuality)
11841 | new' a b c d e f = primJS $
11842 | ImageBitmapOptions.prim__new
11851 | new : JSIO ImageBitmapOptions
11853 | ImageBitmapOptions.prim__new undef undef undef undef undef undef
11859 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11861 | -> Attribute False Optional ColorSpaceConversion
11862 | colorSpaceConversion v = fromUndefOrPrimNoDefault
11863 | "ImageBitmapOptions.getcolorSpaceConversion"
11865 | prim__setColorSpaceConversion
11872 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11874 | -> Attribute False Optional ImageOrientation
11875 | imageOrientation v = fromUndefOrPrimNoDefault
11876 | "ImageBitmapOptions.getimageOrientation"
11885 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11887 | -> Attribute False Optional PremultiplyAlpha
11888 | premultiplyAlpha v = fromUndefOrPrimNoDefault
11889 | "ImageBitmapOptions.getpremultiplyAlpha"
11898 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11900 | -> Attribute False Optional Bits32
11901 | resizeHeight v = fromUndefOrPrimNoDefault
11902 | "ImageBitmapOptions.getresizeHeight"
11911 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11913 | -> Attribute False Optional ResizeQuality
11914 | resizeQuality v = fromUndefOrPrimNoDefault
11915 | "ImageBitmapOptions.getresizeQuality"
11924 | -> {auto 0 _ : Elem ImageBitmapOptions (Types t)}
11926 | -> Attribute False Optional Bits32
11927 | resizeWidth v = fromUndefOrPrimNoDefault
11928 | "ImageBitmapOptions.getresizeWidth"
11935 | namespace ImageBitmapRenderingContextSettings
11938 | new' : (alpha : Optional Bool) -> JSIO ImageBitmapRenderingContextSettings
11939 | new' a = primJS $
ImageBitmapRenderingContextSettings.prim__new (toFFI a)
11942 | new : JSIO ImageBitmapRenderingContextSettings
11943 | new = primJS $
ImageBitmapRenderingContextSettings.prim__new undef
11949 | -> {auto 0 _ : Elem ImageBitmapRenderingContextSettings (Types t)}
11951 | -> Attribute True Optional Bool
11953 | "ImageBitmapRenderingContextSettings.getalpha"
11957 | (v :> ImageBitmapRenderingContextSettings)
11961 | namespace ImageEncodeOptions
11966 | -> (quality : Optional Double)
11968 | new' a b = primJS $
ImageEncodeOptions.prim__new (toFFI a) (toFFI b)
11971 | new : JSIO ImageEncodeOptions
11972 | new = primJS $
ImageEncodeOptions.prim__new undef undef
11978 | -> {auto 0 _ : Elem ImageEncodeOptions (Types t)}
11980 | -> Attribute False Optional Double
11981 | quality v = fromUndefOrPrimNoDefault
11982 | "ImageEncodeOptions.getquality"
11991 | -> {auto 0 _ : Elem ImageEncodeOptions (Types t)}
11993 | -> Attribute True Optional String
11995 | "ImageEncodeOptions.gettype"
12008 | -> (origin : Optional String)
12009 | -> (lastEventId : Optional String)
12011 | (Maybe (HSum [WindowProxy, MessagePort, ServiceWorker])))
12012 | -> (ports : Optional (Array MessagePort))
12015 | MessageEventInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d) (toFFI e)
12018 | new : JSIO MessageEventInit
12019 | new = primJS $
MessageEventInit.prim__new undef undef undef undef undef
12025 | -> {auto 0 _ : Elem MessageEventInit (Types t)}
12027 | -> Attribute True Optional Any
12039 | -> {auto 0 _ : Elem MessageEventInit (Types t)}
12041 | -> Attribute True Optional String
12042 | lastEventId v = fromUndefOrPrim
12043 | "MessageEventInit.getlastEventId"
12053 | -> {auto 0 _ : Elem MessageEventInit (Types t)}
12055 | -> Attribute True Optional String
12057 | "MessageEventInit.getorigin"
12067 | -> {auto 0 _ : Elem MessageEventInit (Types t)}
12069 | -> Attribute False Optional (Array MessagePort)
12070 | ports v = fromUndefOrPrimNoDefault
12071 | "MessageEventInit.getports"
12080 | -> {auto 0 _ : Elem MessageEventInit (Types t)}
12082 | -> Attribute True Optional (Maybe
12088 | "MessageEventInit.getsource"
12096 | namespace PageTransitionEventInit
12099 | new' : (persisted : Optional Bool) -> JSIO PageTransitionEventInit
12100 | new' a = primJS $
PageTransitionEventInit.prim__new (toFFI a)
12103 | new : JSIO PageTransitionEventInit
12104 | new = primJS $
PageTransitionEventInit.prim__new undef
12110 | -> {auto 0 _ : Elem PageTransitionEventInit (Types t)}
12112 | -> Attribute True Optional Bool
12113 | persisted v = fromUndefOrPrim
12114 | "PageTransitionEventInit.getpersisted"
12118 | (v :> PageTransitionEventInit)
12122 | namespace PopStateEventInit
12125 | new' : (state : Optional Any) -> JSIO PopStateEventInit
12126 | new' a = primJS $
PopStateEventInit.prim__new (toFFI a)
12129 | new : JSIO PopStateEventInit
12130 | new = primJS $
PopStateEventInit.prim__new undef
12136 | -> {auto 0 _ : Elem PopStateEventInit (Types t)}
12138 | -> Attribute True Optional Any
12140 | "PopStateEventInit.getstate"
12148 | namespace PostMessageOptions
12151 | new' : (transfer : Optional (Array Object)) -> JSIO PostMessageOptions
12152 | new' a = primJS $
PostMessageOptions.prim__new (toFFI a)
12155 | new : JSIO PostMessageOptions
12156 | new = primJS $
PostMessageOptions.prim__new undef
12162 | -> {auto 0 _ : Elem PostMessageOptions (Types t)}
12164 | -> Attribute False Optional (Array Object)
12165 | transfer v = fromUndefOrPrimNoDefault
12166 | "PostMessageOptions.gettransfer"
12173 | namespace PromiseRejectionEventInit
12179 | -> JSIO PromiseRejectionEventInit
12180 | new' a b = primJS $
PromiseRejectionEventInit.prim__new a (toFFI b)
12183 | new : (promise : Promise AnyPtr) -> JSIO PromiseRejectionEventInit
12184 | new a = primJS $
PromiseRejectionEventInit.prim__new a undef
12190 | -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t)}
12192 | -> Attribute True Prelude.id (Promise AnyPtr)
12194 | "PromiseRejectionEventInit.getpromise"
12197 | (v :> PromiseRejectionEventInit)
12203 | -> {auto 0 _ : Elem PromiseRejectionEventInit (Types t)}
12205 | -> Attribute False Optional Any
12206 | reason v = fromUndefOrPrimNoDefault
12207 | "PromiseRejectionEventInit.getreason"
12210 | (v :> PromiseRejectionEventInit)
12218 | (key : Optional (Maybe String))
12219 | -> (oldValue : Optional (Maybe String))
12220 | -> (newValue : Optional (Maybe String))
12222 | -> (storageArea : Optional (Maybe Storage))
12225 | StorageEventInit.prim__new (toFFI a) (toFFI b) (toFFI c) (toFFI d) (toFFI e)
12228 | new : JSIO StorageEventInit
12229 | new = primJS $
StorageEventInit.prim__new undef undef undef undef undef
12235 | -> {auto 0 _ : Elem StorageEventInit (Types t)}
12237 | -> Attribute True Optional (Maybe String)
12249 | -> {auto 0 _ : Elem StorageEventInit (Types t)}
12251 | -> Attribute True Optional (Maybe String)
12252 | newValue v = fromUndefOrPrim
12253 | "StorageEventInit.getnewValue"
12263 | -> {auto 0 _ : Elem StorageEventInit (Types t)}
12265 | -> Attribute True Optional (Maybe String)
12266 | oldValue v = fromUndefOrPrim
12267 | "StorageEventInit.getoldValue"
12277 | -> {auto 0 _ : Elem StorageEventInit (Types t)}
12279 | -> Attribute True Optional (Maybe Storage)
12280 | storageArea v = fromUndefOrPrim
12281 | "StorageEventInit.getstorageArea"
12291 | -> {auto 0 _ : Elem StorageEventInit (Types t)}
12293 | -> Attribute True Optional String
12303 | namespace StructuredSerializeOptions
12306 | new' : (transfer : Optional (Array Object)) -> JSIO StructuredSerializeOptions
12307 | new' a = primJS $
StructuredSerializeOptions.prim__new (toFFI a)
12310 | new : JSIO StructuredSerializeOptions
12311 | new = primJS $
StructuredSerializeOptions.prim__new undef
12317 | -> {auto 0 _ : Elem StructuredSerializeOptions (Types t)}
12319 | -> Attribute False Optional (Array Object)
12320 | transfer v = fromUndefOrPrimNoDefault
12321 | "StructuredSerializeOptions.gettransfer"
12324 | (v :> StructuredSerializeOptions)
12333 | -> {auto 0 _ : Elem HTMLElement (Types t1)}
12334 | -> (submitter : Optional (Maybe t1))
12336 | new' a = primJS $
SubmitEventInit.prim__new (omyUp a)
12340 | new = primJS $
SubmitEventInit.prim__new undef
12346 | -> {auto 0 _ : Elem SubmitEventInit (Types t)}
12348 | -> Attribute True Optional (Maybe HTMLElement)
12349 | submitter v = fromUndefOrPrim
12350 | "SubmitEventInit.getsubmitter"
12362 | (track : Optional (Maybe (HSum [VideoTrack, AudioTrack, TextTrack])))
12364 | new' a = primJS $
TrackEventInit.prim__new (toFFI a)
12368 | new = primJS $
TrackEventInit.prim__new undef
12374 | -> {auto 0 _ : Elem TrackEventInit (Types t)}
12376 | -> Attribute True Optional (Maybe
12377 | (HSum [VideoTrack, AudioTrack, TextTrack]))
12387 | namespace ValidityStateFlags
12391 | (valueMissing : Optional Bool)
12392 | -> (typeMismatch : Optional Bool)
12393 | -> (patternMismatch : Optional Bool)
12394 | -> (tooLong : Optional Bool)
12395 | -> (tooShort : Optional Bool)
12396 | -> (rangeUnderflow : Optional Bool)
12397 | -> (rangeOverflow : Optional Bool)
12398 | -> (stepMismatch : Optional Bool)
12399 | -> (badInput : Optional Bool)
12400 | -> (customError : Optional Bool)
12402 | new' a b c d e f g h i j = primJS $
12403 | ValidityStateFlags.prim__new
12416 | new : JSIO ValidityStateFlags
12418 | ValidityStateFlags.prim__new
12434 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12436 | -> Attribute True Optional Bool
12437 | badInput v = fromUndefOrPrim
12438 | "ValidityStateFlags.getbadInput"
12448 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12450 | -> Attribute True Optional Bool
12451 | customError v = fromUndefOrPrim
12452 | "ValidityStateFlags.getcustomError"
12462 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12464 | -> Attribute True Optional Bool
12465 | patternMismatch v = fromUndefOrPrim
12466 | "ValidityStateFlags.getpatternMismatch"
12476 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12478 | -> Attribute True Optional Bool
12479 | rangeOverflow v = fromUndefOrPrim
12480 | "ValidityStateFlags.getrangeOverflow"
12490 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12492 | -> Attribute True Optional Bool
12493 | rangeUnderflow v = fromUndefOrPrim
12494 | "ValidityStateFlags.getrangeUnderflow"
12504 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12506 | -> Attribute True Optional Bool
12507 | stepMismatch v = fromUndefOrPrim
12508 | "ValidityStateFlags.getstepMismatch"
12518 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12520 | -> Attribute True Optional Bool
12521 | tooLong v = fromUndefOrPrim
12522 | "ValidityStateFlags.gettooLong"
12532 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12534 | -> Attribute True Optional Bool
12535 | tooShort v = fromUndefOrPrim
12536 | "ValidityStateFlags.gettooShort"
12546 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12548 | -> Attribute True Optional Bool
12549 | typeMismatch v = fromUndefOrPrim
12550 | "ValidityStateFlags.gettypeMismatch"
12560 | -> {auto 0 _ : Elem ValidityStateFlags (Types t)}
12562 | -> Attribute True Optional Bool
12563 | valueMissing v = fromUndefOrPrim
12564 | "ValidityStateFlags.getvalueMissing"
12572 | namespace WindowPostMessageOptions
12575 | new' : (targetOrigin : Optional String) -> JSIO WindowPostMessageOptions
12576 | new' a = primJS $
WindowPostMessageOptions.prim__new (toFFI a)
12579 | new : JSIO WindowPostMessageOptions
12580 | new = primJS $
WindowPostMessageOptions.prim__new undef
12586 | -> {auto 0 _ : Elem WindowPostMessageOptions (Types t)}
12588 | -> Attribute True Optional String
12589 | targetOrigin v = fromUndefOrPrim
12590 | "WindowPostMessageOptions.gettargetOrigin"
12594 | (v :> WindowPostMessageOptions)
12602 | (type : Optional WorkerType)
12603 | -> (credentials : Optional RequestCredentials)
12604 | -> (name : Optional String)
12606 | new' a b c = primJS $
WorkerOptions.prim__new (toFFI a) (toFFI b) (toFFI c)
12610 | new = primJS $
WorkerOptions.prim__new undef undef undef
12616 | -> {auto 0 _ : Elem WorkerOptions (Types t)}
12618 | -> Attribute False Optional RequestCredentials
12619 | credentials v = fromUndefOrPrimNoDefault
12620 | "WorkerOptions.getcredentials"
12629 | -> {auto 0 _ : Elem WorkerOptions (Types t)}
12631 | -> Attribute True Optional String
12643 | -> {auto 0 _ : Elem WorkerOptions (Types t)}
12645 | -> Attribute False Optional WorkerType
12646 | type v = fromUndefOrPrimNoDefault
12657 | new' : (credentials : Optional RequestCredentials) -> JSIO WorkletOptions
12658 | new' a = primJS $
WorkletOptions.prim__new (toFFI a)
12662 | new = primJS $
WorkletOptions.prim__new undef
12668 | -> {auto 0 _ : Elem WorkletOptions (Types t)}
12670 | -> Attribute False Optional RequestCredentials
12671 | credentials v = fromUndefOrPrimNoDefault
12672 | "WorkletOptions.getcredentials"
12687 | toBlobCallback : (Nullable Blob -> IO ()) -> JSIO BlobCallback
12688 | toBlobCallback cb = primJS $
prim__toBlobCallback cb
12692 | namespace CompositionEventHandler
12695 | toCompositionEventHandler :
12696 | (CompositionEvent -> IO ())
12697 | -> JSIO CompositionEventHandler
12698 | toCompositionEventHandler cb = primJS $
prim__toCompositionEventHandler cb
12702 | namespace CustomElementConstructor
12705 | toCustomElementConstructor :
12707 | -> JSIO CustomElementConstructor
12708 | toCustomElementConstructor cb = primJS $
prim__toCustomElementConstructor cb
12712 | namespace EventHandlerNonNull
12715 | toEventHandlerNonNull : (Event -> IO AnyPtr) -> JSIO EventHandlerNonNull
12716 | toEventHandlerNonNull cb = primJS $
prim__toEventHandlerNonNull cb
12720 | namespace FocusEventHandler
12723 | toFocusEventHandler : (FocusEvent -> IO ()) -> JSIO FocusEventHandler
12724 | toFocusEventHandler cb = primJS $
prim__toFocusEventHandler cb
12728 | namespace FunctionStringCallback
12731 | toFunctionStringCallback : (String -> IO ()) -> JSIO FunctionStringCallback
12732 | toFunctionStringCallback cb = primJS $
prim__toFunctionStringCallback cb
12736 | namespace InputEventHandler
12739 | toInputEventHandler : (InputEvent -> IO ()) -> JSIO InputEventHandler
12740 | toInputEventHandler cb = primJS $
prim__toInputEventHandler cb
12744 | namespace KeyboardEventHandler
12747 | toKeyboardEventHandler : (KeyboardEvent -> IO ()) -> JSIO KeyboardEventHandler
12748 | toKeyboardEventHandler cb = primJS $
prim__toKeyboardEventHandler cb
12752 | namespace MouseEventHandler
12755 | toMouseEventHandler : (MouseEvent -> IO ()) -> JSIO MouseEventHandler
12756 | toMouseEventHandler cb = primJS $
prim__toMouseEventHandler cb
12760 | namespace OnBeforeUnloadEventHandlerNonNull
12763 | toOnBeforeUnloadEventHandlerNonNull :
12764 | (Event -> IO (Nullable String))
12765 | -> JSIO OnBeforeUnloadEventHandlerNonNull
12766 | toOnBeforeUnloadEventHandlerNonNull cb = primJS $
prim__toOnBeforeUnloadEventHandlerNonNull cb
12770 | namespace OnErrorEventHandlerNonNull
12773 | toOnErrorEventHandlerNonNull :
12781 | -> JSIO OnErrorEventHandlerNonNull
12782 | toOnErrorEventHandlerNonNull cb = primJS $
prim__toOnErrorEventHandlerNonNull cb
12789 | toUIEventHandler : (UIEvent -> IO ()) -> JSIO UIEventHandler
12790 | toUIEventHandler cb = primJS $
prim__toUIEventHandler cb
12794 | namespace WheelEventHandler
12797 | toWheelEventHandler : (WheelEvent -> IO ()) -> JSIO WheelEventHandler
12798 | toWheelEventHandler cb = primJS $
prim__toWheelEventHandler cb