UNPKG

@nfdi4plants/swate-components

Version:

Customizable React components for ontology annotation, based on Swate and the ARC.

253 lines 17.3 kB
import { int32, float64 } from '@fable-org/fable-library-js/Int32.js'; import { Union } from '@fable-org/fable-library-js/Types.js'; import { TypeInfo } from '@fable-org/fable-library-js/Reflection.js'; import { FSharpList } from '@fable-org/fable-library-js/List.js'; import { FSharpResult$2_$union } from '@fable-org/fable-library-js/Result.js'; export type Types_RequestDestination = "" | "audio" | "audioworklet" | "document" | "embed" | "font" | "frame" | "iframe" | "image" | "manifest" | "object" | "paintworklet" | "report" | "script" | "sharedworker" | "style" | "track" | "video" | "worker" | "xslt"; export interface Types_Body { bodyUsed: boolean; arrayBuffer(): Promise<ArrayBuffer>; blob(): Promise<Blob>; formData(): Promise<FormData>; json(): Promise<any>; json<T>(): Promise<T>; text(): Promise<string>; } export interface Types_Request extends Types_Body { cache: string | Types_RequestCache; credentials: string | Types_RequestCredentials; destination: Types_RequestDestination; headers: Types_Headers; integrity: string; isHistoryNavigation: boolean; isReloadNavigation: boolean; keepalive: boolean; method: string; mode: string | Types_RequestMode; redirect: Types_RedirectMode; referrer: string; referrerPolicy: Types_ReferrerPolicy; url: string; clone(): Types_Request; } export interface Types_RequestInit { body?: Blob | FormData | string; cache?: Types_RequestCache; credentials?: Types_RequestCredentials; headers?: Types_Headers | string[]; integrity: string; keepalive: boolean; method?: string; mode?: Types_RequestMode; redirect: Types_RedirectMode; referrer: string; referrerPolicy: Types_ReferrerPolicy; } export type Types_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"; export type Types_RequestMode = "same-origin" | "no-cors" | "cors"; export type Types_RequestCredentials = "omit" | "same-origin" | "include"; export type Types_RequestCache = "default" | "no-store" | "reload" | "no-cache" | "force-cache" | "only-if-cached"; export type Types_RedirectMode = "follow" | "error" | "manual"; export type Types_ReferrerPolicy = "no-referrer" | "no-referrer-when-downgrade" | "origin" | "origin-when-cross-origin" | "unsafe-url"; export interface Types_Headers { append(arg0: string, arg1: string): void; delete(arg0: string): void; get(arg0: string): string; getAll(arg0: string): string[]; has(arg0: string): boolean; set(arg0: string, arg1: string): void; } export interface Types_Response extends Types_Body { } export type Types_ResponseType = "basic" | "cors" | "default" | "error" | "opaque"; export interface Types_ResponseInit { headers?: Types_Headers | string[]; status: float64; statusText?: string; } export type Types_RequestInfo = string | Types_Request; export type Types_HttpMethod = "CONNECT" | "DELETE" | "GET" | "HEAD" | "OPTIONS" | "PATCH" | "POST" | "PUT" | "TRACE"; export interface Types_IHttpRequestHeaders { } export type Types_HttpRequestHeaders_$union = Types_HttpRequestHeaders<0> | Types_HttpRequestHeaders<1> | Types_HttpRequestHeaders<2> | Types_HttpRequestHeaders<3> | Types_HttpRequestHeaders<4> | Types_HttpRequestHeaders<5> | Types_HttpRequestHeaders<6> | Types_HttpRequestHeaders<7> | Types_HttpRequestHeaders<8> | Types_HttpRequestHeaders<9> | Types_HttpRequestHeaders<10> | Types_HttpRequestHeaders<11> | Types_HttpRequestHeaders<12> | Types_HttpRequestHeaders<13> | Types_HttpRequestHeaders<14> | Types_HttpRequestHeaders<15> | Types_HttpRequestHeaders<16> | Types_HttpRequestHeaders<17> | Types_HttpRequestHeaders<18> | Types_HttpRequestHeaders<19> | Types_HttpRequestHeaders<20> | Types_HttpRequestHeaders<21> | Types_HttpRequestHeaders<22> | Types_HttpRequestHeaders<23> | Types_HttpRequestHeaders<24> | Types_HttpRequestHeaders<25> | Types_HttpRequestHeaders<26> | Types_HttpRequestHeaders<27> | Types_HttpRequestHeaders<28> | Types_HttpRequestHeaders<29> | Types_HttpRequestHeaders<30> | Types_HttpRequestHeaders<31> | Types_HttpRequestHeaders<32> | Types_HttpRequestHeaders<33> | Types_HttpRequestHeaders<34> | Types_HttpRequestHeaders<35> | Types_HttpRequestHeaders<36> | Types_HttpRequestHeaders<37> | Types_HttpRequestHeaders<38> | Types_HttpRequestHeaders<39> | Types_HttpRequestHeaders<40> | Types_HttpRequestHeaders<41> | Types_HttpRequestHeaders<42> | Types_HttpRequestHeaders<43> | Types_HttpRequestHeaders<44> | Types_HttpRequestHeaders<45> | Types_HttpRequestHeaders<46>; export type Types_HttpRequestHeaders_$cases = { 0: ["Accept", [string]]; 1: ["AcceptCharset", [string]]; 2: ["AcceptEncoding", [string]]; 3: ["AcceptLanguage", [string]]; 4: ["AcceptDatetime", [string]]; 5: ["Authorization", [string]]; 6: ["CacheControl", [string]]; 7: ["Connection", [string]]; 8: ["Cookie", [string]]; 9: ["ContentLength", [string]]; 10: ["ContentMD5", [string]]; 11: ["ContentType", [string]]; 12: ["Date", [string]]; 13: ["Expect", [string]]; 14: ["Forwarded", [string]]; 15: ["From", [string]]; 16: ["Host", [string]]; 17: ["IfMatch", [string]]; 18: ["IfModifiedSince", [string]]; 19: ["IfNoneMatch", [string]]; 20: ["IfRange", [string]]; 21: ["IfUnmodifiedSince", [string]]; 22: ["MaxForwards", [int32]]; 23: ["Origin", [string]]; 24: ["Pragma", [string]]; 25: ["ProxyAuthorization", [string]]; 26: ["Range", [string]]; 27: ["Referer", [string]]; 28: ["SOAPAction", [string]]; 29: ["TE", [string]]; 30: ["UserAgent", [string]]; 31: ["Upgrade", [string]]; 32: ["Via", [string]]; 33: ["Warning", [string]]; 34: ["XRequestedWith", [string]]; 35: ["DNT", [string]]; 36: ["XForwardedFor", [string]]; 37: ["XForwardedHost", [string]]; 38: ["XForwardedProto", [string]]; 39: ["FrontEndHttps", [string]]; 40: ["XHttpMethodOverride", [string]]; 41: ["XATTDeviceId", [string]]; 42: ["XWapProfile", [string]]; 43: ["ProxyConnection", [string]]; 44: ["XUIDH", [string]]; 45: ["XCsrfToken", [string]]; 46: ["Custom", [string, any]]; }; export declare function Types_HttpRequestHeaders_Accept(Item: string): Types_HttpRequestHeaders<0>; export declare function Types_HttpRequestHeaders_AcceptCharset(Item: string): Types_HttpRequestHeaders<1>; export declare function Types_HttpRequestHeaders_AcceptEncoding(Item: string): Types_HttpRequestHeaders<2>; export declare function Types_HttpRequestHeaders_AcceptLanguage(Item: string): Types_HttpRequestHeaders<3>; export declare function Types_HttpRequestHeaders_AcceptDatetime(Item: string): Types_HttpRequestHeaders<4>; export declare function Types_HttpRequestHeaders_Authorization(Item: string): Types_HttpRequestHeaders<5>; export declare function Types_HttpRequestHeaders_CacheControl(Item: string): Types_HttpRequestHeaders<6>; export declare function Types_HttpRequestHeaders_Connection(Item: string): Types_HttpRequestHeaders<7>; export declare function Types_HttpRequestHeaders_Cookie(Item: string): Types_HttpRequestHeaders<8>; export declare function Types_HttpRequestHeaders_ContentLength(Item: string): Types_HttpRequestHeaders<9>; export declare function Types_HttpRequestHeaders_ContentMD5(Item: string): Types_HttpRequestHeaders<10>; export declare function Types_HttpRequestHeaders_ContentType(Item: string): Types_HttpRequestHeaders<11>; export declare function Types_HttpRequestHeaders_Date(Item: string): Types_HttpRequestHeaders<12>; export declare function Types_HttpRequestHeaders_Expect(Item: string): Types_HttpRequestHeaders<13>; export declare function Types_HttpRequestHeaders_Forwarded(Item: string): Types_HttpRequestHeaders<14>; export declare function Types_HttpRequestHeaders_From(Item: string): Types_HttpRequestHeaders<15>; export declare function Types_HttpRequestHeaders_Host(Item: string): Types_HttpRequestHeaders<16>; export declare function Types_HttpRequestHeaders_IfMatch(Item: string): Types_HttpRequestHeaders<17>; export declare function Types_HttpRequestHeaders_IfModifiedSince(Item: string): Types_HttpRequestHeaders<18>; export declare function Types_HttpRequestHeaders_IfNoneMatch(Item: string): Types_HttpRequestHeaders<19>; export declare function Types_HttpRequestHeaders_IfRange(Item: string): Types_HttpRequestHeaders<20>; export declare function Types_HttpRequestHeaders_IfUnmodifiedSince(Item: string): Types_HttpRequestHeaders<21>; export declare function Types_HttpRequestHeaders_MaxForwards(Item: int32): Types_HttpRequestHeaders<22>; export declare function Types_HttpRequestHeaders_Origin(Item: string): Types_HttpRequestHeaders<23>; export declare function Types_HttpRequestHeaders_Pragma(Item: string): Types_HttpRequestHeaders<24>; export declare function Types_HttpRequestHeaders_ProxyAuthorization(Item: string): Types_HttpRequestHeaders<25>; export declare function Types_HttpRequestHeaders_Range(Item: string): Types_HttpRequestHeaders<26>; export declare function Types_HttpRequestHeaders_Referer(Item: string): Types_HttpRequestHeaders<27>; export declare function Types_HttpRequestHeaders_SOAPAction(Item: string): Types_HttpRequestHeaders<28>; export declare function Types_HttpRequestHeaders_TE(Item: string): Types_HttpRequestHeaders<29>; export declare function Types_HttpRequestHeaders_UserAgent(Item: string): Types_HttpRequestHeaders<30>; export declare function Types_HttpRequestHeaders_Upgrade(Item: string): Types_HttpRequestHeaders<31>; export declare function Types_HttpRequestHeaders_Via(Item: string): Types_HttpRequestHeaders<32>; export declare function Types_HttpRequestHeaders_Warning(Item: string): Types_HttpRequestHeaders<33>; export declare function Types_HttpRequestHeaders_XRequestedWith(Item: string): Types_HttpRequestHeaders<34>; export declare function Types_HttpRequestHeaders_DNT(Item: string): Types_HttpRequestHeaders<35>; export declare function Types_HttpRequestHeaders_XForwardedFor(Item: string): Types_HttpRequestHeaders<36>; export declare function Types_HttpRequestHeaders_XForwardedHost(Item: string): Types_HttpRequestHeaders<37>; export declare function Types_HttpRequestHeaders_XForwardedProto(Item: string): Types_HttpRequestHeaders<38>; export declare function Types_HttpRequestHeaders_FrontEndHttps(Item: string): Types_HttpRequestHeaders<39>; export declare function Types_HttpRequestHeaders_XHttpMethodOverride(Item: string): Types_HttpRequestHeaders<40>; export declare function Types_HttpRequestHeaders_XATTDeviceId(Item: string): Types_HttpRequestHeaders<41>; export declare function Types_HttpRequestHeaders_XWapProfile(Item: string): Types_HttpRequestHeaders<42>; export declare function Types_HttpRequestHeaders_ProxyConnection(Item: string): Types_HttpRequestHeaders<43>; export declare function Types_HttpRequestHeaders_XUIDH(Item: string): Types_HttpRequestHeaders<44>; export declare function Types_HttpRequestHeaders_XCsrfToken(Item: string): Types_HttpRequestHeaders<45>; export declare function Types_HttpRequestHeaders_Custom(key: string, value: any): Types_HttpRequestHeaders<46>; export declare class Types_HttpRequestHeaders<Tag extends keyof Types_HttpRequestHeaders_$cases> extends Union<Tag, Types_HttpRequestHeaders_$cases[Tag][0]> { readonly tag: Tag; readonly fields: Types_HttpRequestHeaders_$cases[Tag][1]; constructor(tag: Tag, fields: Types_HttpRequestHeaders_$cases[Tag][1]); cases(): string[]; } export declare function Types_HttpRequestHeaders_$reflection(): TypeInfo; export interface Types_AbortSignal extends EventTarget { aborted: boolean; onabort: (() => void); reason: any; throwIfAborted(): void; } export interface Types_AbortController { abort: (() => void); signal: Types_AbortSignal; } export type Types_RequestProperties_$union = Types_RequestProperties<0> | Types_RequestProperties<1> | Types_RequestProperties<2> | Types_RequestProperties<3> | Types_RequestProperties<4> | Types_RequestProperties<5> | Types_RequestProperties<6> | Types_RequestProperties<7> | Types_RequestProperties<8> | Types_RequestProperties<9> | Types_RequestProperties<10> | Types_RequestProperties<11>; export type Types_RequestProperties_$cases = { 0: ["Method", [Types_HttpMethod]]; 1: ["Headers", [Types_IHttpRequestHeaders]]; 2: ["Body", [Blob | FormData | string]]; 3: ["Mode", [Types_RequestMode]]; 4: ["Credentials", [Types_RequestCredentials]]; 5: ["Cache", [Types_RequestCache]]; 6: ["Redirect", [Types_RedirectMode]]; 7: ["Referrer", [string]]; 8: ["ReferrerPolicy", [Types_ReferrerPolicy]]; 9: ["Integrity", [string]]; 10: ["KeepAlive", [boolean]]; 11: ["Signal", [Types_AbortSignal]]; }; export declare function Types_RequestProperties_Method(Item: Types_HttpMethod): Types_RequestProperties<0>; export declare function Types_RequestProperties_Headers(Item: Types_IHttpRequestHeaders): Types_RequestProperties<1>; export declare function Types_RequestProperties_Body(Item: Blob | FormData | string): Types_RequestProperties<2>; export declare function Types_RequestProperties_Mode(Item: Types_RequestMode): Types_RequestProperties<3>; export declare function Types_RequestProperties_Credentials(Item: Types_RequestCredentials): Types_RequestProperties<4>; export declare function Types_RequestProperties_Cache(Item: Types_RequestCache): Types_RequestProperties<5>; export declare function Types_RequestProperties_Redirect(Item: Types_RedirectMode): Types_RequestProperties<6>; export declare function Types_RequestProperties_Referrer(Item: string): Types_RequestProperties<7>; export declare function Types_RequestProperties_ReferrerPolicy(Item: Types_ReferrerPolicy): Types_RequestProperties<8>; export declare function Types_RequestProperties_Integrity(Item: string): Types_RequestProperties<9>; export declare function Types_RequestProperties_KeepAlive(Item: boolean): Types_RequestProperties<10>; export declare function Types_RequestProperties_Signal(Item: Types_AbortSignal): Types_RequestProperties<11>; export declare class Types_RequestProperties<Tag extends keyof Types_RequestProperties_$cases> extends Union<Tag, Types_RequestProperties_$cases[Tag][0]> { readonly tag: Tag; readonly fields: Types_RequestProperties_$cases[Tag][1]; constructor(tag: Tag, fields: Types_RequestProperties_$cases[Tag][1]); cases(): string[]; } export declare function Types_RequestProperties_$reflection(): TypeInfo; export type Types_ResponseInitProperties_$union = Types_ResponseInitProperties<0> | Types_ResponseInitProperties<1> | Types_ResponseInitProperties<2>; export type Types_ResponseInitProperties_$cases = { 0: ["Status", [int32]]; 1: ["StatusText", [string]]; 2: ["Headers", [[string, string][]]]; }; export declare function Types_ResponseInitProperties_Status(Item: int32): Types_ResponseInitProperties<0>; export declare function Types_ResponseInitProperties_StatusText(Item: string): Types_ResponseInitProperties<1>; export declare function Types_ResponseInitProperties_Headers(Item: [string, string][]): Types_ResponseInitProperties<2>; export declare class Types_ResponseInitProperties<Tag extends keyof Types_ResponseInitProperties_$cases> extends Union<Tag, Types_ResponseInitProperties_$cases[Tag][0]> { readonly tag: Tag; readonly fields: Types_ResponseInitProperties_$cases[Tag][1]; constructor(tag: Tag, fields: Types_ResponseInitProperties_$cases[Tag][1]); cases(): string[]; } export declare function Types_ResponseInitProperties_$reflection(): TypeInfo; export declare function Fetch_Types_Response__Response_create_Static_36F1D09D(content: string, options?: Iterable<Types_ResponseInitProperties_$union>): Types_Response; export declare function Fetch_Types_Response__Response_create_Static_Z7AF41C79(content: Blob, options?: Iterable<Types_ResponseInitProperties_$union>): Types_Response; export declare function Fetch_Types_Response__Response_create_Static_Z43D75E86(content: ArrayBuffer, options?: Iterable<Types_ResponseInitProperties_$union>): Types_Response; export declare function Fetch_Types_Response__Response_create_Static_7B93BED7(content: ArrayBufferView, options?: Iterable<Types_ResponseInitProperties_$union>): Types_Response; /** * Retrieves data from the specified resource. Fails if `response.Ok` evals to false. */ export declare function fetch$(url: string, init: FSharpList<Types_RequestProperties_$union>): Promise<Types_Response>; /** * Retrieves data from the specified resource without check for 2xx status. */ export declare function fetchUnsafe(url: string, init: FSharpList<Types_RequestProperties_$union>): Promise<Types_Response>; export declare function tryFetch(url: string, init: FSharpList<Types_RequestProperties_$union>): Promise<FSharpResult$2_$union<Types_Response, Error>>; /** * Sends a HTTP OPTIONS request. */ export declare function tryOptionsRequest(url: string): Promise<FSharpResult$2_$union<Types_Response, Error>>; //# sourceMappingURL=Fetch.fs.d.ts.map