1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
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 } }
]
*/
|
