@cedar-policy/cedar-wasm 3.2.4 → 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,10 +39,12 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
 /**
 * @param {ValidationCall} call
 * @returns {ValidationAnswer}
@@ -59,6 +54,11 @@ export function validate(call: ValidationCall): ValidationAnswer;
 * @returns {string}
 */
 export function getCedarVersion(): string;
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 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 };
@@ -220,6 +220,24 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
+export type EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
+
+export interface FnAndArg {
+    fn: string;
+    arg: CedarValueJson;
+}
+
+export interface TypeAndId {
+    type: string;
+    id: string;
+}
+
+export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
+
+export type Effect = "permit" | "forbid";
+
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -237,32 +255,14 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Effect = "permit" | "forbid";
-
 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 EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
-
-export interface FnAndArg {
-    fn: string;
-    arg: CedarValueJson;
-}
-
-export interface TypeAndId {
-    type: string;
-    id: string;
-}
-
-export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
-
 export type Decision = "Allow" | "Deny";
 
-export type Var = "principal" | "action" | "resource" | "context";
-
 type SmolStr = string;
 type Name = string;
 type Id = 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}
@@ -223,11 +210,15 @@ export function checkParseContext(context_str, action_str, schema_str) {
 }
 
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-export function isAuthorized(call) {
-    const ret = wasm.isAuthorized(addHeapObject(call));
+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);
 }
 
@@ -260,6 +251,15 @@ export function getCedarVersion() {
     }
 }
 
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+export function isAuthorized(call) {
+    const ret = wasm.isAuthorized(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 isAuthorized(a: 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 __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.2.4",
+  "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,10 +39,12 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
 /**
 * @param {ValidationCall} call
 * @returns {ValidationAnswer}
@@ -59,6 +54,11 @@ export function validate(call: ValidationCall): ValidationAnswer;
 * @returns {string}
 */
 export function getCedarVersion(): string;
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 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 };
@@ -220,6 +220,24 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
+export type EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
+
+export interface FnAndArg {
+    fn: string;
+    arg: CedarValueJson;
+}
+
+export interface TypeAndId {
+    type: string;
+    id: string;
+}
+
+export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
+
+export type Effect = "permit" | "forbid";
+
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -237,32 +255,14 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Effect = "permit" | "forbid";
-
 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 EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
-
-export interface FnAndArg {
-    fn: string;
-    arg: CedarValueJson;
-}
-
-export interface TypeAndId {
-    type: string;
-    id: string;
-}
-
-export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
-
 export type Decision = "Allow" | "Deny";
 
-export type Var = "principal" | "action" | "resource" | "context";
-
 type SmolStr = string;
 type Name = string;
 type Id = 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}
@@ -218,11 +205,15 @@ module.exports.checkParseContext = function(context_str, action_str, schema_str)
 };
 
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-module.exports.isAuthorized = function(call) {
-    const ret = wasm.isAuthorized(addHeapObject(call));
+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);
 };
 
@@ -255,6 +246,15 @@ module.exports.getCedarVersion = function() {
     }
 };
 
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+module.exports.isAuthorized = function(call) {
+    const ret = wasm.isAuthorized(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 isAuthorized(a: 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 __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.2.4",
+  "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.2.4",
+  "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,10 +39,12 @@ export function checkParseEntities(entities_str: string, schema_str: string): Ch
 */
 export function checkParseContext(context_str: string, action_str: string, schema_str: string): CheckParseResult;
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function formatPolicies(policies_str: string, line_width: number, indent_width: number): FormattingResult;
 /**
 * @param {ValidationCall} call
 * @returns {ValidationAnswer}
@@ -59,6 +54,11 @@ export function validate(call: ValidationCall): ValidationAnswer;
 * @returns {string}
 */
 export function getCedarVersion(): string;
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 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 };
@@ -220,6 +220,24 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
+export type EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
+
+export interface FnAndArg {
+    fn: string;
+    arg: CedarValueJson;
+}
+
+export interface TypeAndId {
+    type: string;
+    id: string;
+}
+
+export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
+
+export type Effect = "permit" | "forbid";
+
+export type Var = "principal" | "action" | "resource" | "context";
+
 export interface EntityJson {
     uid: EntityUidJson;
     attrs: Record<string, CedarValueJson>;
@@ -237,32 +255,14 @@ export interface Policy {
     annotations?: Record<string, string>;
 }
 
-export type Effect = "permit" | "forbid";
-
 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 EntityUidJson = { __expr: string } | { __entity: TypeAndId } | TypeAndId;
-
-export interface FnAndArg {
-    fn: string;
-    arg: CedarValueJson;
-}
-
-export interface TypeAndId {
-    type: string;
-    id: string;
-}
-
-export type CedarValueJson = { __expr: string } | { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
-
 export type Decision = "Allow" | "Deny";
 
-export type Var = "principal" | "action" | "resource" | "context";
-
 
 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 isAuthorized: (a: 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 __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}
@@ -215,11 +202,15 @@ export function checkParseContext(context_str, action_str, schema_str) {
 }
 
 /**
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
+* @param {string} policies_str
+* @param {number} line_width
+* @param {number} indent_width
+* @returns {FormattingResult}
 */
-export function isAuthorized(call) {
-    const ret = wasm.isAuthorized(addHeapObject(call));
+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);
 }
 
@@ -252,6 +243,15 @@ export function getCedarVersion() {
     }
 }
 
+/**
+* @param {AuthorizationCall} call
+* @returns {AuthorizationAnswer}
+*/
+export function isAuthorized(call) {
+    const ret = wasm.isAuthorized(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 isAuthorized(a: 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 __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.2.4",
+  "version": "3.4.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",