
   0 | module Web.Internal.XhrPrim
   1 | 
   2 | import JS
   3 | import Web.Internal.Types
   4 | 
   5 | %default total
   6 | 
   7 | 
   8 | --------------------------------------------------------------------------------
   9 | --          Interfaces
  10 | --------------------------------------------------------------------------------
  11 | 
  12 | namespace FormData
  13 | 
  14 |   export
  15 |   %foreign "browser:lambda:(a)=> new FormData(a)"
  16 |   prim__new : UndefOr HTMLFormElement -> PrimIO FormData
  17 | 
  18 | 
  19 |   export
  20 |   %foreign "browser:lambda:(x,a,b)=>x.append(a,b)"
  21 |   prim__append : FormData -> String -> String -> PrimIO ()
  22 | 
  23 | 
  24 |   export
  25 |   %foreign "browser:lambda:(x,a,b,c)=>x.append(a,b,c)"
  26 |   prim__append1 : FormData -> String -> Blob -> UndefOr String -> PrimIO ()
  27 | 
  28 | 
  29 |   export
  30 |   %foreign "browser:lambda:(x,a)=>x.delete(a)"
  31 |   prim__delete : FormData -> String -> PrimIO ()
  32 | 
  33 | 
  34 |   export
  35 |   %foreign "browser:lambda:(x,a)=>x.getAll(a)"
  36 |   prim__getAll : FormData -> String -> PrimIO (Array (Union2 File String))
  37 | 
  38 | 
  39 |   export
  40 |   %foreign "browser:lambda:(x,a)=>x.get(a)"
  41 |   prim__get : FormData -> String -> PrimIO (Nullable (Union2 File String))
  42 | 
  43 | 
  44 |   export
  45 |   %foreign "browser:lambda:(x,a)=>x.has(a)"
  46 |   prim__has : FormData -> String -> PrimIO Boolean
  47 | 
  48 | 
  49 |   export
  50 |   %foreign "browser:lambda:(x,a,b)=>x.set(a,b)"
  51 |   prim__set : FormData -> String -> String -> PrimIO ()
  52 | 
  53 | 
  54 |   export
  55 |   %foreign "browser:lambda:(x,a,b,c)=>x.set(a,b,c)"
  56 |   prim__set1 : FormData -> String -> Blob -> UndefOr String -> PrimIO ()
  57 | 
  58 | 
  59 | 
  60 | namespace ProgressEvent
  61 | 
  62 |   export
  63 |   %foreign "browser:lambda:(a,b)=> new ProgressEvent(a,b)"
  64 |   prim__new : String -> UndefOr ProgressEventInit -> PrimIO ProgressEvent
  65 | 
  66 | 
  67 |   export
  68 |   %foreign "browser:lambda:x=>x.lengthComputable"
  69 |   prim__lengthComputable : ProgressEvent -> PrimIO Boolean
  70 | 
  71 | 
  72 |   export
  73 |   %foreign "browser:lambda:x=>x.loaded"
  74 |   prim__loaded : ProgressEvent -> PrimIO JSBits64
  75 | 
  76 | 
  77 |   export
  78 |   %foreign "browser:lambda:x=>x.total"
  79 |   prim__total : ProgressEvent -> PrimIO JSBits64
  80 | 
  81 | 
  82 | 
  83 | namespace XMLHttpRequest
  84 | 
  85 |   export
  86 |   %foreign "browser:lambda:()=> new XMLHttpRequest()"
  87 |   prim__new : PrimIO XMLHttpRequest
  88 | 
  89 | 
  90 |   export
  91 |   %foreign "browser:lambda:x=>x.onreadystatechange"
  92 |   prim__onreadystatechange :
  93 |        XMLHttpRequest
  94 |     -> PrimIO (Nullable EventHandlerNonNull)
  95 | 
  96 | 
  97 | 
  98 |   export
  99 |   %foreign "browser:lambda:(x,v)=>{x.onreadystatechange = v}"
 100 |   prim__setOnreadystatechange :
 101 |        XMLHttpRequest
 102 |     -> Nullable EventHandlerNonNull
 103 |     -> PrimIO ()
 104 | 
 105 | 
 106 | 
 107 |   export
 108 |   %foreign "browser:lambda:x=>x.readyState"
 109 |   prim__readyState : XMLHttpRequest -> PrimIO Bits16
 110 | 
 111 | 
 112 |   export
 113 |   %foreign "browser:lambda:x=>x.response"
 114 |   prim__response : XMLHttpRequest -> PrimIO AnyPtr
 115 | 
 116 | 
 117 |   export
 118 |   %foreign "browser:lambda:x=>x.responseText"
 119 |   prim__responseText : XMLHttpRequest -> PrimIO String
 120 | 
 121 | 
 122 |   export
 123 |   %foreign "browser:lambda:x=>x.responseType"
 124 |   prim__responseType : XMLHttpRequest -> PrimIO String
 125 | 
 126 | 
 127 | 
 128 |   export
 129 |   %foreign "browser:lambda:(x,v)=>{x.responseType = v}"
 130 |   prim__setResponseType : XMLHttpRequest -> String -> PrimIO ()
 131 | 
 132 | 
 133 | 
 134 |   export
 135 |   %foreign "browser:lambda:x=>x.responseURL"
 136 |   prim__responseURL : XMLHttpRequest -> PrimIO String
 137 | 
 138 | 
 139 |   export
 140 |   %foreign "browser:lambda:x=>x.responseXML"
 141 |   prim__responseXML : XMLHttpRequest -> PrimIO (Nullable Document)
 142 | 
 143 | 
 144 |   export
 145 |   %foreign "browser:lambda:x=>x.status"
 146 |   prim__status : XMLHttpRequest -> PrimIO Bits16
 147 | 
 148 | 
 149 |   export
 150 |   %foreign "browser:lambda:x=>x.statusText"
 151 |   prim__statusText : XMLHttpRequest -> PrimIO ByteString
 152 | 
 153 | 
 154 |   export
 155 |   %foreign "browser:lambda:x=>x.timeout"
 156 |   prim__timeout : XMLHttpRequest -> PrimIO Bits32
 157 | 
 158 | 
 159 | 
 160 |   export
 161 |   %foreign "browser:lambda:(x,v)=>{x.timeout = v}"
 162 |   prim__setTimeout : XMLHttpRequest -> Bits32 -> PrimIO ()
 163 | 
 164 | 
 165 | 
 166 |   export
 167 |   %foreign "browser:lambda:x=>x.upload"
 168 |   prim__upload : XMLHttpRequest -> PrimIO XMLHttpRequestUpload
 169 | 
 170 | 
 171 |   export
 172 |   %foreign "browser:lambda:x=>x.withCredentials"
 173 |   prim__withCredentials : XMLHttpRequest -> PrimIO Boolean
 174 | 
 175 | 
 176 | 
 177 |   export
 178 |   %foreign "browser:lambda:(x,v)=>{x.withCredentials = v}"
 179 |   prim__setWithCredentials : XMLHttpRequest -> Boolean -> PrimIO ()
 180 | 
 181 | 
 182 | 
 183 |   export
 184 |   %foreign "browser:lambda:x=>x.abort()"
 185 |   prim__abort : XMLHttpRequest -> PrimIO ()
 186 | 
 187 | 
 188 |   export
 189 |   %foreign "browser:lambda:x=>x.getAllResponseHeaders()"
 190 |   prim__getAllResponseHeaders : XMLHttpRequest -> PrimIO ByteString
 191 | 
 192 | 
 193 |   export
 194 |   %foreign "browser:lambda:(x,a)=>x.getResponseHeader(a)"
 195 |   prim__getResponseHeader :
 196 |        XMLHttpRequest
 197 |     -> ByteString
 198 |     -> PrimIO (Nullable ByteString)
 199 | 
 200 | 
 201 |   export
 202 |   %foreign "browser:lambda:(x,a,b)=>x.open(a,b)"
 203 |   prim__open : XMLHttpRequest -> ByteString -> String -> PrimIO ()
 204 | 
 205 | 
 206 |   export
 207 |   %foreign "browser:lambda:(x,a,b,c,d,e)=>x.open(a,b,c,d,e)"
 208 |   prim__open1 :
 209 |        XMLHttpRequest
 210 |     -> ByteString
 211 |     -> String
 212 |     -> Boolean
 213 |     -> UndefOr (Nullable String)
 214 |     -> UndefOr (Nullable String)
 215 |     -> PrimIO ()
 216 | 
 217 | 
 218 |   export
 219 |   %foreign "browser:lambda:(x,a)=>x.overrideMimeType(a)"
 220 |   prim__overrideMimeType : XMLHttpRequest -> String -> PrimIO ()
 221 | 
 222 | 
 223 |   export
 224 |   %foreign "browser:lambda:(x,a)=>x.send(a)"
 225 |   prim__send :
 226 |        XMLHttpRequest
 227 |     -> UndefOr
 228 |          (Nullable
 229 |             (Union16
 230 |                Document
 231 |                Blob
 232 |                Int8Array
 233 |                Int16Array
 234 |                Int32Array
 235 |                UInt8Array
 236 |                UInt8Array
 237 |                UInt8Array
 238 |                UInt8ClampedArray
 239 |                Float32Array
 240 |                Float64Array
 241 |                DataView
 242 |                ArrayBuffer
 243 |                FormData
 244 |                URLSearchParams
 245 |                String))
 246 |     -> PrimIO ()
 247 | 
 248 | 
 249 |   export
 250 |   %foreign "browser:lambda:(x,a,b)=>x.setRequestHeader(a,b)"
 251 |   prim__setRequestHeader :
 252 |        XMLHttpRequest
 253 |     -> ByteString
 254 |     -> ByteString
 255 |     -> PrimIO ()
 256 | 
 257 | 
 258 | 
 259 | namespace XMLHttpRequestEventTarget
 260 | 
 261 |   export
 262 |   %foreign "browser:lambda:x=>x.onabort"
 263 |   prim__onabort :
 264 |        XMLHttpRequestEventTarget
 265 |     -> PrimIO (Nullable EventHandlerNonNull)
 266 | 
 267 | 
 268 | 
 269 |   export
 270 |   %foreign "browser:lambda:(x,v)=>{x.onabort = v}"
 271 |   prim__setOnabort :
 272 |        XMLHttpRequestEventTarget
 273 |     -> Nullable EventHandlerNonNull
 274 |     -> PrimIO ()
 275 | 
 276 | 
 277 | 
 278 |   export
 279 |   %foreign "browser:lambda:x=>x.onerror"
 280 |   prim__onerror :
 281 |        XMLHttpRequestEventTarget
 282 |     -> PrimIO (Nullable EventHandlerNonNull)
 283 | 
 284 | 
 285 | 
 286 |   export
 287 |   %foreign "browser:lambda:(x,v)=>{x.onerror = v}"
 288 |   prim__setOnerror :
 289 |        XMLHttpRequestEventTarget
 290 |     -> Nullable EventHandlerNonNull
 291 |     -> PrimIO ()
 292 | 
 293 | 
 294 | 
 295 |   export
 296 |   %foreign "browser:lambda:x=>x.onload"
 297 |   prim__onload :
 298 |        XMLHttpRequestEventTarget
 299 |     -> PrimIO (Nullable EventHandlerNonNull)
 300 | 
 301 | 
 302 | 
 303 |   export
 304 |   %foreign "browser:lambda:(x,v)=>{x.onload = v}"
 305 |   prim__setOnload :
 306 |        XMLHttpRequestEventTarget
 307 |     -> Nullable EventHandlerNonNull
 308 |     -> PrimIO ()
 309 | 
 310 | 
 311 | 
 312 |   export
 313 |   %foreign "browser:lambda:x=>x.onloadend"
 314 |   prim__onloadend :
 315 |        XMLHttpRequestEventTarget
 316 |     -> PrimIO (Nullable EventHandlerNonNull)
 317 | 
 318 | 
 319 | 
 320 |   export
 321 |   %foreign "browser:lambda:(x,v)=>{x.onloadend = v}"
 322 |   prim__setOnloadend :
 323 |        XMLHttpRequestEventTarget
 324 |     -> Nullable EventHandlerNonNull
 325 |     -> PrimIO ()
 326 | 
 327 | 
 328 | 
 329 |   export
 330 |   %foreign "browser:lambda:x=>x.onloadstart"
 331 |   prim__onloadstart :
 332 |        XMLHttpRequestEventTarget
 333 |     -> PrimIO (Nullable EventHandlerNonNull)
 334 | 
 335 | 
 336 | 
 337 |   export
 338 |   %foreign "browser:lambda:(x,v)=>{x.onloadstart = v}"
 339 |   prim__setOnloadstart :
 340 |        XMLHttpRequestEventTarget
 341 |     -> Nullable EventHandlerNonNull
 342 |     -> PrimIO ()
 343 | 
 344 | 
 345 | 
 346 |   export
 347 |   %foreign "browser:lambda:x=>x.onprogress"
 348 |   prim__onprogress :
 349 |        XMLHttpRequestEventTarget
 350 |     -> PrimIO (Nullable EventHandlerNonNull)
 351 | 
 352 | 
 353 | 
 354 |   export
 355 |   %foreign "browser:lambda:(x,v)=>{x.onprogress = v}"
 356 |   prim__setOnprogress :
 357 |        XMLHttpRequestEventTarget
 358 |     -> Nullable EventHandlerNonNull
 359 |     -> PrimIO ()
 360 | 
 361 | 
 362 | 
 363 |   export
 364 |   %foreign "browser:lambda:x=>x.ontimeout"
 365 |   prim__ontimeout :
 366 |        XMLHttpRequestEventTarget
 367 |     -> PrimIO (Nullable EventHandlerNonNull)
 368 | 
 369 | 
 370 | 
 371 |   export
 372 |   %foreign "browser:lambda:(x,v)=>{x.ontimeout = v}"
 373 |   prim__setOntimeout :
 374 |        XMLHttpRequestEventTarget
 375 |     -> Nullable EventHandlerNonNull
 376 |     -> PrimIO ()
 377 | 
 378 | 
 379 | 
 380 | 
 381 | 
 382 | 
 383 | 
 384 | --------------------------------------------------------------------------------
 385 | --          Dictionaries
 386 | --------------------------------------------------------------------------------
 387 | 
 388 | namespace ProgressEventInit
 389 | 
 390 |   export
 391 |   %foreign "browser:lambda:(a,b,c)=> ({lengthComputable: a,loaded: b,total: c})"
 392 |   prim__new :
 393 |        UndefOr Boolean
 394 |     -> UndefOr JSBits64
 395 |     -> UndefOr JSBits64
 396 |     -> PrimIO ProgressEventInit
 397 | 
 398 | 
 399 |   export
 400 |   %foreign "browser:lambda:x=>x.lengthComputable"
 401 |   prim__lengthComputable : ProgressEventInit -> PrimIO (UndefOr Boolean)
 402 | 
 403 | 
 404 | 
 405 |   export
 406 |   %foreign "browser:lambda:(x,v)=>{x.lengthComputable = v}"
 407 |   prim__setLengthComputable : ProgressEventInit -> UndefOr Boolean -> PrimIO ()
 408 | 
 409 | 
 410 | 
 411 |   export
 412 |   %foreign "browser:lambda:x=>x.loaded"
 413 |   prim__loaded : ProgressEventInit -> PrimIO (UndefOr JSBits64)
 414 | 
 415 | 
 416 | 
 417 |   export
 418 |   %foreign "browser:lambda:(x,v)=>{x.loaded = v}"
 419 |   prim__setLoaded : ProgressEventInit -> UndefOr JSBits64 -> PrimIO ()
 420 | 
 421 | 
 422 | 
 423 |   export
 424 |   %foreign "browser:lambda:x=>x.total"
 425 |   prim__total : ProgressEventInit -> PrimIO (UndefOr JSBits64)
 426 | 
 427 | 
 428 | 
 429 |   export
 430 |   %foreign "browser:lambda:(x,v)=>{x.total = v}"
 431 |   prim__setTotal : ProgressEventInit -> UndefOr JSBits64 -> PrimIO ()
 432 |