0 | module Web.Internal.WebidlTypes
 1 |
 2 | import JS
 3 |
 4 | %default total
 5 |
 6 |
 7 |
 8 | --------------------------------------------------------------------------------
 9 | --          Interfaces
10 | --------------------------------------------------------------------------------
11 |
12 | export data DOMException : Type where [external]
13 |
14 | export
15 | ToFFI DOMException DOMException where toFFI = id
16 |
17 | export
18 | FromFFI DOMException DOMException where fromFFI = Just
19 |
20 | export
21 | SafeCast DOMException where
22 |   safeCast = unsafeCastOnPrototypeName "DOMException"
23 |
24 |
25 |
26 |
27 | --------------------------------------------------------------------------------
28 | --          Callbacks
29 | --------------------------------------------------------------------------------
30 |
31 | export data Function : Type where [external]
32 |
33 | export
34 | ToFFI Function Function where toFFI = id
35 |
36 | export
37 | FromFFI Function Function where fromFFI = Just
38 |
39 | export data VoidFunction : Type where [external]
40 |
41 | export
42 | ToFFI VoidFunction VoidFunction where toFFI = id
43 |
44 | export
45 | FromFFI VoidFunction VoidFunction where fromFFI = Just
46 |