[MS] Workspace history

bindings/electron/src/index.d.ts

@@ -269,6 +269,15 @@ export interface UserInfo {
 }
 
 
+export interface WorkspaceHistoryFileStat {
+    id: string
+    created: number
+    updated: number
+    version: number
+    size: number
+}
+
+
 export interface WorkspaceInfo {
     id: string
     currentName: string
@@ -1717,6 +1726,287 @@ export type WorkspaceGeneratePathAddrError =
   | WorkspaceGeneratePathAddrErrorStopped
 
 
+// WorkspaceHistoryEntryStat
+export interface WorkspaceHistoryEntryStatFile {
+    tag: "File"
+    id: string
+    parent: string
+    created: number
+    updated: number
+    version: number
+    size: number
+}
+export interface WorkspaceHistoryEntryStatFolder {
+    tag: "Folder"
+    id: string
+    parent: string
+    created: number
+    updated: number
+    version: number
+}
+export type WorkspaceHistoryEntryStat =
+  | WorkspaceHistoryEntryStatFile
+  | WorkspaceHistoryEntryStatFolder
+
+
+// WorkspaceHistoryFdCloseError
+export interface WorkspaceHistoryFdCloseErrorBadFileDescriptor {
+    tag: "BadFileDescriptor"
+    error: string
+}
+export interface WorkspaceHistoryFdCloseErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export type WorkspaceHistoryFdCloseError =
+  | WorkspaceHistoryFdCloseErrorBadFileDescriptor
+  | WorkspaceHistoryFdCloseErrorInternal
+
+
+// WorkspaceHistoryFdReadError
+export interface WorkspaceHistoryFdReadErrorBadFileDescriptor {
+    tag: "BadFileDescriptor"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorBlockNotFound {
+    tag: "BlockNotFound"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorInvalidBlockAccess {
+    tag: "InvalidBlockAccess"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorInvalidCertificate {
+    tag: "InvalidCertificate"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorInvalidKeysBundle {
+    tag: "InvalidKeysBundle"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorNoRealmAccess {
+    tag: "NoRealmAccess"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorOffline {
+    tag: "Offline"
+    error: string
+}
+export interface WorkspaceHistoryFdReadErrorStopped {
+    tag: "Stopped"
+    error: string
+}
+export type WorkspaceHistoryFdReadError =
+  | WorkspaceHistoryFdReadErrorBadFileDescriptor
+  | WorkspaceHistoryFdReadErrorBlockNotFound
+  | WorkspaceHistoryFdReadErrorInternal
+  | WorkspaceHistoryFdReadErrorInvalidBlockAccess
+  | WorkspaceHistoryFdReadErrorInvalidCertificate
+  | WorkspaceHistoryFdReadErrorInvalidKeysBundle
+  | WorkspaceHistoryFdReadErrorNoRealmAccess
+  | WorkspaceHistoryFdReadErrorOffline
+  | WorkspaceHistoryFdReadErrorStopped
+
+
+// WorkspaceHistoryFdStatError
+export interface WorkspaceHistoryFdStatErrorBadFileDescriptor {
+    tag: "BadFileDescriptor"
+    error: string
+}
+export interface WorkspaceHistoryFdStatErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export type WorkspaceHistoryFdStatError =
+  | WorkspaceHistoryFdStatErrorBadFileDescriptor
+  | WorkspaceHistoryFdStatErrorInternal
+
+
+// WorkspaceHistoryGetWorkspaceManifestV1TimestampError
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidCertificate {
+    tag: "InvalidCertificate"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidKeysBundle {
+    tag: "InvalidKeysBundle"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidManifest {
+    tag: "InvalidManifest"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorNoRealmAccess {
+    tag: "NoRealmAccess"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorOffline {
+    tag: "Offline"
+    error: string
+}
+export interface WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorStopped {
+    tag: "Stopped"
+    error: string
+}
+export type WorkspaceHistoryGetWorkspaceManifestV1TimestampError =
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInternal
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidCertificate
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidKeysBundle
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorInvalidManifest
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorNoRealmAccess
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorOffline
+  | WorkspaceHistoryGetWorkspaceManifestV1TimestampErrorStopped
+
+
+// WorkspaceHistoryOpenFileError
+export interface WorkspaceHistoryOpenFileErrorEntryNotAFile {
+    tag: "EntryNotAFile"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorEntryNotFound {
+    tag: "EntryNotFound"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorInvalidCertificate {
+    tag: "InvalidCertificate"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorInvalidKeysBundle {
+    tag: "InvalidKeysBundle"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorInvalidManifest {
+    tag: "InvalidManifest"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorNoRealmAccess {
+    tag: "NoRealmAccess"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorOffline {
+    tag: "Offline"
+    error: string
+}
+export interface WorkspaceHistoryOpenFileErrorStopped {
+    tag: "Stopped"
+    error: string
+}
+export type WorkspaceHistoryOpenFileError =
+  | WorkspaceHistoryOpenFileErrorEntryNotAFile
+  | WorkspaceHistoryOpenFileErrorEntryNotFound
+  | WorkspaceHistoryOpenFileErrorInternal
+  | WorkspaceHistoryOpenFileErrorInvalidCertificate
+  | WorkspaceHistoryOpenFileErrorInvalidKeysBundle
+  | WorkspaceHistoryOpenFileErrorInvalidManifest
+  | WorkspaceHistoryOpenFileErrorNoRealmAccess
+  | WorkspaceHistoryOpenFileErrorOffline
+  | WorkspaceHistoryOpenFileErrorStopped
+
+
+// WorkspaceHistoryStatEntryError
+export interface WorkspaceHistoryStatEntryErrorEntryNotFound {
+    tag: "EntryNotFound"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorInvalidCertificate {
+    tag: "InvalidCertificate"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorInvalidKeysBundle {
+    tag: "InvalidKeysBundle"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorInvalidManifest {
+    tag: "InvalidManifest"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorNoRealmAccess {
+    tag: "NoRealmAccess"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorOffline {
+    tag: "Offline"
+    error: string
+}
+export interface WorkspaceHistoryStatEntryErrorStopped {
+    tag: "Stopped"
+    error: string
+}
+export type WorkspaceHistoryStatEntryError =
+  | WorkspaceHistoryStatEntryErrorEntryNotFound
+  | WorkspaceHistoryStatEntryErrorInternal
+  | WorkspaceHistoryStatEntryErrorInvalidCertificate
+  | WorkspaceHistoryStatEntryErrorInvalidKeysBundle
+  | WorkspaceHistoryStatEntryErrorInvalidManifest
+  | WorkspaceHistoryStatEntryErrorNoRealmAccess
+  | WorkspaceHistoryStatEntryErrorOffline
+  | WorkspaceHistoryStatEntryErrorStopped
+
+
+// WorkspaceHistoryStatFolderChildrenError
+export interface WorkspaceHistoryStatFolderChildrenErrorEntryIsFile {
+    tag: "EntryIsFile"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorEntryNotFound {
+    tag: "EntryNotFound"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorInternal {
+    tag: "Internal"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorInvalidCertificate {
+    tag: "InvalidCertificate"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorInvalidKeysBundle {
+    tag: "InvalidKeysBundle"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorInvalidManifest {
+    tag: "InvalidManifest"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorNoRealmAccess {
+    tag: "NoRealmAccess"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorOffline {
+    tag: "Offline"
+    error: string
+}
+export interface WorkspaceHistoryStatFolderChildrenErrorStopped {
+    tag: "Stopped"
+    error: string
+}
+export type WorkspaceHistoryStatFolderChildrenError =
+  | WorkspaceHistoryStatFolderChildrenErrorEntryIsFile
+  | WorkspaceHistoryStatFolderChildrenErrorEntryNotFound
+  | WorkspaceHistoryStatFolderChildrenErrorInternal
+  | WorkspaceHistoryStatFolderChildrenErrorInvalidCertificate
+  | WorkspaceHistoryStatFolderChildrenErrorInvalidKeysBundle
+  | WorkspaceHistoryStatFolderChildrenErrorInvalidManifest
+  | WorkspaceHistoryStatFolderChildrenErrorNoRealmAccess
+  | WorkspaceHistoryStatFolderChildrenErrorOffline
+  | WorkspaceHistoryStatFolderChildrenErrorStopped
+
+
 // WorkspaceInfoError
 export interface WorkspaceInfoErrorInternal {
     tag: "Internal"
@@ -2446,6 +2736,53 @@ export function workspaceGeneratePathAddr(
     workspace: number,
     path: string
 ): Promise<Result<string, WorkspaceGeneratePathAddrError>>
+export function workspaceHistoryFdClose(
+    workspace: number,
+    fd: number
+): Promise<Result<null, WorkspaceHistoryFdCloseError>>
+export function workspaceHistoryFdRead(
+    workspace: number,
+    fd: number,
+    offset: number,
+    size: number
+): Promise<Result<Uint8Array, WorkspaceHistoryFdReadError>>
+export function workspaceHistoryFdStat(
+    workspace: number,
+    fd: number
+): Promise<Result<WorkspaceHistoryFileStat, WorkspaceHistoryFdStatError>>
+export function workspaceHistoryGetWorkspaceManifestV1Timestamp(
+    workspace: number
+): Promise<Result<number | null, WorkspaceHistoryGetWorkspaceManifestV1TimestampError>>
+export function workspaceHistoryOpenFile(
+    workspace: number,
+    at: number,
+    path: string
+): Promise<Result<number, WorkspaceHistoryOpenFileError>>
+export function workspaceHistoryOpenFileById(
+    workspace: number,
+    at: number,
+    entry_id: string
+): Promise<Result<number, WorkspaceHistoryOpenFileError>>
+export function workspaceHistoryStatEntry(
+    workspace: number,
+    at: number,
+    path: string
+): Promise<Result<WorkspaceHistoryEntryStat, WorkspaceHistoryStatEntryError>>
+export function workspaceHistoryStatEntryById(
+    workspace: number,
+    at: number,
+    entry_id: string
+): Promise<Result<WorkspaceHistoryEntryStat, WorkspaceHistoryStatEntryError>>
+export function workspaceHistoryStatFolderChildren(
+    workspace: number,
+    at: number,
+    path: string
+): Promise<Result<Array<[string, WorkspaceHistoryEntryStat]>, WorkspaceHistoryStatFolderChildrenError>>
+export function workspaceHistoryStatFolderChildrenById(
+    workspace: number,
+    at: number,
+    entry_id: string
+): Promise<Result<Array<[string, WorkspaceHistoryEntryStat]>, WorkspaceHistoryStatFolderChildrenError>>
 export function workspaceInfo(
     workspace: number
 ): Promise<Result<StartedWorkspaceInfo, WorkspaceInfoError>>