0 | module Web.Raw.Xhr

  2 | import JS

  3 | import Web.Internal.XhrPrim

  4 | import Web.Internal.Types

  6 | %default total

 13 | namespace FormData

 15 |   export

 16 |   new' : (form : Optional HTMLFormElement) -> JSIO FormData

 17 |   new' a = primJS $ FormData.prim__new (toFFI a)

 19 |   export

 20 |   new : JSIO FormData

 21 |   new = primJS $ FormData.prim__new undef

 24 |   export

 25 |   append : (obj : FormData) -> (name : String) -> (value : String) -> JSIO ()

 26 |   append a b c = primJS $ FormData.prim__append a b c

 29 |   export

 30 |   append1' :

 31 |        {auto 0 _ : JSType t3}

 32 |     -> {auto 0 _ : Elem Blob (Types t3)}

 33 |     -> (obj : FormData)

 34 |     -> (name : String)

 35 |     -> (blobValue : t3)

 36 |     -> (filename : Optional String)

 37 |     -> JSIO ()

 38 |   append1' a b c d = primJS $ FormData.prim__append1 a b (up c) (toFFI d)

 40 |   export

 41 |   append1 :

 42 |        {auto 0 _ : JSType t3}

 43 |     -> {auto 0 _ : Elem Blob (Types t3)}

 44 |     -> (obj : FormData)

 45 |     -> (name : String)

 46 |     -> (blobValue : t3)

 47 |     -> JSIO ()

 48 |   append1 a b c = primJS $ FormData.prim__append1 a b (up c) undef

 51 |   export

 52 |   delete : (obj : FormData) -> (name : String) -> JSIO ()

 53 |   delete a b = primJS $ FormData.prim__delete a b

 56 |   export

 57 |   getAll :

 58 |        (obj : FormData)

 59 |     -> (name : String)

 60 |     -> JSIO (Array (Union2 File String))

 61 |   getAll a b = primJS $ FormData.prim__getAll a b

 64 |   export

 65 |   get :

 66 |        (obj : FormData)

 67 |     -> (name : String)

 68 |     -> JSIO (Maybe (HSum [File, String]))

 69 |   get a b = tryJS "FormData.get" $ FormData.prim__get a b

 72 |   export

 73 |   has : (obj : FormData) -> (name : String) -> JSIO Bool

 74 |   has a b = tryJS "FormData.has" $ FormData.prim__has a b

 77 |   export

 78 |   set : (obj : FormData) -> (name : String) -> (value : String) -> JSIO ()

 79 |   set a b c = primJS $ FormData.prim__set a b c

 82 |   export

 83 |   set1' :

 84 |        {auto 0 _ : JSType t3}

 85 |     -> {auto 0 _ : Elem Blob (Types t3)}

 86 |     -> (obj : FormData)

 87 |     -> (name : String)

 88 |     -> (blobValue : t3)

 89 |     -> (filename : Optional String)

 90 |     -> JSIO ()

 91 |   set1' a b c d = primJS $ FormData.prim__set1 a b (up c) (toFFI d)

 93 |   export

 94 |   set1 :

 95 |        {auto 0 _ : JSType t3}

 96 |     -> {auto 0 _ : Elem Blob (Types t3)}

 97 |     -> (obj : FormData)

 98 |     -> (name : String)

 99 |     -> (blobValue : t3)

100 |     -> JSIO ()

101 |   set1 a b c = primJS $ FormData.prim__set1 a b (up c) undef

105 | namespace ProgressEvent

107 |   export

108 |   new' :

109 |        {auto 0 _ : JSType t2}

110 |     -> {auto 0 _ : Elem ProgressEventInit (Types t2)}

111 |     -> (type : String)

112 |     -> (eventInitDict : Optional t2)

113 |     -> JSIO ProgressEvent

114 |   new' a b = primJS $ ProgressEvent.prim__new a (optUp b)

116 |   export

117 |   new : (type : String) -> JSIO ProgressEvent

118 |   new a = primJS $ ProgressEvent.prim__new a undef

121 |   export

122 |   lengthComputable : (obj : ProgressEvent) -> JSIO Bool

