0 | module Web.Internal.DomTypes
11 | namespace ShadowRootMode
14 | data ShadowRootMode = Open | Closed
17 | Show ShadowRootMode where
19 | show Closed = "closed"
22 | Eq ShadowRootMode where
23 | (==) = (==) `on` show
26 | Ord ShadowRootMode where
27 | compare = compare `on` show
30 | read : String -> Maybe ShadowRootMode
31 | read "open" = Just Open
32 | read "closed" = Just Closed
36 | ToFFI ShadowRootMode String where
40 | FromFFI ShadowRootMode String where
49 | export data AbortController : Type where [external]
52 | ToFFI AbortController AbortController where toFFI = id
55 | FromFFI AbortController AbortController where fromFFI = Just
58 | SafeCast AbortController where
59 | safeCast = unsafeCastOnPrototypeName "AbortController"
61 | export data AbortSignal : Type where [external]
64 | ToFFI AbortSignal AbortSignal where toFFI = id
67 | FromFFI AbortSignal AbortSignal where fromFFI = Just
70 | SafeCast AbortSignal where
71 | safeCast = unsafeCastOnPrototypeName "AbortSignal"
73 | export data AbstractRange : Type where [external]
76 | ToFFI AbstractRange AbstractRange where toFFI = id
79 | FromFFI AbstractRange AbstractRange where fromFFI = Just
82 | SafeCast AbstractRange where
83 | safeCast = unsafeCastOnPrototypeName "AbstractRange"
85 | export data Attr : Type where [external]
88 | ToFFI Attr Attr where toFFI = id
91 | FromFFI Attr Attr where fromFFI = Just
95 | safeCast = unsafeCastOnPrototypeName "Attr"
97 | export data CDATASection : Type where [external]
100 | ToFFI CDATASection CDATASection where toFFI = id
103 | FromFFI CDATASection CDATASection where fromFFI = Just
106 | SafeCast CDATASection where
107 | safeCast = unsafeCastOnPrototypeName "CDATASection"
109 | export data CharacterData : Type where [external]
112 | ToFFI CharacterData CharacterData where toFFI = id
115 | FromFFI CharacterData CharacterData where fromFFI = Just
118 | SafeCast CharacterData where
119 | safeCast = unsafeCastOnPrototypeName "CharacterData"
121 | export data Comment : Type where [external]
124 | ToFFI Comment Comment where toFFI = id
127 | FromFFI Comment Comment where fromFFI = Just
130 | SafeCast Comment where
131 | safeCast = unsafeCastOnPrototypeName "Comment"
133 | export data CustomEvent : Type where [external]
136 | ToFFI CustomEvent CustomEvent where toFFI = id
139 | FromFFI CustomEvent CustomEvent where fromFFI = Just
142 | SafeCast CustomEvent where
143 | safeCast = unsafeCastOnPrototypeName "CustomEvent"
145 | export data DOMImplementation : Type where [external]
148 | ToFFI DOMImplementation DOMImplementation where toFFI = id
151 | FromFFI DOMImplementation DOMImplementation where fromFFI = Just
154 | SafeCast DOMImplementation where
155 | safeCast = unsafeCastOnPrototypeName "DOMImplementation"
157 | export data DOMTokenList : Type where [external]
160 | ToFFI DOMTokenList DOMTokenList where toFFI = id
163 | FromFFI DOMTokenList DOMTokenList where fromFFI = Just
166 | SafeCast DOMTokenList where
167 | safeCast = unsafeCastOnPrototypeName "DOMTokenList"
169 | export data Document : Type where [external]
172 | ToFFI Document Document where toFFI = id
175 | FromFFI Document Document where fromFFI = Just
178 | SafeCast Document where
179 | safeCast = unsafeCastOnPrototypeName "Document"
181 | export data DocumentFragment : Type where [external]
184 | ToFFI DocumentFragment DocumentFragment where toFFI = id
187 | FromFFI DocumentFragment DocumentFragment where fromFFI = Just
190 | SafeCast DocumentFragment where
191 | safeCast = unsafeCastOnPrototypeName "DocumentFragment"
193 | export data DocumentType : Type where [external]
196 | ToFFI DocumentType DocumentType where toFFI = id
199 | FromFFI DocumentType DocumentType where fromFFI = Just
202 | SafeCast DocumentType where
203 | safeCast = unsafeCastOnPrototypeName "DocumentType"
205 | export data Element : Type where [external]
208 | ToFFI Element Element where toFFI = id
211 | FromFFI Element Element where fromFFI = Just
214 | SafeCast Element where
215 | safeCast = unsafeCastOnPrototypeName "Element"
217 | export data Event : Type where [external]
220 | ToFFI Event Event where toFFI = id
223 | FromFFI Event Event where fromFFI = Just
226 | SafeCast Event where
227 | safeCast = unsafeCastOnPrototypeName "Event"
229 | export data EventTarget : Type where [external]
232 | ToFFI EventTarget EventTarget where toFFI = id
235 | FromFFI EventTarget EventTarget where fromFFI = Just
238 | SafeCast EventTarget where
239 | safeCast = unsafeCastOnPrototypeName "EventTarget"
241 | export data HTMLCollection : Type where [external]
244 | ToFFI HTMLCollection HTMLCollection where toFFI = id
247 | FromFFI HTMLCollection HTMLCollection where fromFFI = Just
250 | SafeCast HTMLCollection where
251 | safeCast = unsafeCastOnPrototypeName "HTMLCollection"
253 | export data MutationObserver : Type where [external]
256 | ToFFI MutationObserver MutationObserver where toFFI = id
259 | FromFFI MutationObserver MutationObserver where fromFFI = Just
262 | SafeCast MutationObserver where
263 | safeCast = unsafeCastOnPrototypeName "MutationObserver"
265 | export data MutationRecord : Type where [external]
268 | ToFFI MutationRecord MutationRecord where toFFI = id
271 | FromFFI MutationRecord MutationRecord where fromFFI = Just
274 | SafeCast MutationRecord where
275 | safeCast = unsafeCastOnPrototypeName "MutationRecord"
277 | export data NamedNodeMap : Type where [external]
280 | ToFFI NamedNodeMap NamedNodeMap where toFFI = id
283 | FromFFI NamedNodeMap NamedNodeMap where fromFFI = Just
286 | SafeCast NamedNodeMap where
287 | safeCast = unsafeCastOnPrototypeName "NamedNodeMap"
289 | export data Node : Type where [external]
292 | ToFFI Node Node where toFFI = id
295 | FromFFI Node Node where fromFFI = Just
298 | SafeCast Node where
299 | safeCast = unsafeCastOnPrototypeName "Node"
301 | export data NodeIterator : Type where [external]
304 | ToFFI NodeIterator NodeIterator where toFFI = id
307 | FromFFI NodeIterator NodeIterator where fromFFI = Just
310 | SafeCast NodeIterator where
311 | safeCast = unsafeCastOnPrototypeName "NodeIterator"
313 | export data NodeList : Type where [external]
316 | ToFFI NodeList NodeList where toFFI = id
319 | FromFFI NodeList NodeList where fromFFI = Just
322 | SafeCast NodeList where
323 | safeCast = unsafeCastOnPrototypeName "NodeList"
325 | export data Performance : Type where [external]
328 | ToFFI Performance Performance where toFFI = id
331 | FromFFI Performance Performance where fromFFI = Just
334 | SafeCast Performance where
335 | safeCast = unsafeCastOnPrototypeName "Performance"
337 | export data ProcessingInstruction : Type where [external]
340 | ToFFI ProcessingInstruction ProcessingInstruction where toFFI = id
343 | FromFFI ProcessingInstruction ProcessingInstruction where fromFFI = Just
346 | SafeCast ProcessingInstruction where
347 | safeCast = unsafeCastOnPrototypeName "ProcessingInstruction"
349 | export data Range : Type where [external]
352 | ToFFI Range Range where toFFI = id
355 | FromFFI Range Range where fromFFI = Just
358 | SafeCast Range where
359 | safeCast = unsafeCastOnPrototypeName "Range"
361 | export data ShadowRoot : Type where [external]
364 | ToFFI ShadowRoot ShadowRoot where toFFI = id
367 | FromFFI ShadowRoot ShadowRoot where fromFFI = Just
370 | SafeCast ShadowRoot where
371 | safeCast = unsafeCastOnPrototypeName "ShadowRoot"
373 | export data StaticRange : Type where [external]
376 | ToFFI StaticRange StaticRange where toFFI = id
379 | FromFFI StaticRange StaticRange where fromFFI = Just
382 | SafeCast StaticRange where
383 | safeCast = unsafeCastOnPrototypeName "StaticRange"
385 | export data Text : Type where [external]
388 | ToFFI Text Text where toFFI = id
391 | FromFFI Text Text where fromFFI = Just
394 | SafeCast Text where
395 | safeCast = unsafeCastOnPrototypeName "Text"
397 | export data TreeWalker : Type where [external]
400 | ToFFI TreeWalker TreeWalker where toFFI = id
403 | FromFFI TreeWalker TreeWalker where fromFFI = Just
406 | SafeCast TreeWalker where
407 | safeCast = unsafeCastOnPrototypeName "TreeWalker"
409 | export data XMLDocument : Type where [external]
412 | ToFFI XMLDocument XMLDocument where toFFI = id
415 | FromFFI XMLDocument XMLDocument where fromFFI = Just
418 | SafeCast XMLDocument where
419 | safeCast = unsafeCastOnPrototypeName "XMLDocument"
421 | export data XMLSerializer : Type where [external]
424 | ToFFI XMLSerializer XMLSerializer where toFFI = id
427 | FromFFI XMLSerializer XMLSerializer where fromFFI = Just
430 | SafeCast XMLSerializer where
431 | safeCast = unsafeCastOnPrototypeName "XMLSerializer"
433 | export data XPathEvaluator : Type where [external]
436 | ToFFI XPathEvaluator XPathEvaluator where toFFI = id
439 | FromFFI XPathEvaluator XPathEvaluator where fromFFI = Just
442 | SafeCast XPathEvaluator where
443 | safeCast = unsafeCastOnPrototypeName "XPathEvaluator"
445 | export data XPathExpression : Type where [external]
448 | ToFFI XPathExpression XPathExpression where toFFI = id
451 | FromFFI XPathExpression XPathExpression where fromFFI = Just
454 | SafeCast XPathExpression where
455 | safeCast = unsafeCastOnPrototypeName "XPathExpression"
457 | export data XPathResult : Type where [external]
460 | ToFFI XPathResult XPathResult where toFFI = id
463 | FromFFI XPathResult XPathResult where fromFFI = Just
466 | SafeCast XPathResult where
467 | safeCast = unsafeCastOnPrototypeName "XPathResult"
474 | export data AddEventListenerOptions : Type where [external]
477 | ToFFI AddEventListenerOptions AddEventListenerOptions where toFFI = id
480 | FromFFI AddEventListenerOptions AddEventListenerOptions where fromFFI = Just
482 | export data CustomEventInit : Type where [external]
485 | ToFFI CustomEventInit CustomEventInit where toFFI = id
488 | FromFFI CustomEventInit CustomEventInit where fromFFI = Just
490 | export data ElementCreationOptions : Type where [external]
493 | ToFFI ElementCreationOptions ElementCreationOptions where toFFI = id
496 | FromFFI ElementCreationOptions ElementCreationOptions where fromFFI = Just
498 | export data EventInit : Type where [external]
501 | ToFFI EventInit EventInit where toFFI = id
504 | FromFFI EventInit EventInit where fromFFI = Just
506 | export data EventListenerOptions : Type where [external]
509 | ToFFI EventListenerOptions EventListenerOptions where toFFI = id
512 | FromFFI EventListenerOptions EventListenerOptions where fromFFI = Just
514 | export data GetRootNodeOptions : Type where [external]
517 | ToFFI GetRootNodeOptions GetRootNodeOptions where toFFI = id
520 | FromFFI GetRootNodeOptions GetRootNodeOptions where fromFFI = Just
522 | export data MutationObserverInit : Type where [external]
525 | ToFFI MutationObserverInit MutationObserverInit where toFFI = id
528 | FromFFI MutationObserverInit MutationObserverInit where fromFFI = Just
530 | export data ShadowRootInit : Type where [external]
533 | ToFFI ShadowRootInit ShadowRootInit where toFFI = id
536 | FromFFI ShadowRootInit ShadowRootInit where fromFFI = Just
538 | export data StaticRangeInit : Type where [external]
541 | ToFFI StaticRangeInit StaticRangeInit where toFFI = id
544 | FromFFI StaticRangeInit StaticRangeInit where fromFFI = Just
551 | export data ChildNode : Type where [external]
554 | ToFFI ChildNode ChildNode where toFFI = id
557 | FromFFI ChildNode ChildNode where fromFFI = Just
559 | export data DocumentOrShadowRoot : Type where [external]
562 | ToFFI DocumentOrShadowRoot DocumentOrShadowRoot where toFFI = id
565 | FromFFI DocumentOrShadowRoot DocumentOrShadowRoot where fromFFI = Just
567 | export data InnerHTML : Type where [external]
570 | ToFFI InnerHTML InnerHTML where toFFI = id
573 | FromFFI InnerHTML InnerHTML where fromFFI = Just
575 | export data NonDocumentTypeChildNode : Type where [external]
578 | ToFFI NonDocumentTypeChildNode NonDocumentTypeChildNode where toFFI = id
581 | FromFFI NonDocumentTypeChildNode NonDocumentTypeChildNode where fromFFI = Just
583 | export data NonElementParentNode : Type where [external]
586 | ToFFI NonElementParentNode NonElementParentNode where toFFI = id
589 | FromFFI NonElementParentNode NonElementParentNode where fromFFI = Just
591 | export data ParentNode : Type where [external]
594 | ToFFI ParentNode ParentNode where toFFI = id
597 | FromFFI ParentNode ParentNode where fromFFI = Just
599 | export data Slottable : Type where [external]
602 | ToFFI Slottable Slottable where toFFI = id
605 | FromFFI Slottable Slottable where fromFFI = Just
607 | export data XPathEvaluatorBase : Type where [external]
610 | ToFFI XPathEvaluatorBase XPathEvaluatorBase where toFFI = id
613 | FromFFI XPathEvaluatorBase XPathEvaluatorBase where fromFFI = Just
620 | export data EventListener : Type where [external]
623 | ToFFI EventListener EventListener where toFFI = id
626 | FromFFI EventListener EventListener where fromFFI = Just
628 | export data MutationCallback : Type where [external]
631 | ToFFI MutationCallback MutationCallback where toFFI = id
634 | FromFFI MutationCallback MutationCallback where fromFFI = Just
636 | export data NodeFilter : Type where [external]
639 | ToFFI NodeFilter NodeFilter where toFFI = id
642 | FromFFI NodeFilter NodeFilter where fromFFI = Just
644 | export data XPathNSResolver : Type where [external]
647 | ToFFI XPathNSResolver XPathNSResolver where toFFI = id
650 | FromFFI XPathNSResolver XPathNSResolver where fromFFI = Just