@zenstackhq/runtime 3.0.0-alpha.9 → 3.0.0-beta.1

package/dist/plugins/policy/plugin.zmodel

@@ -0,0 +1,33 @@
+/**
+ * Defines an access policy that allows a set of operations when the given condition is true.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be allowed.
+ */
+attribute @@allow(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)
+
+/**
+ * Defines an access policy that allows the annotated field to be read or updated.
+ * You can pass a third argument as `true` to make it override the model-level policies.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be allowed.
+ * @param override: a boolean value that controls if the field-level policy should override the model-level policy.
+ */
+attribute @allow(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean, _ override: Boolean?)
+
+/**
+ * Defines an access policy that denies a set of operations when the given condition is true.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be denied.
+ */
+attribute @@deny(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)
+
+/**
+ * Defines an access policy that denies the annotated field to be read or updated.
+ *
+ * @param operation: comma-separated list of "create", "read", "update", "delete". Use "all" to denote all operations.
+ * @param condition: a boolean expression that controls if the operation should be denied.
+ */
+attribute @deny(_ operation: String @@@completionHint(["'create'", "'read'", "'update'", "'delete'", "'all'"]), _ condition: Boolean)

package/dist/schema.cjs

@@ -101,7 +101,10 @@ var ExpressionUtils = {
   isUnary: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "unary"), "isUnary"),
   isBinary: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "binary"), "isBinary"),
   isField: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "field"), "isField"),
-  isMember: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "member"), "isMember")
+  isMember: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "member"), "isMember"),
+  getLiteralValue: /* @__PURE__ */ __name((expr) => {
+    return ExpressionUtils.isLiteral(expr) ? expr.value : void 0;
+  }, "getLiteralValue")
 };
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {

package/dist/schema.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/schema/index.ts","../src/schema/expression.ts"],"sourcesContent":["export type * from '@zenstackhq/sdk/schema';\nexport type { OperandExpression } from 'kysely';\nexport * from './expression';\n","import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAEA;;;;;;;ACaO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;AACd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}
+{"version":3,"sources":["../src/schema/index.ts","../src/schema/expression.ts"],"sourcesContent":["export type * from '@zenstackhq/sdk/schema';\nexport type { OperandExpression } from 'kysely';\nexport * from './expression';\n","import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n\n    getLiteralValue: (expr: Expression): string | number | boolean | undefined => {\n        return ExpressionUtils.isLiteral(expr) ? expr.value : undefined;\n    },\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAEA;;;;;;;ACaO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVqC,iBAAiB,wBAAChB,SAAAA;AACd,WAAOvB,gBAAgB8B,UAAUP,IAAAA,IAAQA,KAAKrB,QAAQsC;EAC1D,GAFiB;AAGrB;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember","getLiteralValue","undefined"]}

package/dist/schema.d.cts

@@ -24,6 +24,7 @@ declare const ExpressionUtils: {
     isBinary: (value: unknown) => value is BinaryExpression;
     isField: (value: unknown) => value is FieldExpression;
     isMember: (value: unknown) => value is MemberExpression;
+    getLiteralValue: (expr: Expression) => string | number | boolean | undefined;
 };
 
 export { ExpressionUtils };

package/dist/schema.d.ts

@@ -24,6 +24,7 @@ declare const ExpressionUtils: {
     isBinary: (value: unknown) => value is BinaryExpression;
     isField: (value: unknown) => value is FieldExpression;
     isMember: (value: unknown) => value is MemberExpression;
+    getLiteralValue: (expr: Expression) => string | number | boolean | undefined;
 };
 
 export { ExpressionUtils };

package/dist/schema.js

@@ -77,7 +77,10 @@ var ExpressionUtils = {
   isUnary: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "unary"), "isUnary"),
   isBinary: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "binary"), "isBinary"),
   isField: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "field"), "isField"),
