@cedar-policy/cedar-wasm 3.3.0 → 3.4.0

package/esm/cedar_wasm.d.ts

@@ -21,13 +21,6 @@ export function checkParsePolicySet(input_policies_str: string): CheckParsePolic
 */
 export function checkParseTemplate(template_str: string): CheckParseTemplateResult;
 /**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
-/**
 * @param {string} input_schema
 * @returns {CheckParseResult}
 */
@@ -46,6 +39,18 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+export function validate(call: ValidationCall): ValidationAnswer;
+/**
 * @returns {string}
 */
 export function getCedarVersion(): string;
@@ -54,11 +59,6 @@ export function getCedarVersion(): string;
 * @returns {AuthorizationAnswer}
 */
 export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call: ValidationCall): ValidationAnswer;
 export type JsonToPolicyResult = { type: "success"; policyText: string } | { type: "error"; errors: string[] };
 
 export type PolicyToJsonResult = { type: "success"; policy: Policy } | { type: "error"; errors: string[] };
@@ -67,34 +67,9 @@ export type CheckParsePolicySetResult = { type: "success"; policies: number; tem
 
 export type CheckParseTemplateResult = { type: "success"; slots: string[] } | { type: "error"; errors: string[] };
 
-export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
-
 export type CheckParseResult = { type: "success" } | { type: "error"; errors: string[] };
 
-export type Schema = { human: string } | { json: SchemaJson };
-
-export type PolicySet = string | Record<string, string>;
-
-export interface SourceLocation {
-    start: number;
-    end: number;
-}
-
-export interface SourceLabel extends SourceLocation {
-    label: string | null;
-}
-
-export type Severity = "advice" | "warning" | "error";
-
-export interface DetailedError {
-    message: string;
-    help: string | null;
-    code: string | null;
-    url: string | null;
-    severity: Severity | null;
-    sourceLocations?: SourceLabel[];
-    related?: DetailedError[];
-}
+export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
@@ -167,6 +142,31 @@ export interface Response {
     diagnostics: Diagnostics;
 }
 
+export type Schema = { human: string } | { json: SchemaJson };
+
+export type PolicySet = string | Record<string, string>;
+
+export interface SourceLocation {
+    start: number;
+    end: number;
+}
+
+export interface SourceLabel extends SourceLocation {
+    label: string | null;
+}
+
+export type Severity = "advice" | "warning" | "error";
+
+export interface DetailedError {
+    message: string;
+    help: string | null;
+    code: string | null;
+    url: string | null;
+    severity: Severity | null;
+    sourceLocations?: SourceLabel[];
+    related?: DetailedError[];
+}
+
 export type SchemaTypeVariant = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: SchemaType } | { type: "Record"; attributes: Record<SmolStr, TypeOfAttribute>; additionalAttributes: boolean } | { type: "Entity"; name: Name } | { type: "Extension"; name: Id };
 
 export type SchemaType = SchemaTypeVariant | { type: Name };
@@ -234,16 +234,10 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ExtFuncCall = {} & Record<string, Array<Expr>>;
-
-export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
-
-export type Expr = ExprNoExt | ExtFuncCall;
-
-export type Decision = "Allow" | "Deny";
-
 export type Effect = "permit" | "forbid";
 
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -261,7 +255,13 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Var = "principal" | "action" | "resource" | "context";
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
+
+export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Decision = "Allow" | "Deny";
 
 type SmolStr = string;
 type Name = string;

package/esm/cedar_wasm_bg.js

@@ -167,19 +167,6 @@ export function checkParseTemplate(template_str) {
     return takeObject(ret);
 }
 
-/**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-export function formatPolicies(policies_str, line_width, indent_width) {
-    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
-    return takeObject(ret);
-}
-
 /**
 * @param {string} input_schema
 * @returns {CheckParseResult}
@@ -222,6 +209,28 @@ export function checkParseContext(context_str, action_str, schema_str) {
     return takeObject(ret);
 }
 
+/**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+export function formatPolicies(policies_str, line_width, indent_width) {
+    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
+    return takeObject(ret);
+}
+
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+export function validate(call) {
+    const ret = wasm.validate(addHeapObject(call));
+    return takeObject(ret);
+}
+
 /**
 * @returns {string}
 */
@@ -251,15 +260,6 @@ export function isAuthorized(call) {
     return takeObject(ret);
 }
 
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call) {
-    const ret = wasm.validate(addHeapObject(call));
-    return takeObject(ret);
-}
-
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/esm/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,13 @@ export function policyTextFromJson(a: number, b: number): number;
 export function policyTextToJson(a: number, b: number): number;
 export function checkParsePolicySet(a: number, b: number): number;
 export function checkParseTemplate(a: number, b: number): number;
