@bytecodealliance/jco 0.10.2 → 0.11.0

package/obj/exports/wasi-cli-base-environment.d.ts

@@ -0,0 +1,3 @@
+export namespace WasiCliBaseEnvironment {
+  export function getEnvironment(): [string, string][];
+}

package/obj/exports/wasi-cli-base-exit.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliBaseExit {
+  export function exit(status: Result<void, void>): void;
+}
+export type Result<T, E> = { tag: 'ok', val: T } | { tag: 'err', val: E };

package/obj/exports/wasi-cli-base-preopens.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBasePreopens {
+  export function getDirectories(): [Descriptor, string][];
+}
+import type { Descriptor } from '../exports/wasi-filesystem-filesystem';
+export { Descriptor };

package/obj/exports/wasi-cli-base-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStderr {
+  export function getStderr(): OutputStream;
+}
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };

package/obj/exports/wasi-cli-base-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStdin {
+  export function getStdin(): InputStream;
+}
+import type { InputStream } from '../exports/wasi-io-streams';
+export { InputStream };

package/obj/exports/wasi-cli-base-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStdout {
+  export function getStdout(): OutputStream;
+}
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };

package/obj/exports/wasi-cli-environment.d.ts

@@ -0,0 +1,3 @@
+export namespace WasiCliEnvironment {
+  export function getEnvironment(): [string, string][];
+}

package/obj/exports/wasi-cli-exit.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliExit {
+  export function exit(status: Result<void, void>): void;
+}
+export type Result<T, E> = { tag: 'ok', val: T } | { tag: 'err', val: E };

package/obj/exports/wasi-cli-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStderr {
+  export function getStderr(): OutputStream;
+}
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };

package/obj/exports/wasi-cli-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStdin {
+  export function getStdin(): InputStream;
+}
+import type { InputStream } from '../exports/wasi-io-streams';
+export { InputStream };

package/obj/exports/wasi-cli-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStdout {
+  export function getStdout(): OutputStream;
+}
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };

package/obj/exports/wasi-cli-terminal-input.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliTerminalInput {
+  export function dropTerminalInput(this: TerminalInput): void;
+}
+export type TerminalInput = number;

package/obj/exports/wasi-cli-terminal-output.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliTerminalOutput {
+  export function dropTerminalOutput(this: TerminalOutput): void;
+}
+export type TerminalOutput = number;

package/obj/exports/wasi-cli-terminal-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStderr {
+  export function getTerminalStderr(): TerminalOutput | null;
+}
+import type { TerminalOutput } from '../exports/wasi-cli-terminal-output';
+export { TerminalOutput };

package/obj/exports/wasi-cli-terminal-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStdin {
+  export function getTerminalStdin(): TerminalInput | null;
+}
+import type { TerminalInput } from '../exports/wasi-cli-terminal-input';
+export { TerminalInput };

package/obj/exports/wasi-cli-terminal-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStdout {
+  export function getTerminalStdout(): TerminalOutput | null;
+}
+import type { TerminalOutput } from '../exports/wasi-cli-terminal-output';
+export { TerminalOutput };

package/obj/exports/wasi-clocks-wall-clock.d.ts

@@ -0,0 +1,6 @@
+export namespace WasiClocksWallClock {
+}
+export interface Datetime {
+  seconds: bigint,
+  nanoseconds: number,
+}

package/obj/exports/wasi-filesystem-filesystem.d.ts

