danabra.mov
An experimental TypeSpec syntax for Lexicon
more
+26
-29
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/server/getConfig.tsp
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/server/getConfig.tsp
···
19
19
}
20
20
21
21
model ViewerConfig {
22
-
role?: (
23
-
| "tools.ozone.team.defs#roleAdmin"
24
-
| "tools.ozone.team.defs#roleModerator"
25
-
| "tools.ozone.team.defs#roleTriage"
26
-
| "tools.ozone.team.defs#roleVerifier"
27
-
| string
28
-
);
22
+
role?:
23
+
| tools.ozone.team.defs.RoleAdmin
24
+
| tools.ozone.team.defs.RoleModerator
25
+
| tools.ozone.team.defs.RoleTriage
26
+
| tools.ozone.team.defs.RoleVerifier
27
+
| string;
29
28
}
30
29
}
+4
-4
packages/emitter/test/integration/atproto/input/tools/ozone/setting/defs.tsp
+4
-4
packages/emitter/test/integration/atproto/input/tools/ozone/setting/defs.tsp
···
16
16
updatedAt?: datetime;
17
17
18
18
managerRole?:
19
-
| "tools.ozone.team.defs#roleModerator"
20
-
| "tools.ozone.team.defs#roleTriage"
21
-
| "tools.ozone.team.defs#roleAdmin"
22
-
| "tools.ozone.team.defs#roleVerifier"
19
+
| tools.ozone.team.defs.RoleModerator
20
+
| tools.ozone.team.defs.RoleTriage
21
+
| tools.ozone.team.defs.RoleAdmin
22
+
| tools.ozone.team.defs.RoleVerifier
23
23
| string;
24
24
25
25
@required scope: "instance" | "personal" | string;
+4
-4
packages/emitter/test/integration/atproto/input/tools/ozone/setting/upsertOption.tsp
+4
-4
packages/emitter/test/integration/atproto/input/tools/ozone/setting/upsertOption.tsp
···
14
14
description?: string;
15
15
16
16
managerRole?:
17
-
| "tools.ozone.team.defs#roleModerator"
18
-
| "tools.ozone.team.defs#roleTriage"
19
-
| "tools.ozone.team.defs#roleVerifier"
20
-
| "tools.ozone.team.defs#roleAdmin"
17
+
| tools.ozone.team.defs.RoleModerator
18
+
| tools.ozone.team.defs.RoleTriage
19
+
| tools.ozone.team.defs.RoleVerifier
20
+
| tools.ozone.team.defs.RoleAdmin
21
21
| string;
22
22
}): {
23
23
@required option: tools.ozone.setting.defs.Option;
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/team/addMember.tsp
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/team/addMember.tsp
···
11
11
@required did: did;
12
12
13
13
@required
14
-
role: (
15
-
| "tools.ozone.team.defs#roleAdmin"
16
-
| "tools.ozone.team.defs#roleModerator"
17
-
| "tools.ozone.team.defs#roleVerifier"
18
-
| "tools.ozone.team.defs#roleTriage"
19
-
| string
20
-
);
14
+
role:
15
+
| tools.ozone.team.defs.RoleAdmin
16
+
| tools.ozone.team.defs.RoleModerator
17
+
| tools.ozone.team.defs.RoleVerifier
18
+
| tools.ozone.team.defs.RoleTriage
19
+
| string;
21
20
}): tools.ozone.team.defs.Member;
22
21
}
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/team/updateMember.tsp
+6
-7
packages/emitter/test/integration/atproto/input/tools/ozone/team/updateMember.tsp
···
11
11
@required did: did;
12
12
disabled?: boolean;
13
13
14
-
role?: (
15
-
| "tools.ozone.team.defs#roleAdmin"
16
-
| "tools.ozone.team.defs#roleModerator"
17
-
| "tools.ozone.team.defs#roleVerifier"
18
-
| "tools.ozone.team.defs#roleTriage"
19
-
| string
20
-
);
14
+
role?:
15
+
| tools.ozone.team.defs.RoleAdmin
16
+
| tools.ozone.team.defs.RoleModerator
17
+
| tools.ozone.team.defs.RoleVerifier
18
+
| tools.ozone.team.defs.RoleTriage
19
+
| string;
21
20
}): tools.ozone.team.defs.Member;
22
21
}