-export function formatPolicies(a: number, b: number, c: number, d: number): number;
 export function checkParseSchema(a: number, b: number): number;
 export function checkParseEntities(a: number, b: number, c: number, d: number): number;
 export function checkParseContext(a: number, b: number, c: number, d: number, e: number, f: number): number;
+export function formatPolicies(a: number, b: number, c: number, d: number): number;
+export function validate(a: number): number;
 export function getCedarVersion(a: number): void;
 export function isAuthorized(a: number): number;
-export function validate(a: number): number;
 export function __wbindgen_malloc(a: number, b: number): number;
 export function __wbindgen_realloc(a: number, b: number, c: number, d: number): number;
 export function __wbindgen_add_to_stack_pointer(a: number): number;

package/esm/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cedar-policy/cedar-wasm",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "3.3.0",
+  "version": "3.4.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",

package/nodejs/cedar_wasm.d.ts

@@ -21,13 +21,6 @@ export function checkParsePolicySet(input_policies_str: string): CheckParsePolic
 */
 export function checkParseTemplate(template_str: string): CheckParseTemplateResult;
 /**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
-/**
 * @param {string} input_schema
 * @returns {CheckParseResult}
 */
@@ -46,6 +39,18 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+export function validate(call: ValidationCall): ValidationAnswer;
+/**
 * @returns {string}
 */
 export function getCedarVersion(): string;
@@ -54,11 +59,6 @@ export function getCedarVersion(): string;
 * @returns {AuthorizationAnswer}
 */
 export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call: ValidationCall): ValidationAnswer;
 export type JsonToPolicyResult = { type: "success"; policyText: string } | { type: "error"; errors: string[] };
 
 export type PolicyToJsonResult = { type: "success"; policy: Policy } | { type: "error"; errors: string[] };
@@ -67,34 +67,9 @@ export type CheckParsePolicySetResult = { type: "success"; policies: number; tem
 
 export type CheckParseTemplateResult = { type: "success"; slots: string[] } | { type: "error"; errors: string[] };
 
-export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
-
 export type CheckParseResult = { type: "success" } | { type: "error"; errors: string[] };
 
-export type Schema = { human: string } | { json: SchemaJson };
-
-export type PolicySet = string | Record<string, string>;
-
-export interface SourceLocation {
-    start: number;
-    end: number;
-}
-
-export interface SourceLabel extends SourceLocation {
-    label: string | null;
-}
-
-export type Severity = "advice" | "warning" | "error";
-
-export interface DetailedError {
-    message: string;
-    help: string | null;
-    code: string | null;
-    url: string | null;
-    severity: Severity | null;
-    sourceLocations?: SourceLabel[];
-    related?: DetailedError[];
-}
+export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
@@ -167,6 +142,31 @@ export interface Response {
     diagnostics: Diagnostics;
 }
 
+export type Schema = { human: string } | { json: SchemaJson };
+
+export type PolicySet = string | Record<string, string>;
+
+export interface SourceLocation {
+    start: number;
+    end: number;
+}
+
+export interface SourceLabel extends SourceLocation {
+    label: string | null;
+}
+
+export type Severity = "advice" | "warning" | "error";
+
+export interface DetailedError {
+    message: string;
+    help: string | null;
+    code: string | null;
+    url: string | null;
+    severity: Severity | null;
+    sourceLocations?: SourceLabel[];
+    related?: DetailedError[];
+}
+
 export type SchemaTypeVariant = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: SchemaType } | { type: "Record"; attributes: Record<SmolStr, TypeOfAttribute>; additionalAttributes: boolean } | { type: "Entity"; name: Name } | { type: "Extension"; name: Id };
 
 export type SchemaType = SchemaTypeVariant | { type: Name };
@@ -234,16 +234,10 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ExtFuncCall = {} & Record<string, Array<Expr>>;
-
-export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
-
-export type Expr = ExprNoExt | ExtFuncCall;
-
-export type Decision = "Allow" | "Deny";
-
 export type Effect = "permit" | "forbid";
 
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -261,7 +255,13 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Var = "principal" | "action" | "resource" | "context";
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
+
+export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Decision = "Allow" | "Deny";
 
 type SmolStr = string;
 type Name = string;

package/nodejs/cedar_wasm.js

@@ -162,19 +162,6 @@ module.exports.checkParseTemplate = function(template_str) {
     return takeObject(ret);
 };
 
-/**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-module.exports.formatPolicies = function(policies_str, line_width, indent_width) {
-    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
-    return takeObject(ret);
-};
-
 /**
 * @param {string} input_schema
 * @returns {CheckParseResult}
@@ -217,6 +204,28 @@ module.exports.checkParseContext = function(context_str, action_str, schema_str)
     return takeObject(ret);
 };
 
+/**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+module.exports.formatPolicies = function(policies_str, line_width, indent_width) {
+    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
+    return takeObject(ret);
+};
+
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+module.exports.validate = function(call) {
+    const ret = wasm.validate(addHeapObject(call));
+    return takeObject(ret);
+};
+
 /**
 * @returns {string}
 */