@@ -0,0 +1,152 @@
+export namespace WasiFilesystemFilesystem {
+  export function readViaStream(this: Descriptor, offset: Filesize): InputStream;
+  export function writeViaStream(this: Descriptor, offset: Filesize): OutputStream;
+  export function appendViaStream(this: Descriptor): OutputStream;
+  export function getType(this: Descriptor): DescriptorType;
+  export function stat(this: Descriptor): DescriptorStat;
+  export function openAt(this: Descriptor, pathFlags: PathFlags, path: string, openFlags: OpenFlags, flags: DescriptorFlags, modes: Modes): Descriptor;
+  export function dropDescriptor(this: Descriptor): void;
+  export function dropDirectoryEntryStream(this: DirectoryEntryStream): void;
+}
+export type Descriptor = number;
+export type Filesize = bigint;
+import type { InputStream } from '../exports/wasi-io-streams';
+export { InputStream };
+/**
+ * # Variants
+ * 
+ * ## `"access"`
+ * 
+ * ## `"would-block"`
+ * 
+ * ## `"already"`
+ * 
+ * ## `"bad-descriptor"`
+ * 
+ * ## `"busy"`
+ * 
+ * ## `"deadlock"`
+ * 
+ * ## `"quota"`
+ * 
+ * ## `"exist"`
+ * 
+ * ## `"file-too-large"`
+ * 
+ * ## `"illegal-byte-sequence"`
+ * 
+ * ## `"in-progress"`
+ * 
+ * ## `"interrupted"`
+ * 
+ * ## `"invalid"`
+ * 
+ * ## `"io"`
+ * 
+ * ## `"is-directory"`
+ * 
+ * ## `"loop"`
+ * 
+ * ## `"too-many-links"`
+ * 
+ * ## `"message-size"`
+ * 
+ * ## `"name-too-long"`
+ * 
+ * ## `"no-device"`
+ * 
+ * ## `"no-entry"`
+ * 
+ * ## `"no-lock"`
+ * 
+ * ## `"insufficient-memory"`
+ * 
+ * ## `"insufficient-space"`
+ * 
+ * ## `"not-directory"`
+ * 
+ * ## `"not-empty"`
+ * 
+ * ## `"not-recoverable"`
+ * 
+ * ## `"unsupported"`
+ * 
+ * ## `"no-tty"`
+ * 
+ * ## `"no-such-device"`
+ * 
+ * ## `"overflow"`
+ * 
+ * ## `"not-permitted"`
+ * 
+ * ## `"pipe"`
+ * 
+ * ## `"read-only"`
+ * 
+ * ## `"invalid-seek"`
+ * 
+ * ## `"text-file-busy"`
+ * 
+ * ## `"cross-device"`
+ */
+export type ErrorCode = 'access' | 'would-block' | 'already' | 'bad-descriptor' | 'busy' | 'deadlock' | 'quota' | 'exist' | 'file-too-large' | 'illegal-byte-sequence' | 'in-progress' | 'interrupted' | 'invalid' | 'io' | 'is-directory' | 'loop' | 'too-many-links' | 'message-size' | 'name-too-long' | 'no-device' | 'no-entry' | 'no-lock' | 'insufficient-memory' | 'insufficient-space' | 'not-directory' | 'not-empty' | 'not-recoverable' | 'unsupported' | 'no-tty' | 'no-such-device' | 'overflow' | 'not-permitted' | 'pipe' | 'read-only' | 'invalid-seek' | 'text-file-busy' | 'cross-device';
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };
+/**
+ * # Variants
+ * 
+ * ## `"unknown"`
+ * 
+ * ## `"block-device"`
+ * 
+ * ## `"character-device"`
+ * 
+ * ## `"directory"`
+ * 
+ * ## `"fifo"`
+ * 
+ * ## `"symbolic-link"`
+ * 
+ * ## `"regular-file"`
+ * 
+ * ## `"socket"`
+ */
+export type DescriptorType = 'unknown' | 'block-device' | 'character-device' | 'directory' | 'fifo' | 'symbolic-link' | 'regular-file' | 'socket';
+export type Device = bigint;
+export type Inode = bigint;
+export type LinkCount = bigint;
+import type { Datetime } from '../exports/wasi-clocks-wall-clock';
+export { Datetime };
+export interface DescriptorStat {
+  device: Device,
+  inode: Inode,
+  type: DescriptorType,
+  linkCount: LinkCount,
+  size: Filesize,
+  dataAccessTimestamp: Datetime,
+  dataModificationTimestamp: Datetime,
+  statusChangeTimestamp: Datetime,
+}
+export interface PathFlags {
+  symlinkFollow?: boolean,
+}
+export interface OpenFlags {
+  create?: boolean,
+  directory?: boolean,
+  exclusive?: boolean,
+  truncate?: boolean,
+}
+export interface DescriptorFlags {
+  read?: boolean,
+  write?: boolean,
+  fileIntegritySync?: boolean,
+  dataIntegritySync?: boolean,
+  requestedWriteSync?: boolean,
+  mutateDirectory?: boolean,
+}
+export interface Modes {
+  readable?: boolean,
+  writable?: boolean,
+  executable?: boolean,
+}
+export type DirectoryEntryStream = number;

