0 | module Web.Raw.Webidl

  2 | import JS

  3 | import Web.Internal.WebidlPrim

  4 | import Web.Internal.Types

  6 | %default total

 13 | namespace DOMException

 15 |   public export

 16 |   ABORT_ERR : Bits16

 17 |   ABORT_ERR = 20

 20 |   public export

 21 |   DATA_CLONE_ERR : Bits16

 22 |   DATA_CLONE_ERR = 25

 25 |   public export

 26 |   DOMSTRING_SIZE_ERR : Bits16

 27 |   DOMSTRING_SIZE_ERR = 2

 30 |   public export

 31 |   HIERARCHY_REQUEST_ERR : Bits16

 32 |   HIERARCHY_REQUEST_ERR = 3

 35 |   public export

 36 |   INDEX_SIZE_ERR : Bits16

 37 |   INDEX_SIZE_ERR = 1

 40 |   public export

 41 |   INUSE_ATTRIBUTE_ERR : Bits16

 42 |   INUSE_ATTRIBUTE_ERR = 10

 45 |   public export

 46 |   INVALID_ACCESS_ERR : Bits16

 47 |   INVALID_ACCESS_ERR = 15

 50 |   public export

 51 |   INVALID_CHARACTER_ERR : Bits16

 52 |   INVALID_CHARACTER_ERR = 5

 55 |   public export

 56 |   INVALID_MODIFICATION_ERR : Bits16

 57 |   INVALID_MODIFICATION_ERR = 13

 60 |   public export

 61 |   INVALID_NODE_TYPE_ERR : Bits16

 62 |   INVALID_NODE_TYPE_ERR = 24

 65 |   public export

 66 |   INVALID_STATE_ERR : Bits16

 67 |   INVALID_STATE_ERR = 11

 70 |   public export

 71 |   NAMESPACE_ERR : Bits16

 72 |   NAMESPACE_ERR = 14

 75 |   public export

 76 |   NETWORK_ERR : Bits16

 77 |   NETWORK_ERR = 19

 80 |   public export

 81 |   NOT_FOUND_ERR : Bits16

 82 |   NOT_FOUND_ERR = 8

 85 |   public export

 86 |   NOT_SUPPORTED_ERR : Bits16

 87 |   NOT_SUPPORTED_ERR = 9

 90 |   public export

 91 |   NO_DATA_ALLOWED_ERR : Bits16

 92 |   NO_DATA_ALLOWED_ERR = 6

 95 |   public export

 96 |   NO_MODIFICATION_ALLOWED_ERR : Bits16

 97 |   NO_MODIFICATION_ALLOWED_ERR = 7

100 |   public export

101 |   QUOTA_EXCEEDED_ERR : Bits16

102 |   QUOTA_EXCEEDED_ERR = 22

105 |   public export

106 |   SECURITY_ERR : Bits16

107 |   SECURITY_ERR = 18

110 |   public export

111 |   SYNTAX_ERR : Bits16

112 |   SYNTAX_ERR = 12

115 |   public export

116 |   TIMEOUT_ERR : Bits16

117 |   TIMEOUT_ERR = 23

120 |   public export

121 |   TYPE_MISMATCH_ERR : Bits16

122 |   TYPE_MISMATCH_ERR = 17

125 |   public export

126 |   URL_MISMATCH_ERR : Bits16

127 |   URL_MISMATCH_ERR = 21

130 |   public export

131 |   VALIDATION_ERR : Bits16

132 |   VALIDATION_ERR = 16

135 |   public export

136 |   WRONG_DOCUMENT_ERR : Bits16

137 |   WRONG_DOCUMENT_ERR = 4

140 |   export

141 |   new' :

142 |        (message : Optional String)

143 |     -> (name : Optional String)

144 |     -> JSIO DOMException

145 |   new' a b = primJS $ DOMException.prim__new (toFFI a) (toFFI b)

147 |   export

148 |   new : JSIO DOMException

149 |   new = primJS $ DOMException.prim__new undef undef

152 |   export

153 |   code :

154 |        {auto 0 _ : JSType t1}

155 |     -> {auto 0 _ : Elem DOMException (Types t1)}

156 |     -> (obj : t1)

157 |     -> JSIO Bits16

158 |   code a = primJS $ DOMException.prim__code (up a)

161 |   export

162 |   message :

163 |        {auto 0 _ : JSType t1}

164 |     -> {auto 0 _ : Elem DOMException (Types t1)}

165 |     -> (obj : t1)

166 |     -> JSIO String

167 |   message a = primJS $ DOMException.prim__message (up a)

170 |   export

171 |   name :

172 |        {auto 0 _ : JSType t1}

173 |     -> {auto 0 _ : Elem DOMException (Types t1)}

174 |     -> (obj : t1)

175 |     -> JSIO String

176 |   name a = primJS $ DOMException.prim__name (up a)

187 | namespace Function

189 |   export

190 |   toFunction : (IO (Array AnyPtr) -> IO AnyPtr) -> JSIO Function

191 |   toFunction cb = primJS $ prim__toFunction cb

195 | namespace VoidFunction

197 |   export

198 |   toVoidFunction : (() -> IO ()) -> JSIO VoidFunction

199 |   toVoidFunction cb = primJS $ prim__toVoidFunction cb