|
2 | 2 | package stargazers:db-obelisk-ext; |
3 | 3 |
|
4 | 4 | interface user { |
5 | | - use obelisk:types/execution@2.0.0.{execution-id, join-set-id, await-next-extension-error, get-extension-error, execution-failed}; |
6 | 5 | use stargazers:db/user.{stargazer, ordering}; |
| 6 | + use obelisk:types/execution@3.0.0.{execution-id, join-set, await-next-extension-error, get-extension-error, invoke-extension-error}; |
7 | 7 |
|
8 | | - add-star-get-description-submit: func(join-set-id: borrow<join-set-id>, login: string, repo: string) -> execution-id; |
| 8 | + add-star-get-description-submit: func(join-set: borrow<join-set>, login: string, repo: string) -> execution-id; |
9 | 9 |
|
10 | | - add-star-get-description-await-next: func(join-set-id: borrow<join-set-id>) -> result<tuple<execution-id, result<option<string>, string>>, await-next-extension-error>; |
| 10 | + add-star-get-description-await-next: func(join-set: borrow<join-set>) -> result<tuple<execution-id, result<option<string>, string>>, await-next-extension-error>; |
11 | 11 |
|
12 | 12 | add-star-get-description-get: func(execution-id: execution-id) -> result<result<option<string>, string>, get-extension-error>; |
13 | 13 |
|
14 | | - add-star-get-description-invoke: func(login: string, repo: string) -> result<result<option<string>, string>, execution-failed>; |
| 14 | + add-star-get-description-invoke: func(label: string, login: string, repo: string) -> result<result<option<string>, string>, invoke-extension-error>; |
15 | 15 |
|
16 | | - remove-star-submit: func(join-set-id: borrow<join-set-id>, login: string, repo: string) -> execution-id; |
| 16 | + remove-star-submit: func(join-set: borrow<join-set>, login: string, repo: string) -> execution-id; |
17 | 17 |
|
18 | | - remove-star-await-next: func(join-set-id: borrow<join-set-id>) -> result<tuple<execution-id, result<_, string>>, await-next-extension-error>; |
| 18 | + remove-star-await-next: func(join-set: borrow<join-set>) -> result<tuple<execution-id, result<_, string>>, await-next-extension-error>; |
19 | 19 |
|
20 | 20 | remove-star-get: func(execution-id: execution-id) -> result<result<_, string>, get-extension-error>; |
21 | 21 |
|
22 | | - remove-star-invoke: func(login: string, repo: string) -> result<result<_, string>, execution-failed>; |
| 22 | + remove-star-invoke: func(label: string, login: string, repo: string) -> result<result<_, string>, invoke-extension-error>; |
23 | 23 |
|
24 | | - update-user-description-submit: func(join-set-id: borrow<join-set-id>, username: string, description: string) -> execution-id; |
| 24 | + update-user-description-submit: func(join-set: borrow<join-set>, username: string, description: string) -> execution-id; |
25 | 25 |
|
26 | | - update-user-description-await-next: func(join-set-id: borrow<join-set-id>) -> result<tuple<execution-id, result<_, string>>, await-next-extension-error>; |
| 26 | + update-user-description-await-next: func(join-set: borrow<join-set>) -> result<tuple<execution-id, result<_, string>>, await-next-extension-error>; |
27 | 27 |
|
28 | 28 | update-user-description-get: func(execution-id: execution-id) -> result<result<_, string>, get-extension-error>; |
29 | 29 |
|
30 | | - update-user-description-invoke: func(username: string, description: string) -> result<result<_, string>, execution-failed>; |
| 30 | + update-user-description-invoke: func(label: string, username: string, description: string) -> result<result<_, string>, invoke-extension-error>; |
31 | 31 |
|
32 | | - list-stargazers-submit: func(join-set-id: borrow<join-set-id>, last: u8, repo: option<string>, ordering: ordering) -> execution-id; |
| 32 | + list-stargazers-submit: func(join-set: borrow<join-set>, last: u8, repo: option<string>, ordering: ordering) -> execution-id; |
33 | 33 |
|
34 | | - list-stargazers-await-next: func(join-set-id: borrow<join-set-id>) -> result<tuple<execution-id, result<list<stargazer>, string>>, await-next-extension-error>; |
| 34 | + list-stargazers-await-next: func(join-set: borrow<join-set>) -> result<tuple<execution-id, result<list<stargazer>, string>>, await-next-extension-error>; |
35 | 35 |
|
36 | 36 | list-stargazers-get: func(execution-id: execution-id) -> result<result<list<stargazer>, string>, get-extension-error>; |
37 | 37 |
|
38 | | - list-stargazers-invoke: func(last: u8, repo: option<string>, ordering: ordering) -> result<result<list<stargazer>, string>, execution-failed>; |
| 38 | + list-stargazers-invoke: func(label: string, last: u8, repo: option<string>, ordering: ordering) -> result<result<list<stargazer>, string>, invoke-extension-error>; |
39 | 39 | } |
40 | 40 |
|
41 | 41 | interface llm { |
42 | | - use obelisk:types/execution@2.0.0.{execution-id, join-set-id, await-next-extension-error, get-extension-error, execution-failed}; |
| 42 | + use obelisk:types/execution@3.0.0.{execution-id, join-set, await-next-extension-error, get-extension-error, invoke-extension-error}; |
43 | 43 |
|
44 | | - get-settings-json-submit: func(join-set-id: borrow<join-set-id>) -> execution-id; |
| 44 | + get-settings-json-submit: func(join-set: borrow<join-set>) -> execution-id; |
45 | 45 |
|
46 | | - get-settings-json-await-next: func(join-set-id: borrow<join-set-id>) -> result<tuple<execution-id, result<string, string>>, await-next-extension-error>; |
| 46 | + get-settings-json-await-next: func(join-set: borrow<join-set>) -> result<tuple<execution-id, result<string, string>>, await-next-extension-error>; |
47 | 47 |
|
48 | 48 | get-settings-json-get: func(execution-id: execution-id) -> result<result<string, string>, get-extension-error>; |
49 | 49 |
|
50 | | - get-settings-json-invoke: func() -> result<result<string, string>, execution-failed>; |
| 50 | + get-settings-json-invoke: func(label: string) -> result<result<string, string>, invoke-extension-error>; |
51 | 51 | } |
52 | 52 |
|
0 commit comments