Sourcetype signal = {
aborted : bool;
onabort : (unit -> unit) option;
reason : string option;
}
Sourcetype abortController = {
signal : signal;
abort : unit -> unit;
}
Sourcetype requestMethod =
| Get
| Head
| Post
| Put
| Delete
| Connect
| Options
| Trace
| Patch
| Other of string
Sourcetype referrerPolicy =
| None
| NoReferrer
| NoReferrerWhenDowngrade
| SameOrigin
| Origin
| StrictOrigin
| OriginWhenCrossOrigin
| StrictOriginWhenCrossOrigin
| UnsafeUrl
Sourcetype requestType =
| None
| Audio
| Font
| Image
| Script
| Style
| Track
| Video
Sourcetype requestDestination =
| None
| Document
| Embed
| Font
| Image
| Manifest
| Media
| Object
| Report
| Script
| ServiceWorker
| SharedWorker
| Style
| Worker
| Xslt
Sourcetype requestMode =
| Navigate
| SameOrigin
| NoCORS
| CORS
Sourcetype requestCredentials =
| Omit
| SameOrigin
| Include
Sourcetype requestCache =
| Default
| NoStore
| Reload
| NoCache
| ForceCache
| OnlyIfCached
Sourcetype requestRedirect =
| Follow
| Error
| Manual