jurist 0.0.4 → 0.0.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/jurist.d.ts +31 -36
- package/dist/jurist.js +56 -64
- package/dist/jurist.js.map +1 -1
- package/package.json +10 -9
- package/src/jurist.ts +1 -1
package/dist/jurist.d.ts
CHANGED
|
@@ -1,43 +1,38 @@
|
|
|
1
|
-
import {
|
|
2
|
-
export * from
|
|
1
|
+
import { Join, Tree, TreePathName } from "treetrunks";
|
|
2
|
+
export * from "treetrunks";
|
|
3
3
|
|
|
4
|
+
//#region src/jurist.d.ts
|
|
4
5
|
type Roles<L extends Laws<any, any, any, any>> = L extends Laws<infer Role, any, any, any> ? Role : never;
|
|
5
6
|
type Permissions<L extends Laws<any, any, any, any>> = L extends Laws<any, any, infer Permission, any> ? Permission : never;
|
|
6
7
|
type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<Permissions<L>, D>;
|
|
7
|
-
declare class Laws<Role extends string, PermissionTree extends Tree, Permission extends Join<TreePathName<PermissionTree>, `_`>, RolePermissions extends {
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
permissions: PermissionTree;
|
|
19
|
-
rolePermissions: RolePermissions;
|
|
20
|
-
});
|
|
21
|
-
check(role: Role, permission: Permission): boolean;
|
|
8
|
+
declare class Laws<Role extends string, PermissionTree extends Tree, Permission extends Join<TreePathName<PermissionTree>, `_`>, RolePermissions extends { [r in Role]: ReadonlySet<Permission> }> {
|
|
9
|
+
readonly roles: Role[];
|
|
10
|
+
readonly permissionTree: PermissionTree;
|
|
11
|
+
readonly rolePermissions: RolePermissions;
|
|
12
|
+
protected readonly decompressedRolePermissions: { [r in Role]: ReadonlySet<string> };
|
|
13
|
+
constructor(options: {
|
|
14
|
+
roles: Role[];
|
|
15
|
+
permissions: PermissionTree;
|
|
16
|
+
rolePermissions: RolePermissions;
|
|
17
|
+
});
|
|
18
|
+
check(role: Role, permission: Permission): boolean;
|
|
22
19
|
}
|
|
23
20
|
type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`;
|
|
24
|
-
declare class Escalator<S extends EscalatorStyle, L extends Laws<any, any, any, any>, P extends PermissionData<L, any>, D extends P extends PermissionData<L, infer d> ? d : never, F> {
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
21
|
+
declare class Escalator<S extends EscalatorStyle, L extends Laws<any, any, any, any>, P extends PermissionData<L, any>, D extends (P extends PermissionData<L, infer d> ? d : never), F> {
|
|
22
|
+
readonly style: S;
|
|
23
|
+
readonly laws: L;
|
|
24
|
+
readonly permissionData: P;
|
|
25
|
+
readonly fallback: F;
|
|
26
|
+
constructor(options: Readonly<{
|
|
27
|
+
style: S;
|
|
28
|
+
laws: L;
|
|
29
|
+
permissionData: P;
|
|
30
|
+
fallback: F;
|
|
31
|
+
}>);
|
|
32
|
+
get(role: Roles<L>): D | F;
|
|
36
33
|
}
|
|
37
|
-
type Count<N extends number, A extends any[] = []> = [
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
export { type Count, Escalator, type EscalatorStyle, Laws, type PermissionData, type Permissions, type Roles };
|
|
34
|
+
type Count<N extends number, A extends any[] = []> = [...A, any][`length`] extends N ? A[`length`] : A[`length`] | Count<N, [...A, any]>;
|
|
35
|
+
type Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][];
|
|
36
|
+
//#endregion
|
|
37
|
+
export { Count, Escalator, EscalatorStyle, Laws, PermissionData, Permissions, Roles };
|
|
38
|
+
//# sourceMappingURL=jurist.d.ts.map
|
package/dist/jurist.js
CHANGED
|
@@ -1,78 +1,70 @@
|
|
|
1
|
-
export * from
|
|
1
|
+
export * from "treetrunks"
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
//#region src/jurist.ts
|
|
4
4
|
var Laws = class {
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
]
|
|
20
|
-
)
|
|
21
|
-
);
|
|
22
|
-
}
|
|
23
|
-
check(role, permission) {
|
|
24
|
-
return this.decompressedRolePermissions[role].has(permission);
|
|
25
|
-
}
|
|
5
|
+
roles;
|
|
6
|
+
permissionTree;
|
|
7
|
+
rolePermissions;
|
|
8
|
+
decompressedRolePermissions;
|
|
9
|
+
constructor(options) {
|
|
10
|
+
const { roles, permissions, rolePermissions } = options;
|
|
11
|
+
this.roles = roles;
|
|
12
|
+
this.permissionTree = permissions;
|
|
13
|
+
this.rolePermissions = rolePermissions;
|
|
14
|
+
this.decompressedRolePermissions = fromEntries(toEntries(rolePermissions).map(([role, permissionsOfRole]) => [role, decompressRolePermissions(permissionsOfRole)]));
|
|
15
|
+
}
|
|
16
|
+
check(role, permission) {
|
|
17
|
+
return this.decompressedRolePermissions[role].has(permission);
|
|
18
|
+
}
|
|
26
19
|
};
|
|
27
20
|
function decompressRolePermissions(permissionSet) {
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
21
|
+
const decompressed = new Set(permissionSet);
|
|
22
|
+
for (const permission of permissionSet) {
|
|
23
|
+
const preconditions = permission.split(`_`);
|
|
24
|
+
for (let i = 0; i < preconditions.length - 1; i++) {
|
|
25
|
+
const subPermission = preconditions.slice(0, i + 1).join(`_`);
|
|
26
|
+
decompressed.add(subPermission);
|
|
27
|
+
}
|
|
28
|
+
}
|
|
29
|
+
return decompressed;
|
|
37
30
|
}
|
|
38
31
|
var Escalator = class {
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
}
|
|
32
|
+
style;
|
|
33
|
+
laws;
|
|
34
|
+
permissionData;
|
|
35
|
+
fallback;
|
|
36
|
+
constructor(options) {
|
|
37
|
+
const { style, laws, permissionData, fallback } = options;
|
|
38
|
+
this.style = style;
|
|
39
|
+
this.laws = laws;
|
|
40
|
+
this.permissionData = permissionData;
|
|
41
|
+
this.fallback = fallback;
|
|
42
|
+
}
|
|
43
|
+
get(role) {
|
|
44
|
+
let result = this.fallback;
|
|
45
|
+
for (const [permission, data] of this.permissionData) {
|
|
46
|
+
const hasPermission = this.laws.check(role, permission);
|
|
47
|
+
switch (this.style) {
|
|
48
|
+
case `firstFound`:
|
|
49
|
+
if (hasPermission) return data;
|
|
50
|
+
break;
|
|
51
|
+
case `lastFound`:
|
|
52
|
+
if (hasPermission) result = data;
|
|
53
|
+
break;
|
|
54
|
+
case `untilMiss`: if (hasPermission) result = data;
|
|
55
|
+
else return result;
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
return result;
|
|
59
|
+
}
|
|
68
60
|
};
|
|
69
61
|
function fromEntries(entries) {
|
|
70
|
-
|
|
62
|
+
return Object.fromEntries(entries);
|
|
71
63
|
}
|
|
72
64
|
function toEntries(obj) {
|
|
73
|
-
|
|
65
|
+
return Object.entries(obj);
|
|
74
66
|
}
|
|
75
67
|
|
|
68
|
+
//#endregion
|
|
76
69
|
export { Escalator, Laws };
|
|
77
|
-
//# sourceMappingURL=jurist.js.map
|
|
78
70
|
//# sourceMappingURL=jurist.js.map
|
package/dist/jurist.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"
|
|
1
|
+
{"version":3,"file":"jurist.js","names":["result: D | F"],"sources":["../src/jurist.ts"],"sourcesContent":["import type { Join, Tree, TreePathName } from \"treetrunks\"\n\nexport * from \"treetrunks\"\n\nexport type Roles<L extends Laws<any, any, any, any>> = L extends Laws<\n\tinfer Role,\n\tany,\n\tany,\n\tany\n>\n\t? Role\n\t: never\n\nexport type Permissions<L extends Laws<any, any, any, any>> = L extends Laws<\n\tany,\n\tany,\n\tinfer Permission,\n\tany\n>\n\t? Permission\n\t: never\n\nexport type PermissionData<L extends Laws<any, any, any, any>, D> = Entries<\n\tPermissions<L>,\n\tD\n>\n\nexport class Laws<\n\tRole extends string,\n\tPermissionTree extends Tree,\n\tPermission extends Join<TreePathName<PermissionTree>, `_`>,\n\tRolePermissions extends { [r in Role]: ReadonlySet<Permission> },\n> {\n\tpublic readonly roles: Role[]\n\tpublic readonly permissionTree: PermissionTree\n\tpublic readonly rolePermissions: RolePermissions\n\tprotected readonly decompressedRolePermissions: {\n\t\t[r in Role]: ReadonlySet<string>\n\t}\n\n\tpublic constructor(options: {\n\t\troles: Role[]\n\t\tpermissions: PermissionTree\n\t\trolePermissions: RolePermissions\n\t}) {\n\t\tconst { roles, permissions, rolePermissions } = options\n\t\tthis.roles = roles\n\t\tthis.permissionTree = permissions\n\t\tthis.rolePermissions = rolePermissions\n\t\tthis.decompressedRolePermissions = fromEntries(\n\t\t\ttoEntries<RolePermissions>(rolePermissions).map(\n\t\t\t\t([role, permissionsOfRole]) => [\n\t\t\t\t\trole,\n\t\t\t\t\tdecompressRolePermissions(permissionsOfRole),\n\t\t\t\t],\n\t\t\t),\n\t\t)\n\t}\n\n\tpublic check(role: Role, permission: Permission): boolean {\n\t\treturn this.decompressedRolePermissions[role].has(permission)\n\t}\n}\n\nfunction decompressRolePermissions(\n\tpermissionSet: ReadonlySet<string>,\n): ReadonlySet<string> {\n\tconst decompressed = new Set<string>(permissionSet)\n\tfor (const permission of permissionSet) {\n\t\tconst preconditions = permission.split(`_`)\n\t\tfor (let i = 0; i < preconditions.length - 1; i++) {\n\t\t\tconst subPermission = preconditions.slice(0, i + 1).join(`_`)\n\t\t\tdecompressed.add(subPermission)\n\t\t}\n\t}\n\treturn decompressed\n}\n\nexport type EscalatorStyle = `firstFound` | `lastFound` | `untilMiss`\nexport class Escalator<\n\tS extends EscalatorStyle,\n\tL extends Laws<any, any, any, any>,\n\tP extends PermissionData<L, any>,\n\tD extends P extends PermissionData<L, infer d> ? d : never,\n\tF,\n> {\n\tpublic readonly style: S\n\tpublic readonly laws: L\n\tpublic readonly permissionData: P\n\tpublic readonly fallback: F\n\tpublic constructor(\n\t\toptions: Readonly<{\n\t\t\tstyle: S\n\t\t\tlaws: L\n\t\t\tpermissionData: P\n\t\t\tfallback: F\n\t\t}>,\n\t) {\n\t\tconst { style, laws, permissionData, fallback } = options\n\t\tthis.style = style\n\t\tthis.laws = laws\n\t\tthis.permissionData = permissionData\n\t\tthis.fallback = fallback\n\t}\n\n\tpublic get(role: Roles<L>): D | F {\n\t\tlet result: D | F = this.fallback\n\t\tfor (const [permission, data] of this.permissionData) {\n\t\t\tconst hasPermission = this.laws.check(role, permission)\n\t\t\tswitch (this.style) {\n\t\t\t\tcase `firstFound`:\n\t\t\t\t\tif (hasPermission) return data\n\t\t\t\t\tbreak\n\t\t\t\tcase `lastFound`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\tbreak\n\t\t\t\tcase `untilMiss`:\n\t\t\t\t\tif (hasPermission) result = data\n\t\t\t\t\telse return result\n\t\t\t}\n\t\t}\n\t\treturn result\n\t}\n}\n\ntype Flat<R extends { [K in PropertyKey]: any }> = {\n\t[K in keyof R]: R[K]\n}\n\nexport type Count<N extends number, A extends any[] = []> = [\n\t...A,\n\tany,\n][`length`] extends N\n\t? A[`length`]\n\t: A[`length`] | Count<N, [...A, any]>\n\ntype Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][]\n\ntype KeyOfEntries<E extends Entries> = E extends [infer K, any][] ? K : never\n\ntype ValueOfEntry<E extends Entries, K extends KeyOfEntries<E>> = {\n\t[P in Count<E[`length`]>]: E[P] extends [K, infer V] ? V : never\n}[Count<E[`length`]>]\n\ntype FromEntries<E extends Entries> = Flat<{\n\t[K in KeyOfEntries<E>]: ValueOfEntry<E, K>\n}>\n\nfunction fromEntries<E extends Entries>(entries: E): FromEntries<E> {\n\treturn Object.fromEntries(entries) as FromEntries<E>\n}\n\nfunction toEntries<T extends object>(obj: T): Entries<keyof T, T[keyof T]> {\n\treturn Object.entries(obj) as Entries<keyof T, T[keyof T]>\n}\n"],"mappings":";;;AA2BA,IAAa,OAAb,MAKE;CACD,AAAgB;CAChB,AAAgB;CAChB,AAAgB;CAChB,AAAmB;CAInB,AAAO,YAAY,SAIhB;EACF,MAAM,EAAE,OAAO,aAAa,oBAAoB;AAChD,OAAK,QAAQ;AACb,OAAK,iBAAiB;AACtB,OAAK,kBAAkB;AACvB,OAAK,8BAA8B,YAClC,UAA2B,iBAAiB,KAC1C,CAAC,MAAM,uBAAuB,CAC9B,MACA,0BAA0B;;CAM9B,AAAO,MAAM,MAAY,YAAiC;AACzD,SAAO,KAAK,4BAA4B,MAAM,IAAI;;;AAIpD,SAAS,0BACR,eACsB;CACtB,MAAM,eAAe,IAAI,IAAY;AACrC,MAAK,MAAM,cAAc,eAAe;EACvC,MAAM,gBAAgB,WAAW,MAAM;AACvC,OAAK,IAAI,IAAI,GAAG,IAAI,cAAc,SAAS,GAAG,KAAK;GAClD,MAAM,gBAAgB,cAAc,MAAM,GAAG,IAAI,GAAG,KAAK;AACzD,gBAAa,IAAI;;;AAGnB,QAAO;;AAIR,IAAa,YAAb,MAME;CACD,AAAgB;CAChB,AAAgB;CAChB,AAAgB;CAChB,AAAgB;CAChB,AAAO,YACN,SAMC;EACD,MAAM,EAAE,OAAO,MAAM,gBAAgB,aAAa;AAClD,OAAK,QAAQ;AACb,OAAK,OAAO;AACZ,OAAK,iBAAiB;AACtB,OAAK,WAAW;;CAGjB,AAAO,IAAI,MAAuB;EACjC,IAAIA,SAAgB,KAAK;AACzB,OAAK,MAAM,CAAC,YAAY,SAAS,KAAK,gBAAgB;GACrD,MAAM,gBAAgB,KAAK,KAAK,MAAM,MAAM;AAC5C,WAAQ,KAAK,OAAb;IACC,KAAK;AACJ,SAAI,cAAe,QAAO;AAC1B;IACD,KAAK;AACJ,SAAI,cAAe,UAAS;AAC5B;IACD,KAAK,YACJ,KAAI,cAAe,UAAS;QACvB,QAAO;;;AAGf,SAAO;;;AA2BT,SAAS,YAA+B,SAA4B;AACnE,QAAO,OAAO,YAAY;;AAG3B,SAAS,UAA4B,KAAsC;AAC1E,QAAO,OAAO,QAAQ"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "jurist",
|
|
3
|
-
"version": "0.0.
|
|
3
|
+
"version": "0.0.6",
|
|
4
4
|
"license": "MIT",
|
|
5
5
|
"author": {
|
|
6
6
|
"name": "Jeremy Banka",
|
|
@@ -21,21 +21,22 @@
|
|
|
21
21
|
],
|
|
22
22
|
"main": "dist/jurist.js",
|
|
23
23
|
"dependencies": {
|
|
24
|
-
"treetrunks": "0.1.
|
|
24
|
+
"treetrunks": "0.1.4"
|
|
25
25
|
},
|
|
26
26
|
"devDependencies": {
|
|
27
|
-
"concurrently": "9.1
|
|
28
|
-
"eslint": "9.
|
|
27
|
+
"concurrently": "9.2.1",
|
|
28
|
+
"eslint": "9.35.0",
|
|
29
29
|
"rimraf": "6.0.1",
|
|
30
|
-
"
|
|
31
|
-
"
|
|
30
|
+
"tsdown": "0.14.2",
|
|
31
|
+
"vite": "7.1.4",
|
|
32
|
+
"vitest": "3.2.4"
|
|
32
33
|
},
|
|
33
34
|
"scripts": {
|
|
34
|
-
"build": "
|
|
35
|
+
"build": "tsdown",
|
|
35
36
|
"lint:biome": "biome check -- .",
|
|
36
37
|
"lint:eslint": "eslint -- .",
|
|
37
|
-
"lint:types": "
|
|
38
|
-
"watch:types": "
|
|
38
|
+
"lint:types": "tsgo --noEmit",
|
|
39
|
+
"watch:types": "tsgo --watch --noEmit",
|
|
39
40
|
"lint": "concurrently \"bun:lint:*\"",
|
|
40
41
|
"test": "vitest",
|
|
41
42
|
"test:once": "vitest run",
|
package/src/jurist.ts
CHANGED
|
@@ -134,7 +134,7 @@ export type Count<N extends number, A extends any[] = []> = [
|
|
|
134
134
|
? A[`length`]
|
|
135
135
|
: A[`length`] | Count<N, [...A, any]>
|
|
136
136
|
|
|
137
|
-
type Entries<K extends PropertyKey =
|
|
137
|
+
type Entries<K extends PropertyKey = PropertyKey, V = any> = [K, V][]
|
|
138
138
|
|
|
139
139
|
type KeyOfEntries<E extends Entries> = E extends [infer K, any][] ? K : never
|
|
140
140
|
|