0 | module Web.Internal.FetchPrim
  1 |
  2 | import JS
  3 | import Web.Internal.Types
  4 |
  5 | %default total
  6 |
  7 |
  8 | --------------------------------------------------------------------------------
  9 | --          Interfaces
 10 | --------------------------------------------------------------------------------
 11 |
 12 | namespace Headers
 13 |
 14 |   export
 15 |   %foreign "browser:lambda:(a)=> new Headers(a)"
 16 |   prim__new :
 17 |        UndefOr
 18 |          (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
 19 |     -> PrimIO Headers
 20 |
 21 |
 22 |   export
 23 |   %foreign "browser:lambda:(x,a,b)=>x.append(a,b)"
 24 |   prim__append : Headers -> ByteString -> ByteString -> PrimIO ()
 25 |
 26 |
 27 |   export
 28 |   %foreign "browser:lambda:(x,a)=>x.delete(a)"
 29 |   prim__delete : Headers -> ByteString -> PrimIO ()
 30 |
 31 |
 32 |   export
 33 |   %foreign "browser:lambda:(x,a)=>x.get(a)"
 34 |   prim__get : Headers -> ByteString -> PrimIO (Nullable ByteString)
 35 |
 36 |
 37 |   export
 38 |   %foreign "browser:lambda:(x,a)=>x.has(a)"
 39 |   prim__has : Headers -> ByteString -> PrimIO Boolean
 40 |
 41 |
 42 |   export
 43 |   %foreign "browser:lambda:(x,a,b)=>x.set(a,b)"
 44 |   prim__set : Headers -> ByteString -> ByteString -> PrimIO ()
 45 |
 46 |
 47 |
 48 | namespace Request
 49 |
 50 |   export
 51 |   %foreign "browser:lambda:(a,b)=> new Request(a,b)"
 52 |   prim__new : Union2 Request String -> UndefOr RequestInit -> PrimIO Request
 53 |
 54 |
 55 |   export
 56 |   %foreign "browser:lambda:x=>x.cache"
 57 |   prim__cache : Request -> PrimIO String
 58 |
 59 |
 60 |   export
 61 |   %foreign "browser:lambda:x=>x.credentials"
 62 |   prim__credentials : Request -> PrimIO String
 63 |
 64 |
 65 |   export
 66 |   %foreign "browser:lambda:x=>x.destination"
 67 |   prim__destination : Request -> PrimIO String
 68 |
 69 |
 70 |   export
 71 |   %foreign "browser:lambda:x=>x.headers"
 72 |   prim__headers : Request -> PrimIO Headers
 73 |
 74 |
 75 |   export
 76 |   %foreign "browser:lambda:x=>x.integrity"
 77 |   prim__integrity : Request -> PrimIO String
 78 |
 79 |
 80 |   export
 81 |   %foreign "browser:lambda:x=>x.isHistoryNavigation"
 82 |   prim__isHistoryNavigation : Request -> PrimIO Boolean
 83 |
 84 |
 85 |   export
 86 |   %foreign "browser:lambda:x=>x.isReloadNavigation"
 87 |   prim__isReloadNavigation : Request -> PrimIO Boolean
 88 |
 89 |
 90 |   export
 91 |   %foreign "browser:lambda:x=>x.keepalive"
 92 |   prim__keepalive : Request -> PrimIO Boolean
 93 |
 94 |
 95 |   export
 96 |   %foreign "browser:lambda:x=>x.method"
 97 |   prim__method : Request -> PrimIO ByteString
 98 |
 99 |
100 |   export
101 |   %foreign "browser:lambda:x=>x.mode"
102 |   prim__mode : Request -> PrimIO String
103 |
104 |
105 |   export
106 |   %foreign "browser:lambda:x=>x.redirect"
107 |   prim__redirect : Request -> PrimIO String
108 |
109 |
110 |   export
111 |   %foreign "browser:lambda:x=>x.referrer"
112 |   prim__referrer : Request -> PrimIO String
113 |
114 |
115 |   export
116 |   %foreign "browser:lambda:x=>x.referrerPolicy"
117 |   prim__referrerPolicy : Request -> PrimIO String
118 |
119 |
120 |   export
121 |   %foreign "browser:lambda:x=>x.signal"
122 |   prim__signal : Request -> PrimIO AbortSignal
123 |
124 |
125 |   export
126 |   %foreign "browser:lambda:x=>x.url"
127 |   prim__url : Request -> PrimIO String
128 |
129 |
130 |   export
131 |   %foreign "browser:lambda:x=>x.clone()"
132 |   prim__clone : Request -> PrimIO Request
133 |
134 |
135 |
136 | namespace Response
137 |
138 |   export
139 |   %foreign "browser:lambda:(a,b)=> new Response(a,b)"
140 |   prim__new :
141 |        UndefOr
142 |          (Nullable
143 |             (Union16
144 |                ReadableStream
145 |                Blob
146 |                Int8Array
147 |                Int16Array
148 |                Int32Array
149 |                UInt8Array
150 |                UInt8Array
151 |                UInt8Array
152 |                UInt8ClampedArray
153 |                Float32Array
154 |                Float64Array
155 |                DataView
156 |                ArrayBuffer
157 |                FormData
158 |                URLSearchParams
159 |                String))
160 |     -> UndefOr ResponseInit
161 |     -> PrimIO Response
162 |
163 |
164 |   export
165 |   %foreign "browser:lambda:x=>x.error()"
166 |   prim__error : PrimIO Response
167 |
168 |
169 |   export
170 |   %foreign "browser:lambda:(a,b)=>Response.redirect(a,b)"
171 |   prim__redirect : String -> UndefOr Bits16 -> PrimIO Response
172 |
173 |
174 |   export
175 |   %foreign "browser:lambda:x=>x.headers"
176 |   prim__headers : Response -> PrimIO Headers
177 |
178 |
179 |   export
180 |   %foreign "browser:lambda:x=>x.ok"
181 |   prim__ok : Response -> PrimIO Boolean
182 |
183 |
184 |   export
185 |   %foreign "browser:lambda:x=>x.redirected"
186 |   prim__redirected : Response -> PrimIO Boolean
187 |
188 |
189 |   export
190 |   %foreign "browser:lambda:x=>x.status"
191 |   prim__status : Response -> PrimIO Bits16
192 |
193 |
194 |   export
195 |   %foreign "browser:lambda:x=>x.statusText"
196 |   prim__statusText : Response -> PrimIO ByteString
197 |
198 |
199 |   export
200 |   %foreign "browser:lambda:x=>x.type"
201 |   prim__type : Response -> PrimIO String
202 |
203 |
204 |   export
205 |   %foreign "browser:lambda:x=>x.url"
206 |   prim__url : Response -> PrimIO String
207 |
208 |
209 |   export
210 |   %foreign "browser:lambda:x=>x.clone()"
211 |   prim__clone : Response -> PrimIO Response
212 |
213 |
214 |
215 |
216 | --------------------------------------------------------------------------------
217 | --          Mixins
218 | --------------------------------------------------------------------------------
219 |
220 | namespace Body
221 |
222 |   export
223 |   %foreign "browser:lambda:x=>x.body"
224 |   prim__body : Body -> PrimIO (Nullable ReadableStream)
225 |
226 |
227 |   export
228 |   %foreign "browser:lambda:x=>x.bodyUsed"
229 |   prim__bodyUsed : Body -> PrimIO Boolean
230 |
231 |
232 |   export
233 |   %foreign "browser:lambda:x=>x.arrayBuffer()"
234 |   prim__arrayBuffer : Body -> PrimIO (Promise ArrayBuffer)
235 |
236 |
237 |   export
238 |   %foreign "browser:lambda:x=>x.blob()"
239 |   prim__blob : Body -> PrimIO (Promise Blob)
240 |
241 |
242 |   export
243 |   %foreign "browser:lambda:x=>x.formData()"
244 |   prim__formData : Body -> PrimIO (Promise FormData)
245 |
246 |
247 |   export
248 |   %foreign "browser:lambda:x=>x.json()"
249 |   prim__json : Body -> PrimIO (Promise AnyPtr)
250 |
251 |
252 |   export
253 |   %foreign "browser:lambda:x=>x.text()"
254 |   prim__text : Body -> PrimIO (Promise String)
255 |
256 |
257 |
258 |
259 | --------------------------------------------------------------------------------
260 | --          Dictionaries
261 | --------------------------------------------------------------------------------
262 |
263 | namespace RequestInit
264 |
265 |   export
266 |   %foreign "browser:lambda:(a,b,c,d,e,f,g,h,i,j,k,l,m)=> ({method: a,headers: b,body: c,referrer: d,referrerPolicy: e,mode: f,credentials: g,cache: h,redirect: i,integrity: j,keepalive: k,signal: l,window: m})"
267 |   prim__new :
268 |        UndefOr ByteString
269 |     -> UndefOr (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
270 |     -> UndefOr
271 |          (Nullable
272 |             (Union16
273 |                ReadableStream
274 |                Blob
275 |                Int8Array
276 |                Int16Array
277 |                Int32Array
278 |                UInt8Array
279 |                UInt8Array
280 |                UInt8Array
281 |                UInt8ClampedArray
282 |                Float32Array
283 |                Float64Array
284 |                DataView
285 |                ArrayBuffer
286 |                FormData
287 |                URLSearchParams
288 |                String))
289 |     -> UndefOr String
290 |     -> UndefOr String
291 |     -> UndefOr String
292 |     -> UndefOr String
293 |     -> UndefOr String
294 |     -> UndefOr String
295 |     -> UndefOr String
296 |     -> UndefOr Boolean
297 |     -> UndefOr (Nullable AbortSignal)
298 |     -> UndefOr AnyPtr
299 |     -> PrimIO RequestInit
300 |
301 |
302 |   export
303 |   %foreign "browser:lambda:x=>x.body"
304 |   prim__body :
305 |        RequestInit
306 |     -> PrimIO
307 |          (UndefOr
308 |             (Nullable
309 |                (Union16
310 |                   ReadableStream
311 |                   Blob
312 |                   Int8Array
313 |                   Int16Array
314 |                   Int32Array
315 |                   UInt8Array
316 |                   UInt8Array
317 |                   UInt8Array
318 |                   UInt8ClampedArray
319 |                   Float32Array
320 |                   Float64Array
321 |                   DataView
322 |                   ArrayBuffer
323 |                   FormData
324 |                   URLSearchParams
325 |                   String)))
326 |
327 |
328 |
329 |   export
330 |   %foreign "browser:lambda:(x,v)=>{x.body = v}"
331 |   prim__setBody :
332 |        RequestInit
333 |     -> UndefOr
334 |          (Nullable
335 |             (Union16
336 |                ReadableStream
337 |                Blob
338 |                Int8Array
339 |                Int16Array
340 |                Int32Array
341 |                UInt8Array
342 |                UInt8Array
343 |                UInt8Array
344 |                UInt8ClampedArray
345 |                Float32Array
346 |                Float64Array
347 |                DataView
348 |                ArrayBuffer
349 |                FormData
350 |                URLSearchParams
351 |                String))
352 |     -> PrimIO ()
353 |
354 |
355 |
356 |   export
357 |   %foreign "browser:lambda:x=>x.cache"
358 |   prim__cache : RequestInit -> PrimIO (UndefOr String)
359 |
360 |
361 |
362 |   export
363 |   %foreign "browser:lambda:(x,v)=>{x.cache = v}"
364 |   prim__setCache : RequestInit -> UndefOr String -> PrimIO ()
365 |
366 |
367 |
368 |   export
369 |   %foreign "browser:lambda:x=>x.credentials"
370 |   prim__credentials : RequestInit -> PrimIO (UndefOr String)
371 |
372 |
373 |
374 |   export
375 |   %foreign "browser:lambda:(x,v)=>{x.credentials = v}"
376 |   prim__setCredentials : RequestInit -> UndefOr String -> PrimIO ()
377 |
378 |
379 |
380 |   export
381 |   %foreign "browser:lambda:x=>x.headers"
382 |   prim__headers :
383 |        RequestInit
384 |     -> PrimIO
385 |          (UndefOr
386 |             (Union2 (Array (Array ByteString)) (Record ByteString ByteString)))
387 |
388 |
389 |
390 |   export
391 |   %foreign "browser:lambda:(x,v)=>{x.headers = v}"
392 |   prim__setHeaders :
393 |        RequestInit
394 |     -> UndefOr
395 |          (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
396 |     -> PrimIO ()
397 |
398 |
399 |
400 |   export
401 |   %foreign "browser:lambda:x=>x.integrity"
402 |   prim__integrity : RequestInit -> PrimIO (UndefOr String)
403 |
404 |
405 |
406 |   export
407 |   %foreign "browser:lambda:(x,v)=>{x.integrity = v}"
408 |   prim__setIntegrity : RequestInit -> UndefOr String -> PrimIO ()
409 |
410 |
411 |
412 |   export
413 |   %foreign "browser:lambda:x=>x.keepalive"
414 |   prim__keepalive : RequestInit -> PrimIO (UndefOr Boolean)
415 |
416 |
417 |
418 |   export
419 |   %foreign "browser:lambda:(x,v)=>{x.keepalive = v}"
420 |   prim__setKeepalive : RequestInit -> UndefOr Boolean -> PrimIO ()
421 |
422 |
423 |
424 |   export
425 |   %foreign "browser:lambda:x=>x.method"
426 |   prim__method : RequestInit -> PrimIO (UndefOr ByteString)
427 |
428 |
429 |
430 |   export
431 |   %foreign "browser:lambda:(x,v)=>{x.method = v}"
432 |   prim__setMethod : RequestInit -> UndefOr ByteString -> PrimIO ()
433 |
434 |
435 |
436 |   export
437 |   %foreign "browser:lambda:x=>x.mode"
438 |   prim__mode : RequestInit -> PrimIO (UndefOr String)
439 |
440 |
441 |
442 |   export
443 |   %foreign "browser:lambda:(x,v)=>{x.mode = v}"
444 |   prim__setMode : RequestInit -> UndefOr String -> PrimIO ()
445 |
446 |
447 |
448 |   export
449 |   %foreign "browser:lambda:x=>x.redirect"
450 |   prim__redirect : RequestInit -> PrimIO (UndefOr String)
451 |
452 |
453 |
454 |   export
455 |   %foreign "browser:lambda:(x,v)=>{x.redirect = v}"
456 |   prim__setRedirect : RequestInit -> UndefOr String -> PrimIO ()
457 |
458 |
459 |
460 |   export
461 |   %foreign "browser:lambda:x=>x.referrer"
462 |   prim__referrer : RequestInit -> PrimIO (UndefOr String)
463 |
464 |
465 |
466 |   export
467 |   %foreign "browser:lambda:(x,v)=>{x.referrer = v}"
468 |   prim__setReferrer : RequestInit -> UndefOr String -> PrimIO ()
469 |
470 |
471 |
472 |   export
473 |   %foreign "browser:lambda:x=>x.referrerPolicy"
474 |   prim__referrerPolicy : RequestInit -> PrimIO (UndefOr String)
475 |
476 |
477 |
478 |   export
479 |   %foreign "browser:lambda:(x,v)=>{x.referrerPolicy = v}"
480 |   prim__setReferrerPolicy : RequestInit -> UndefOr String -> PrimIO ()
481 |
482 |
483 |
484 |   export
485 |   %foreign "browser:lambda:x=>x.signal"
486 |   prim__signal : RequestInit -> PrimIO (UndefOr (Nullable AbortSignal))
487 |
488 |
489 |
490 |   export
491 |   %foreign "browser:lambda:(x,v)=>{x.signal = v}"
492 |   prim__setSignal : RequestInit -> UndefOr (Nullable AbortSignal) -> PrimIO ()
493 |
494 |
495 |
496 |   export
497 |   %foreign "browser:lambda:x=>x.window"
498 |   prim__window : RequestInit -> PrimIO (UndefOr AnyPtr)
499 |
500 |
501 |
502 |   export
503 |   %foreign "browser:lambda:(x,v)=>{x.window = v}"
504 |   prim__setWindow : RequestInit -> UndefOr AnyPtr -> PrimIO ()
505 |
506 |
507 |
508 |
509 | namespace ResponseInit
510 |
511 |   export
512 |   %foreign "browser:lambda:(a,b,c)=> ({status: a,statusText: b,headers: c})"
513 |   prim__new :
514 |        UndefOr Bits16
515 |     -> UndefOr ByteString
516 |     -> UndefOr
517 |          (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
518 |     -> PrimIO ResponseInit
519 |
520 |
521 |   export
522 |   %foreign "browser:lambda:x=>x.headers"
523 |   prim__headers :
524 |        ResponseInit
525 |     -> PrimIO
526 |          (UndefOr
527 |             (Union2 (Array (Array ByteString)) (Record ByteString ByteString)))
528 |
529 |
530 |
531 |   export
532 |   %foreign "browser:lambda:(x,v)=>{x.headers = v}"
533 |   prim__setHeaders :
534 |        ResponseInit
535 |     -> UndefOr
536 |          (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
537 |     -> PrimIO ()
538 |
539 |
540 |
541 |   export
542 |   %foreign "browser:lambda:x=>x.status"
543 |   prim__status : ResponseInit -> PrimIO (UndefOr Bits16)
544 |
545 |
546 |
547 |   export
548 |   %foreign "browser:lambda:(x,v)=>{x.status = v}"
549 |   prim__setStatus : ResponseInit -> UndefOr Bits16 -> PrimIO ()
550 |
551 |
552 |
553 |   export
554 |   %foreign "browser:lambda:x=>x.statusText"
555 |   prim__statusText : ResponseInit -> PrimIO (UndefOr ByteString)
556 |
557 |
558 |
559 |   export
560 |   %foreign "browser:lambda:(x,v)=>{x.statusText = v}"
561 |   prim__setStatusText : ResponseInit -> UndefOr ByteString -> PrimIO ()
562 |