0 | module Web.Internal.WebidlPrim
 1 |
 2 | import JS
 3 | import Web.Internal.Types
 4 |
 5 | %default total
 6 |
 7 |
 8 | --------------------------------------------------------------------------------
 9 | --          Interfaces
10 | --------------------------------------------------------------------------------
11 |
12 | namespace DOMException
13 |
14 |   export
15 |   %foreign "browser:lambda:(a,b)=> new DOMException(a,b)"
16 |   prim__new : UndefOr String -> UndefOr String -> PrimIO DOMException
17 |
18 |
19 |   export
20 |   %foreign "browser:lambda:x=>x.code"
21 |   prim__code : DOMException -> PrimIO Bits16
22 |
23 |
24 |   export
25 |   %foreign "browser:lambda:x=>x.message"
26 |   prim__message : DOMException -> PrimIO String
27 |
28 |
29 |   export
30 |   %foreign "browser:lambda:x=>x.name"
31 |   prim__name : DOMException -> PrimIO String
32 |
33 |
34 |
35 |
36 |
37 |
38 | --------------------------------------------------------------------------------
39 | --          Callbacks
40 | --------------------------------------------------------------------------------
41 |
42 | namespace Function
43 |
44 |   export
45 |   %foreign "browser:lambda:x=>(a)=>x(a)()"
46 |   prim__toFunction : (IO (Array AnyPtr) -> IO AnyPtr) -> PrimIO Function
47 |
48 |
49 |
50 | namespace VoidFunction
51 |
52 |   export
53 |   %foreign "browser:lambda:x=>()=>x()()"
54 |   prim__toVoidFunction : (() -> IO ()) -> PrimIO VoidFunction
55 |