@nfdi4plants/swate-components
Version:
Customizable React components for ontology annotation, based on Swate and the ARC.
253 lines • 17.3 kB
TypeScript
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