-  isMember: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "member"), "isMember")
+  isMember: /* @__PURE__ */ __name((value) => ExpressionUtils.is(value, "member"), "isMember"),
+  getLiteralValue: /* @__PURE__ */ __name((expr) => {
+    return ExpressionUtils.isLiteral(expr) ? expr.value : void 0;
+  }, "getLiteralValue")
 };
 export {
   ExpressionUtils

package/dist/schema.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/schema/expression.ts"],"sourcesContent":["import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n};\n"],"mappings":";;;;AAeO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;AACd;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember"]}
+{"version":3,"sources":["../src/schema/expression.ts"],"sourcesContent":["import type {\n    ArrayExpression,\n    BinaryExpression,\n    BinaryOperator,\n    CallExpression,\n    Expression,\n    FieldExpression,\n    LiteralExpression,\n    MemberExpression,\n    NullExpression,\n    ThisExpression,\n    UnaryExpression,\n    UnaryOperator,\n} from '.';\n\nexport const ExpressionUtils = {\n    literal: (value: string | number | boolean): LiteralExpression => {\n        return {\n            kind: 'literal',\n            value,\n        };\n    },\n\n    array: (items: Expression[]): ArrayExpression => {\n        return {\n            kind: 'array',\n            items,\n        };\n    },\n\n    call: (functionName: string, args?: Expression[]): CallExpression => {\n        return {\n            kind: 'call',\n            function: functionName,\n            args,\n        };\n    },\n\n    binary: (left: Expression, op: BinaryOperator, right: Expression): BinaryExpression => {\n        return {\n            kind: 'binary',\n            op,\n            left,\n            right,\n        };\n    },\n\n    unary: (op: UnaryOperator, operand: Expression): UnaryExpression => {\n        return {\n            kind: 'unary',\n            op,\n            operand,\n        };\n    },\n\n    field: (field: string): FieldExpression => {\n        return {\n            kind: 'field',\n            field,\n        };\n    },\n\n    member: (receiver: Expression, members: string[]): MemberExpression => {\n        return {\n            kind: 'member',\n            receiver: receiver,\n            members,\n        };\n    },\n\n    _this: (): ThisExpression => {\n        return {\n            kind: 'this',\n        };\n    },\n\n    _null: (): NullExpression => {\n        return {\n            kind: 'null',\n        };\n    },\n\n    and: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '&&', exp), expr);\n    },\n\n    or: (expr: Expression, ...expressions: Expression[]) => {\n        return expressions.reduce((acc, exp) => ExpressionUtils.binary(acc, '||', exp), expr);\n    },\n\n    is: (value: unknown, kind: Expression['kind']): value is Expression => {\n        return !!value && typeof value === 'object' && 'kind' in value && value.kind === kind;\n    },\n\n    isLiteral: (value: unknown): value is LiteralExpression => ExpressionUtils.is(value, 'literal'),\n\n    isArray: (value: unknown): value is ArrayExpression => ExpressionUtils.is(value, 'array'),\n\n    isCall: (value: unknown): value is CallExpression => ExpressionUtils.is(value, 'call'),\n\n    isNull: (value: unknown): value is NullExpression => ExpressionUtils.is(value, 'null'),\n\n    isThis: (value: unknown): value is ThisExpression => ExpressionUtils.is(value, 'this'),\n\n    isUnary: (value: unknown): value is UnaryExpression => ExpressionUtils.is(value, 'unary'),\n\n    isBinary: (value: unknown): value is BinaryExpression => ExpressionUtils.is(value, 'binary'),\n\n    isField: (value: unknown): value is FieldExpression => ExpressionUtils.is(value, 'field'),\n\n    isMember: (value: unknown): value is MemberExpression => ExpressionUtils.is(value, 'member'),\n\n    getLiteralValue: (expr: Expression): string | number | boolean | undefined => {\n        return ExpressionUtils.isLiteral(expr) ? expr.value : undefined;\n    },\n};\n"],"mappings":";;;;AAeO,IAAMA,kBAAkB;EAC3BC,SAAS,wBAACC,UAAAA;AACN,WAAO;MACHC,MAAM;MACND;IACJ;EACJ,GALS;EAOTE,OAAO,wBAACC,UAAAA;AACJ,WAAO;MACHF,MAAM;MACNE;IACJ;EACJ,GALO;EAOPC,MAAM,wBAACC,cAAsBC,SAAAA;AACzB,WAAO;MACHL,MAAM;MACNM,UAAUF;MACVC;IACJ;EACJ,GANM;EAQNE,QAAQ,wBAACC,MAAkBC,IAAoBC,UAAAA;AAC3C,WAAO;MACHV,MAAM;MACNS;MACAD;MACAE;IACJ;EACJ,GAPQ;EASRC,OAAO,wBAACF,IAAmBG,YAAAA;AACvB,WAAO;MACHZ,MAAM;MACNS;MACAG;IACJ;EACJ,GANO;EAQPC,OAAO,wBAACA,UAAAA;AACJ,WAAO;MACHb,MAAM;MACNa;IACJ;EACJ,GALO;EAOPC,QAAQ,wBAACC,UAAsBC,YAAAA;AAC3B,WAAO;MACHhB,MAAM;MACNe;MACAC;IACJ;EACJ,GANQ;EAQRC,OAAO,6BAAA;AACH,WAAO;MACHjB,MAAM;IACV;EACJ,GAJO;EAMPkB,OAAO,6BAAA;AACH,WAAO;MACHlB,MAAM;IACV;EACJ,GAJO;EAMPmB,KAAK,wBAACC,SAAqBC,gBAAAA;AACvB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFK;EAILK,IAAI,wBAACL,SAAqBC,gBAAAA;AACtB,WAAOA,YAAYC,OAAO,CAACC,KAAKC,QAAQ3B,gBAAgBU,OAAOgB,KAAK,MAAMC,GAAAA,GAAMJ,IAAAA;EACpF,GAFI;EAIJM,IAAI,wBAAC3B,OAAgBC,SAAAA;AACjB,WAAO,CAAC,CAACD,SAAS,OAAOA,UAAU,YAAY,UAAUA,SAASA,MAAMC,SAASA;EACrF,GAFI;EAIJ2B,WAAW,wBAAC5B,UAA+CF,gBAAgB6B,GAAG3B,OAAO,SAAA,GAA1E;EAEX6B,SAAS,wBAAC7B,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAET8B,QAAQ,wBAAC9B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAER+B,QAAQ,wBAAC/B,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERgC,QAAQ,wBAAChC,UAA4CF,gBAAgB6B,GAAG3B,OAAO,MAAA,GAAvE;EAERiC,SAAS,wBAACjC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAETkC,UAAU,wBAAClC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVmC,SAAS,wBAACnC,UAA6CF,gBAAgB6B,GAAG3B,OAAO,OAAA,GAAxE;EAEToC,UAAU,wBAACpC,UAA8CF,gBAAgB6B,GAAG3B,OAAO,QAAA,GAAzE;EAEVqC,iBAAiB,wBAAChB,SAAAA;AACd,WAAOvB,gBAAgB8B,UAAUP,IAAAA,IAAQA,KAAKrB,QAAQsC;EAC1D,GAFiB;AAGrB;","names":["ExpressionUtils","literal","value","kind","array","items","call","functionName","args","function","binary","left","op","right","unary","operand","field","member","receiver","members","_this","_null","and","expr","expressions","reduce","acc","exp","or","is","isLiteral","isArray","isCall","isNull","isThis","isUnary","isBinary","isField","isMember","getLiteralValue","undefined"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zenstackhq/runtime",
-  "version": "3.0.0-alpha.9",
+  "version": "3.0.0-beta.1",
   "description": "ZenStack Runtime",
   "type": "module",
   "keywords": [],
@@ -30,6 +30,16 @@
         "default": "./dist/schema.cjs"
       }
     },
