export type ServerboundPacket = Sync | Handshake | ListTasks | ListInstances | UpdateTask | RemoveTask export type ClientboundPacket = Handshake | Error | TaskList | InstanceList | Sync | InvalidateState export interface Sync { type: "sync", data: null } export interface Error { type: "error", data: { kind: "unknown_task", details: null } | { kind: "format_error", details: string } } export interface Handshake { type: "handshake", data: { version: string } } export interface ListTasks { type: "list_tasks", data: null } export interface TaskList { type: "task_list", data: Task[] } export interface ListInstances { type: "list_instances", data: { task: number, range: Range } } export interface InstanceList { type: "instance_list", data: Range[] } export interface UpdateTask { type: "update_task", data: Task } export interface RemoveTask { type: "remove_task", data: number } export interface InvalidateState { type: "invalidate_state", data: null } export interface Range { start?: number, end?: number } export interface Task { id: number name: string, description: string, tags: string[], schedule: Schedule } export type Schedule = { type: "never" } | { type: "static", options: Range } | { type: "condition", options: Condition } | { type: "dynamic", options: { priority: number, scheduled?: number, duration: number, deadline?: Condition } } export type Condition = { from?: Condition } | { or?: Condition[] } | { and?: Condition[] } | { equal?: { prop: Thing, value: number, mod?: number } } | { range?: { prop: Thing, min: number, max: number, mod?: number } } export type Thing = "year" | "monthofyear" | "weekofmonth" | "dayofyear" | "dayofmonth" | "dayofweek" | "hour" | "minute" | "second" | "unix" /* examples: 11:00 - 12:00 every first monday of the month and: [ { range: { prop: "hour", min: 11, max: 12 } }, { equal: { prop: "dayofweek", value: 0 } }, { equal: { prop: "weekofmonth", value: 0 } } ] */