package/obj/exports/wasi-filesystem-preopens.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiFilesystemPreopens {
+  export function getDirectories(): [Descriptor, string][];
+}
+import type { Descriptor } from '../exports/wasi-filesystem-types';
+export { Descriptor };

package/obj/exports/wasi-filesystem-types.d.ts

@@ -0,0 +1,153 @@
+export namespace WasiFilesystemTypes {
+  export function readViaStream(this: Descriptor, offset: Filesize): InputStream;
+  export function writeViaStream(this: Descriptor, offset: Filesize): OutputStream;
+  export function appendViaStream(this: Descriptor): OutputStream;
+  export function getType(this: Descriptor): DescriptorType;
+  export function stat(this: Descriptor): DescriptorStat;
+  export function openAt(this: Descriptor, pathFlags: PathFlags, path: string, openFlags: OpenFlags, flags: DescriptorFlags, modes: Modes): Descriptor;
+  export function dropDescriptor(this: Descriptor): void;
+  export function dropDirectoryEntryStream(this: DirectoryEntryStream): void;
+  export function metadataHash(this: Descriptor): MetadataHashValue;
+}
+export type Descriptor = number;
+export type Filesize = bigint;
+import type { InputStream } from '../exports/wasi-io-streams';
+export { InputStream };
+/**
+ * # Variants
+ * 
+ * ## `"access"`
+ * 
+ * ## `"would-block"`
+ * 
+ * ## `"already"`
+ * 
+ * ## `"bad-descriptor"`
+ * 
+ * ## `"busy"`
+ * 
+ * ## `"deadlock"`
+ * 
+ * ## `"quota"`
+ * 
+ * ## `"exist"`
+ * 
+ * ## `"file-too-large"`
+ * 
+ * ## `"illegal-byte-sequence"`
+ * 
+ * ## `"in-progress"`
+ * 
+ * ## `"interrupted"`
+ * 
+ * ## `"invalid"`
+ * 
+ * ## `"io"`
+ * 
+ * ## `"is-directory"`
+ * 
+ * ## `"loop"`
+ * 
+ * ## `"too-many-links"`
+ * 
+ * ## `"message-size"`
+ * 
+ * ## `"name-too-long"`
+ * 
+ * ## `"no-device"`
+ * 
+ * ## `"no-entry"`
+ * 
+ * ## `"no-lock"`
+ * 
+ * ## `"insufficient-memory"`
+ * 
+ * ## `"insufficient-space"`
+ * 
+ * ## `"not-directory"`
+ * 
+ * ## `"not-empty"`
+ * 
+ * ## `"not-recoverable"`
+ * 
+ * ## `"unsupported"`
+ * 
+ * ## `"no-tty"`
+ * 
+ * ## `"no-such-device"`
+ * 
+ * ## `"overflow"`
+ * 
+ * ## `"not-permitted"`
+ * 
+ * ## `"pipe"`
+ * 
+ * ## `"read-only"`
+ * 
+ * ## `"invalid-seek"`
+ * 
+ * ## `"text-file-busy"`
+ * 
+ * ## `"cross-device"`
+ */
+export type ErrorCode = 'access' | 'would-block' | 'already' | 'bad-descriptor' | 'busy' | 'deadlock' | 'quota' | 'exist' | 'file-too-large' | 'illegal-byte-sequence' | 'in-progress' | 'interrupted' | 'invalid' | 'io' | 'is-directory' | 'loop' | 'too-many-links' | 'message-size' | 'name-too-long' | 'no-device' | 'no-entry' | 'no-lock' | 'insufficient-memory' | 'insufficient-space' | 'not-directory' | 'not-empty' | 'not-recoverable' | 'unsupported' | 'no-tty' | 'no-such-device' | 'overflow' | 'not-permitted' | 'pipe' | 'read-only' | 'invalid-seek' | 'text-file-busy' | 'cross-device';
+import type { OutputStream } from '../exports/wasi-io-streams';
+export { OutputStream };
+/**
+ * # Variants
+ * 
+ * ## `"unknown"`
+ * 
+ * ## `"block-device"`
+ * 
+ * ## `"character-device"`
+ * 
+ * ## `"directory"`
+ * 
+ * ## `"fifo"`
+ * 
+ * ## `"symbolic-link"`
+ * 
+ * ## `"regular-file"`
+ * 
+ * ## `"socket"`
+ */
+export type DescriptorType = 'unknown' | 'block-device' | 'character-device' | 'directory' | 'fifo' | 'symbolic-link' | 'regular-file' | 'socket';
+export type LinkCount = bigint;
+import type { Datetime } from '../exports/wasi-clocks-wall-clock';
+export { Datetime };
+export interface DescriptorStat {
+  type: DescriptorType,
+  linkCount: LinkCount,
+  size: Filesize,
+  dataAccessTimestamp: Datetime,
+  dataModificationTimestamp: Datetime,
+  statusChangeTimestamp: Datetime,
+}
+export interface PathFlags {
+  symlinkFollow?: boolean,
+}
+export interface OpenFlags {
+  create?: boolean,
+  directory?: boolean,
+  exclusive?: boolean,
+  truncate?: boolean,
+}
+export interface DescriptorFlags {
+  read?: boolean,
+  write?: boolean,
+  fileIntegritySync?: boolean,
+  dataIntegritySync?: boolean,
+  requestedWriteSync?: boolean,
+  mutateDirectory?: boolean,
+}
+export interface Modes {
+  readable?: boolean,
+  writable?: boolean,
+  executable?: boolean,
+}
+export type DirectoryEntryStream = number;
+export interface MetadataHashValue {
+  lower: bigint,
+  upper: bigint,
+}