+    "./helpers": {
+      "import": {
+        "types": "./dist/helpers.d.ts",
+        "default": "./dist/helpers.js"
+      },
+      "require": {
+        "types": "./dist/helpers.d.cts",
+        "default": "./dist/helpers.cjs"
+      }
+    },
     "./plugins/policy": {
       "import": {
         "types": "./dist/plugins/policy.d.ts",
@@ -49,17 +59,18 @@
     "@paralleldrive/cuid2": "^2.2.2",
     "decimal.js": "^10.4.3",
     "json-stable-stringify": "^1.3.0",
-    "kysely": "^0.27.6",
     "nanoid": "^5.0.9",
+    "toposort": "^2.0.2",
     "ts-pattern": "^5.7.1",
     "ulid": "^3.0.0",
     "uuid": "^11.0.5",
-    "@zenstackhq/common-helpers": "3.0.0-alpha.9"
+    "@zenstackhq/common-helpers": "3.0.0-beta.1"
   },
   "peerDependencies": {
-    "better-sqlite3": "^11.8.1",
+    "better-sqlite3": "^12.2.0",
+    "kysely": "^0.27.6",
     "pg": "^8.13.1",
-    "zod": "^3.25.67"
+    "zod": "^3.25.0 || ^4.0.0"
   },
   "peerDependenciesMeta": {
     "better-sqlite3": {
@@ -70,21 +81,24 @@
     }
   },
   "devDependencies": {
-    "@types/better-sqlite3": "^7.0.0",
+    "@types/better-sqlite3": "^7.6.13",
     "@types/pg": "^8.0.0",
+    "@types/toposort": "^2.0.7",
     "tsx": "^4.19.2",
-    "@zenstackhq/sdk": "3.0.0-alpha.9",
-    "@zenstackhq/testtools": "3.0.0-alpha.9",
-    "@zenstackhq/typescript-config": "3.0.0-alpha.9",
-    "@zenstackhq/language": "3.0.0-alpha.9",
-    "@zenstackhq/eslint-config": "3.0.0-alpha.9"
+    "zod": "~3.25.0",
+    "@zenstackhq/eslint-config": "3.0.0-beta.1",
+    "@zenstackhq/language": "3.0.0-beta.1",
+    "@zenstackhq/sdk": "3.0.0-beta.1",
+    "@zenstackhq/vitest-config": "3.0.0-beta.1",
+    "@zenstackhq/typescript-config": "3.0.0-beta.1",
+    "@zenstackhq/testtools": "3.0.0-beta.1"
   },
   "scripts": {
-    "build": "tsup-node",
+    "build": "tsc --project tsconfig.build.json --noEmit && tsup-node && pnpm test:generate",
     "watch": "tsup-node --watch",
     "lint": "eslint src --ext ts",
-    "test": "vitest run && pnpm test:generate && pnpm test:typecheck",
-    "test:generate": "tsx test/typing/generate.ts",
+    "test": "vitest run && pnpm test:typecheck",
+    "test:generate": "tsx test/scripts/generate.ts",
     "test:typecheck": "tsc --project tsconfig.test.json",
     "pack": "pnpm pack"
   }