@nfdi4plants/arctrl 1.0.0-alpha10

package/fable_modules/Fable.Fetch.2.6.0/Fetch.fs

@@ -0,0 +1,469 @@
+/// The Fetch API provides a JavaScript interface for accessing and manipulating parts of the HTTP pipeline, such as requests and responses.
+/// It also provides a global fetch() method that provides an easy, logical way to fetch resources asynchronously across the network.
+module Fetch
+
+#nowarn "1182" // Unused values
+
+open System
+open Fable.Core
+open Fable.Core.JsInterop
+open Browser.Types
+
+[<AutoOpen>]
+module Types =
+    [<StringEnum; RequireQualifiedAccess>]
+    type RequestDestination =
+        | [<CompiledName("")>] Empty
+        | Audio
+        | [<CompiledName("audioworklet")>] AudioWorklet
+        | Document
+        | Embed
+        | Font
+        | Frame
+        | Iframe
+        | Image
+        | Manifest
+        | Object
+        | [<CompiledName("paintworklet")>] PaintWorklet
+        | Report
+        | Script
+        | [<CompiledName("sharedworker")>] SharedWorker
+        | Style
+        | Track
+        | Video
+        | Worker
+        | [<CompiledName("xslt")>] XSLT
+
+    type Body =
+        abstract bodyUsed: bool with get, set
+        abstract arrayBuffer: unit -> JS.Promise<JS.ArrayBuffer>
+        abstract blob: unit -> JS.Promise<Blob>
+        abstract formData: unit -> JS.Promise<FormData>
+        abstract json : unit -> JS.Promise<obj>
+        abstract json<'T> : unit -> JS.Promise<'T>
+        abstract text : unit -> JS.Promise<string>
+
+    and Request = //(input: U2<string, Request>, ?init: RequestInit) =
+        inherit Body
+        abstract ``method`` : string with get
+        abstract url: string with get
+        abstract headers: Headers with get
+        abstract destination : RequestDestination with get
+        abstract referrer: string with get
+        abstract referrerPolicy: ReferrerPolicy with get
+        abstract mode: U2<string,RequestMode> with get
+        abstract credentials: U2<string,RequestCredentials> with get
+        abstract cache: U2<string,RequestCache> with get
+        abstract redirect: RedirectMode with get
+        abstract integrity: string with get
+        abstract keepalive: bool with get
+        abstract isReloadNavigation: bool with get
+        abstract isHistoryNavigation: bool with get
+        abstract clone: unit -> Request
+
+    and RequestInit =
+        abstract ``method``: string option with get, set
+        abstract headers: HeaderInit option with get, set
+        abstract body: BodyInit option with get, set
+        abstract referrer: string with get, set
+        abstract referrerPolicy: ReferrerPolicy with get, set
+        abstract mode: RequestMode option with get, set
+        abstract credentials: RequestCredentials option with get, set
+        abstract cache: RequestCache option with get, set
+        abstract redirect: RedirectMode with get, set
+        abstract integrity: string with get, set
+        abstract keepalive: bool with get, set
+
+    and [<StringEnum; RequireQualifiedAccess>] RequestContext =
+        | Audio | Beacon | Cspreport | Download | Embed | Eventsource | Favicon | Fetch | Font
+        | Form | Frame | Hyperlink | Iframe | Image | Imageset | Import | Internal | Location
+        | Manifest | Object | Ping | Plugin | Prefetch | Script | Serviceworker | Sharedworker
+        | Subresource | Style | Track | Video | Worker | Xmlhttprequest | Xslt
+
+    and [<StringEnum; RequireQualifiedAccess>] RequestMode =
+        | [<CompiledName("same-origin")>]Sameorigin | [<CompiledName("no-cors")>]Nocors | Cors
+
+    and [<StringEnum; RequireQualifiedAccess>] RequestCredentials =
+        Omit | [<CompiledName("same-origin")>]Sameorigin | Include
+
+    and [<StringEnum; RequireQualifiedAccess>] RequestCache =
+        | Default
+        | [<CompiledName("no-store")>]Nostore
+        | Reload
+        | [<CompiledName("no-cache")>]Nocache
+        | [<CompiledName("force-cache")>]Forcecache
+        | [<CompiledName("only-if-cached")>]Onlyifcached
+
+    and [<StringEnum; RequireQualifiedAccess>] RedirectMode =
+        | Follow | Error | Manual
+
+    and [<StringEnum; RequireQualifiedAccess>] ReferrerPolicy =
+        | [<CompiledName("no-referrer")>]NoReferrer
+        | [<CompiledName("no-referrer-when-downgrade")>]NoReferrerWhenDowngrade
+        | Origin
+        | [<CompiledName("origin-when-cross-origin")>]OriginWhenCrossOrigin
+        | [<CompiledName("unsafe-url")>]UnsafeUrl
+
+    and Headers =
+        abstract append : string * string -> unit
+        abstract delete : string -> unit
+        abstract get : string -> string
+        abstract getAll : string -> string[]
+        abstract has : string -> bool
+        abstract set : string * string -> unit
+
+        /// Specifying which web sites can participate in cross-origin resource sharing
+        [<Emit("$0.get('Access-Control-Allow-Origin')")>] abstract AccessControlAllowOrigin: string option
+
+        /// Specifies which patch document formats this server supports
+        [<Emit("$0.get('Accept-Patch')")>] abstract AcceptPatch: string option
+
+        /// What partial content range types this server supports via byte serving
+        [<Emit("$0.get('Accept-Ranges')")>] abstract AcceptRanges: string option
+
+        /// The age the object has been in a proxy cache in seconds
+        [<Emit("$0.get('Age')")>] abstract Age: string option
+
+        /// Valid actions for a specified resource. To be used for a 405 Method not allowed
+        [<Emit("$0.get('Allow')")>] abstract Allow: string option
+
+        /// A server uses "Alt-Svc" header (meaning Alternative Services) to indicate that its resources can also be accessed at a different network location (host or port) or using a different protocol
+        [<Emit("$0.get('Alt-Svc')")>] abstract AltSvc: string option
+
+        /// Tells all caching mechanisms from server to client whether they may cache this object. It is measured in seconds
+        [<Emit("$0.get('Cache-Control')")>] abstract CacheControl: string option
+
+        /// Control options for the current connection and list of hop-by-hop response fields
+        [<Emit("$0.get('Connection')")>] abstract Connection: string option
+
+        /// An opportunity to raise a "File Download" dialogue box for a known MIME type with binary format or suggest a filename for dynamic content. Quotes are necessary with special characters.
+        [<Emit("$0.get('Content-Disposition')")>] abstract ContentDisposition: string option
+
+        /// The type of encoding used on the data
+        [<Emit("$0.get('Content-Encoding')")>] abstract ContentEncoding: string option
+
+        /// The natural language or languages of the intended audience for the enclosed content
+        [<Emit("$0.get('Content-Language')")>] abstract ContentLanguage: string option
+
+        /// The length of the response body in octets (8-bit bytes)
+        [<Emit("$0.get('Content-Length')")>] abstract ContentLength: string option
+
+        /// An alternate location for the returned data
+        [<Emit("$0.get('Content-Location')")>] abstract ContentLocation: string option
+
+        /// A Base64-encoded binary MD5 sum of the content of the response
+        [<Emit("$0.get('Content-MD5')")>] abstract ContentMD5: string option
+
+        /// Where in a full body message this partial message belongs
+        [<Emit("$0.get('Content-Range'')")>] abstract ContentRange: string option
+
+        /// The MIME type of this content
+        [<Emit("$0.get('Content-Type')")>] abstract ContentType: string option
+
+        /// The date and time that the message was sent (in "HTTP-date" format as defined by RFC 7231)
+        [<Emit("$0.get('Date')")>] abstract Date: string option
+
+        /// An identifier for a specific version of a resource, often a message digest
+        [<Emit("$0.get('ETag')")>] abstract ETag: string option
+
+        /// Gives the date/time after which the response is considered stale (in "HTTP-date" format as defined by RFC 7231)
+        [<Emit("$0.get('Expires')")>] abstract Expires: string option
+
+        /// The last modified date for the requested object (in "HTTP-date" format as defined by RFC 7231)
+        [<Emit("$0.get('Last-Modified')")>] abstract LastModified: string option
+
+        /// Used to express a typed relationship with another resource, where the relation type is defined by RFC 5988
+        [<Emit("$0.get('Link')")>] abstract Link: string option
+
+        /// Used in redirection, or when a new resource has been created.
+        [<Emit("$0.get('Location')")>] abstract Location: string option
+
+        /// This field is supposed to set P3P policy, in the form of P3P:CP="your_compact_policy".
+        [<Emit("$0.get('P3P')")>] abstract P3P: string option
+
+        /// Implementation-specific fields that may have various effects anywhere along the request-response chain.
+        [<Emit("$0.get('Pragma')")>] abstract Pragma: string option
+
+        /// Request authentication to access the proxy.
+        [<Emit("$0.get('Proxy-Authenticate')")>] abstract ProxyAuthenticate: string option
+
+        /// HTTP Public Key Pinning, announces hash of website's authentic TLS certificate
+        [<Emit("$0.get('Public-Key-Pins')")>] abstract PublicKeyPins: string option
+
+        /// Used in redirection, or when a new resource has been created. This refresh redirects after 5 seconds.
+        [<Emit("$0.get('Refresh')")>] abstract Refresh: string option
+
+        /// If an entity is temporarily unavailable, this instructs the client to try again later. Value could be a specified period of time (in seconds) or a HTTP-date.
+        [<Emit("$0.get('Retry-After')")>] abstract RetryAfter: string option
+
+        /// A name for the server
+        [<Emit("$0.get('Server')")>] abstract Server: string option
+
+        /// An HTTP cookie
+        [<Emit("$0.get('Set-Cookie')")>] abstract SetCookie: string option
+
+        /// CGI header field specifying the status of the HTTP response. Normal HTTP responses use a separate "Status-Line" instead, defined by RFC 7230
+        [<Emit("$0.get('Status')")>] abstract Status: string option
+
+        /// A HSTS Policy informing the HTTP client how long to cache the HTTPS only policy and whether this applies to subdomains.
+        [<Emit("$0.get('Strict-Transport-Security')")>] abstract StrictTransportSecurity: string option
+
+        /// The Trailer general field value indicates that the given set of header fields is present in the trailer of a message encoded with chunked transfer coding.
+        [<Emit("$0.get('Trailer')")>] abstract Trailer: string option
+
+        /// The form of encoding used to safely transfer the entity to the user. Currently defined methods are: chunked, compress, deflate, gzip, identity.
+        [<Emit("$0.get('Transfer-Encoding')")>] abstract TransferEncoding: string option
+
+        /// Tracking Status Value, value suggested to be sent in response to a DNT(do-not-track)
+        [<Emit("$0.get('TSV')")>] abstract TSV: string option
+
+        /// Ask the client to upgrade to another protocol.
+        [<Emit("$0.get('Upgrade')")>] abstract Upgrade: string option
+
+        /// Tells downstream proxies how to match future request headers to decide whether the cached response can be used rather than requesting a fresh one from the origin server.
+        [<Emit("$0.get('Vary')")>] abstract Vary: string option
+
+        /// Informs the client of proxies through which the response was sent.
+        [<Emit("$0.get('Via')")>] abstract Via: string option
+
+        /// A general warning about possible problems with the entity body.
+        [<Emit("$0.get('Warning')")>] abstract Warning: string option
+
+        /// Indicates the authentication scheme that should be used to access the requested entity.
+        [<Emit("$0.get('WWW-Authenticate')")>] abstract WWWAuthenticate: string option
+
+        /// Clickjacking protection: deny - no rendering within a frame, sameorigin - no rendering if origin mismatch, allow-from - allow from specified location, allowall - non-standard, allow from any location
+        [<Emit("$0.get('X-Frame-Options')")>] abstract XFrameOptions: string option
+
+        /// Cross-site scripting (XSS) filter
+        [<Emit("$0.get('X-XSS-Protection')")>] abstract XXSSProtection: string option
+
+        /// Content Security Policy definition.
+        [<Emit("$0.get('Content-Security-Policy')")>] abstract ContentSecurityPolicy: string option
+
+        /// The only defined value, "nosniff", prevents Internet Explorer from MIME-sniffing a response away from the declared content-type. This also applies to Google Chrome, when downloading extensions
+        [<Emit("$0.get('X-Content-Type-Options')")>] abstract XContentTypeOptions: string option
+
+        /// Specifies the technology (e.g. ASP.NET, PHP, JBoss) supporting the web application (version details are often in X-Runtime, X-Version, or X-AspNet-Version)
+        [<Emit("$0.get('X-Powered-By')")>] abstract XPoweredBy: string option
+
+        /// Recommends the preferred rendering engine (often a backward-compatibility mode) to use to display the content. Also used to activate Chrome Frame in Internet Explorer.
+        [<Emit("$0.get('X-UA-Compatible')")>] abstract XUACompatible: string option
+
+        /// Provide the duration of the audio or video in seconds; only supported by Gecko browsers
+        [<Emit("$0.get('X-Content-Duration')")>] abstract XContentDuration: string option
+
+        /// Tells a server which (presumably in the middle of a HTTP -> HTTPS migration) hosts mixed content that the client would prefer redirection to HTTPS and can handle Content-Security-Policy: upgrade-insecure-requests
+        [<Emit("$0.get('Upgrade-Insecure-Requests')")>] abstract UpgradeInsecureRequests: string option
+
+        /// Correlates HTTP requests between a client and server.
+        [<Emit("$0.get('X-Request-ID')")>] abstract XRequestID: string option
+
+        /// Correlates HTTP requests between a client and server.
+        [<Emit("$0.get('X-Correlation-ID')")>] abstract XCorrelationID: string option
+
+
+    and Response = //(?body: BodyInit, ?init: ResponseInit) =
+        inherit Body
+
+        [<Emit("$0.type")>] abstract Type: ResponseType
+
+        [<Emit("$0.redirected")>] abstract Redirected: bool
+
+        /// Verifies that the fetch was successful
+        [<Emit("$0.ok")>] abstract Ok: bool
+
+        /// Returns the HTTP status code
+        [<Emit("$0.status")>] abstract Status: int
+
+        /// Returns the HTTP status message
+        [<Emit("$0.statusText")>] abstract StatusText: string
+
+        /// Returns the response URL
+        [<Emit("$0.url")>] abstract Url: string
+
+        /// Returns the headers objct
+        [<Emit("$0.headers")>] abstract Headers : Headers
+
+        [<Emit("$0.clone()")>] abstract clone: unit -> Response
+
+
+    and [<StringEnum; RequireQualifiedAccess>] ResponseType =
+        | Basic | Cors | Default | Error | Opaque
+
+    and ResponseInit =
+        abstract status: float with get, set
+        abstract statusText: string option with get, set
+        abstract headers: HeaderInit option with get, set
+
+    and HeaderInit =
+        U2<Headers, string[]>
+
+    and BodyInit =
+        U3<Blob, FormData, string>
+
+    [<Erase; RequireQualifiedAccess; NoComparison>]
+    type RequestInfo =
+        /// Uses a simple Url as string to create the request info
+        | Url of string
+        /// Uses a Request object as request info
+        | Req of Request
+
+    type [<Erase>] GlobalFetch =
+        [<Global>]static member fetch (req: RequestInfo, ?init: RequestInit) = jsNative :JS.Promise<Response>
+
+    [<StringEnum; RequireQualifiedAccess>]
+    type HttpMethod =
+        | [<CompiledName("CONNECT")>] CONNECT
+        | [<CompiledName("DELETE")>] DELETE
+        | [<CompiledName("GET")>] GET
+        | [<CompiledName("HEAD")>] HEAD
+        | [<CompiledName("OPTIONS")>] OPTIONS
+        | [<CompiledName("PATCH")>] PATCH
+        | [<CompiledName("POST")>] POST
+        | [<CompiledName("PUT")>] PUT
+        | [<CompiledName("TRACE")>] TRACE
+
+    type IHttpRequestHeaders =
+        interface end
+
+    type HttpRequestHeaders =
+        | Accept of string
+        | [<CompiledName("Accept-Charset")>] AcceptCharset of string
+        | [<CompiledName("Accept-Encoding")>] AcceptEncoding of string
+        | [<CompiledName("Accept-Language")>] AcceptLanguage of string
+        | [<CompiledName("Accept-Datetime")>] AcceptDatetime of string
+        | Authorization of string
+        | [<CompiledName("Cache-Control")>] CacheControl of string
+        | Connection of string
+        | Cookie of string
+        | [<CompiledName("Content-Length")>] ContentLength of string
+        | [<CompiledName("Content-MD5")>] ContentMD5 of string
+        | [<CompiledName("Content-Type")>] ContentType of string
+        | Date of string
+        | Expect of string
+        | Forwarded of string
+        | From of string
+        | Host of string
+        | [<CompiledName("If-Match")>] IfMatch of string
+        | [<CompiledName("If-Modified-Since")>] IfModifiedSince of string
+        | [<CompiledName("If-None-Match")>] IfNoneMatch of string
+        | [<CompiledName("If-Range")>] IfRange of string
+        | [<CompiledName("If-Unmodified-Since")>] IfUnmodifiedSince of string
+        | [<CompiledName("Max-Forwards")>] MaxForwards of int
+        | Origin of string
+        | Pragma of string
+        | [<CompiledName("Proxy-Authorization")>] ProxyAuthorization of string
+        | Range of string
+        | Referer of string
+        | [<CompiledName("SOAPAction")>] SOAPAction of string
+        | [<CompiledName("TE")>] TE of string
+        | [<CompiledName("User-Agent")>] UserAgent of string
+        | Upgrade of string
+        | Via of string
+        | Warning of string
+        | [<CompiledName("X-Requested-With")>] XRequestedWith of string
+        | [<CompiledName("DNT")>] DNT of string
+        | [<CompiledName("X-Forwarded-For")>] XForwardedFor of string
+        | [<CompiledName("X-Forwarded-Host")>] XForwardedHost of string
+        | [<CompiledName("X-Forwarded-Proto")>] XForwardedProto of string
+        | [<CompiledName("Front-End-Https")>] FrontEndHttps of string
+        | [<CompiledName("X-Http-Method-Override")>] XHttpMethodOverride of string
+        | [<CompiledName("X-ATT-DeviceId")>] XATTDeviceId of string
+        | [<CompiledName("X-Wap-Profile")>] XWapProfile of string
+        | [<CompiledName("Proxy-Connection")>] ProxyConnection of string
+        | [<CompiledName("X-UIDH")>] XUIDH of string
+        | [<CompiledName("X-Csrf-Token")>] XCsrfToken of string
+        | [<Erase>] Custom of key:string * value:obj
+
+    type AbortSignal =
+      inherit Browser.Types.EventTarget
+      abstract aborted : bool with get
+      abstract onabort : (unit -> unit) with get, set
+      abstract reason: obj with get
+      abstract throwIfAborted: unit -> unit
+
+    type AbortController =
+      abstract signal : AbortSignal with get
+      abstract abort : (unit -> unit) with get
+
+    [<NoComparison>]
+    type RequestProperties =
+        | Method of HttpMethod
+        | Headers of IHttpRequestHeaders
+        | Body of BodyInit
+        | Mode of RequestMode
+        | Credentials of RequestCredentials
+        | Cache of RequestCache
+        | Redirect of RedirectMode
+        | Referrer of string
+        | ReferrerPolicy of ReferrerPolicy
+        | Integrity of string
+        | KeepAlive of bool
+        | Signal of AbortSignal
+    
+    type ResponseInitProperties =
+        | Status of int
+        | StatusText of string
+        | Headers of (string * string)[]
+
+[<Emit("new Response($0...)")>]
+let private createResponseInit (content: obj, options: obj): Response = jsNative
+
+type Response with
+
+    static member create(content: string, ?options: seq<ResponseInitProperties>) : Response =
+        let options = defaultArg options Seq.empty
+        createResponseInit (content, keyValueList CaseRules.LowerFirst options)
+
+    static member create(content: Blob, ?options: seq<ResponseInitProperties>) : Response =
+        let options = defaultArg options Seq.empty
+        createResponseInit (content, keyValueList CaseRules.LowerFirst options)
+
+    static member create(content: JS.ArrayBuffer, ?options: seq<ResponseInitProperties>) : Response =
+        let options = defaultArg options Seq.empty
+        createResponseInit (content, keyValueList CaseRules.LowerFirst options)
+
+    static member create(content: JS.ArrayBufferView, ?options: seq<ResponseInitProperties>) : Response =
+        let options = defaultArg options Seq.empty
+        createResponseInit (content, keyValueList CaseRules.LowerFirst options)
+
+    [<Emit("Response.json($0...)")>]
+    static member json<'T>(value: 'T, ?status: int): Response = jsNative
+
+    [<Emit("Response.redirect($0...)")>]
+    static member redirect(url: string, ?status: int): Response = jsNative
+
+    [<Emit("Response.error()")>]
+    static member error(): Response = jsNative
+
+[<Emit("new AbortController()")>]
+let newAbortController () : AbortController = jsNative
+
+let inline requestHeaders (headers: HttpRequestHeaders list) =
+    RequestProperties.Headers(keyValueList CaseRules.None headers :?> IHttpRequestHeaders)
+
+let inline requestProps (props: RequestProperties list) =
+    keyValueList CaseRules.LowerFirst props :?> RequestInit
+
+let private errorString (response: Response) =
+    string response.Status + " " + response.StatusText + " for URL " + response.Url
+
+/// Retrieves data from the specified resource. Fails if `response.Ok` evals to false.
+let fetch (url: string) (init: RequestProperties list) : JS.Promise<Response> =
+    GlobalFetch.fetch(RequestInfo.Url url, requestProps init)
+    |> Promise.map (fun response ->
+        if response.Ok
+        then response
+        else errorString response |> failwith)
+
+/// Retrieves data from the specified resource without check for 2xx status.
+let fetchUnsafe (url: string) (init: RequestProperties list) : JS.Promise<Response> =
+    GlobalFetch.fetch(RequestInfo.Url url, requestProps init)
+
+let tryFetch (url: string) (init: RequestProperties list) : JS.Promise<Result<Response, Exception>> =
+    fetch url init |> Promise.result
+
+/// Sends a HTTP OPTIONS request.
+let tryOptionsRequest (url:string) : JS.Promise<Result<Response, Exception>> =
+    fetch url [RequestProperties.Method HttpMethod.OPTIONS] |> Promise.result

