0 | module Web.Internal.HtmlTypes
11 | namespace DOMParserSupportedType
14 | data DOMParserSupportedType =
18 | | ApplicationXhtmlXml
22 | Show DOMParserSupportedType where
23 | show TextHtml = "text/html"
24 | show TextXml = "text/xml"
25 | show ApplicationXml = "application/xml"
26 | show ApplicationXhtmlXml = "application/xhtml+xml"
27 | show ImageSvgXml = "image/svg+xml"
30 | Eq DOMParserSupportedType where
31 | (==) = (==) `on` show
34 | Ord DOMParserSupportedType where
35 | compare = compare `on` show
38 | read : String -> Maybe DOMParserSupportedType
39 | read "text/html" = Just TextHtml
40 | read "text/xml" = Just TextXml
41 | read "application/xml" = Just ApplicationXml
42 | read "application/xhtml+xml" = Just ApplicationXhtmlXml
43 | read "image/svg+xml" = Just ImageSvgXml
47 | ToFFI DOMParserSupportedType String where
51 | FromFFI DOMParserSupportedType String where
55 | namespace DocumentReadyState
58 | data DocumentReadyState = Loading | Interactive | Complete
61 | Show DocumentReadyState where
62 | show Loading = "loading"
63 | show Interactive = "interactive"
64 | show Complete = "complete"
67 | Eq DocumentReadyState where
68 | (==) = (==) `on` show
71 | Ord DocumentReadyState where
72 | compare = compare `on` show
75 | read : String -> Maybe DocumentReadyState
76 | read "loading" = Just Loading
77 | read "interactive" = Just Interactive
78 | read "complete" = Just Complete
82 | ToFFI DocumentReadyState String where
86 | FromFFI DocumentReadyState String where
90 | namespace CanPlayTypeResult
93 | data CanPlayTypeResult = Empty | Maybe | Probably
96 | Show CanPlayTypeResult where
98 | show Maybe = "maybe"
99 | show Probably = "probably"
102 | Eq CanPlayTypeResult where
103 | (==) = (==) `on` show
106 | Ord CanPlayTypeResult where
107 | compare = compare `on` show
110 | read : String -> Maybe CanPlayTypeResult
111 | read "" = Just Empty
112 | read "maybe" = Just Maybe
113 | read "probably" = Just Probably
117 | ToFFI CanPlayTypeResult String where
121 | FromFFI CanPlayTypeResult String where
125 | namespace ScrollRestoration
128 | data ScrollRestoration = Auto | Manual
131 | Show ScrollRestoration where
133 | show Manual = "manual"
136 | Eq ScrollRestoration where
137 | (==) = (==) `on` show
140 | Ord ScrollRestoration where
141 | compare = compare `on` show
144 | read : String -> Maybe ScrollRestoration
145 | read "auto" = Just Auto
146 | read "manual" = Just Manual
150 | ToFFI ScrollRestoration String where
154 | FromFFI ScrollRestoration String where
158 | namespace ImageOrientation
161 | data ImageOrientation = None | FlipY
164 | Show ImageOrientation where
166 | show FlipY = "flipY"
169 | Eq ImageOrientation where
170 | (==) = (==) `on` show
173 | Ord ImageOrientation where
174 | compare = compare `on` show
177 | read : String -> Maybe ImageOrientation
178 | read "none" = Just None
179 | read "flipY" = Just FlipY
183 | ToFFI ImageOrientation String where
187 | FromFFI ImageOrientation String where
191 | namespace PremultiplyAlpha
194 | data PremultiplyAlpha = None | Premultiply | Default
197 | Show PremultiplyAlpha where
199 | show Premultiply = "premultiply"
200 | show Default = "default"
203 | Eq PremultiplyAlpha where
204 | (==) = (==) `on` show
207 | Ord PremultiplyAlpha where
208 | compare = compare `on` show
211 | read : String -> Maybe PremultiplyAlpha
212 | read "none" = Just None
213 | read "premultiply" = Just Premultiply
214 | read "default" = Just Default
218 | ToFFI PremultiplyAlpha String where
222 | FromFFI PremultiplyAlpha String where
226 | namespace ColorSpaceConversion
229 | data ColorSpaceConversion = None | Default
232 | Show ColorSpaceConversion where
234 | show Default = "default"
237 | Eq ColorSpaceConversion where
238 | (==) = (==) `on` show
241 | Ord ColorSpaceConversion where
242 | compare = compare `on` show
245 | read : String -> Maybe ColorSpaceConversion
246 | read "none" = Just None
247 | read "default" = Just Default
251 | ToFFI ColorSpaceConversion String where
255 | FromFFI ColorSpaceConversion String where
259 | namespace ResizeQuality
262 | data ResizeQuality = Pixelated | Low | Medium | High
265 | Show ResizeQuality where
266 | show Pixelated = "pixelated"
268 | show Medium = "medium"
272 | Eq ResizeQuality where
273 | (==) = (==) `on` show
276 | Ord ResizeQuality where
277 | compare = compare `on` show
280 | read : String -> Maybe ResizeQuality
281 | read "pixelated" = Just Pixelated
282 | read "low" = Just Low
283 | read "medium" = Just Medium
284 | read "high" = Just High
288 | ToFFI ResizeQuality String where
292 | FromFFI ResizeQuality String where
296 | namespace CanvasFillRule
299 | data CanvasFillRule = Nonzero | Evenodd
302 | Show CanvasFillRule where
303 | show Nonzero = "nonzero"
304 | show Evenodd = "evenodd"
307 | Eq CanvasFillRule where
308 | (==) = (==) `on` show
311 | Ord CanvasFillRule where
312 | compare = compare `on` show
315 | read : String -> Maybe CanvasFillRule
316 | read "nonzero" = Just Nonzero
317 | read "evenodd" = Just Evenodd
321 | ToFFI CanvasFillRule String where
325 | FromFFI CanvasFillRule String where
329 | namespace ImageSmoothingQuality
332 | data ImageSmoothingQuality = Low | Medium | High
335 | Show ImageSmoothingQuality where
337 | show Medium = "medium"
341 | Eq ImageSmoothingQuality where
342 | (==) = (==) `on` show
345 | Ord ImageSmoothingQuality where
346 | compare = compare `on` show
349 | read : String -> Maybe ImageSmoothingQuality
350 | read "low" = Just Low
351 | read "medium" = Just Medium
352 | read "high" = Just High
356 | ToFFI ImageSmoothingQuality String where
360 | FromFFI ImageSmoothingQuality String where
364 | namespace CanvasLineCap
367 | data CanvasLineCap = Butt | Round | Square
370 | Show CanvasLineCap where
372 | show Round = "round"
373 | show Square = "square"
376 | Eq CanvasLineCap where
377 | (==) = (==) `on` show
380 | Ord CanvasLineCap where
381 | compare = compare `on` show
384 | read : String -> Maybe CanvasLineCap
385 | read "butt" = Just Butt
386 | read "round" = Just Round
387 | read "square" = Just Square
391 | ToFFI CanvasLineCap String where
395 | FromFFI CanvasLineCap String where
399 | namespace CanvasLineJoin
402 | data CanvasLineJoin = Round | Bevel | Miter
405 | Show CanvasLineJoin where
406 | show Round = "round"
407 | show Bevel = "bevel"
408 | show Miter = "miter"
411 | Eq CanvasLineJoin where
412 | (==) = (==) `on` show
415 | Ord CanvasLineJoin where
416 | compare = compare `on` show
419 | read : String -> Maybe CanvasLineJoin
420 | read "round" = Just Round
421 | read "bevel" = Just Bevel
422 | read "miter" = Just Miter
426 | ToFFI CanvasLineJoin String where
430 | FromFFI CanvasLineJoin String where
434 | namespace CanvasTextAlign
437 | data CanvasTextAlign = Start | End | Left | Right | Center
440 | Show CanvasTextAlign where
441 | show Start = "start"
444 | show Right = "right"
445 | show Center = "center"
448 | Eq CanvasTextAlign where
449 | (==) = (==) `on` show
452 | Ord CanvasTextAlign where
453 | compare = compare `on` show
456 | read : String -> Maybe CanvasTextAlign
457 | read "start" = Just Start
458 | read "end" = Just End
459 | read "left" = Just Left
460 | read "right" = Just Right
461 | read "center" = Just Center
465 | ToFFI CanvasTextAlign String where
469 | FromFFI CanvasTextAlign String where
473 | namespace CanvasTextBaseline
476 | data CanvasTextBaseline =
485 | Show CanvasTextBaseline where
487 | show Hanging = "hanging"
488 | show Middle = "middle"
489 | show Alphabetic = "alphabetic"
490 | show Ideographic = "ideographic"
491 | show Bottom = "bottom"
494 | Eq CanvasTextBaseline where
495 | (==) = (==) `on` show
498 | Ord CanvasTextBaseline where
499 | compare = compare `on` show
502 | read : String -> Maybe CanvasTextBaseline
503 | read "top" = Just Top
504 | read "hanging" = Just Hanging
505 | read "middle" = Just Middle
506 | read "alphabetic" = Just Alphabetic
507 | read "ideographic" = Just Ideographic
508 | read "bottom" = Just Bottom
512 | ToFFI CanvasTextBaseline String where
516 | FromFFI CanvasTextBaseline String where
520 | namespace CanvasDirection
523 | data CanvasDirection = Ltr | Rtl | Inherit
526 | Show CanvasDirection where
529 | show Inherit = "inherit"
532 | Eq CanvasDirection where
533 | (==) = (==) `on` show
536 | Ord CanvasDirection where
537 | compare = compare `on` show
540 | read : String -> Maybe CanvasDirection
541 | read "ltr" = Just Ltr
542 | read "rtl" = Just Rtl
543 | read "inherit" = Just Inherit
547 | ToFFI CanvasDirection String where
551 | FromFFI CanvasDirection String where
555 | namespace OffscreenRenderingContextId
558 | data OffscreenRenderingContextId = TwoD | Bitmaprenderer | Webgl | Webgl2
561 | Show OffscreenRenderingContextId where
563 | show Bitmaprenderer = "bitmaprenderer"
564 | show Webgl = "webgl"
565 | show Webgl2 = "webgl2"
568 | Eq OffscreenRenderingContextId where
569 | (==) = (==) `on` show
572 | Ord OffscreenRenderingContextId where
573 | compare = compare `on` show
576 | read : String -> Maybe OffscreenRenderingContextId
577 | read "2d" = Just TwoD
578 | read "bitmaprenderer" = Just Bitmaprenderer
579 | read "webgl" = Just Webgl
580 | read "webgl2" = Just Webgl2
584 | ToFFI OffscreenRenderingContextId String where
588 | FromFFI OffscreenRenderingContextId String where
592 | namespace TextTrackMode
595 | data TextTrackMode = Disabled | Hidden | Showing
598 | Show TextTrackMode where
599 | show Disabled = "disabled"
600 | show Hidden = "hidden"
601 | show Showing = "showing"
604 | Eq TextTrackMode where
605 | (==) = (==) `on` show
608 | Ord TextTrackMode where
609 | compare = compare `on` show
612 | read : String -> Maybe TextTrackMode
613 | read "disabled" = Just Disabled
614 | read "hidden" = Just Hidden
615 | read "showing" = Just Showing
619 | ToFFI TextTrackMode String where
623 | FromFFI TextTrackMode String where
627 | namespace TextTrackKind
630 | data TextTrackKind = Subtitles | Captions | Descriptions | Chapters | Metadata
633 | Show TextTrackKind where
634 | show Subtitles = "subtitles"
635 | show Captions = "captions"
636 | show Descriptions = "descriptions"
637 | show Chapters = "chapters"
638 | show Metadata = "metadata"
641 | Eq TextTrackKind where
642 | (==) = (==) `on` show
645 | Ord TextTrackKind where
646 | compare = compare `on` show
649 | read : String -> Maybe TextTrackKind
650 | read "subtitles" = Just Subtitles
651 | read "captions" = Just Captions
652 | read "descriptions" = Just Descriptions
653 | read "chapters" = Just Chapters
654 | read "metadata" = Just Metadata
658 | ToFFI TextTrackKind String where
662 | FromFFI TextTrackKind String where
666 | namespace BinaryType
669 | data BinaryType = Blob | Arraybuffer
672 | Show BinaryType where
674 | show Arraybuffer = "arraybuffer"
677 | Eq BinaryType where
678 | (==) = (==) `on` show
681 | Ord BinaryType where
682 | compare = compare `on` show
685 | read : String -> Maybe BinaryType
686 | read "blob" = Just Blob
687 | read "arraybuffer" = Just Arraybuffer
691 | ToFFI BinaryType String where
695 | FromFFI BinaryType String where
699 | namespace WorkerType
702 | data WorkerType = Classic | Module
705 | Show WorkerType where
706 | show Classic = "classic"
707 | show Module = "module"
710 | Eq WorkerType where
711 | (==) = (==) `on` show
714 | Ord WorkerType where
715 | compare = compare `on` show
718 | read : String -> Maybe WorkerType
719 | read "classic" = Just Classic
720 | read "module" = Just Module
724 | ToFFI WorkerType String where
728 | FromFFI WorkerType String where
732 | namespace SelectionMode
735 | data SelectionMode = Select | Start | End | Preserve
738 | Show SelectionMode where
739 | show Select = "select"
740 | show Start = "start"
742 | show Preserve = "preserve"
745 | Eq SelectionMode where
746 | (==) = (==) `on` show
749 | Ord SelectionMode where
750 | compare = compare `on` show
753 | read : String -> Maybe SelectionMode
754 | read "select" = Just Select
755 | read "start" = Just Start
756 | read "end" = Just End
757 | read "preserve" = Just Preserve
761 | ToFFI SelectionMode String where
765 | FromFFI SelectionMode String where
774 | export data AudioTrack : Type where [external]
777 | ToFFI AudioTrack AudioTrack where toFFI = id
780 | FromFFI AudioTrack AudioTrack where fromFFI = Just
783 | SafeCast AudioTrack where
784 | safeCast = unsafeCastOnPrototypeName "AudioTrack"
786 | export data AudioTrackList : Type where [external]
789 | ToFFI AudioTrackList AudioTrackList where toFFI = id
792 | FromFFI AudioTrackList AudioTrackList where fromFFI = Just
795 | SafeCast AudioTrackList where
796 | safeCast = unsafeCastOnPrototypeName "AudioTrackList"
798 | export data BarProp : Type where [external]
801 | ToFFI BarProp BarProp where toFFI = id
804 | FromFFI BarProp BarProp where fromFFI = Just
807 | SafeCast BarProp where
808 | safeCast = unsafeCastOnPrototypeName "BarProp"
810 | export data BeforeUnloadEvent : Type where [external]
813 | ToFFI BeforeUnloadEvent BeforeUnloadEvent where toFFI = id
816 | FromFFI BeforeUnloadEvent BeforeUnloadEvent where fromFFI = Just
819 | SafeCast BeforeUnloadEvent where
820 | safeCast = unsafeCastOnPrototypeName "BeforeUnloadEvent"
822 | export data BroadcastChannel : Type where [external]
825 | ToFFI BroadcastChannel BroadcastChannel where toFFI = id
828 | FromFFI BroadcastChannel BroadcastChannel where fromFFI = Just
831 | SafeCast BroadcastChannel where
832 | safeCast = unsafeCastOnPrototypeName "BroadcastChannel"
834 | export data CanvasGradient : Type where [external]
837 | ToFFI CanvasGradient CanvasGradient where toFFI = id
840 | FromFFI CanvasGradient CanvasGradient where fromFFI = Just
843 | SafeCast CanvasGradient where
844 | safeCast = unsafeCastOnPrototypeName "CanvasGradient"
846 | export data CanvasPattern : Type where [external]
849 | ToFFI CanvasPattern CanvasPattern where toFFI = id
852 | FromFFI CanvasPattern CanvasPattern where fromFFI = Just
855 | SafeCast CanvasPattern where
856 | safeCast = unsafeCastOnPrototypeName "CanvasPattern"
858 | export data CanvasRenderingContext2D : Type where [external]
861 | ToFFI CanvasRenderingContext2D CanvasRenderingContext2D where toFFI = id
864 | FromFFI CanvasRenderingContext2D CanvasRenderingContext2D where fromFFI = Just
867 | SafeCast CanvasRenderingContext2D where
868 | safeCast = unsafeCastOnPrototypeName "CanvasRenderingContext2D"
870 | export data CloseEvent : Type where [external]
873 | ToFFI CloseEvent CloseEvent where toFFI = id
876 | FromFFI CloseEvent CloseEvent where fromFFI = Just
879 | SafeCast CloseEvent where
880 | safeCast = unsafeCastOnPrototypeName "CloseEvent"
882 | export data CustomElementRegistry : Type where [external]
885 | ToFFI CustomElementRegistry CustomElementRegistry where toFFI = id
888 | FromFFI CustomElementRegistry CustomElementRegistry where fromFFI = Just
891 | SafeCast CustomElementRegistry where
892 | safeCast = unsafeCastOnPrototypeName "CustomElementRegistry"
894 | export data DOMParser : Type where [external]
897 | ToFFI DOMParser DOMParser where toFFI = id
900 | FromFFI DOMParser DOMParser where fromFFI = Just
903 | SafeCast DOMParser where
904 | safeCast = unsafeCastOnPrototypeName "DOMParser"
906 | export data DOMStringList : Type where [external]
909 | ToFFI DOMStringList DOMStringList where toFFI = id
912 | FromFFI DOMStringList DOMStringList where fromFFI = Just
915 | SafeCast DOMStringList where
916 | safeCast = unsafeCastOnPrototypeName "DOMStringList"
918 | export data DOMStringMap : Type where [external]
921 | ToFFI DOMStringMap DOMStringMap where toFFI = id
924 | FromFFI DOMStringMap DOMStringMap where fromFFI = Just
927 | SafeCast DOMStringMap where
928 | safeCast = unsafeCastOnPrototypeName "DOMStringMap"
930 | export data DataTransfer : Type where [external]
933 | ToFFI DataTransfer DataTransfer where toFFI = id
936 | FromFFI DataTransfer DataTransfer where fromFFI = Just
939 | SafeCast DataTransfer where
940 | safeCast = unsafeCastOnPrototypeName "DataTransfer"
942 | export data DataTransferItem : Type where [external]
945 | ToFFI DataTransferItem DataTransferItem where toFFI = id
948 | FromFFI DataTransferItem DataTransferItem where fromFFI = Just
951 | SafeCast DataTransferItem where
952 | safeCast = unsafeCastOnPrototypeName "DataTransferItem"
954 | export data DataTransferItemList : Type where [external]
957 | ToFFI DataTransferItemList DataTransferItemList where toFFI = id
960 | FromFFI DataTransferItemList DataTransferItemList where fromFFI = Just
963 | SafeCast DataTransferItemList where
964 | safeCast = unsafeCastOnPrototypeName "DataTransferItemList"
966 | export data DedicatedWorkerGlobalScope : Type where [external]
969 | ToFFI DedicatedWorkerGlobalScope DedicatedWorkerGlobalScope where toFFI = id
972 | FromFFI DedicatedWorkerGlobalScope DedicatedWorkerGlobalScope where fromFFI = Just
975 | SafeCast DedicatedWorkerGlobalScope where
976 | safeCast = unsafeCastOnPrototypeName "DedicatedWorkerGlobalScope"
978 | export data DragEvent : Type where [external]
981 | ToFFI DragEvent DragEvent where toFFI = id
984 | FromFFI DragEvent DragEvent where fromFFI = Just
987 | SafeCast DragEvent where
988 | safeCast = unsafeCastOnPrototypeName "DragEvent"
990 | export data ElementInternals : Type where [external]
993 | ToFFI ElementInternals ElementInternals where toFFI = id
996 | FromFFI ElementInternals ElementInternals where fromFFI = Just
999 | SafeCast ElementInternals where
1000 | safeCast = unsafeCastOnPrototypeName "ElementInternals"
1002 | export data ErrorEvent : Type where [external]
1005 | ToFFI ErrorEvent ErrorEvent where toFFI = id
1008 | FromFFI ErrorEvent ErrorEvent where fromFFI = Just
1011 | SafeCast ErrorEvent where
1012 | safeCast = unsafeCastOnPrototypeName "ErrorEvent"
1014 | export data EventSource : Type where [external]
1017 | ToFFI EventSource EventSource where toFFI = id
1020 | FromFFI EventSource EventSource where fromFFI = Just
1023 | SafeCast EventSource where
1024 | safeCast = unsafeCastOnPrototypeName "EventSource"
1026 | export data External : Type where [external]
1029 | ToFFI External External where toFFI = id
1032 | FromFFI External External where fromFFI = Just
1035 | SafeCast External where
1036 | safeCast = unsafeCastOnPrototypeName "External"
1038 | export data FormDataEvent : Type where [external]
1041 | ToFFI FormDataEvent FormDataEvent where toFFI = id
1044 | FromFFI FormDataEvent FormDataEvent where fromFFI = Just
1047 | SafeCast FormDataEvent where
1048 | safeCast = unsafeCastOnPrototypeName "FormDataEvent"
1050 | export data HTMLAllCollection : Type where [external]
1053 | ToFFI HTMLAllCollection HTMLAllCollection where toFFI = id
1056 | FromFFI HTMLAllCollection HTMLAllCollection where fromFFI = Just
1059 | SafeCast HTMLAllCollection where
1060 | safeCast = unsafeCastOnPrototypeName "HTMLAllCollection"
1062 | export data HTMLAnchorElement : Type where [external]
1065 | ToFFI HTMLAnchorElement HTMLAnchorElement where toFFI = id
1068 | FromFFI HTMLAnchorElement HTMLAnchorElement where fromFFI = Just
1071 | SafeCast HTMLAnchorElement where
1072 | safeCast = unsafeCastOnPrototypeName "HTMLAnchorElement"
1074 | export data HTMLAreaElement : Type where [external]
1077 | ToFFI HTMLAreaElement HTMLAreaElement where toFFI = id
1080 | FromFFI HTMLAreaElement HTMLAreaElement where fromFFI = Just
1083 | SafeCast HTMLAreaElement where
1084 | safeCast = unsafeCastOnPrototypeName "HTMLAreaElement"
1086 | export data HTMLAudioElement : Type where [external]
1089 | ToFFI HTMLAudioElement HTMLAudioElement where toFFI = id
1092 | FromFFI HTMLAudioElement HTMLAudioElement where fromFFI = Just
1095 | SafeCast HTMLAudioElement where
1096 | safeCast = unsafeCastOnPrototypeName "HTMLAudioElement"
1098 | export data HTMLBRElement : Type where [external]
1101 | ToFFI HTMLBRElement HTMLBRElement where toFFI = id
1104 | FromFFI HTMLBRElement HTMLBRElement where fromFFI = Just
1107 | SafeCast HTMLBRElement where
1108 | safeCast = unsafeCastOnPrototypeName "HTMLBRElement"
1110 | export data HTMLBaseElement : Type where [external]
1113 | ToFFI HTMLBaseElement HTMLBaseElement where toFFI = id
1116 | FromFFI HTMLBaseElement HTMLBaseElement where fromFFI = Just
1119 | SafeCast HTMLBaseElement where
1120 | safeCast = unsafeCastOnPrototypeName "HTMLBaseElement"
1122 | export data HTMLBodyElement : Type where [external]
1125 | ToFFI HTMLBodyElement HTMLBodyElement where toFFI = id
1128 | FromFFI HTMLBodyElement HTMLBodyElement where fromFFI = Just
1131 | SafeCast HTMLBodyElement where
1132 | safeCast = unsafeCastOnPrototypeName "HTMLBodyElement"
1134 | export data HTMLButtonElement : Type where [external]
1137 | ToFFI HTMLButtonElement HTMLButtonElement where toFFI = id
1140 | FromFFI HTMLButtonElement HTMLButtonElement where fromFFI = Just
1143 | SafeCast HTMLButtonElement where
1144 | safeCast = unsafeCastOnPrototypeName "HTMLButtonElement"
1146 | export data HTMLCanvasElement : Type where [external]
1149 | ToFFI HTMLCanvasElement HTMLCanvasElement where toFFI = id
1152 | FromFFI HTMLCanvasElement HTMLCanvasElement where fromFFI = Just
1155 | SafeCast HTMLCanvasElement where
1156 | safeCast = unsafeCastOnPrototypeName "HTMLCanvasElement"
1158 | export data HTMLDListElement : Type where [external]
1161 | ToFFI HTMLDListElement HTMLDListElement where toFFI = id
1164 | FromFFI HTMLDListElement HTMLDListElement where fromFFI = Just
1167 | SafeCast HTMLDListElement where
1168 | safeCast = unsafeCastOnPrototypeName "HTMLDListElement"
1170 | export data HTMLDataElement : Type where [external]
1173 | ToFFI HTMLDataElement HTMLDataElement where toFFI = id
1176 | FromFFI HTMLDataElement HTMLDataElement where fromFFI = Just
1179 | SafeCast HTMLDataElement where
1180 | safeCast = unsafeCastOnPrototypeName "HTMLDataElement"
1182 | export data HTMLDataListElement : Type where [external]
1185 | ToFFI HTMLDataListElement HTMLDataListElement where toFFI = id
1188 | FromFFI HTMLDataListElement HTMLDataListElement where fromFFI = Just
1191 | SafeCast HTMLDataListElement where
1192 | safeCast = unsafeCastOnPrototypeName "HTMLDataListElement"
1194 | export data HTMLDetailsElement : Type where [external]
1197 | ToFFI HTMLDetailsElement HTMLDetailsElement where toFFI = id
1200 | FromFFI HTMLDetailsElement HTMLDetailsElement where fromFFI = Just
1203 | SafeCast HTMLDetailsElement where
1204 | safeCast = unsafeCastOnPrototypeName "HTMLDetailsElement"
1206 | export data HTMLDialogElement : Type where [external]
1209 | ToFFI HTMLDialogElement HTMLDialogElement where toFFI = id
1212 | FromFFI HTMLDialogElement HTMLDialogElement where fromFFI = Just
1215 | SafeCast HTMLDialogElement where
1216 | safeCast = unsafeCastOnPrototypeName "HTMLDialogElement"
1218 | export data HTMLDirectoryElement : Type where [external]
1221 | ToFFI HTMLDirectoryElement HTMLDirectoryElement where toFFI = id
1224 | FromFFI HTMLDirectoryElement HTMLDirectoryElement where fromFFI = Just
1227 | SafeCast HTMLDirectoryElement where
1228 | safeCast = unsafeCastOnPrototypeName "HTMLDirectoryElement"
1230 | export data HTMLDivElement : Type where [external]
1233 | ToFFI HTMLDivElement HTMLDivElement where toFFI = id
1236 | FromFFI HTMLDivElement HTMLDivElement where fromFFI = Just
1239 | SafeCast HTMLDivElement where
1240 | safeCast = unsafeCastOnPrototypeName "HTMLDivElement"
1242 | export data HTMLElement : Type where [external]
1245 | ToFFI HTMLElement HTMLElement where toFFI = id
1248 | FromFFI HTMLElement HTMLElement where fromFFI = Just
1251 | SafeCast HTMLElement where
1252 | safeCast = unsafeCastOnPrototypeName "HTMLElement"
1254 | export data HTMLEmbedElement : Type where [external]
1257 | ToFFI HTMLEmbedElement HTMLEmbedElement where toFFI = id
1260 | FromFFI HTMLEmbedElement HTMLEmbedElement where fromFFI = Just
1263 | SafeCast HTMLEmbedElement where
1264 | safeCast = unsafeCastOnPrototypeName "HTMLEmbedElement"
1266 | export data HTMLFieldSetElement : Type where [external]
1269 | ToFFI HTMLFieldSetElement HTMLFieldSetElement where toFFI = id
1272 | FromFFI HTMLFieldSetElement HTMLFieldSetElement where fromFFI = Just
1275 | SafeCast HTMLFieldSetElement where
1276 | safeCast = unsafeCastOnPrototypeName "HTMLFieldSetElement"
1278 | export data HTMLFontElement : Type where [external]
1281 | ToFFI HTMLFontElement HTMLFontElement where toFFI = id
1284 | FromFFI HTMLFontElement HTMLFontElement where fromFFI = Just
1287 | SafeCast HTMLFontElement where
1288 | safeCast = unsafeCastOnPrototypeName "HTMLFontElement"
1290 | export data HTMLFormControlsCollection : Type where [external]
1293 | ToFFI HTMLFormControlsCollection HTMLFormControlsCollection where toFFI = id
1296 | FromFFI HTMLFormControlsCollection HTMLFormControlsCollection where fromFFI = Just
1299 | SafeCast HTMLFormControlsCollection where
1300 | safeCast = unsafeCastOnPrototypeName "HTMLFormControlsCollection"
1302 | export data HTMLFormElement : Type where [external]
1305 | ToFFI HTMLFormElement HTMLFormElement where toFFI = id
1308 | FromFFI HTMLFormElement HTMLFormElement where fromFFI = Just
1311 | SafeCast HTMLFormElement where
1312 | safeCast = unsafeCastOnPrototypeName "HTMLFormElement"
1314 | export data HTMLFrameElement : Type where [external]
1317 | ToFFI HTMLFrameElement HTMLFrameElement where toFFI = id
1320 | FromFFI HTMLFrameElement HTMLFrameElement where fromFFI = Just
1323 | SafeCast HTMLFrameElement where
1324 | safeCast = unsafeCastOnPrototypeName "HTMLFrameElement"
1326 | export data HTMLFrameSetElement : Type where [external]
1329 | ToFFI HTMLFrameSetElement HTMLFrameSetElement where toFFI = id
1332 | FromFFI HTMLFrameSetElement HTMLFrameSetElement where fromFFI = Just
1335 | SafeCast HTMLFrameSetElement where
1336 | safeCast = unsafeCastOnPrototypeName "HTMLFrameSetElement"
1338 | export data HTMLHRElement : Type where [external]
1341 | ToFFI HTMLHRElement HTMLHRElement where toFFI = id
1344 | FromFFI HTMLHRElement HTMLHRElement where fromFFI = Just
1347 | SafeCast HTMLHRElement where
1348 | safeCast = unsafeCastOnPrototypeName "HTMLHRElement"
1350 | export data HTMLHeadElement : Type where [external]
1353 | ToFFI HTMLHeadElement HTMLHeadElement where toFFI = id
1356 | FromFFI HTMLHeadElement HTMLHeadElement where fromFFI = Just
1359 | SafeCast HTMLHeadElement where
1360 | safeCast = unsafeCastOnPrototypeName "HTMLHeadElement"
1362 | export data HTMLHeadingElement : Type where [external]
1365 | ToFFI HTMLHeadingElement HTMLHeadingElement where toFFI = id
1368 | FromFFI HTMLHeadingElement HTMLHeadingElement where fromFFI = Just
1371 | SafeCast HTMLHeadingElement where
1372 | safeCast = unsafeCastOnPrototypeName "HTMLHeadingElement"
1374 | export data HTMLHtmlElement : Type where [external]
1377 | ToFFI HTMLHtmlElement HTMLHtmlElement where toFFI = id
1380 | FromFFI HTMLHtmlElement HTMLHtmlElement where fromFFI = Just
1383 | SafeCast HTMLHtmlElement where
1384 | safeCast = unsafeCastOnPrototypeName "HTMLHtmlElement"
1386 | export data HTMLIFrameElement : Type where [external]
1389 | ToFFI HTMLIFrameElement HTMLIFrameElement where toFFI = id
1392 | FromFFI HTMLIFrameElement HTMLIFrameElement where fromFFI = Just
1395 | SafeCast HTMLIFrameElement where
1396 | safeCast = unsafeCastOnPrototypeName "HTMLIFrameElement"
1398 | export data HTMLImageElement : Type where [external]
1401 | ToFFI HTMLImageElement HTMLImageElement where toFFI = id
1404 | FromFFI HTMLImageElement HTMLImageElement where fromFFI = Just
1407 | SafeCast HTMLImageElement where
1408 | safeCast = unsafeCastOnPrototypeName "HTMLImageElement"
1410 | export data HTMLInputElement : Type where [external]
1413 | ToFFI HTMLInputElement HTMLInputElement where toFFI = id
1416 | FromFFI HTMLInputElement HTMLInputElement where fromFFI = Just
1419 | SafeCast HTMLInputElement where
1420 | safeCast = unsafeCastOnPrototypeName "HTMLInputElement"
1422 | export data HTMLLIElement : Type where [external]
1425 | ToFFI HTMLLIElement HTMLLIElement where toFFI = id
1428 | FromFFI HTMLLIElement HTMLLIElement where fromFFI = Just
1431 | SafeCast HTMLLIElement where
1432 | safeCast = unsafeCastOnPrototypeName "HTMLLIElement"
1434 | export data HTMLLabelElement : Type where [external]
1437 | ToFFI HTMLLabelElement HTMLLabelElement where toFFI = id
1440 | FromFFI HTMLLabelElement HTMLLabelElement where fromFFI = Just
1443 | SafeCast HTMLLabelElement where
1444 | safeCast = unsafeCastOnPrototypeName "HTMLLabelElement"
1446 | export data HTMLLegendElement : Type where [external]
1449 | ToFFI HTMLLegendElement HTMLLegendElement where toFFI = id
1452 | FromFFI HTMLLegendElement HTMLLegendElement where fromFFI = Just
1455 | SafeCast HTMLLegendElement where
1456 | safeCast = unsafeCastOnPrototypeName "HTMLLegendElement"
1458 | export data HTMLLinkElement : Type where [external]
1461 | ToFFI HTMLLinkElement HTMLLinkElement where toFFI = id
1464 | FromFFI HTMLLinkElement HTMLLinkElement where fromFFI = Just
1467 | SafeCast HTMLLinkElement where
1468 | safeCast = unsafeCastOnPrototypeName "HTMLLinkElement"
1470 | export data HTMLMapElement : Type where [external]
1473 | ToFFI HTMLMapElement HTMLMapElement where toFFI = id
1476 | FromFFI HTMLMapElement HTMLMapElement where fromFFI = Just
1479 | SafeCast HTMLMapElement where
1480 | safeCast = unsafeCastOnPrototypeName "HTMLMapElement"
1482 | export data HTMLMarqueeElement : Type where [external]
1485 | ToFFI HTMLMarqueeElement HTMLMarqueeElement where toFFI = id
1488 | FromFFI HTMLMarqueeElement HTMLMarqueeElement where fromFFI = Just
1491 | SafeCast HTMLMarqueeElement where
1492 | safeCast = unsafeCastOnPrototypeName "HTMLMarqueeElement"
1494 | export data HTMLMediaElement : Type where [external]
1497 | ToFFI HTMLMediaElement HTMLMediaElement where toFFI = id
1500 | FromFFI HTMLMediaElement HTMLMediaElement where fromFFI = Just
1503 | SafeCast HTMLMediaElement where
1504 | safeCast = unsafeCastOnPrototypeName "HTMLMediaElement"
1506 | export data HTMLMenuElement : Type where [external]
1509 | ToFFI HTMLMenuElement HTMLMenuElement where toFFI = id
1512 | FromFFI HTMLMenuElement HTMLMenuElement where fromFFI = Just
1515 | SafeCast HTMLMenuElement where
1516 | safeCast = unsafeCastOnPrototypeName "HTMLMenuElement"
1518 | export data HTMLMetaElement : Type where [external]
1521 | ToFFI HTMLMetaElement HTMLMetaElement where toFFI = id
1524 | FromFFI HTMLMetaElement HTMLMetaElement where fromFFI = Just
1527 | SafeCast HTMLMetaElement where
1528 | safeCast = unsafeCastOnPrototypeName "HTMLMetaElement"
1530 | export data HTMLMeterElement : Type where [external]
1533 | ToFFI HTMLMeterElement HTMLMeterElement where toFFI = id
1536 | FromFFI HTMLMeterElement HTMLMeterElement where fromFFI = Just
1539 | SafeCast HTMLMeterElement where
1540 | safeCast = unsafeCastOnPrototypeName "HTMLMeterElement"
1542 | export data HTMLModElement : Type where [external]
1545 | ToFFI HTMLModElement HTMLModElement where toFFI = id
1548 | FromFFI HTMLModElement HTMLModElement where fromFFI = Just
1551 | SafeCast HTMLModElement where
1552 | safeCast = unsafeCastOnPrototypeName "HTMLModElement"
1554 | export data HTMLOListElement : Type where [external]
1557 | ToFFI HTMLOListElement HTMLOListElement where toFFI = id
1560 | FromFFI HTMLOListElement HTMLOListElement where fromFFI = Just
1563 | SafeCast HTMLOListElement where
1564 | safeCast = unsafeCastOnPrototypeName "HTMLOListElement"
1566 | export data HTMLObjectElement : Type where [external]
1569 | ToFFI HTMLObjectElement HTMLObjectElement where toFFI = id
1572 | FromFFI HTMLObjectElement HTMLObjectElement where fromFFI = Just
1575 | SafeCast HTMLObjectElement where
1576 | safeCast = unsafeCastOnPrototypeName "HTMLObjectElement"
1578 | export data HTMLOptGroupElement : Type where [external]
1581 | ToFFI HTMLOptGroupElement HTMLOptGroupElement where toFFI = id
1584 | FromFFI HTMLOptGroupElement HTMLOptGroupElement where fromFFI = Just
1587 | SafeCast HTMLOptGroupElement where
1588 | safeCast = unsafeCastOnPrototypeName "HTMLOptGroupElement"
1590 | export data HTMLOptionElement : Type where [external]
1593 | ToFFI HTMLOptionElement HTMLOptionElement where toFFI = id
1596 | FromFFI HTMLOptionElement HTMLOptionElement where fromFFI = Just
1599 | SafeCast HTMLOptionElement where
1600 | safeCast = unsafeCastOnPrototypeName "HTMLOptionElement"
1602 | export data HTMLOptionsCollection : Type where [external]
1605 | ToFFI HTMLOptionsCollection HTMLOptionsCollection where toFFI = id
1608 | FromFFI HTMLOptionsCollection HTMLOptionsCollection where fromFFI = Just
1611 | SafeCast HTMLOptionsCollection where
1612 | safeCast = unsafeCastOnPrototypeName "HTMLOptionsCollection"
1614 | export data HTMLOutputElement : Type where [external]
1617 | ToFFI HTMLOutputElement HTMLOutputElement where toFFI = id
1620 | FromFFI HTMLOutputElement HTMLOutputElement where fromFFI = Just
1623 | SafeCast HTMLOutputElement where
1624 | safeCast = unsafeCastOnPrototypeName "HTMLOutputElement"
1626 | export data HTMLParagraphElement : Type where [external]
1629 | ToFFI HTMLParagraphElement HTMLParagraphElement where toFFI = id
1632 | FromFFI HTMLParagraphElement HTMLParagraphElement where fromFFI = Just
1635 | SafeCast HTMLParagraphElement where
1636 | safeCast = unsafeCastOnPrototypeName "HTMLParagraphElement"
1638 | export data HTMLParamElement : Type where [external]
1641 | ToFFI HTMLParamElement HTMLParamElement where toFFI = id
1644 | FromFFI HTMLParamElement HTMLParamElement where fromFFI = Just
1647 | SafeCast HTMLParamElement where
1648 | safeCast = unsafeCastOnPrototypeName "HTMLParamElement"
1650 | export data HTMLPictureElement : Type where [external]
1653 | ToFFI HTMLPictureElement HTMLPictureElement where toFFI = id
1656 | FromFFI HTMLPictureElement HTMLPictureElement where fromFFI = Just
1659 | SafeCast HTMLPictureElement where
1660 | safeCast = unsafeCastOnPrototypeName "HTMLPictureElement"
1662 | export data HTMLPreElement : Type where [external]
1665 | ToFFI HTMLPreElement HTMLPreElement where toFFI = id
1668 | FromFFI HTMLPreElement HTMLPreElement where fromFFI = Just
1671 | SafeCast HTMLPreElement where
1672 | safeCast = unsafeCastOnPrototypeName "HTMLPreElement"
1674 | export data HTMLProgressElement : Type where [external]
1677 | ToFFI HTMLProgressElement HTMLProgressElement where toFFI = id
1680 | FromFFI HTMLProgressElement HTMLProgressElement where fromFFI = Just
1683 | SafeCast HTMLProgressElement where
1684 | safeCast = unsafeCastOnPrototypeName "HTMLProgressElement"
1686 | export data HTMLQuoteElement : Type where [external]
1689 | ToFFI HTMLQuoteElement HTMLQuoteElement where toFFI = id
1692 | FromFFI HTMLQuoteElement HTMLQuoteElement where fromFFI = Just
1695 | SafeCast HTMLQuoteElement where
1696 | safeCast = unsafeCastOnPrototypeName "HTMLQuoteElement"
1698 | export data HTMLScriptElement : Type where [external]
1701 | ToFFI HTMLScriptElement HTMLScriptElement where toFFI = id
1704 | FromFFI HTMLScriptElement HTMLScriptElement where fromFFI = Just
1707 | SafeCast HTMLScriptElement where
1708 | safeCast = unsafeCastOnPrototypeName "HTMLScriptElement"
1710 | export data HTMLSelectElement : Type where [external]
1713 | ToFFI HTMLSelectElement HTMLSelectElement where toFFI = id
1716 | FromFFI HTMLSelectElement HTMLSelectElement where fromFFI = Just
1719 | SafeCast HTMLSelectElement where
1720 | safeCast = unsafeCastOnPrototypeName "HTMLSelectElement"
1722 | export data HTMLSlotElement : Type where [external]
1725 | ToFFI HTMLSlotElement HTMLSlotElement where toFFI = id
1728 | FromFFI HTMLSlotElement HTMLSlotElement where fromFFI = Just
1731 | SafeCast HTMLSlotElement where
1732 | safeCast = unsafeCastOnPrototypeName "HTMLSlotElement"
1734 | export data HTMLSourceElement : Type where [external]
1737 | ToFFI HTMLSourceElement HTMLSourceElement where toFFI = id
1740 | FromFFI HTMLSourceElement HTMLSourceElement where fromFFI = Just
1743 | SafeCast HTMLSourceElement where
1744 | safeCast = unsafeCastOnPrototypeName "HTMLSourceElement"
1746 | export data HTMLSpanElement : Type where [external]
1749 | ToFFI HTMLSpanElement HTMLSpanElement where toFFI = id
1752 | FromFFI HTMLSpanElement HTMLSpanElement where fromFFI = Just
1755 | SafeCast HTMLSpanElement where
1756 | safeCast = unsafeCastOnPrototypeName "HTMLSpanElement"
1758 | export data HTMLStyleElement : Type where [external]
1761 | ToFFI HTMLStyleElement HTMLStyleElement where toFFI = id
1764 | FromFFI HTMLStyleElement HTMLStyleElement where fromFFI = Just
1767 | SafeCast HTMLStyleElement where
1768 | safeCast = unsafeCastOnPrototypeName "HTMLStyleElement"
1770 | export data HTMLTableCaptionElement : Type where [external]
1773 | ToFFI HTMLTableCaptionElement HTMLTableCaptionElement where toFFI = id
1776 | FromFFI HTMLTableCaptionElement HTMLTableCaptionElement where fromFFI = Just
1779 | SafeCast HTMLTableCaptionElement where
1780 | safeCast = unsafeCastOnPrototypeName "HTMLTableCaptionElement"
1782 | export data HTMLTableCellElement : Type where [external]
1785 | ToFFI HTMLTableCellElement HTMLTableCellElement where toFFI = id
1788 | FromFFI HTMLTableCellElement HTMLTableCellElement where fromFFI = Just
1791 | SafeCast HTMLTableCellElement where
1792 | safeCast = unsafeCastOnPrototypeName "HTMLTableCellElement"
1794 | export data HTMLTableColElement : Type where [external]
1797 | ToFFI HTMLTableColElement HTMLTableColElement where toFFI = id
1800 | FromFFI HTMLTableColElement HTMLTableColElement where fromFFI = Just
1803 | SafeCast HTMLTableColElement where
1804 | safeCast = unsafeCastOnPrototypeName "HTMLTableColElement"
1806 | export data HTMLTableElement : Type where [external]
1809 | ToFFI HTMLTableElement HTMLTableElement where toFFI = id
1812 | FromFFI HTMLTableElement HTMLTableElement where fromFFI = Just
1815 | SafeCast HTMLTableElement where
1816 | safeCast = unsafeCastOnPrototypeName "HTMLTableElement"
1818 | export data HTMLTableRowElement : Type where [external]
1821 | ToFFI HTMLTableRowElement HTMLTableRowElement where toFFI = id
1824 | FromFFI HTMLTableRowElement HTMLTableRowElement where fromFFI = Just
1827 | SafeCast HTMLTableRowElement where
1828 | safeCast = unsafeCastOnPrototypeName "HTMLTableRowElement"
1830 | export data HTMLTableSectionElement : Type where [external]
1833 | ToFFI HTMLTableSectionElement HTMLTableSectionElement where toFFI = id
1836 | FromFFI HTMLTableSectionElement HTMLTableSectionElement where fromFFI = Just
1839 | SafeCast HTMLTableSectionElement where
1840 | safeCast = unsafeCastOnPrototypeName "HTMLTableSectionElement"
1842 | export data HTMLTemplateElement : Type where [external]
1845 | ToFFI HTMLTemplateElement HTMLTemplateElement where toFFI = id
1848 | FromFFI HTMLTemplateElement HTMLTemplateElement where fromFFI = Just
1851 | SafeCast HTMLTemplateElement where
1852 | safeCast = unsafeCastOnPrototypeName "HTMLTemplateElement"
1854 | export data HTMLTextAreaElement : Type where [external]
1857 | ToFFI HTMLTextAreaElement HTMLTextAreaElement where toFFI = id
1860 | FromFFI HTMLTextAreaElement HTMLTextAreaElement where fromFFI = Just
1863 | SafeCast HTMLTextAreaElement where
1864 | safeCast = unsafeCastOnPrototypeName "HTMLTextAreaElement"
1866 | export data HTMLTimeElement : Type where [external]
1869 | ToFFI HTMLTimeElement HTMLTimeElement where toFFI = id
1872 | FromFFI HTMLTimeElement HTMLTimeElement where fromFFI = Just
1875 | SafeCast HTMLTimeElement where
1876 | safeCast = unsafeCastOnPrototypeName "HTMLTimeElement"
1878 | export data HTMLTitleElement : Type where [external]
1881 | ToFFI HTMLTitleElement HTMLTitleElement where toFFI = id
1884 | FromFFI HTMLTitleElement HTMLTitleElement where fromFFI = Just
1887 | SafeCast HTMLTitleElement where
1888 | safeCast = unsafeCastOnPrototypeName "HTMLTitleElement"
1890 | export data HTMLTrackElement : Type where [external]
1893 | ToFFI HTMLTrackElement HTMLTrackElement where toFFI = id
1896 | FromFFI HTMLTrackElement HTMLTrackElement where fromFFI = Just
1899 | SafeCast HTMLTrackElement where
1900 | safeCast = unsafeCastOnPrototypeName "HTMLTrackElement"
1902 | export data HTMLUListElement : Type where [external]
1905 | ToFFI HTMLUListElement HTMLUListElement where toFFI = id
1908 | FromFFI HTMLUListElement HTMLUListElement where fromFFI = Just
1911 | SafeCast HTMLUListElement where
1912 | safeCast = unsafeCastOnPrototypeName "HTMLUListElement"
1914 | export data HTMLUnknownElement : Type where [external]
1917 | ToFFI HTMLUnknownElement HTMLUnknownElement where toFFI = id
1920 | FromFFI HTMLUnknownElement HTMLUnknownElement where fromFFI = Just
1923 | SafeCast HTMLUnknownElement where
1924 | safeCast = unsafeCastOnPrototypeName "HTMLUnknownElement"
1926 | export data HTMLVideoElement : Type where [external]
1929 | ToFFI HTMLVideoElement HTMLVideoElement where toFFI = id
1932 | FromFFI HTMLVideoElement HTMLVideoElement where fromFFI = Just
1935 | SafeCast HTMLVideoElement where
1936 | safeCast = unsafeCastOnPrototypeName "HTMLVideoElement"
1938 | export data HashChangeEvent : Type where [external]
1941 | ToFFI HashChangeEvent HashChangeEvent where toFFI = id
1944 | FromFFI HashChangeEvent HashChangeEvent where fromFFI = Just
1947 | SafeCast HashChangeEvent where
1948 | safeCast = unsafeCastOnPrototypeName "HashChangeEvent"
1950 | export data History : Type where [external]
1953 | ToFFI History History where toFFI = id
1956 | FromFFI History History where fromFFI = Just
1960 | safeCast = unsafeCastOnPrototypeName "History"
1962 | export data ImageBitmap : Type where [external]
1965 | ToFFI ImageBitmap ImageBitmap where toFFI = id
1968 | FromFFI ImageBitmap ImageBitmap where fromFFI = Just
1971 | SafeCast ImageBitmap where
1972 | safeCast = unsafeCastOnPrototypeName "ImageBitmap"
1974 | export data ImageBitmapRenderingContext : Type where [external]
1977 | ToFFI ImageBitmapRenderingContext ImageBitmapRenderingContext where toFFI = id
1980 | FromFFI ImageBitmapRenderingContext ImageBitmapRenderingContext where fromFFI = Just
1983 | SafeCast ImageBitmapRenderingContext where
1984 | safeCast = unsafeCastOnPrototypeName "ImageBitmapRenderingContext"
1986 | export data ImageData : Type where [external]
1989 | ToFFI ImageData ImageData where toFFI = id
1992 | FromFFI ImageData ImageData where fromFFI = Just
1995 | SafeCast ImageData where
1996 | safeCast = unsafeCastOnPrototypeName "ImageData"
1998 | export data Location : Type where [external]
2001 | ToFFI Location Location where toFFI = id
2004 | FromFFI Location Location where fromFFI = Just
2007 | SafeCast Location where
2008 | safeCast = unsafeCastOnPrototypeName "Location"
2010 | export data MediaError : Type where [external]
2013 | ToFFI MediaError MediaError where toFFI = id
2016 | FromFFI MediaError MediaError where fromFFI = Just
2019 | SafeCast MediaError where
2020 | safeCast = unsafeCastOnPrototypeName "MediaError"
2022 | export data MessageChannel : Type where [external]
2025 | ToFFI MessageChannel MessageChannel where toFFI = id
2028 | FromFFI MessageChannel MessageChannel where fromFFI = Just
2031 | SafeCast MessageChannel where
2032 | safeCast = unsafeCastOnPrototypeName "MessageChannel"
2034 | export data MessageEvent : Type where [external]
2037 | ToFFI MessageEvent MessageEvent where toFFI = id
2040 | FromFFI MessageEvent MessageEvent where fromFFI = Just
2043 | SafeCast MessageEvent where
2044 | safeCast = unsafeCastOnPrototypeName "MessageEvent"
2046 | export data MessagePort : Type where [external]
2049 | ToFFI MessagePort MessagePort where toFFI = id
2052 | FromFFI MessagePort MessagePort where fromFFI = Just
2055 | SafeCast MessagePort where
2056 | safeCast = unsafeCastOnPrototypeName "MessagePort"
2058 | export data MimeType : Type where [external]
2061 | ToFFI MimeType MimeType where toFFI = id
2064 | FromFFI MimeType MimeType where fromFFI = Just
2067 | SafeCast MimeType where
2068 | safeCast = unsafeCastOnPrototypeName "MimeType"
2070 | export data MimeTypeArray : Type where [external]
2073 | ToFFI MimeTypeArray MimeTypeArray where toFFI = id
2076 | FromFFI MimeTypeArray MimeTypeArray where fromFFI = Just
2079 | SafeCast MimeTypeArray where
2080 | safeCast = unsafeCastOnPrototypeName "MimeTypeArray"
2082 | export data Navigator : Type where [external]
2085 | ToFFI Navigator Navigator where toFFI = id
2088 | FromFFI Navigator Navigator where fromFFI = Just
2091 | SafeCast Navigator where
2092 | safeCast = unsafeCastOnPrototypeName "Navigator"
2094 | export data OffscreenCanvas : Type where [external]
2097 | ToFFI OffscreenCanvas OffscreenCanvas where toFFI = id
2100 | FromFFI OffscreenCanvas OffscreenCanvas where fromFFI = Just
2103 | SafeCast OffscreenCanvas where
2104 | safeCast = unsafeCastOnPrototypeName "OffscreenCanvas"
2106 | export data OffscreenCanvasRenderingContext2D : Type where [external]
2109 | ToFFI OffscreenCanvasRenderingContext2D OffscreenCanvasRenderingContext2D where toFFI = id
2112 | FromFFI OffscreenCanvasRenderingContext2D OffscreenCanvasRenderingContext2D where fromFFI = Just
2115 | SafeCast OffscreenCanvasRenderingContext2D where
2116 | safeCast = unsafeCastOnPrototypeName "OffscreenCanvasRenderingContext2D"
2118 | export data PageTransitionEvent : Type where [external]
2121 | ToFFI PageTransitionEvent PageTransitionEvent where toFFI = id
2124 | FromFFI PageTransitionEvent PageTransitionEvent where fromFFI = Just
2127 | SafeCast PageTransitionEvent where
2128 | safeCast = unsafeCastOnPrototypeName "PageTransitionEvent"
2130 | export data Path2D : Type where [external]
2133 | ToFFI Path2D Path2D where toFFI = id
2136 | FromFFI Path2D Path2D where fromFFI = Just
2140 | safeCast = unsafeCastOnPrototypeName "Path2D"
2142 | export data Plugin : Type where [external]
2145 | ToFFI Plugin Plugin where toFFI = id
2148 | FromFFI Plugin Plugin where fromFFI = Just
2152 | safeCast = unsafeCastOnPrototypeName "Plugin"
2154 | export data PluginArray : Type where [external]
2157 | ToFFI PluginArray PluginArray where toFFI = id
2160 | FromFFI PluginArray PluginArray where fromFFI = Just
2163 | SafeCast PluginArray where
2164 | safeCast = unsafeCastOnPrototypeName "PluginArray"
2166 | export data PopStateEvent : Type where [external]
2169 | ToFFI PopStateEvent PopStateEvent where toFFI = id
2172 | FromFFI PopStateEvent PopStateEvent where fromFFI = Just
2175 | SafeCast PopStateEvent where
2176 | safeCast = unsafeCastOnPrototypeName "PopStateEvent"
2178 | export data PromiseRejectionEvent : Type where [external]
2181 | ToFFI PromiseRejectionEvent PromiseRejectionEvent where toFFI = id
2184 | FromFFI PromiseRejectionEvent PromiseRejectionEvent where fromFFI = Just
2187 | SafeCast PromiseRejectionEvent where
2188 | safeCast = unsafeCastOnPrototypeName "PromiseRejectionEvent"
2190 | export data RadioNodeList : Type where [external]
2193 | ToFFI RadioNodeList RadioNodeList where toFFI = id
2196 | FromFFI RadioNodeList RadioNodeList where fromFFI = Just
2199 | SafeCast RadioNodeList where
2200 | safeCast = unsafeCastOnPrototypeName "RadioNodeList"
2202 | export data SharedWorker : Type where [external]
2205 | ToFFI SharedWorker SharedWorker where toFFI = id
2208 | FromFFI SharedWorker SharedWorker where fromFFI = Just
2211 | SafeCast SharedWorker where
2212 | safeCast = unsafeCastOnPrototypeName "SharedWorker"
2214 | export data SharedWorkerGlobalScope : Type where [external]
2217 | ToFFI SharedWorkerGlobalScope SharedWorkerGlobalScope where toFFI = id
2220 | FromFFI SharedWorkerGlobalScope SharedWorkerGlobalScope where fromFFI = Just
2223 | SafeCast SharedWorkerGlobalScope where
2224 | safeCast = unsafeCastOnPrototypeName "SharedWorkerGlobalScope"
2226 | export data Storage : Type where [external]
2229 | ToFFI Storage Storage where toFFI = id
2232 | FromFFI Storage Storage where fromFFI = Just
2236 | safeCast = unsafeCastOnPrototypeName "Storage"
2238 | export data StorageEvent : Type where [external]
2241 | ToFFI StorageEvent StorageEvent where toFFI = id
2244 | FromFFI StorageEvent StorageEvent where fromFFI = Just
2247 | SafeCast StorageEvent where
2248 | safeCast = unsafeCastOnPrototypeName "StorageEvent"
2250 | export data SubmitEvent : Type where [external]
2253 | ToFFI SubmitEvent SubmitEvent where toFFI = id
2256 | FromFFI SubmitEvent SubmitEvent where fromFFI = Just
2259 | SafeCast SubmitEvent where
2260 | safeCast = unsafeCastOnPrototypeName "SubmitEvent"
2262 | export data TextMetrics : Type where [external]
2265 | ToFFI TextMetrics TextMetrics where toFFI = id
2268 | FromFFI TextMetrics TextMetrics where fromFFI = Just
2271 | SafeCast TextMetrics where
2272 | safeCast = unsafeCastOnPrototypeName "TextMetrics"
2274 | export data TextTrack : Type where [external]
2277 | ToFFI TextTrack TextTrack where toFFI = id
2280 | FromFFI TextTrack TextTrack where fromFFI = Just
2283 | SafeCast TextTrack where
2284 | safeCast = unsafeCastOnPrototypeName "TextTrack"
2286 | export data TextTrackCue : Type where [external]
2289 | ToFFI TextTrackCue TextTrackCue where toFFI = id
2292 | FromFFI TextTrackCue TextTrackCue where fromFFI = Just
2295 | SafeCast TextTrackCue where
2296 | safeCast = unsafeCastOnPrototypeName "TextTrackCue"
2298 | export data TextTrackCueList : Type where [external]
2301 | ToFFI TextTrackCueList TextTrackCueList where toFFI = id
2304 | FromFFI TextTrackCueList TextTrackCueList where fromFFI = Just
2307 | SafeCast TextTrackCueList where
2308 | safeCast = unsafeCastOnPrototypeName "TextTrackCueList"
2310 | export data TextTrackList : Type where [external]
2313 | ToFFI TextTrackList TextTrackList where toFFI = id
2316 | FromFFI TextTrackList TextTrackList where fromFFI = Just
2319 | SafeCast TextTrackList where
2320 | safeCast = unsafeCastOnPrototypeName "TextTrackList"
2322 | export data TimeRanges : Type where [external]
2325 | ToFFI TimeRanges TimeRanges where toFFI = id
2328 | FromFFI TimeRanges TimeRanges where fromFFI = Just
2331 | SafeCast TimeRanges where
2332 | safeCast = unsafeCastOnPrototypeName "TimeRanges"
2334 | export data TrackEvent : Type where [external]
2337 | ToFFI TrackEvent TrackEvent where toFFI = id
2340 | FromFFI TrackEvent TrackEvent where fromFFI = Just
2343 | SafeCast TrackEvent where
2344 | safeCast = unsafeCastOnPrototypeName "TrackEvent"
2346 | export data ValidityState : Type where [external]
2349 | ToFFI ValidityState ValidityState where toFFI = id
2352 | FromFFI ValidityState ValidityState where fromFFI = Just
2355 | SafeCast ValidityState where
2356 | safeCast = unsafeCastOnPrototypeName "ValidityState"
2358 | export data VideoTrack : Type where [external]
2361 | ToFFI VideoTrack VideoTrack where toFFI = id
2364 | FromFFI VideoTrack VideoTrack where fromFFI = Just
2367 | SafeCast VideoTrack where
2368 | safeCast = unsafeCastOnPrototypeName "VideoTrack"
2370 | export data VideoTrackList : Type where [external]
2373 | ToFFI VideoTrackList VideoTrackList where toFFI = id
2376 | FromFFI VideoTrackList VideoTrackList where fromFFI = Just
2379 | SafeCast VideoTrackList where
2380 | safeCast = unsafeCastOnPrototypeName "VideoTrackList"
2382 | export data WebSocket : Type where [external]
2385 | ToFFI WebSocket WebSocket where toFFI = id
2388 | FromFFI WebSocket WebSocket where fromFFI = Just
2391 | SafeCast WebSocket where
2392 | safeCast = unsafeCastOnPrototypeName "WebSocket"
2394 | export data Window : Type where [external]
2397 | ToFFI Window Window where toFFI = id
2400 | FromFFI Window Window where fromFFI = Just
2404 | safeCast = unsafeCastOnPrototypeName "Window"
2406 | export data Worker : Type where [external]
2409 | ToFFI Worker Worker where toFFI = id
2412 | FromFFI Worker Worker where fromFFI = Just
2416 | safeCast = unsafeCastOnPrototypeName "Worker"
2418 | export data WorkerGlobalScope : Type where [external]
2421 | ToFFI WorkerGlobalScope WorkerGlobalScope where toFFI = id
2424 | FromFFI WorkerGlobalScope WorkerGlobalScope where fromFFI = Just
2427 | SafeCast WorkerGlobalScope where
2428 | safeCast = unsafeCastOnPrototypeName "WorkerGlobalScope"
2430 | export data WorkerLocation : Type where [external]
2433 | ToFFI WorkerLocation WorkerLocation where toFFI = id
2436 | FromFFI WorkerLocation WorkerLocation where fromFFI = Just
2439 | SafeCast WorkerLocation where
2440 | safeCast = unsafeCastOnPrototypeName "WorkerLocation"
2442 | export data WorkerNavigator : Type where [external]
2445 | ToFFI WorkerNavigator WorkerNavigator where toFFI = id
2448 | FromFFI WorkerNavigator WorkerNavigator where fromFFI = Just
2451 | SafeCast WorkerNavigator where
2452 | safeCast = unsafeCastOnPrototypeName "WorkerNavigator"
2454 | export data Worklet : Type where [external]
2457 | ToFFI Worklet Worklet where toFFI = id
2460 | FromFFI Worklet Worklet where fromFFI = Just
2464 | safeCast = unsafeCastOnPrototypeName "Worklet"
2466 | export data WorkletGlobalScope : Type where [external]
2469 | ToFFI WorkletGlobalScope WorkletGlobalScope where toFFI = id
2472 | FromFFI WorkletGlobalScope WorkletGlobalScope where fromFFI = Just
2475 | SafeCast WorkletGlobalScope where
2476 | safeCast = unsafeCastOnPrototypeName "WorkletGlobalScope"
2483 | export data AssignedNodesOptions : Type where [external]
2486 | ToFFI AssignedNodesOptions AssignedNodesOptions where toFFI = id
2489 | FromFFI AssignedNodesOptions AssignedNodesOptions where fromFFI = Just
2491 | export data CanvasRenderingContext2DSettings : Type where [external]
2494 | ToFFI CanvasRenderingContext2DSettings CanvasRenderingContext2DSettings where toFFI = id
2497 | FromFFI CanvasRenderingContext2DSettings CanvasRenderingContext2DSettings where fromFFI = Just
2499 | export data CloseEventInit : Type where [external]
2502 | ToFFI CloseEventInit CloseEventInit where toFFI = id
2505 | FromFFI CloseEventInit CloseEventInit where fromFFI = Just
2507 | export data DragEventInit : Type where [external]
2510 | ToFFI DragEventInit DragEventInit where toFFI = id
2513 | FromFFI DragEventInit DragEventInit where fromFFI = Just
2515 | export data ElementDefinitionOptions : Type where [external]
2518 | ToFFI ElementDefinitionOptions ElementDefinitionOptions where toFFI = id
2521 | FromFFI ElementDefinitionOptions ElementDefinitionOptions where fromFFI = Just
2523 | export data ErrorEventInit : Type where [external]
2526 | ToFFI ErrorEventInit ErrorEventInit where toFFI = id
2529 | FromFFI ErrorEventInit ErrorEventInit where fromFFI = Just
2531 | export data EventSourceInit : Type where [external]
2534 | ToFFI EventSourceInit EventSourceInit where toFFI = id
2537 | FromFFI EventSourceInit EventSourceInit where fromFFI = Just
2539 | export data FocusOptions : Type where [external]
2542 | ToFFI FocusOptions FocusOptions where toFFI = id
2545 | FromFFI FocusOptions FocusOptions where fromFFI = Just
2547 | export data FormDataEventInit : Type where [external]
2550 | ToFFI FormDataEventInit FormDataEventInit where toFFI = id
2553 | FromFFI FormDataEventInit FormDataEventInit where fromFFI = Just
2555 | export data HashChangeEventInit : Type where [external]
2558 | ToFFI HashChangeEventInit HashChangeEventInit where toFFI = id
2561 | FromFFI HashChangeEventInit HashChangeEventInit where fromFFI = Just
2563 | export data ImageBitmapOptions : Type where [external]
2566 | ToFFI ImageBitmapOptions ImageBitmapOptions where toFFI = id
2569 | FromFFI ImageBitmapOptions ImageBitmapOptions where fromFFI = Just
2571 | export data ImageBitmapRenderingContextSettings : Type where [external]
2574 | ToFFI ImageBitmapRenderingContextSettings ImageBitmapRenderingContextSettings where toFFI = id
2577 | FromFFI ImageBitmapRenderingContextSettings ImageBitmapRenderingContextSettings where fromFFI = Just
2579 | export data ImageEncodeOptions : Type where [external]
2582 | ToFFI ImageEncodeOptions ImageEncodeOptions where toFFI = id
2585 | FromFFI ImageEncodeOptions ImageEncodeOptions where fromFFI = Just
2587 | export data MessageEventInit : Type where [external]
2590 | ToFFI MessageEventInit MessageEventInit where toFFI = id
2593 | FromFFI MessageEventInit MessageEventInit where fromFFI = Just
2595 | export data PageTransitionEventInit : Type where [external]
2598 | ToFFI PageTransitionEventInit PageTransitionEventInit where toFFI = id
2601 | FromFFI PageTransitionEventInit PageTransitionEventInit where fromFFI = Just
2603 | export data PopStateEventInit : Type where [external]
2606 | ToFFI PopStateEventInit PopStateEventInit where toFFI = id
2609 | FromFFI PopStateEventInit PopStateEventInit where fromFFI = Just
2611 | export data PostMessageOptions : Type where [external]
2614 | ToFFI PostMessageOptions PostMessageOptions where toFFI = id
2617 | FromFFI PostMessageOptions PostMessageOptions where fromFFI = Just
2619 | export data PromiseRejectionEventInit : Type where [external]
2622 | ToFFI PromiseRejectionEventInit PromiseRejectionEventInit where toFFI = id
2625 | FromFFI PromiseRejectionEventInit PromiseRejectionEventInit where fromFFI = Just
2627 | export data StorageEventInit : Type where [external]
2630 | ToFFI StorageEventInit StorageEventInit where toFFI = id
2633 | FromFFI StorageEventInit StorageEventInit where fromFFI = Just
2635 | export data StructuredSerializeOptions : Type where [external]
2638 | ToFFI StructuredSerializeOptions StructuredSerializeOptions where toFFI = id
2641 | FromFFI StructuredSerializeOptions StructuredSerializeOptions where fromFFI = Just
2643 | export data SubmitEventInit : Type where [external]
2646 | ToFFI SubmitEventInit SubmitEventInit where toFFI = id
2649 | FromFFI SubmitEventInit SubmitEventInit where fromFFI = Just
2651 | export data TrackEventInit : Type where [external]
2654 | ToFFI TrackEventInit TrackEventInit where toFFI = id
2657 | FromFFI TrackEventInit TrackEventInit where fromFFI = Just
2659 | export data ValidityStateFlags : Type where [external]
2662 | ToFFI ValidityStateFlags ValidityStateFlags where toFFI = id
2665 | FromFFI ValidityStateFlags ValidityStateFlags where fromFFI = Just
2667 | export data WindowPostMessageOptions : Type where [external]
2670 | ToFFI WindowPostMessageOptions WindowPostMessageOptions where toFFI = id
2673 | FromFFI WindowPostMessageOptions WindowPostMessageOptions where fromFFI = Just
2675 | export data WorkerOptions : Type where [external]
2678 | ToFFI WorkerOptions WorkerOptions where toFFI = id
2681 | FromFFI WorkerOptions WorkerOptions where fromFFI = Just
2683 | export data WorkletOptions : Type where [external]
2686 | ToFFI WorkletOptions WorkletOptions where toFFI = id
2689 | FromFFI WorkletOptions WorkletOptions where fromFFI = Just
2696 | export data ARIAMixin : Type where [external]
2699 | ToFFI ARIAMixin ARIAMixin where toFFI = id
2702 | FromFFI ARIAMixin ARIAMixin where fromFFI = Just
2704 | export data AbstractWorker : Type where [external]
2707 | ToFFI AbstractWorker AbstractWorker where toFFI = id
2710 | FromFFI AbstractWorker AbstractWorker where fromFFI = Just
2712 | export data CanvasCompositing : Type where [external]
2715 | ToFFI CanvasCompositing CanvasCompositing where toFFI = id
2718 | FromFFI CanvasCompositing CanvasCompositing where fromFFI = Just
2720 | export data CanvasDrawImage : Type where [external]
2723 | ToFFI CanvasDrawImage CanvasDrawImage where toFFI = id
2726 | FromFFI CanvasDrawImage CanvasDrawImage where fromFFI = Just
2728 | export data CanvasDrawPath : Type where [external]
2731 | ToFFI CanvasDrawPath CanvasDrawPath where toFFI = id
2734 | FromFFI CanvasDrawPath CanvasDrawPath where fromFFI = Just
2736 | export data CanvasFillStrokeStyles : Type where [external]
2739 | ToFFI CanvasFillStrokeStyles CanvasFillStrokeStyles where toFFI = id
2742 | FromFFI CanvasFillStrokeStyles CanvasFillStrokeStyles where fromFFI = Just
2744 | export data CanvasFilters : Type where [external]
2747 | ToFFI CanvasFilters CanvasFilters where toFFI = id
2750 | FromFFI CanvasFilters CanvasFilters where fromFFI = Just
2752 | export data CanvasImageData : Type where [external]
2755 | ToFFI CanvasImageData CanvasImageData where toFFI = id
2758 | FromFFI CanvasImageData CanvasImageData where fromFFI = Just
2760 | export data CanvasImageSmoothing : Type where [external]
2763 | ToFFI CanvasImageSmoothing CanvasImageSmoothing where toFFI = id
2766 | FromFFI CanvasImageSmoothing CanvasImageSmoothing where fromFFI = Just
2768 | export data CanvasPath : Type where [external]
2771 | ToFFI CanvasPath CanvasPath where toFFI = id
2774 | FromFFI CanvasPath CanvasPath where fromFFI = Just
2776 | export data CanvasPathDrawingStyles : Type where [external]
2779 | ToFFI CanvasPathDrawingStyles CanvasPathDrawingStyles where toFFI = id
2782 | FromFFI CanvasPathDrawingStyles CanvasPathDrawingStyles where fromFFI = Just
2784 | export data CanvasRect : Type where [external]
2787 | ToFFI CanvasRect CanvasRect where toFFI = id
2790 | FromFFI CanvasRect CanvasRect where fromFFI = Just
2792 | export data CanvasShadowStyles : Type where [external]
2795 | ToFFI CanvasShadowStyles CanvasShadowStyles where toFFI = id
2798 | FromFFI CanvasShadowStyles CanvasShadowStyles where fromFFI = Just
2800 | export data CanvasState : Type where [external]
2803 | ToFFI CanvasState CanvasState where toFFI = id
2806 | FromFFI CanvasState CanvasState where fromFFI = Just
2808 | export data CanvasText : Type where [external]
2811 | ToFFI CanvasText CanvasText where toFFI = id
2814 | FromFFI CanvasText CanvasText where fromFFI = Just
2816 | export data CanvasTextDrawingStyles : Type where [external]
2819 | ToFFI CanvasTextDrawingStyles CanvasTextDrawingStyles where toFFI = id
2822 | FromFFI CanvasTextDrawingStyles CanvasTextDrawingStyles where fromFFI = Just
2824 | export data CanvasTransform : Type where [external]
2827 | ToFFI CanvasTransform CanvasTransform where toFFI = id
2830 | FromFFI CanvasTransform CanvasTransform where fromFFI = Just
2832 | export data CanvasUserInterface : Type where [external]
2835 | ToFFI CanvasUserInterface CanvasUserInterface where toFFI = id
2838 | FromFFI CanvasUserInterface CanvasUserInterface where fromFFI = Just
2840 | export data DocumentAndElementEventHandlers : Type where [external]
2843 | ToFFI DocumentAndElementEventHandlers DocumentAndElementEventHandlers where toFFI = id
2846 | FromFFI DocumentAndElementEventHandlers DocumentAndElementEventHandlers where fromFFI = Just
2848 | export data ElementContentEditable : Type where [external]
2851 | ToFFI ElementContentEditable ElementContentEditable where toFFI = id
2854 | FromFFI ElementContentEditable ElementContentEditable where fromFFI = Just
2856 | export data GlobalEventHandlers : Type where [external]
2859 | ToFFI GlobalEventHandlers GlobalEventHandlers where toFFI = id
2862 | FromFFI GlobalEventHandlers GlobalEventHandlers where fromFFI = Just
2864 | export data HTMLHyperlinkElementUtils : Type where [external]
2867 | ToFFI HTMLHyperlinkElementUtils HTMLHyperlinkElementUtils where toFFI = id
2870 | FromFFI HTMLHyperlinkElementUtils HTMLHyperlinkElementUtils where fromFFI = Just
2872 | export data HTMLOrSVGElement : Type where [external]
2875 | ToFFI HTMLOrSVGElement HTMLOrSVGElement where toFFI = id
2878 | FromFFI HTMLOrSVGElement HTMLOrSVGElement where fromFFI = Just
2880 | export data NavigatorConcurrentHardware : Type where [external]
2883 | ToFFI NavigatorConcurrentHardware NavigatorConcurrentHardware where toFFI = id
2886 | FromFFI NavigatorConcurrentHardware NavigatorConcurrentHardware where fromFFI = Just
2888 | export data NavigatorContentUtils : Type where [external]
2891 | ToFFI NavigatorContentUtils NavigatorContentUtils where toFFI = id
2894 | FromFFI NavigatorContentUtils NavigatorContentUtils where fromFFI = Just
2896 | export data NavigatorCookies : Type where [external]
2899 | ToFFI NavigatorCookies NavigatorCookies where toFFI = id
2902 | FromFFI NavigatorCookies NavigatorCookies where fromFFI = Just
2904 | export data NavigatorID : Type where [external]
2907 | ToFFI NavigatorID NavigatorID where toFFI = id
2910 | FromFFI NavigatorID NavigatorID where fromFFI = Just
2912 | export data NavigatorLanguage : Type where [external]
2915 | ToFFI NavigatorLanguage NavigatorLanguage where toFFI = id
2918 | FromFFI NavigatorLanguage NavigatorLanguage where fromFFI = Just
2920 | export data NavigatorOnLine : Type where [external]
2923 | ToFFI NavigatorOnLine NavigatorOnLine where toFFI = id
2926 | FromFFI NavigatorOnLine NavigatorOnLine where fromFFI = Just
2928 | export data NavigatorPlugins : Type where [external]
2931 | ToFFI NavigatorPlugins NavigatorPlugins where toFFI = id
2934 | FromFFI NavigatorPlugins NavigatorPlugins where fromFFI = Just
2936 | export data WindowEventHandlers : Type where [external]
2939 | ToFFI WindowEventHandlers WindowEventHandlers where toFFI = id
2942 | FromFFI WindowEventHandlers WindowEventHandlers where fromFFI = Just
2944 | export data WindowLocalStorage : Type where [external]
2947 | ToFFI WindowLocalStorage WindowLocalStorage where toFFI = id
2950 | FromFFI WindowLocalStorage WindowLocalStorage where fromFFI = Just
2952 | export data WindowOrWorkerGlobalScope : Type where [external]
2955 | ToFFI WindowOrWorkerGlobalScope WindowOrWorkerGlobalScope where toFFI = id
2958 | FromFFI WindowOrWorkerGlobalScope WindowOrWorkerGlobalScope where fromFFI = Just
2965 | export data BlobCallback : Type where [external]
2968 | ToFFI BlobCallback BlobCallback where toFFI = id
2971 | FromFFI BlobCallback BlobCallback where fromFFI = Just
2973 | export data CompositionEventHandler : Type where [external]
2976 | ToFFI CompositionEventHandler CompositionEventHandler where toFFI = id
2979 | FromFFI CompositionEventHandler CompositionEventHandler where fromFFI = Just
2981 | export data CustomElementConstructor : Type where [external]
2984 | ToFFI CustomElementConstructor CustomElementConstructor where toFFI = id
2987 | FromFFI CustomElementConstructor CustomElementConstructor where fromFFI = Just
2989 | export data EventHandlerNonNull : Type where [external]
2992 | ToFFI EventHandlerNonNull EventHandlerNonNull where toFFI = id
2995 | FromFFI EventHandlerNonNull EventHandlerNonNull where fromFFI = Just
2997 | export data FocusEventHandler : Type where [external]
3000 | ToFFI FocusEventHandler FocusEventHandler where toFFI = id
3003 | FromFFI FocusEventHandler FocusEventHandler where fromFFI = Just
3005 | export data FunctionStringCallback : Type where [external]
3008 | ToFFI FunctionStringCallback FunctionStringCallback where toFFI = id
3011 | FromFFI FunctionStringCallback FunctionStringCallback where fromFFI = Just
3013 | export data InputEventHandler : Type where [external]
3016 | ToFFI InputEventHandler InputEventHandler where toFFI = id
3019 | FromFFI InputEventHandler InputEventHandler where fromFFI = Just
3021 | export data KeyboardEventHandler : Type where [external]
3024 | ToFFI KeyboardEventHandler KeyboardEventHandler where toFFI = id
3027 | FromFFI KeyboardEventHandler KeyboardEventHandler where fromFFI = Just
3029 | export data MouseEventHandler : Type where [external]
3032 | ToFFI MouseEventHandler MouseEventHandler where toFFI = id
3035 | FromFFI MouseEventHandler MouseEventHandler where fromFFI = Just
3037 | export data OnBeforeUnloadEventHandlerNonNull : Type where [external]
3040 | ToFFI OnBeforeUnloadEventHandlerNonNull OnBeforeUnloadEventHandlerNonNull where toFFI = id
3043 | FromFFI OnBeforeUnloadEventHandlerNonNull OnBeforeUnloadEventHandlerNonNull where fromFFI = Just
3045 | export data OnErrorEventHandlerNonNull : Type where [external]
3048 | ToFFI OnErrorEventHandlerNonNull OnErrorEventHandlerNonNull where toFFI = id
3051 | FromFFI OnErrorEventHandlerNonNull OnErrorEventHandlerNonNull where fromFFI = Just
3053 | export data UIEventHandler : Type where [external]
3056 | ToFFI UIEventHandler UIEventHandler where toFFI = id
3059 | FromFFI UIEventHandler UIEventHandler where fromFFI = Just
3061 | export data WheelEventHandler : Type where [external]
3064 | ToFFI WheelEventHandler WheelEventHandler where toFFI = id
3067 | FromFFI WheelEventHandler WheelEventHandler where fromFFI = Just