package/obj/exports/wasi-io-streams.d.ts

@@ -0,0 +1,18 @@
+export namespace WasiIoStreams {
+  export function read(this: InputStream, len: bigint): [Uint8Array, StreamStatus];
+  export function blockingRead(this: InputStream, len: bigint): [Uint8Array, StreamStatus];
+  export function dropInputStream(this: InputStream): void;
+  export function write(this: OutputStream, buf: Uint8Array | ArrayBuffer): [bigint, StreamStatus];
+  export function blockingWrite(this: OutputStream, buf: Uint8Array | ArrayBuffer): [bigint, StreamStatus];
+  export function dropOutputStream(this: OutputStream): void;
+}
+export type InputStream = number;
+/**
+ * # Variants
+ * 
+ * ## `"open"`
+ * 
+ * ## `"ended"`
+ */
+export type StreamStatus = 'open' | 'ended';
+export type OutputStream = number;

package/obj/exports/wasi-random-random.d.ts

@@ -0,0 +1,3 @@
+export namespace WasiRandomRandom {
+  export function getRandomBytes(len: bigint): Uint8Array;
+}

package/obj/imports/wasi-cli-base-environment.d.ts

@@ -0,0 +1,3 @@
+export namespace WasiCliBaseEnvironment1 {
+  export function getEnvironment(): [string, string][];
+}

