genotype_backend 0.16.2

Genotype language backend crate
Documentation
use genotype_core/GtDiagnostic
use genotype_project/GtpFormatter

//#region Backend to Runtime

//#region Unions

GtbRemoteBackendRequest:
  | GtbRemoteBackendRequestGlobFiles
  | GtbRemoteBackendRequestReadFile
  | GtbRemoteBackendRequestFileExists
  | GtbRemoteBackendRequestIsFile
  | GtbRemoteBackendRequestFindFile
  | GtbRemoteBackendRequestReportDiagnostic
  | GtbRemoteBackendRequestRunFormatter
  | GtbRemoteBackendRequestWriteFile

GtbRemoteBackendRequestResponse:
  | GtbRemoteBackendRequestResponseGlobFiles
  | GtbRemoteBackendRequestResponseReadFile
  | GtbRemoteBackendRequestResponseFileExists
  | GtbRemoteBackendRequestResponseIsFile
  | GtbRemoteBackendRequestResponseFindFile
  | GtbRemoteBackendRequestResponseReportDiagnostic
  | GtbRemoteBackendRequestResponseRunFormatter
  | GtbRemoteBackendRequestResponseWriteFile

//#endregion

//#region glob-files

GtbRemoteBackendRequestGlobFiles: {
  kind: "glob-files",
  path: string
}

GtbRemoteBackendRequestResponseGlobFiles: {
  kind: "glob-files",
  paths: [string]
}

//#endregion

//#region read-file

GtbRemoteBackendRequestReadFile: {
  kind: "read-file",
  path: string
}

GtbRemoteBackendRequestResponseReadFile: {
  kind: "read-file",
  content: string
}

//#endregion

//#region file-exists

GtbRemoteBackendRequestFileExists: {
  kind: "file-exists",
  path: string
}

GtbRemoteBackendRequestResponseFileExists: {
  kind: "file-exists",
  exists: boolean
}

//#endregion

//#region is-file

GtbRemoteBackendRequestIsFile: {
  kind: "is-file",
  path: string
}

GtbRemoteBackendRequestResponseIsFile: {
  kind: "is-file",
  isFile: boolean
}

//#endregion

//#region find-file

GtbRemoteBackendRequestFindFile: {
  kind: "find-file",
  fileName: string
}

GtbRemoteBackendRequestResponseFindFile: {
  kind: "find-file",
  path: string
}

//#endregion

//#region report-diagnostic

GtbRemoteBackendRequestReportDiagnostic: {
  kind: "report-diagnostic",
  diagnostic: GtDiagnostic
}

GtbRemoteBackendRequestResponseReportDiagnostic: {
  kind: "report-diagnostic",
}

//#endregion

//#region run-formatter

GtbRemoteBackendRequestRunFormatter: {
  kind: "run-formatter",
  formatter: GtpFormatter
}

GtbRemoteBackendRequestResponseRunFormatter: {
  kind: "run-formatter",
}

//#endregion

//#region write-file

GtbRemoteBackendRequestWriteFile: {
  kind: "write-file",
  path: string,
  content: string
}

GtbRemoteBackendRequestResponseWriteFile: {
  kind: "write-file",
}

//#endregion

//#endregion

//#endregion