123 |   lengthComputable a = tryJS "ProgressEvent.lengthComputable" $

124 |     ProgressEvent.prim__lengthComputable a

127 |   export

128 |   loaded : (obj : ProgressEvent) -> JSIO JSBits64

129 |   loaded a = primJS $ ProgressEvent.prim__loaded a

132 |   export

133 |   total_ : (obj : ProgressEvent) -> JSIO JSBits64

134 |   total_ a = primJS $ ProgressEvent.prim__total a

138 | namespace XMLHttpRequest

140 |   public export

141 |   DONE : Bits16

142 |   DONE = 4

145 |   public export

146 |   HEADERS_RECEIVED : Bits16

147 |   HEADERS_RECEIVED = 2

150 |   public export

151 |   LOADING : Bits16

152 |   LOADING = 3

155 |   public export

156 |   OPENED : Bits16

157 |   OPENED = 1

160 |   public export

161 |   UNSENT : Bits16

162 |   UNSENT = 0

165 |   export

166 |   new : JSIO XMLHttpRequest

167 |   new = primJS $ XMLHttpRequest.prim__new

170 |   export

171 |   onreadystatechange :

172 |        XMLHttpRequest

173 |     -> Attribute False Maybe EventHandlerNonNull

174 |   onreadystatechange v = fromNullablePrim

175 |                            "XMLHttpRequest.getonreadystatechange"

176 |                            prim__onreadystatechange

177 |                            prim__setOnreadystatechange

178 |                            v

181 |   export

182 |   readyState : (obj : XMLHttpRequest) -> JSIO Bits16

183 |   readyState a = primJS $ XMLHttpRequest.prim__readyState a

186 |   export

187 |   response : (obj : XMLHttpRequest) -> JSIO Any

188 |   response a = tryJS "XMLHttpRequest.response" $ XMLHttpRequest.prim__response a

191 |   export

192 |   responseText : (obj : XMLHttpRequest) -> JSIO String

193 |   responseText a = primJS $ XMLHttpRequest.prim__responseText a

196 |   export

197 |   responseType :

198 |        XMLHttpRequest

199 |     -> Attribute True Prelude.id XMLHttpRequestResponseType

200 |   responseType v = fromPrim

201 |                      "XMLHttpRequest.getresponseType"

202 |                      prim__responseType

203 |                      prim__setResponseType

204 |                      v

207 |   export

208 |   responseURL : (obj : XMLHttpRequest) -> JSIO String

209 |   responseURL a = primJS $ XMLHttpRequest.prim__responseURL a

212 |   export

213 |   responseXML : (obj : XMLHttpRequest) -> JSIO (Maybe Document)

214 |   responseXML a = tryJS "XMLHttpRequest.responseXML" $

215 |     XMLHttpRequest.prim__responseXML a

218 |   export

219 |   status : (obj : XMLHttpRequest) -> JSIO Bits16

220 |   status a = primJS $ XMLHttpRequest.prim__status a

223 |   export

224 |   statusText : (obj : XMLHttpRequest) -> JSIO ByteString

225 |   statusText a = primJS $ XMLHttpRequest.prim__statusText a

228 |   export

229 |   timeout : XMLHttpRequest -> Attribute True Prelude.id Bits32

230 |   timeout v = fromPrim

231 |                 "XMLHttpRequest.gettimeout"

232 |                 prim__timeout

233 |                 prim__setTimeout

234 |                 v

237 |   export

238 |   upload : (obj : XMLHttpRequest) -> JSIO XMLHttpRequestUpload

239 |   upload a = primJS $ XMLHttpRequest.prim__upload a

242 |   export

243 |   withCredentials : XMLHttpRequest -> Attribute True Prelude.id Bool

244 |   withCredentials v = fromPrim

245 |                         "XMLHttpRequest.getwithCredentials"

246 |                         prim__withCredentials

247 |                         prim__setWithCredentials

248 |                         v

251 |   export

252 |   abort : (obj : XMLHttpRequest) -> JSIO ()

253 |   abort a = primJS $ XMLHttpRequest.prim__abort a

256 |   export