@@ -246,15 +255,6 @@ module.exports.isAuthorized = function(call) {
     return takeObject(ret);
 };
 
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-module.exports.validate = function(call) {
-    const ret = wasm.validate(addHeapObject(call));
-    return takeObject(ret);
-};
-
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/nodejs/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,13 @@ export function policyTextFromJson(a: number, b: number): number;
 export function policyTextToJson(a: number, b: number): number;
 export function checkParsePolicySet(a: number, b: number): number;
 export function checkParseTemplate(a: number, b: number): number;
-export function formatPolicies(a: number, b: number, c: number, d: number): number;
 export function checkParseSchema(a: number, b: number): number;
 export function checkParseEntities(a: number, b: number, c: number, d: number): number;
 export function checkParseContext(a: number, b: number, c: number, d: number, e: number, f: number): number;
+export function formatPolicies(a: number, b: number, c: number, d: number): number;
+export function validate(a: number): number;
 export function getCedarVersion(a: number): void;
 export function isAuthorized(a: number): number;
-export function validate(a: number): number;
 export function __wbindgen_malloc(a: number, b: number): number;
 export function __wbindgen_realloc(a: number, b: number, c: number, d: number): number;
 export function __wbindgen_add_to_stack_pointer(a: number): number;

package/nodejs/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cedar-policy/cedar-wasm",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "3.3.0",
+  "version": "3.4.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cedar-policy/cedar-wasm",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "3.3.0",
+  "version": "3.4.0",
   "license": "Apache-2.0",
   "files": [
     "esm/package.json",

package/web/cedar_wasm.d.ts

@@ -21,13 +21,6 @@ export function checkParsePolicySet(input_policies_str: string): CheckParsePolic
 */
 export function checkParseTemplate(template_str: string): CheckParseTemplateResult;
 /**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
-/**
 * @param {string} input_schema
 * @returns {CheckParseResult}
 */
@@ -46,6 +39,18 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+export function validate(call: ValidationCall): ValidationAnswer;
+/**
 * @returns {string}
 */
 export function getCedarVersion(): string;
@@ -54,11 +59,6 @@ export function getCedarVersion(): string;
 * @returns {AuthorizationAnswer}
 */
 export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call: ValidationCall): ValidationAnswer;
 export type JsonToPolicyResult = { type: "success"; policyText: string } | { type: "error"; errors: string[] };
 
 export type PolicyToJsonResult = { type: "success"; policy: Policy } | { type: "error"; errors: string[] };
@@ -67,34 +67,9 @@ export type CheckParsePolicySetResult = { type: "success"; policies: number; tem
 
 export type CheckParseTemplateResult = { type: "success"; slots: string[] } | { type: "error"; errors: string[] };
 
-export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
-
 export type CheckParseResult = { type: "success" } | { type: "error"; errors: string[] };
 
-export type Schema = { human: string } | { json: SchemaJson };
-
-export type PolicySet = string | Record<string, string>;
-
-export interface SourceLocation {
-    start: number;
-    end: number;
-}
-
-export interface SourceLabel extends SourceLocation {
-    label: string | null;
-}
-
-export type Severity = "advice" | "warning" | "error";
-
-export interface DetailedError {
-    message: string;
-    help: string | null;
-    code: string | null;
-    url: string | null;
-    severity: Severity | null;
-    sourceLocations?: SourceLabel[];
-    related?: DetailedError[];
-}
+export type FormattingResult = { type: "success"; formatted_policy: string } | { type: "error"; errors: string[] };
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
@@ -167,6 +142,31 @@ export interface Response {
     diagnostics: Diagnostics;
 }
 
+export type Schema = { human: string } | { json: SchemaJson };
+
+export type PolicySet = string | Record<string, string>;
+
+export interface SourceLocation {
+    start: number;
+    end: number;
+}
+
+export interface SourceLabel extends SourceLocation {
+    label: string | null;
+}
+
+export type Severity = "advice" | "warning" | "error";
+
+export interface DetailedError {
+    message: string;
+    help: string | null;
+    code: string | null;
+    url: string | null;
+    severity: Severity | null;
+    sourceLocations?: SourceLabel[];
+    related?: DetailedError[];
+}
+
 export type SchemaTypeVariant = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: SchemaType } | { type: "Record"; attributes: Record<SmolStr, TypeOfAttribute>; additionalAttributes: boolean } | { type: "Entity"; name: Name } | { type: "Extension"; name: Id };
 
 export type SchemaType = SchemaTypeVariant | { type: Name };