package/obj/imports/wasi-cli-base-exit.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliBaseExit1 {
+  export function exit(status: Result<void, void>): void;
+}
+export type Result<T, E> = { tag: 'ok', val: T } | { tag: 'err', val: E };

package/obj/imports/wasi-cli-base-preopens.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBasePreopens1 {
+  export function getDirectories(): [Descriptor, string][];
+}
+import type { Descriptor } from '../imports/wasi-filesystem-filesystem';
+export { Descriptor };

package/obj/imports/wasi-cli-base-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStderr1 {
+  export function getStderr(): OutputStream;
+}
+import type { OutputStream } from '../imports/wasi-io-streams';
+export { OutputStream };

package/obj/imports/wasi-cli-base-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStdin1 {
+  export function getStdin(): InputStream;
+}
+import type { InputStream } from '../imports/wasi-io-streams';
+export { InputStream };

package/obj/imports/wasi-cli-base-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliBaseStdout1 {
+  export function getStdout(): OutputStream;
+}
+import type { OutputStream } from '../imports/wasi-io-streams';
+export { OutputStream };

package/obj/imports/wasi-cli-environment.d.ts

@@ -0,0 +1,3 @@
+export namespace WasiCliEnvironment1 {
+  export function getEnvironment(): [string, string][];
+}

package/obj/imports/wasi-cli-exit.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliExit1 {
+  export function exit(status: Result<void, void>): void;
+}
+export type Result<T, E> = { tag: 'ok', val: T } | { tag: 'err', val: E };

package/obj/imports/wasi-cli-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStderr1 {
+  export function getStderr(): OutputStream;
+}
+import type { OutputStream } from '../imports/wasi-io-streams';
+export { OutputStream };

package/obj/imports/wasi-cli-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStdin1 {
+  export function getStdin(): InputStream;
+}
+import type { InputStream } from '../imports/wasi-io-streams';
+export { InputStream };

package/obj/imports/wasi-cli-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliStdout1 {
+  export function getStdout(): OutputStream;
+}
+import type { OutputStream } from '../imports/wasi-io-streams';
+export { OutputStream };

package/obj/imports/wasi-cli-terminal-input.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliTerminalInput1 {
+  export function dropTerminalInput(this: TerminalInput): void;
+}
+export type TerminalInput = number;

package/obj/imports/wasi-cli-terminal-output.d.ts

@@ -0,0 +1,4 @@
+export namespace WasiCliTerminalOutput1 {
+  export function dropTerminalOutput(this: TerminalOutput): void;
+}
+export type TerminalOutput = number;

package/obj/imports/wasi-cli-terminal-stderr.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStderr1 {
+  export function getTerminalStderr(): TerminalOutput | null;
+}
+import type { TerminalOutput } from '../imports/wasi-cli-terminal-output';
+export { TerminalOutput };

package/obj/imports/wasi-cli-terminal-stdin.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStdin1 {
+  export function getTerminalStdin(): TerminalInput | null;
+}
+import type { TerminalInput } from '../imports/wasi-cli-terminal-input';
+export { TerminalInput };

package/obj/imports/wasi-cli-terminal-stdout.d.ts

@@ -0,0 +1,5 @@
+export namespace WasiCliTerminalStdout1 {
+  export function getTerminalStdout(): TerminalOutput | null;
+}
+import type { TerminalOutput } from '../imports/wasi-cli-terminal-output';
+export { TerminalOutput };

package/obj/imports/wasi-clocks-wall-clock.d.ts

@@ -0,0 +1,6 @@
+export namespace WasiClocksWallClock1 {
+}
+export interface Datetime {
+  seconds: bigint,
+  nanoseconds: number,
+}