257 |   getAllResponseHeaders : (obj : XMLHttpRequest) -> JSIO ByteString

258 |   getAllResponseHeaders a = primJS $

259 |     XMLHttpRequest.prim__getAllResponseHeaders a

262 |   export

263 |   getResponseHeader :

264 |        (obj : XMLHttpRequest)

265 |     -> (name : ByteString)

266 |     -> JSIO (Maybe ByteString)

267 |   getResponseHeader a b = tryJS "XMLHttpRequest.getResponseHeader" $

268 |     XMLHttpRequest.prim__getResponseHeader a b

271 |   export

272 |   open_ :

273 |        (obj : XMLHttpRequest)

274 |     -> (method : ByteString)

275 |     -> (url : String)

276 |     -> JSIO ()

277 |   open_ a b c = primJS $ XMLHttpRequest.prim__open a b c

280 |   export

281 |   open1' :

282 |        (obj : XMLHttpRequest)

283 |     -> (method : ByteString)

284 |     -> (url : String)

285 |     -> (async : Bool)

286 |     -> (username : Optional (Maybe String))

287 |     -> (password : Optional (Maybe String))

288 |     -> JSIO ()

289 |   open1' a b c d e f = primJS $

290 |     XMLHttpRequest.prim__open1 a b c (toFFI d) (toFFI e) (toFFI f)

292 |   export

293 |   open1 :

294 |        (obj : XMLHttpRequest)

295 |     -> (method : ByteString)

296 |     -> (url : String)

297 |     -> (async : Bool)

298 |     -> JSIO ()

299 |   open1 a b c d = primJS $

300 |     XMLHttpRequest.prim__open1 a b c (toFFI d) undef undef

303 |   export

304 |   overrideMimeType : (obj : XMLHttpRequest) -> (mime : String) -> JSIO ()

305 |   overrideMimeType a b = primJS $ XMLHttpRequest.prim__overrideMimeType a b

308 |   export

309 |   send' :

310 |        (obj : XMLHttpRequest)

311 |     -> (body : Optional

312 |                  (Maybe

313 |                     (HSum

314 |                        [ Document

315 |                        , Blob

316 |                        , Int8Array

317 |                        , Int16Array

318 |                        , Int32Array

319 |                        , UInt8Array

320 |                        , UInt8Array

321 |                        , UInt8Array

322 |                        , UInt8ClampedArray

323 |                        , Float32Array

324 |                        , Float64Array

325 |                        , DataView

326 |                        , ArrayBuffer

327 |                        , FormData

328 |                        , URLSearchParams

329 |                        , String

330 |                        ])))

331 |     -> JSIO ()

332 |   send' a b = primJS $ XMLHttpRequest.prim__send a (toFFI b)

334 |   export

335 |   send : (obj : XMLHttpRequest) -> JSIO ()

336 |   send a = primJS $ XMLHttpRequest.prim__send a undef

339 |   export

340 |   setRequestHeader :

341 |        (obj : XMLHttpRequest)

342 |     -> (name : ByteString)

343 |     -> (value : ByteString)

344 |     -> JSIO ()

345 |   setRequestHeader a b c = primJS $ XMLHttpRequest.prim__setRequestHeader a b c

349 | namespace XMLHttpRequestEventTarget

351 |   export

352 |   onabort :

353 |        {auto 0 _ : JSType t}

354 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

355 |     -> t

356 |     -> Attribute False Maybe EventHandlerNonNull

357 |   onabort v = fromNullablePrim

358 |                 "XMLHttpRequestEventTarget.getonabort"

359 |                 prim__onabort

360 |                 prim__setOnabort

361 |                 (v :> XMLHttpRequestEventTarget)

364 |   export

365 |   onerror :

366 |        {auto 0 _ : JSType t}

367 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

368 |     -> t

369 |     -> Attribute False Maybe EventHandlerNonNull

370 |   onerror v = fromNullablePrim

371 |                 "XMLHttpRequestEventTarget.getonerror"

372 |                 prim__onerror

373 |                 prim__setOnerror

374 |                 (v :> XMLHttpRequestEventTarget)

377 |   export

378 |   onload :

