@cedar-policy/cedar-wasm 4.1.0 → 4.2.0

package/README.md

@@ -28,7 +28,7 @@ console.log(cedar.getCedarVersion());
 Importing the esm version using esm async import:
 
 ```
-import('@cedar-policy/cedar-wasm')
+import('@cedar-policy/cedar-wasm/nodejs')
   .then(cedar => console.log(cedar.getCedarVersion()));
 ```
 

package/esm/README.md

@@ -28,7 +28,7 @@ console.log(cedar.getCedarVersion());
 Importing the esm version using esm async import:
 
 ```
-import('@cedar-policy/cedar-wasm')
+import('@cedar-policy/cedar-wasm/nodejs')
   .then(cedar => console.log(cedar.getCedarVersion()));
 ```
 

package/esm/cedar_wasm.d.ts

@@ -34,30 +34,6 @@ export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 */
 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}
-*/
-export function checkParseSchema(schema: Schema): 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}
-*/
-export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
 * @returns {FormattingAnswer}
@@ -99,6 +75,30 @@ export function schemaToText(schema: Schema): SchemaToTextAnswer;
 * @returns {SchemaToJsonAnswer}
 */
 export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
+/**
+* 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}
+*/
+export function checkParseSchema(schema: Schema): 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}
+*/
+export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
 export interface Response {
@@ -146,19 +146,6 @@ export interface ValidationError {
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
-
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
-
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
-
 export interface FormattingCall {
     policyText: string;
     lineWidth?: number;
@@ -175,6 +162,25 @@ export type SchemaToTextAnswer = { type: "success"; text: string; warnings: Deta
 
 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 {
+    entities: Entities;
+    schema?: Schema | null;
+}
+
+export interface ContextParsingCall {
+    context: Context;
+    schema?: Schema | null;
+    action?: EntityUid | null;
+}
+
+export type SlotId = string;
+
+export type PolicyId = string;
+
 export type Schema = string | SchemaJson<string>;
 
 export interface PolicySet {
@@ -222,12 +228,6 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export type ValidationMode = "strict";
-
-export type SlotId = string;
-
-export type PolicyId = string;
-
 export type TypeVariant<N> = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: Type<N> } | ({ type: "Record" } & RecordType<N>) | { type: "Entity"; name: N } | { type: "EntityOrCommon"; name: N } | { type: "Extension"; name: UnreservedId };
 
 export interface RecordType<N> {
@@ -272,6 +272,8 @@ 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 {
@@ -283,16 +285,15 @@ export interface PolicyJson {
     annotations?: Record<string, string>;
 }
 
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
 
-export type UnreservedId = string;
+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 Var = "principal" | "action" | "resource" | "context";
+export type PatternElem = "Wildcard" | { Literal: SmolStr };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Effect = "permit" | "forbid";
 
 export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
@@ -311,7 +312,12 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type Decision = "allow" | "deny";
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
 
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
@@ -327,15 +333,9 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __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 } | { "!": { 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 UnreservedId = string;
 
-export type Effect = "permit" | "forbid";
+export type Var = "principal" | "action" | "resource" | "context";
 
 type SmolStr = string;
 export type TypeOfAttribute<N> = Type<N> & { required?: boolean };

package/esm/cedar_wasm_bg.js

@@ -188,46 +188,6 @@ export function validate(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}
-*/
-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}
-*/
-export function checkParseEntities(call) {
-    const ret = wasm.checkParseEntities(addHeapObject(call));
-    return takeObject(ret);
-}
-
-/**
-* Check whether a context successfully parses.
-* @param {ContextParsingCall} call
-* @returns {CheckParseAnswer}
-*/
-export function checkParseContext(call) {
-    const ret = wasm.checkParseContext(addHeapObject(call));
-    return takeObject(ret);
-}
-
 /**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
@@ -298,6 +258,46 @@ export function schemaToJson(schema) {
     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}
+*/
+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}
+*/
+export function checkParseEntities(call) {
+    const ret = wasm.checkParseEntities(addHeapObject(call));
+    return takeObject(ret);
+}
+
+/**
+* Check whether a context successfully parses.
+* @param {ContextParsingCall} call
+* @returns {CheckParseAnswer}
+*/
+export function checkParseContext(call) {
+    const ret = wasm.checkParseContext(addHeapObject(call));
+    return takeObject(ret);
+}
+
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/esm/cedar_wasm_bg.wasm.d.ts

@@ -6,10 +6,6 @@ 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 checkParsePolicySet(a: number): number;
-export function checkParseSchema(a: number): number;
-export function checkParseEntities(a: number): number;
-export function checkParseContext(a: number): number;
 export function formatPolicies(a: number): number;
 export function policyToText(a: number): number;
 export function templateToText(a: number): number;
@@ -17,6 +13,10 @@ 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 checkParsePolicySet(a: number): number;
+export function checkParseSchema(a: number): number;
+export function checkParseEntities(a: number): number;
+export function checkParseContext(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,8 @@
 {
   "name": "@cedar-policy/cedar-wasm",
+  "type": "module",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "4.1.0",
+  "version": "4.2.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",
@@ -9,11 +10,10 @@
     "cedar_wasm_bg.js",
     "cedar_wasm.d.ts"
   ],
-  "module": "cedar_wasm.js",
+  "main": "cedar_wasm.js",
   "types": "cedar_wasm.d.ts",
   "sideEffects": [
     "./cedar_wasm.js",
     "./snippets/*"
-  ],
-  "type": "module"
+  ]
 }

package/nodejs/README.md

@@ -28,7 +28,7 @@ console.log(cedar.getCedarVersion());
 Importing the esm version using esm async import:
 
 ```
-import('@cedar-policy/cedar-wasm')
+import('@cedar-policy/cedar-wasm/nodejs')
   .then(cedar => console.log(cedar.getCedarVersion()));
 ```
 

package/nodejs/cedar_wasm.d.ts

@@ -34,30 +34,6 @@ export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 */
 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}
-*/
-export function checkParseSchema(schema: Schema): 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}
-*/
-export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
 * @returns {FormattingAnswer}
@@ -99,6 +75,30 @@ export function schemaToText(schema: Schema): SchemaToTextAnswer;
 * @returns {SchemaToJsonAnswer}
 */
 export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
+/**
+* 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}
+*/
+export function checkParseSchema(schema: Schema): 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}
+*/
+export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
 export interface Response {
@@ -146,19 +146,6 @@ export interface ValidationError {
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
-
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
-
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
-
 export interface FormattingCall {
     policyText: string;
     lineWidth?: number;
@@ -175,6 +162,25 @@ export type SchemaToTextAnswer = { type: "success"; text: string; warnings: Deta
 
 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 {
+    entities: Entities;
+    schema?: Schema | null;
+}
+
+export interface ContextParsingCall {
+    context: Context;
+    schema?: Schema | null;
+    action?: EntityUid | null;
+}
+
+export type SlotId = string;
+
+export type PolicyId = string;
+
 export type Schema = string | SchemaJson<string>;
 
 export interface PolicySet {
@@ -222,12 +228,6 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export type ValidationMode = "strict";
-
-export type SlotId = string;
-
-export type PolicyId = string;
-
 export type TypeVariant<N> = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: Type<N> } | ({ type: "Record" } & RecordType<N>) | { type: "Entity"; name: N } | { type: "EntityOrCommon"; name: N } | { type: "Extension"; name: UnreservedId };
 
 export interface RecordType<N> {
@@ -272,6 +272,8 @@ 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 {
@@ -283,16 +285,15 @@ export interface PolicyJson {
     annotations?: Record<string, string>;
 }
 
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
 
-export type UnreservedId = string;
+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 Var = "principal" | "action" | "resource" | "context";
+export type PatternElem = "Wildcard" | { Literal: SmolStr };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Effect = "permit" | "forbid";
 
 export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
@@ -311,7 +312,12 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type Decision = "allow" | "deny";
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
 
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
@@ -327,15 +333,9 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __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 } | { "!": { 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 UnreservedId = string;
 
-export type Effect = "permit" | "forbid";
+export type Var = "principal" | "action" | "resource" | "context";
 
 type SmolStr = string;
 export type TypeOfAttribute<N> = Type<N> & { required?: boolean };

package/nodejs/cedar_wasm.js

@@ -184,46 +184,6 @@ module.exports.validate = function(call) {
     return takeObject(ret);
 };
 
-/**
-* Check whether a policy set successfully parses.
-* @param {PolicySet} policies
-* @returns {CheckParseAnswer}
-*/
-module.exports.checkParsePolicySet = function(policies) {
-    const ret = wasm.checkParsePolicySet(addHeapObject(policies));
-    return takeObject(ret);
-};
-
-/**
-* Check whether a schema successfully parses.
-* @param {Schema} schema
-* @returns {CheckParseAnswer}
-*/
-module.exports.checkParseSchema = function(schema) {
-    const ret = wasm.checkParseSchema(addHeapObject(schema));
-    return takeObject(ret);
-};
-
-/**
-* Check whether a set of entities successfully parses.
-* @param {EntitiesParsingCall} call
-* @returns {CheckParseAnswer}
-*/
-module.exports.checkParseEntities = function(call) {
-    const ret = wasm.checkParseEntities(addHeapObject(call));
-    return takeObject(ret);
-};
-
-/**
-* Check whether a context successfully parses.
-* @param {ContextParsingCall} call
-* @returns {CheckParseAnswer}
-*/
-module.exports.checkParseContext = function(call) {
-    const ret = wasm.checkParseContext(addHeapObject(call));
-    return takeObject(ret);
-};
-
 /**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
@@ -294,6 +254,46 @@ module.exports.schemaToJson = function(schema) {
     return takeObject(ret);
 };
 
+/**
+* Check whether a policy set successfully parses.
+* @param {PolicySet} policies
+* @returns {CheckParseAnswer}
+*/
+module.exports.checkParsePolicySet = function(policies) {
+    const ret = wasm.checkParsePolicySet(addHeapObject(policies));
+    return takeObject(ret);
+};
+
+/**
+* Check whether a schema successfully parses.
+* @param {Schema} schema
+* @returns {CheckParseAnswer}
+*/
+module.exports.checkParseSchema = function(schema) {
+    const ret = wasm.checkParseSchema(addHeapObject(schema));
+    return takeObject(ret);
+};
+
+/**
+* Check whether a set of entities successfully parses.
+* @param {EntitiesParsingCall} call
+* @returns {CheckParseAnswer}
+*/
+module.exports.checkParseEntities = function(call) {
+    const ret = wasm.checkParseEntities(addHeapObject(call));
+    return takeObject(ret);
+};
+
+/**
+* Check whether a context successfully parses.
+* @param {ContextParsingCall} call
+* @returns {CheckParseAnswer}
+*/
+module.exports.checkParseContext = function(call) {
+    const ret = wasm.checkParseContext(addHeapObject(call));
+    return takeObject(ret);
+};
+
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/nodejs/cedar_wasm_bg.wasm.d.ts

@@ -6,10 +6,6 @@ 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 checkParsePolicySet(a: number): number;
-export function checkParseSchema(a: number): number;
-export function checkParseEntities(a: number): number;
-export function checkParseContext(a: number): number;
 export function formatPolicies(a: number): number;
 export function policyToText(a: number): number;
 export function templateToText(a: number): number;
@@ -17,6 +13,10 @@ 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 checkParsePolicySet(a: number): number;
+export function checkParseSchema(a: number): number;
+export function checkParseEntities(a: number): number;
+export function checkParseContext(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": "4.1.0",
+  "version": "4.2.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",

package/package.json

@@ -1,7 +1,8 @@
 {
   "name": "@cedar-policy/cedar-wasm",
+  "type": "module",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "4.1.0",
+  "version": "4.2.0",
   "license": "Apache-2.0",
   "files": [
     "esm/package.json",
@@ -24,11 +25,12 @@
     "web/cedar_wasm.js",
     "web/cedar_wasm.d.ts"
   ],
-  "module": "esm/cedar_wasm.js",
+  "main": "cedar_wasm.js",
   "types": "esm/cedar_wasm.d.ts",
   "sideEffects": [
     "./snippets/*"
   ],
+  "module": "esm/cedar_wasm.js",
   "exports": {
     ".": {
       "import": "./esm/cedar_wasm.js",
@@ -36,6 +38,7 @@
     },
     "./nodejs": {
       "require": "./nodejs/cedar_wasm.js",
+      "import": "./nodejs/cedar_wasm.js",
       "types": "./nodejs/cedar_wasm.d.ts"
     },
     "./web": {

package/web/README.md

@@ -28,7 +28,7 @@ console.log(cedar.getCedarVersion());
 Importing the esm version using esm async import:
 
 ```
-import('@cedar-policy/cedar-wasm')
+import('@cedar-policy/cedar-wasm/nodejs')
   .then(cedar => console.log(cedar.getCedarVersion()));
 ```
 

package/web/cedar_wasm.d.ts

@@ -34,30 +34,6 @@ export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
 */
 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}
-*/
-export function checkParseSchema(schema: Schema): 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}
-*/
-export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
 * @returns {FormattingAnswer}
@@ -99,6 +75,30 @@ export function schemaToText(schema: Schema): SchemaToTextAnswer;
 * @returns {SchemaToJsonAnswer}
 */
 export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
+/**
+* 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}
+*/
+export function checkParseSchema(schema: Schema): 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}
+*/
+export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
 export interface Response {
@@ -146,19 +146,6 @@ export interface ValidationError {
 
 export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
-
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
-
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
-
 export interface FormattingCall {
     policyText: string;
     lineWidth?: number;
@@ -175,6 +162,25 @@ export type SchemaToTextAnswer = { type: "success"; text: string; warnings: Deta
 
 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 {
+    entities: Entities;
+    schema?: Schema | null;
+}
+
+export interface ContextParsingCall {
+    context: Context;
+    schema?: Schema | null;
+    action?: EntityUid | null;
+}
+
+export type SlotId = string;
+
+export type PolicyId = string;
+
 export type Schema = string | SchemaJson<string>;
 
 export interface PolicySet {
@@ -222,12 +228,6 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export type ValidationMode = "strict";
-
-export type SlotId = string;
-
-export type PolicyId = string;
-
 export type TypeVariant<N> = { type: "String" } | { type: "Long" } | { type: "Boolean" } | { type: "Set"; element: Type<N> } | ({ type: "Record" } & RecordType<N>) | { type: "Entity"; name: N } | { type: "EntityOrCommon"; name: N } | { type: "Extension"; name: UnreservedId };
 
 export interface RecordType<N> {
@@ -272,6 +272,8 @@ 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 {
@@ -283,16 +285,15 @@ export interface PolicyJson {
     annotations?: Record<string, string>;
 }
 
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
+export type ExtFuncCall = {} & Record<string, Array<Expr>>;
 
-export type UnreservedId = string;
+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 Var = "principal" | "action" | "resource" | "context";
+export type PatternElem = "Wildcard" | { Literal: SmolStr };
+
+export type Expr = ExprNoExt | ExtFuncCall;
+
+export type Effect = "permit" | "forbid";
 
 export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
@@ -311,7 +312,12 @@ export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | (
 
 export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type Decision = "allow" | "deny";
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
 
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
@@ -327,15 +333,9 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __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 } | { "!": { 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 UnreservedId = string;
 
-export type Effect = "permit" | "forbid";
+export type Var = "principal" | "action" | "resource" | "context";
 
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -347,10 +347,6 @@ export interface InitOutput {
   readonly getCedarVersion: (a: number) => void;
   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;
-  readonly checkParseContext: (a: number) => number;
   readonly formatPolicies: (a: number) => number;
   readonly policyToText: (a: number) => number;
   readonly templateToText: (a: number) => number;
@@ -358,6 +354,10 @@ export interface InitOutput {
   readonly templateToJson: (a: number) => number;
   readonly schemaToText: (a: number) => number;
   readonly schemaToJson: (a: number) => number;
+  readonly checkParsePolicySet: (a: number) => number;
+  readonly checkParseSchema: (a: number) => number;
+  readonly checkParseEntities: (a: number) => number;
+  readonly checkParseContext: (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

@@ -180,46 +180,6 @@ export function validate(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}
-*/
-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}
-*/
-export function checkParseEntities(call) {
-    const ret = wasm.checkParseEntities(addHeapObject(call));
-    return takeObject(ret);
-}
-
-/**
-* Check whether a context successfully parses.
-* @param {ContextParsingCall} call
-* @returns {CheckParseAnswer}
-*/
-export function checkParseContext(call) {
-    const ret = wasm.checkParseContext(addHeapObject(call));
-    return takeObject(ret);
-}
-
 /**
 * Apply the Cedar policy formatter to a policy set in the Cedar policy format
 * @param {FormattingCall} call
@@ -290,6 +250,46 @@ export function schemaToJson(schema) {
     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}
+*/
+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}
+*/
+export function checkParseEntities(call) {
+    const ret = wasm.checkParseEntities(addHeapObject(call));
+    return takeObject(ret);
+}
+
+/**
+* Check whether a context successfully parses.
+* @param {ContextParsingCall} call
+* @returns {CheckParseAnswer}
+*/
+export function checkParseContext(call) {
+    const ret = wasm.checkParseContext(addHeapObject(call));
+    return takeObject(ret);
+}
+
 function handleError(f, args) {
     try {
         return f.apply(this, args);

package/web/cedar_wasm_bg.wasm.d.ts

@@ -6,10 +6,6 @@ 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 checkParsePolicySet(a: number): number;
-export function checkParseSchema(a: number): number;
-export function checkParseEntities(a: number): number;
-export function checkParseContext(a: number): number;
 export function formatPolicies(a: number): number;
 export function policyToText(a: number): number;
 export function templateToText(a: number): number;
@@ -17,6 +13,10 @@ 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 checkParsePolicySet(a: number): number;
+export function checkParseSchema(a: number): number;
+export function checkParseEntities(a: number): number;
+export function checkParseContext(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,17 +1,17 @@
 {
   "name": "@cedar-policy/cedar-wasm",
+  "type": "module",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "4.1.0",
+  "version": "4.2.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",
     "cedar_wasm.js",
     "cedar_wasm.d.ts"
   ],
-  "module": "cedar_wasm.js",
+  "main": "cedar_wasm.js",
   "types": "cedar_wasm.d.ts",
   "sideEffects": [
     "./snippets/*"
-  ],
-  "type": "module"
+  ]
 }