package/fable_modules/Fable.Fetch.2.6.0/Fetch.fs.js

@@ -0,0 +1,111 @@
+import { Union } from "../fable-library.4.1.4/Types.js";
+import { array_type, tuple_type, bool_type, class_type, union_type, obj_type, int32_type, string_type } from "../fable-library.4.1.4/Reflection.js";
+import { defaultArg } from "../fable-library.4.1.4/Option.js";
+import { empty } from "../fable-library.4.1.4/Seq.js";
+import { keyValueList } from "../fable-library.4.1.4/MapUtil.js";
+import { int32ToString } from "../fable-library.4.1.4/Util.js";
+import { result } from "../Fable.Promise.3.2.0/Promise.fs.js";
+import { singleton } from "../fable-library.4.1.4/List.js";
+
+export class Types_HttpRequestHeaders extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Accept", "Accept-Charset", "Accept-Encoding", "Accept-Language", "Accept-Datetime", "Authorization", "Cache-Control", "Connection", "Cookie", "Content-Length", "Content-MD5", "Content-Type", "Date", "Expect", "Forwarded", "From", "Host", "If-Match", "If-Modified-Since", "If-None-Match", "If-Range", "If-Unmodified-Since", "Max-Forwards", "Origin", "Pragma", "Proxy-Authorization", "Range", "Referer", "SOAPAction", "TE", "User-Agent", "Upgrade", "Via", "Warning", "X-Requested-With", "DNT", "X-Forwarded-For", "X-Forwarded-Host", "X-Forwarded-Proto", "Front-End-Https", "X-Http-Method-Override", "X-ATT-DeviceId", "X-Wap-Profile", "Proxy-Connection", "X-UIDH", "X-Csrf-Token", "Custom"];
+    }
+}
+
+export function Types_HttpRequestHeaders_$reflection() {
+    return union_type("Fetch.Types.HttpRequestHeaders", [], Types_HttpRequestHeaders, () => [[["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", int32_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["key", string_type], ["value", obj_type]]]);
+}
+
+export class Types_RequestProperties extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Method", "Headers", "Body", "Mode", "Credentials", "Cache", "Redirect", "Referrer", "ReferrerPolicy", "Integrity", "KeepAlive", "Signal"];
+    }
+}
+
+export function Types_RequestProperties_$reflection() {
+    return union_type("Fetch.Types.RequestProperties", [], Types_RequestProperties, () => [[["Item", string_type]], [["Item", class_type("Fetch.Types.IHttpRequestHeaders")]], [["Item", class_type("Fable.Core.U3`3", [class_type("Browser.Types.Blob", void 0), class_type("Browser.Types.FormData", void 0), string_type])]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", string_type]], [["Item", bool_type]], [["Item", class_type("Fetch.Types.AbortSignal")]]]);
+}
+
+export class Types_ResponseInitProperties extends Union {
+    constructor(tag, fields) {
+        super();
+        this.tag = tag;
+        this.fields = fields;
+    }
+    cases() {
+        return ["Status", "StatusText", "Headers"];
+    }
+}
+
+export function Types_ResponseInitProperties_$reflection() {
+    return union_type("Fetch.Types.ResponseInitProperties", [], Types_ResponseInitProperties, () => [[["Item", int32_type]], [["Item", string_type]], [["Item", array_type(tuple_type(string_type, string_type))]]]);
+}
+
+export function Fetch_Types_Response__Response_create_Static_36F1D09D(content, options) {
+    const options_1 = defaultArg(options, empty());
+    return new Response(content, keyValueList(options_1, 1));
+}
+
+export function Fetch_Types_Response__Response_create_Static_Z7AF41C79(content, options) {
+    const options_1 = defaultArg(options, empty());
+    return new Response(content, keyValueList(options_1, 1));
+}
+
+export function Fetch_Types_Response__Response_create_Static_Z43D75E86(content, options) {
+    const options_1 = defaultArg(options, empty());
+    return new Response(content, keyValueList(options_1, 1));
+}
+
+export function Fetch_Types_Response__Response_create_Static_7B93BED7(content, options) {
+    const options_1 = defaultArg(options, empty());
+    return new Response(content, keyValueList(options_1, 1));
+}
+
+function errorString(response) {
+    return (((int32ToString(response.status) + " ") + (response.statusText)) + " for URL ") + (response.url);
+}
+
+/**
+ * Retrieves data from the specified resource. Fails if `response.Ok` evals to false.
+ */
+export function fetch$(url, init) {
+    const pr = fetch(url, keyValueList(init, 1));
+    return pr.then((response) => {
+        if (response.ok) {
+            return response;
+        }
+        else {
+            throw new Error(errorString(response));
+        }
+    });
+}
+
+/**
+ * Retrieves data from the specified resource without check for 2xx status.
+ */
+export function fetchUnsafe(url, init) {
+    return fetch(url, keyValueList(init, 1));
+}
+
+export function tryFetch(url, init) {
+    return result(fetch$(url, init));
+}
+
+/**
+ * Sends a HTTP OPTIONS request.
+ */
+export function tryOptionsRequest(url) {
+    return result(fetch$(url, singleton(new Types_RequestProperties(0, ["OPTIONS"]))));
+}
+

package/fable_modules/Fable.Promise.3.2.0/AsyncIterable.fs

@@ -0,0 +1,57 @@
+[<RequireQualifiedAccess>]
+module AsyncIterable
+
+open Fable.Core
+open Fable.Core.JsInterop
+
+[<Emit("""{
+    [Symbol.asyncIterator]() {
+        return {
+            next: $0,
+            return: $1
+        }
+    }
+}""")>]
+let private createAsyncIterator (onNext: unit -> JS.Promise<obj>) (onCancel: unit -> obj): JS.AsyncIterable<'T> = jsNative
+
+/// Creates AsyncIterable. See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/for-await...of#specifications
+let create (onNext: unit -> JS.Promise<'T option>): JS.AsyncIterable<'T> =
+    createAsyncIterator
+        (fun () ->
+            onNext() |> Promise.map (function
+                | Some value -> createObj ["value" ==> value; "done" ==> false]
+                | None -> createObj ["done" ==> true]
+            ))
+        (fun () -> createObj [ "done" ==> true ])
+
+/// Creates AsyncIterable with a cleaning function for cancellation (JS caller invokes `break` or `return` during iteration)
+let createCancellable (onCancel: unit -> unit) (onNext: unit -> JS.Promise<'T option>): JS.AsyncIterable<'T> =
+    createAsyncIterator
+        (fun () ->
+            onNext() |> Promise.map (function
+                | Some value -> createObj ["value" ==> value; "done" ==> false]
+                | None -> createObj ["done" ==> true]
+            ))
+        (fun () ->
+            onCancel()
+            createObj [ "done" ==> true ])
+
+type CancellationToken() =
+    member this.Cancel(): unit =
+        raise !!this
+
+/// Iterates AsyncIterable. See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/for-await...of
+let iter (action: CancellationToken -> 'T -> unit) (iterable: JS.AsyncIterable<'T>): JS.Promise<unit> =
+    let token = CancellationToken()
+    emitJsExpr () """(async () => {
+    for await (const value of iterable) {
+        try {
+            action(token, value)
+        } catch (err) {
+            if (err instanceof token.constructor) {
+                break;
+            }
+            throw(err);
+        }
+    }
+})()"""