| 123456789101112131415161718192021222324 |
- export * as Revert from "./revert"
- import { Schema } from "effect"
- import { optional } from "./schema"
- import { NonNegativeInt, RelativePath } from "./schema"
- import { SessionMessage } from "./session-message"
- export const FileDiff = Schema.Struct({
- path: RelativePath,
- status: Schema.Literals(["added", "modified", "deleted"]),
- additions: NonNegativeInt,
- deletions: NonNegativeInt,
- patch: Schema.String,
- }).annotate({ identifier: "File.Diff" })
- export interface FileDiff extends Schema.Schema.Type<typeof FileDiff> {}
- export const State = Schema.Struct({
- messageID: SessionMessage.ID,
- partID: Schema.String.pipe(optional),
- snapshot: Schema.String.pipe(optional),
- diff: Schema.String.pipe(optional),
- files: Schema.Array(FileDiff).pipe(optional),
- }).annotate({ identifier: "Revert.State" })
- export interface State extends Schema.Schema.Type<typeof State> {}
|