379 |        {auto 0 _ : JSType t}

380 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

381 |     -> t

382 |     -> Attribute False Maybe EventHandlerNonNull

383 |   onload v = fromNullablePrim

384 |                "XMLHttpRequestEventTarget.getonload"

385 |                prim__onload

386 |                prim__setOnload

387 |                (v :> XMLHttpRequestEventTarget)

390 |   export

391 |   onloadend :

392 |        {auto 0 _ : JSType t}

393 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

394 |     -> t

395 |     -> Attribute False Maybe EventHandlerNonNull

396 |   onloadend v = fromNullablePrim

397 |                   "XMLHttpRequestEventTarget.getonloadend"

398 |                   prim__onloadend

399 |                   prim__setOnloadend

400 |                   (v :> XMLHttpRequestEventTarget)

403 |   export

404 |   onloadstart :

405 |        {auto 0 _ : JSType t}

406 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

407 |     -> t

408 |     -> Attribute False Maybe EventHandlerNonNull

409 |   onloadstart v = fromNullablePrim

410 |                     "XMLHttpRequestEventTarget.getonloadstart"

411 |                     prim__onloadstart

412 |                     prim__setOnloadstart

413 |                     (v :> XMLHttpRequestEventTarget)

416 |   export

417 |   onprogress :

418 |        {auto 0 _ : JSType t}

419 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

420 |     -> t

421 |     -> Attribute False Maybe EventHandlerNonNull

422 |   onprogress v = fromNullablePrim

423 |                    "XMLHttpRequestEventTarget.getonprogress"

424 |                    prim__onprogress

425 |                    prim__setOnprogress

426 |                    (v :> XMLHttpRequestEventTarget)

429 |   export

430 |   ontimeout :

431 |        {auto 0 _ : JSType t}

432 |     -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)}

433 |     -> t

434 |     -> Attribute False Maybe EventHandlerNonNull

435 |   ontimeout v = fromNullablePrim

436 |                   "XMLHttpRequestEventTarget.getontimeout"

437 |                   prim__ontimeout

438 |                   prim__setOntimeout

439 |                   (v :> XMLHttpRequestEventTarget)

450 | namespace ProgressEventInit

452 |   export

453 |   new' :

454 |        (lengthComputable : Optional Bool)

455 |     -> (loaded : Optional JSBits64)

456 |     -> (total_ : Optional JSBits64)

457 |     -> JSIO ProgressEventInit

458 |   new' a b c = primJS $

459 |     ProgressEventInit.prim__new (toFFI a) (toFFI b) (toFFI c)

461 |   export

462 |   new : JSIO ProgressEventInit

463 |   new = primJS $ ProgressEventInit.prim__new undef undef undef

466 |   export

467 |   lengthComputable :

468 |        {auto 0 _ : JSType t}

469 |     -> {auto 0 _ : Elem ProgressEventInit (Types t)}

470 |     -> t

471 |     -> Attribute True Optional Bool

472 |   lengthComputable v = fromUndefOrPrim

473 |                          "ProgressEventInit.getlengthComputable"

474 |                          prim__lengthComputable

475 |                          prim__setLengthComputable

476 |                          False

477 |                          (v :> ProgressEventInit)

480 |   export

481 |   loaded :

482 |        {auto 0 _ : JSType t}

483 |     -> {auto 0 _ : Elem ProgressEventInit (Types t)}

484 |     -> t

485 |     -> Attribute True Optional JSBits64

486 |   loaded v = fromUndefOrPrim

487 |                "ProgressEventInit.getloaded"

488 |                prim__loaded

489 |                prim__setLoaded

490 |                0

491 |                (v :> ProgressEventInit)

494 |   export

495 |   total_ :

496 |        {auto 0 _ : JSType t}

497 |     -> {auto 0 _ : Elem ProgressEventInit (Types t)}

498 |     -> t

499 |     -> Attribute True Optional JSBits64

500 |   total_ v = fromUndefOrPrim

501 |                "ProgressEventInit.gettotal"

502 |                prim__total

503 |                prim__setTotal

504 |                0

505 |                (v :> ProgressEventInit)