@cedar-policy/cedar-wasm 4.2.0 → 4.2.2

package/web/cedar_wasm.d.ts

@@ -1,106 +1,128 @@
 /* tslint:disable */
 /* eslint-disable */
 /**
-* Get valid request environment
-* @param {Template} t
-* @param {Schema} s
-* @returns {GetValidRequestEnvsResult}
-*/
+ * Get valid request environment
+ * @param {Template} t
+ * @param {Schema} s
+ * @returns {GetValidRequestEnvsResult}
+ */
 export function getValidRequestEnvsTemplate(t: Template, s: Schema): GetValidRequestEnvsResult;
 /**
-* Get valid request environment
-* @param {Policy} t
-* @param {Schema} s
-* @returns {GetValidRequestEnvsResult}
-*/
+ * Get valid request environment
+ * @param {Policy} t
+ * @param {Schema} s
+ * @returns {GetValidRequestEnvsResult}
+ */
 export function getValidRequestEnvsPolicy(t: Policy, s: Schema): GetValidRequestEnvsResult;
 /**
-* @returns {string}
-*/
+ * @returns {string}
+ */
 export function getCedarVersion(): string;
 /**
-* Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
-*/
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
-/**
-* Parse a policy set and optionally validate it against a provided schema
-*
-* This is the basic validator interface, using [`ValidationCall`] and
-* [`ValidationAnswer`] types
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call: ValidationCall): ValidationAnswer;
-/**
-* Apply the Cedar policy formatter to a policy set in the Cedar policy format
-* @param {FormattingCall} call
-* @returns {FormattingAnswer}
-*/
+ * Apply the Cedar policy formatter to a policy set in the Cedar policy format
+ * @param {FormattingCall} call
+ * @returns {FormattingAnswer}
+ */
 export function formatPolicies(call: FormattingCall): FormattingAnswer;
 /**
-* Return the Cedar (textual) representation of a policy.
-* @param {Policy} policy
-* @returns {PolicyToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a policy.
+ * @param {Policy} policy
+ * @returns {PolicyToTextAnswer}
+ */
 export function policyToText(policy: Policy): PolicyToTextAnswer;
 /**
-* Return the Cedar (textual) representation of a template.
-* @param {Template} template
-* @returns {PolicyToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a template.
+ * @param {Template} template
+ * @returns {PolicyToTextAnswer}
+ */
 export function templateToText(template: Template): PolicyToTextAnswer;
 /**
-* Return the JSON representation of a policy.
-* @param {Policy} policy
-* @returns {PolicyToJsonAnswer}
-*/
+ * Return the JSON representation of a policy.
+ * @param {Policy} policy
+ * @returns {PolicyToJsonAnswer}
+ */
 export function policyToJson(policy: Policy): PolicyToJsonAnswer;
 /**
-* Return the JSON representation of a template.
-* @param {Template} template
-* @returns {PolicyToJsonAnswer}
-*/
+ * Return the JSON representation of a template.
+ * @param {Template} template
+ * @returns {PolicyToJsonAnswer}
+ */
 export function templateToJson(template: Template): PolicyToJsonAnswer;
 /**
-* Return the Cedar (textual) representation of a schema.
-* @param {Schema} schema
-* @returns {SchemaToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a schema.
+ * @param {Schema} schema
+ * @returns {SchemaToTextAnswer}
+ */
 export function schemaToText(schema: Schema): SchemaToTextAnswer;
 /**
-* Return the JSON representation of a schema.
-* @param {Schema} schema
-* @returns {SchemaToJsonAnswer}
-*/
+ * Return the JSON representation of a schema.
+ * @param {Schema} schema
+ * @returns {SchemaToJsonAnswer}
+ */
 export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
 /**
-* Check whether a policy set successfully parses.
-* @param {PolicySet} policies
-* @returns {CheckParseAnswer}
-*/
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * @param {AuthorizationCall} call
+ * @returns {AuthorizationAnswer}
+ */
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+/**
+ * Parse a policy set and optionally validate it against a provided schema
+ *
+ * This is the basic validator interface, using [`ValidationCall`] and
+ * [`ValidationAnswer`] types
+ * @param {ValidationCall} call
+ * @returns {ValidationAnswer}
+ */
+export function validate(call: ValidationCall): ValidationAnswer;
+/**
+ * Check whether a policy set successfully parses.
+ * @param {PolicySet} policies
+ * @returns {CheckParseAnswer}
+ */
 export function checkParsePolicySet(policies: PolicySet): CheckParseAnswer;
 /**
-* Check whether a schema successfully parses.
-* @param {Schema} schema
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a schema successfully parses.
+ * @param {Schema} schema
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseSchema(schema: Schema): CheckParseAnswer;
 /**
-* Check whether a set of entities successfully parses.
-* @param {EntitiesParsingCall} call
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a set of entities successfully parses.
+ * @param {EntitiesParsingCall} call
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseEntities(call: EntitiesParsingCall): CheckParseAnswer;
 /**
-* Check whether a context successfully parses.
-* @param {ContextParsingCall} call
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a context successfully parses.
+ * @param {ContextParsingCall} call
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
+export type SlotId = string;
+
+export type PolicyId = string;
+
+export type ValidationMode = "strict";
+
+export interface FormattingCall {
+    policyText: string;
+    lineWidth?: number;
+    indentWidth?: number;
+}
+
+export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+
+export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
+
+export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
+
+export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+
+export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+
 export interface Response {
     decision: Decision;
     diagnostics: Diagnostics;
@@ -146,24 +168,6 @@ export interface ValidationError {
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
-export interface FormattingCall {
-    policyText: string;
-    lineWidth?: number;
-    indentWidth?: number;
-}
-
-export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
-
-export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
-
-export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
-
-export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
-
-export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
-
-export type ValidationMode = "strict";
-
 export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
 
 export interface EntitiesParsingCall {
@@ -177,10 +181,6 @@ export interface ContextParsingCall {
     action?: EntityUid | null;
 }
 
-export type SlotId = string;
-
-export type PolicyId = string;
-
 export type Schema = string | SchemaJson<string>;
 
 export interface PolicySet {
@@ -272,8 +272,6 @@ export type CommonTypeId = string;
 
 export type SchemaJson<N> = Record<string, NamespaceDefinition<N>>;
 
-export type Decision = "allow" | "deny";
-
 export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
 
 export interface PolicyJson {
@@ -285,39 +283,28 @@ export interface PolicyJson {
     annotations?: Record<string, string>;
 }
 
-export type ExtFuncCall = {} & Record<string, Array<Expr>>;
-
-export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: 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 } } | { getTag: { left: Expr; right: Expr } } | { hasTag: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: PatternElem[] } } | { 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 PatternElem = "Wildcard" | { Literal: SmolStr };
-
-export type Expr = ExprNoExt | ExtFuncCall;
-
 export type Effect = "permit" | "forbid";
 
-export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
+export type UnreservedId = string;
 
-export interface PrincipalOrResourceIsConstraint {
-    entity_type: string;
-    in?: PrincipalOrResourceInConstraint;
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
 }
 
-export type PrincipalOrResourceInConstraint = { entity: EntityUidJson } | { slot: string };
+export type Decision = "allow" | "deny";
 
-export type EqConstraint = { entity: EntityUidJson } | { slot: string };
+export type Var = "principal" | "action" | "resource" | "context";
 
-export type ResourceConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
 
-export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & ActionInConstraint);
+export type ExprNoExt = { Value: CedarValueJson } | { Var: Var } | { Slot: 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 } } | { getTag: { left: Expr; right: Expr } } | { hasTag: { left: Expr; right: Expr } } | { ".": { left: Expr; attr: SmolStr } } | { has: { left: Expr; attr: SmolStr } } | { like: { left: Expr; pattern: PatternElem[] } } | { 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 PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
+export type PatternElem = "Wildcard" | { Literal: SmolStr };
 
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
+export type Expr = ExprNoExt | ExtFuncCall;
 
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
@@ -333,9 +320,22 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type UnreservedId = string;
+export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
-export type Var = "principal" | "action" | "resource" | "context";
+export interface PrincipalOrResourceIsConstraint {
+    entity_type: string;
+    in?: PrincipalOrResourceInConstraint;
+}
+
+export type PrincipalOrResourceInConstraint = { entity: EntityUidJson } | { slot: string };
+
+export type EqConstraint = { entity: EntityUidJson } | { slot: string };
+
+export type ResourceConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
+
+export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & ActionInConstraint);
+
+export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -345,8 +345,6 @@ export interface InitOutput {
   readonly getValidRequestEnvsTemplate: (a: number, b: number) => number;
   readonly getValidRequestEnvsPolicy: (a: number, b: number) => number;
   readonly getCedarVersion: (a: number) => void;
-  readonly isAuthorized: (a: number) => number;
-  readonly validate: (a: number) => number;
   readonly formatPolicies: (a: number) => number;
   readonly policyToText: (a: number) => number;
   readonly templateToText: (a: number) => number;
@@ -354,6 +352,8 @@ export interface InitOutput {
   readonly templateToJson: (a: number) => number;
   readonly schemaToText: (a: number) => number;
   readonly schemaToJson: (a: number) => number;
+  readonly isAuthorized: (a: number) => number;
+  readonly validate: (a: number) => number;
   readonly checkParsePolicySet: (a: number) => number;
   readonly checkParseSchema: (a: number) => number;
   readonly checkParseEntities: (a: number) => number;

package/web/cedar_wasm.js

@@ -116,30 +116,30 @@ function getStringFromWasm0(ptr, len) {
     return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
 }
 /**
-* Get valid request environment
-* @param {Template} t
-* @param {Schema} s
-* @returns {GetValidRequestEnvsResult}
-*/
+ * Get valid request environment
+ * @param {Template} t
+ * @param {Schema} s
+ * @returns {GetValidRequestEnvsResult}
+ */
 export function getValidRequestEnvsTemplate(t, s) {
     const ret = wasm.getValidRequestEnvsTemplate(addHeapObject(t), addHeapObject(s));
     return takeObject(ret);
 }
 
 /**
-* Get valid request environment
-* @param {Policy} t
-* @param {Schema} s
-* @returns {GetValidRequestEnvsResult}
-*/
+ * Get valid request environment
+ * @param {Policy} t
+ * @param {Schema} s
+ * @returns {GetValidRequestEnvsResult}
+ */
 export function getValidRequestEnvsPolicy(t, s) {
     const ret = wasm.getValidRequestEnvsPolicy(addHeapObject(t), addHeapObject(s));
     return takeObject(ret);
 }
 
 /**
-* @returns {string}
-*/
+ * @returns {string}
+ */
 export function getCedarVersion() {
     let deferred1_0;
     let deferred1_1;
@@ -158,133 +158,133 @@ export function getCedarVersion() {
 }
 
 /**
-* Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
-* @param {AuthorizationCall} call
-* @returns {AuthorizationAnswer}
-*/
-export function isAuthorized(call) {
-    const ret = wasm.isAuthorized(addHeapObject(call));
-    return takeObject(ret);
-}
-
-/**
-* Parse a policy set and optionally validate it against a provided schema
-*
-* This is the basic validator interface, using [`ValidationCall`] and
-* [`ValidationAnswer`] types
-* @param {ValidationCall} call
-* @returns {ValidationAnswer}
-*/
-export function validate(call) {
-    const ret = wasm.validate(addHeapObject(call));
-    return takeObject(ret);
-}
-
-/**
-* Apply the Cedar policy formatter to a policy set in the Cedar policy format
-* @param {FormattingCall} call
-* @returns {FormattingAnswer}
-*/
+ * Apply the Cedar policy formatter to a policy set in the Cedar policy format
+ * @param {FormattingCall} call
+ * @returns {FormattingAnswer}
+ */
 export function formatPolicies(call) {
     const ret = wasm.formatPolicies(addHeapObject(call));
     return takeObject(ret);
 }
 
 /**
-* Return the Cedar (textual) representation of a policy.
-* @param {Policy} policy
-* @returns {PolicyToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a policy.
+ * @param {Policy} policy
+ * @returns {PolicyToTextAnswer}
+ */
 export function policyToText(policy) {
     const ret = wasm.policyToText(addHeapObject(policy));
     return takeObject(ret);
 }
 
 /**
-* Return the Cedar (textual) representation of a template.
-* @param {Template} template
-* @returns {PolicyToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a template.
+ * @param {Template} template
+ * @returns {PolicyToTextAnswer}
+ */
 export function templateToText(template) {
     const ret = wasm.templateToText(addHeapObject(template));
     return takeObject(ret);
 }
 
 /**
-* Return the JSON representation of a policy.
-* @param {Policy} policy
-* @returns {PolicyToJsonAnswer}
-*/
+ * Return the JSON representation of a policy.
+ * @param {Policy} policy
+ * @returns {PolicyToJsonAnswer}
+ */
 export function policyToJson(policy) {
     const ret = wasm.policyToJson(addHeapObject(policy));
     return takeObject(ret);
 }
 
 /**
-* Return the JSON representation of a template.
-* @param {Template} template
-* @returns {PolicyToJsonAnswer}
-*/
+ * Return the JSON representation of a template.
+ * @param {Template} template
+ * @returns {PolicyToJsonAnswer}
+ */
 export function templateToJson(template) {
     const ret = wasm.templateToJson(addHeapObject(template));
     return takeObject(ret);
 }
 
 /**
-* Return the Cedar (textual) representation of a schema.
-* @param {Schema} schema
-* @returns {SchemaToTextAnswer}
-*/
+ * Return the Cedar (textual) representation of a schema.
+ * @param {Schema} schema
+ * @returns {SchemaToTextAnswer}
+ */
 export function schemaToText(schema) {
     const ret = wasm.schemaToText(addHeapObject(schema));
     return takeObject(ret);
 }
 
 /**
-* Return the JSON representation of a schema.
-* @param {Schema} schema
-* @returns {SchemaToJsonAnswer}
-*/
+ * Return the JSON representation of a schema.
+ * @param {Schema} schema
+ * @returns {SchemaToJsonAnswer}
+ */
 export function schemaToJson(schema) {
     const ret = wasm.schemaToJson(addHeapObject(schema));
     return takeObject(ret);
 }
 
 /**
-* Check whether a policy set successfully parses.
-* @param {PolicySet} policies
-* @returns {CheckParseAnswer}
-*/
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * @param {AuthorizationCall} call
+ * @returns {AuthorizationAnswer}
+ */
+export function isAuthorized(call) {
+    const ret = wasm.isAuthorized(addHeapObject(call));
+    return takeObject(ret);
+}
+
+/**
+ * Parse a policy set and optionally validate it against a provided schema
+ *
+ * This is the basic validator interface, using [`ValidationCall`] and
+ * [`ValidationAnswer`] types
+ * @param {ValidationCall} call
+ * @returns {ValidationAnswer}
+ */
+export function validate(call) {
+    const ret = wasm.validate(addHeapObject(call));
+    return takeObject(ret);
+}
+
+/**
+ * Check whether a policy set successfully parses.
+ * @param {PolicySet} policies
+ * @returns {CheckParseAnswer}
+ */
 export function checkParsePolicySet(policies) {
     const ret = wasm.checkParsePolicySet(addHeapObject(policies));
     return takeObject(ret);
 }
 
 /**
-* Check whether a schema successfully parses.
-* @param {Schema} schema
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a schema successfully parses.
+ * @param {Schema} schema
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseSchema(schema) {
     const ret = wasm.checkParseSchema(addHeapObject(schema));
     return takeObject(ret);
 }
 
 /**
-* Check whether a set of entities successfully parses.
-* @param {EntitiesParsingCall} call
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a set of entities successfully parses.
+ * @param {EntitiesParsingCall} call
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseEntities(call) {
     const ret = wasm.checkParseEntities(addHeapObject(call));
     return takeObject(ret);
 }
 
 /**
-* Check whether a context successfully parses.
-* @param {ContextParsingCall} call
-* @returns {CheckParseAnswer}
-*/
+ * Check whether a context successfully parses.
+ * @param {ContextParsingCall} call
+ * @returns {CheckParseAnswer}
+ */
 export function checkParseContext(call) {
     const ret = wasm.checkParseContext(addHeapObject(call));
     return takeObject(ret);
@@ -306,7 +306,7 @@ async function __wbg_load(module, imports) {
 
             } catch (e) {
                 if (module.headers.get('Content-Type') != 'application/wasm') {
-                    console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
+                    console.warn("`WebAssembly.instantiateStreaming` failed because your server does not serve Wasm with `application/wasm` MIME type. Falling back to `WebAssembly.instantiate` which is slower. Original error:\n", e);
 
                 } else {
                     throw e;
@@ -351,11 +351,11 @@ function __wbg_get_imports() {
         getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
         getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
     };
-    imports.wbg.__wbg_parse_52202f117ec9ecfa = function() { return handleError(function (arg0, arg1) {
+    imports.wbg.__wbg_parse_51ee5409072379d3 = function() { return handleError(function (arg0, arg1) {
         const ret = JSON.parse(getStringFromWasm0(arg0, arg1));
         return addHeapObject(ret);
     }, arguments) };
-    imports.wbg.__wbg_stringify_bbf45426c92a6bf5 = function() { return handleError(function (arg0) {
+    imports.wbg.__wbg_stringify_eead5648c09faaf8 = function() { return handleError(function (arg0) {
         const ret = JSON.stringify(getObject(arg0));
         return addHeapObject(ret);
     }, arguments) };
@@ -385,10 +385,13 @@ function initSync(module) {
     if (wasm !== undefined) return wasm;
 
 
-    if (typeof module !== 'undefined' && Object.getPrototypeOf(module) === Object.prototype)
-    ({module} = module)
-    else
-    console.warn('using deprecated parameters for `initSync()`; pass a single object instead')
+    if (typeof module !== 'undefined') {
+        if (Object.getPrototypeOf(module) === Object.prototype) {
+            ({module} = module)
+        } else {
+            console.warn('using deprecated parameters for `initSync()`; pass a single object instead')
+        }
+    }
 
     const imports = __wbg_get_imports();
 
@@ -407,10 +410,13 @@ async function __wbg_init(module_or_path) {
     if (wasm !== undefined) return wasm;
 
 
-    if (typeof module_or_path !== 'undefined' && Object.getPrototypeOf(module_or_path) === Object.prototype)
-    ({module_or_path} = module_or_path)
-    else
-    console.warn('using deprecated parameters for the initialization function; pass a single object instead')
+    if (typeof module_or_path !== 'undefined') {
+        if (Object.getPrototypeOf(module_or_path) === Object.prototype) {
+            ({module_or_path} = module_or_path)
+        } else {
+            console.warn('using deprecated parameters for the initialization function; pass a single object instead')
+        }
+    }
 
     if (typeof module_or_path === 'undefined') {
         module_or_path = new URL('cedar_wasm_bg.wasm', import.meta.url);

package/web/cedar_wasm_bg.wasm.d.ts

@@ -4,8 +4,6 @@ export const memory: WebAssembly.Memory;
 export function getValidRequestEnvsTemplate(a: number, b: number): number;
 export function getValidRequestEnvsPolicy(a: number, b: number): number;
 export function getCedarVersion(a: number): void;
-export function isAuthorized(a: number): number;
-export function validate(a: number): number;
 export function formatPolicies(a: number): number;
 export function policyToText(a: number): number;
 export function templateToText(a: number): number;
@@ -13,6 +11,8 @@ export function policyToJson(a: number): number;
 export function templateToJson(a: number): number;
 export function schemaToText(a: number): number;
 export function schemaToJson(a: number): number;
+export function isAuthorized(a: number): number;
+export function validate(a: number): number;
 export function checkParsePolicySet(a: number): number;
 export function checkParseSchema(a: number): number;
 export function checkParseEntities(a: number): number;

package/web/package.json

@@ -2,7 +2,7 @@
   "name": "@cedar-policy/cedar-wasm",
   "type": "module",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "4.2.0",
+  "version": "4.2.2",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",