@@ -234,16 +234,10 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ExtFuncCall = {} & Record<string, Array<Expr>>;
-
-export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
-
-export type Expr = ExprNoExt | ExtFuncCall;
-
-export type Decision = "Allow" | "Deny";
-
 export type Effect = "permit" | "forbid";
 
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -261,7 +255,13 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Var = "principal" | "action" | "resource" | "context";
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
+
+export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: string } | { Unknown: { name: string } } | { "!": { arg: Expr } } | { neg: { arg: Expr } } | { "==": { left: Expr; right: Expr } } | { "!=": { left: Expr; right: Expr } } | { in: { left: Expr; right: Expr } } | { "<": { left: Expr; right: Expr } } | { "<=": { left: Expr; right: Expr } } | { ">": { left: Expr; right: Expr } } | { ">=": { left: Expr; right: Expr } } | { "&&": { left: Expr; right: Expr } } | { "||": { left: Expr; right: Expr } } | { "+": { left: Expr; right: Expr } } | { "-": { left: Expr; right: Expr } } | { "*": { left: Expr; right: Expr } } | { contains: { left: Expr; right: Expr } } | { containsAll: { left: Expr; right: Expr } } | { containsAny: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: SmolStr } } | { is: { left: Expr; entity_type: SmolStr; in?: Expr } } | { "if-then-else": { if: Expr; then: Expr; else: Expr } } | { Set: Expr[] } | { Record: Record<string, Expr> };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Decision = "Allow" | "Deny";
 
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -272,13 +272,13 @@ export interface InitOutput {
   readonly policyTextToJson: (a: number, b: number) => number;
   readonly checkParsePolicySet: (a: number, b: number) => number;
   readonly checkParseTemplate: (a: number, b: number) => number;
-  readonly formatPolicies: (a: number, b: number, c: number, d: number) => number;
   readonly checkParseSchema: (a: number, b: number) => number;
   readonly checkParseEntities: (a: number, b: number, c: number, d: number) => number;
   readonly checkParseContext: (a: number, b: number, c: number, d: number, e: number, f: number) => number;
+  readonly formatPolicies: (a: number, b: number, c: number, d: number) => number;
+  readonly validate: (a: number) => number;
   readonly getCedarVersion: (a: number) => void;
   readonly isAuthorized: (a: number) => number;
-  readonly validate: (a: number) => number;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
   readonly __wbindgen_add_to_stack_pointer: (a: number) => number;

package/web/cedar_wasm.js

@@ -159,19 +159,6 @@ export function checkParseTemplate(template_str) {
     return takeObject(ret);
 }
 
-/**
-* @param {string} policies_str
-* @param {number} line_width
-* @param {number} indent_width
-* @returns {FormattingResult}
-*/
-export function formatPolicies(policies_str, line_width, indent_width) {
-    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
-    const len0 = WASM_VECTOR_LEN;
-    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
-    return takeObject(ret);
-}
-
 /**
 * @param {string} input_schema
 * @returns {CheckParseResult}
@@ -214,6 +201,28 @@ export function checkParseContext(context_str, action_str, schema_str) {
     return takeObject(ret);
 }
 
+/**
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
+*/
+export function formatPolicies(policies_str, line_width, indent_width) {
+    const ptr0 = passStringToWasm0(policies_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.formatPolicies(ptr0, len0, line_width, indent_width);
+    return takeObject(ret);
+}
+
+/**
+* @param {ValidationCall} call
+* @returns {ValidationAnswer}
+*/
+export function validate(call) {
+    const ret = wasm.validate(addHeapObject(call));
+    return takeObject(ret);
+}
+
 /**
 * @returns {string}
 */
@@ -243,15 +252,6 @@ export function isAuthorized(call) {
     return takeObject(ret);
 }
 
-/**
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call) {
-    const ret = wasm.validate(addHeapObject(call));
-    return takeObject(ret);
-}
-
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/web/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,13 @@ export function policyTextFromJson(a: number, b: number): number;
 export function policyTextToJson(a: number, b: number): number;
 export function checkParsePolicySet(a: number, b: number): number;
 export function checkParseTemplate(a: number, b: number): number;
-export function formatPolicies(a: number, b: number, c: number, d: number): number;
 export function checkParseSchema(a: number, b: number): number;
 export function checkParseEntities(a: number, b: number, c: number, d: number): number;
 export function checkParseContext(a: number, b: number, c: number, d: number, e: number, f: number): number;
+export function formatPolicies(a: number, b: number, c: number, d: number): number;
+export function validate(a: number): number;
 export function getCedarVersion(a: number): void;
 export function isAuthorized(a: number): number;
-export function validate(a: number): number;
 export function __wbindgen_malloc(a: number, b: number): number;
 export function __wbindgen_realloc(a: number, b: number, c: number, d: number): number;
 export function __wbindgen_add_to_stack_pointer(a: number): number;

package/web/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@cedar-policy/cedar-wasm",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "3.3.0",
+  "version": "3.4.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",