@cedar-policy/cedar-wasm 4.4.0 → 4.5.0

package/esm/cedar_wasm.d.ts

@@ -11,9 +11,12 @@ export function getValidRequestEnvsPolicy(t: Policy, s: Schema): GetValidRequest
 export function getCedarVersion(): string;
 export function getCedarSDKVersion(): string;
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * Parse a policy set and optionally validate it against a provided schema
+ *
+ * This is the basic validator interface, using [`ValidationCall`] and
+ * [`ValidationAnswer`] types
  */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Check whether a policy set successfully parses.
  */
@@ -30,17 +33,19 @@ export function checkParseEntities(call: EntitiesParsingCall): CheckParseAnswer;
  * Check whether a context successfully parses.
  */
 export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
- * Parse a policy set and optionally validate it against a provided schema
- *
- * This is the basic validator interface, using [`ValidationCall`] and
- * [`ValidationAnswer`] types
- */
-export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  */
 export function formatPolicies(call: FormattingCall): FormattingAnswer;
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ */
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ */
+export function policySetTextToParts(policyset_str: string): PolicySetTextToPartsAnswer;
 /**
  * Return the Cedar (textual) representation of a policy.
  */
@@ -71,6 +76,44 @@ export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
 export function getCedarLangVersion(): string;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
+export interface ValidationCall {
+    validationSettings?: ValidationSettings;
+    schema: Schema;
+    policies: PolicySet;
+}
+
+export interface ValidationSettings {
+    mode: ValidationMode;
+}
+
+export interface ValidationError {
+    policyId: string;
+    error: DetailedError;
+}
+
+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;
+    indentWidth?: number;
+}
+
+export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+
 export interface Response {
     decision: Decision;
     diagnostics: Diagnostics;
@@ -99,22 +142,15 @@ export interface AuthorizationCall {
     entities: Entities;
 }
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
+export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
 
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
+export type PolicySetTextToPartsAnswer = { type: "success"; policies: string[]; policy_templates: string[] } | { type: "failure"; errors: DetailedError[] };
 
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
+export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
 
-export type SlotId = string;
+export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
-export type PolicyId = string;
+export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
 export type Schema = string | SchemaJson<string>;
 
@@ -163,40 +199,45 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export interface ValidationCall {
-    validationSettings?: ValidationSettings;
-    schema: Schema;
-    policies: PolicySet;
-}
+export type SlotId = string;
 
-export interface ValidationSettings {
-    mode: ValidationMode;
-}
+export type PolicyId = string;
 
-export interface ValidationError {
-    policyId: string;
-    error: DetailedError;
-}
+export type ValidationMode = "strict";
 
-export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
+export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
-export interface FormattingCall {
-    policyText: string;
-    lineWidth?: number;
-    indentWidth?: number;
+export interface PrincipalOrResourceIsConstraint {
+    entity_type: string;
+    in?: PrincipalOrResourceInConstraint;
 }
 
-export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+export type PrincipalOrResourceInConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
+export type EqConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
+export type ResourceConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & ActionInConstraint);
 
-export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type ValidationMode = "strict";
+export type Effect = "permit" | "forbid";
+
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
+
+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 } } | { isEmpty: { arg: 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 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 };
 
@@ -246,40 +287,14 @@ export type CommonTypeId = string;
 
 export type SchemaJson<N> = Record<string, NamespaceDefinition<N>>;
 
-export type Var = "principal" | "action" | "resource" | "context";
-
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
-
-export type Decision = "allow" | "deny";
-
-export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
-
-export interface PolicyJson {
-    effect: Effect;
-    principal: PrincipalConstraint;
-    action: ActionConstraint;
-    resource: ResourceConstraint;
-    conditions: Clause[];
-    annotations?: Annotations;
-}
-
-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 } } | { isEmpty: { arg: 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 AnyId = SmolStr;
 
 export type UnreservedId = string;
 
+export type Annotations = Record<string, Annotation>;
+
+export type Annotation = SmolStr;
+
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
 export interface FnAndArg {
@@ -294,28 +309,20 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
-
-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 Var = "principal" | "action" | "resource" | "context";
 
-export type Effect = "permit" | "forbid";
+export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
 
-export type Annotations = Record<string, Annotation>;
+export interface PolicyJson {
+    effect: Effect;
+    principal: PrincipalConstraint;
+    action: ActionConstraint;
+    resource: ResourceConstraint;
+    conditions: Clause[];
+    annotations?: Annotations;
+}
 
-export type Annotation = SmolStr;
+export type Decision = "allow" | "deny";
 
 type SmolStr = string;
 export type TypeOfAttribute<N> = Type<N> & { required?: boolean };

package/esm/cedar_wasm_bg.js

@@ -164,12 +164,15 @@ export function getCedarSDKVersion() {
 }
 
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
- * @param {AuthorizationCall} call
- * @returns {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 isAuthorized(call) {
-    const ret = wasm.isAuthorized(call);
+export function validate(call) {
+    const ret = wasm.validate(call);
     return ret;
 }
 
@@ -213,19 +216,6 @@ export function checkParseContext(call) {
     return 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(call);
-    return ret;
-}
-
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  * @param {FormattingCall} call
@@ -236,6 +226,29 @@ export function formatPolicies(call) {
     return ret;
 }
 
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * @param {AuthorizationCall} call
+ * @returns {AuthorizationAnswer}
+ */
+export function isAuthorized(call) {
+    const ret = wasm.isAuthorized(call);
+    return ret;
+}
+
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ * @param {string} policyset_str
+ * @returns {PolicySetTextToPartsAnswer}
+ */
+export function policySetTextToParts(policyset_str) {
+    const ptr0 = passStringToWasm0(policyset_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.policySetTextToParts(ptr0, len0);
+    return ret;
+}
+
 /**
  * Return the Cedar (textual) representation of a policy.
  * @param {Policy} policy

package/esm/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,14 @@ export const getValidRequestEnvsTemplate: (a: any, b: any) => any;
 export const getValidRequestEnvsPolicy: (a: any, b: any) => any;
 export const getCedarSDKVersion: () => [number, number];
 export const getCedarVersion: () => [number, number];
-export const isAuthorized: (a: any) => any;
+export const validate: (a: any) => any;
 export const checkParsePolicySet: (a: any) => any;
 export const checkParseSchema: (a: any) => any;
 export const checkParseEntities: (a: any) => any;
 export const checkParseContext: (a: any) => any;
-export const validate: (a: any) => any;
 export const formatPolicies: (a: any) => any;
+export const isAuthorized: (a: any) => any;
+export const policySetTextToParts: (a: number, b: number) => any;
 export const policyToText: (a: any) => any;
 export const templateToText: (a: any) => any;
 export const policyToJson: (a: any) => any;

package/esm/package.json

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

package/nodejs/cedar_wasm.d.ts

@@ -11,9 +11,12 @@ export function getValidRequestEnvsPolicy(t: Policy, s: Schema): GetValidRequest
 export function getCedarVersion(): string;
 export function getCedarSDKVersion(): string;
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * Parse a policy set and optionally validate it against a provided schema
+ *
+ * This is the basic validator interface, using [`ValidationCall`] and
+ * [`ValidationAnswer`] types
  */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Check whether a policy set successfully parses.
  */
@@ -30,17 +33,19 @@ export function checkParseEntities(call: EntitiesParsingCall): CheckParseAnswer;
  * Check whether a context successfully parses.
  */
 export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
- * Parse a policy set and optionally validate it against a provided schema
- *
- * This is the basic validator interface, using [`ValidationCall`] and
- * [`ValidationAnswer`] types
- */
-export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  */
 export function formatPolicies(call: FormattingCall): FormattingAnswer;
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ */
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ */
+export function policySetTextToParts(policyset_str: string): PolicySetTextToPartsAnswer;
 /**
  * Return the Cedar (textual) representation of a policy.
  */
@@ -71,6 +76,44 @@ export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
 export function getCedarLangVersion(): string;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
+export interface ValidationCall {
+    validationSettings?: ValidationSettings;
+    schema: Schema;
+    policies: PolicySet;
+}
+
+export interface ValidationSettings {
+    mode: ValidationMode;
+}
+
+export interface ValidationError {
+    policyId: string;
+    error: DetailedError;
+}
+
+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;
+    indentWidth?: number;
+}
+
+export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+
 export interface Response {
     decision: Decision;
     diagnostics: Diagnostics;
@@ -99,22 +142,15 @@ export interface AuthorizationCall {
     entities: Entities;
 }
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
+export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
 
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
+export type PolicySetTextToPartsAnswer = { type: "success"; policies: string[]; policy_templates: string[] } | { type: "failure"; errors: DetailedError[] };
 
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
+export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
 
-export type SlotId = string;
+export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
-export type PolicyId = string;
+export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
 export type Schema = string | SchemaJson<string>;
 
@@ -163,40 +199,45 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export interface ValidationCall {
-    validationSettings?: ValidationSettings;
-    schema: Schema;
-    policies: PolicySet;
-}
+export type SlotId = string;
 
-export interface ValidationSettings {
-    mode: ValidationMode;
-}
+export type PolicyId = string;
 
-export interface ValidationError {
-    policyId: string;
-    error: DetailedError;
-}
+export type ValidationMode = "strict";
 
-export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
+export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
-export interface FormattingCall {
-    policyText: string;
-    lineWidth?: number;
-    indentWidth?: number;
+export interface PrincipalOrResourceIsConstraint {
+    entity_type: string;
+    in?: PrincipalOrResourceInConstraint;
 }
 
-export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+export type PrincipalOrResourceInConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
+export type EqConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
+export type ResourceConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & ActionInConstraint);
 
-export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type ValidationMode = "strict";
+export type Effect = "permit" | "forbid";
+
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
+
+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 } } | { isEmpty: { arg: 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 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 };
 
@@ -246,40 +287,14 @@ export type CommonTypeId = string;
 
 export type SchemaJson<N> = Record<string, NamespaceDefinition<N>>;
 
-export type Var = "principal" | "action" | "resource" | "context";
-
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
-
-export type Decision = "allow" | "deny";
-
-export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
-
-export interface PolicyJson {
-    effect: Effect;
-    principal: PrincipalConstraint;
-    action: ActionConstraint;
-    resource: ResourceConstraint;
-    conditions: Clause[];
-    annotations?: Annotations;
-}
-
-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 } } | { isEmpty: { arg: 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 AnyId = SmolStr;
 
 export type UnreservedId = string;
 
+export type Annotations = Record<string, Annotation>;
+
+export type Annotation = SmolStr;
+
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
 export interface FnAndArg {
@@ -294,28 +309,20 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
-
-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 Var = "principal" | "action" | "resource" | "context";
 
-export type Effect = "permit" | "forbid";
+export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
 
-export type Annotations = Record<string, Annotation>;
+export interface PolicyJson {
+    effect: Effect;
+    principal: PrincipalConstraint;
+    action: ActionConstraint;
+    resource: ResourceConstraint;
+    conditions: Clause[];
+    annotations?: Annotations;
+}
 
-export type Annotation = SmolStr;
+export type Decision = "allow" | "deny";
 
 type SmolStr = string;
 export type TypeOfAttribute<N> = Type<N> & { required?: boolean };

package/nodejs/cedar_wasm.js

@@ -160,12 +160,15 @@ module.exports.getCedarSDKVersion = function() {
 };
 
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
- * @param {AuthorizationCall} call
- * @returns {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}
  */
-module.exports.isAuthorized = function(call) {
-    const ret = wasm.isAuthorized(call);
+module.exports.validate = function(call) {
+    const ret = wasm.validate(call);
     return ret;
 };
 
@@ -209,19 +212,6 @@ module.exports.checkParseContext = function(call) {
     return 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}
- */
-module.exports.validate = function(call) {
-    const ret = wasm.validate(call);
-    return ret;
-};
-
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  * @param {FormattingCall} call
@@ -232,6 +222,29 @@ module.exports.formatPolicies = function(call) {
     return ret;
 };
 
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * @param {AuthorizationCall} call
+ * @returns {AuthorizationAnswer}
+ */
+module.exports.isAuthorized = function(call) {
+    const ret = wasm.isAuthorized(call);
+    return ret;
+};
+
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ * @param {string} policyset_str
+ * @returns {PolicySetTextToPartsAnswer}
+ */
+module.exports.policySetTextToParts = function(policyset_str) {
+    const ptr0 = passStringToWasm0(policyset_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.policySetTextToParts(ptr0, len0);
+    return ret;
+};
+
 /**
  * Return the Cedar (textual) representation of a policy.
  * @param {Policy} policy

package/nodejs/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,14 @@ export const getValidRequestEnvsTemplate: (a: any, b: any) => any;
 export const getValidRequestEnvsPolicy: (a: any, b: any) => any;
 export const getCedarSDKVersion: () => [number, number];
 export const getCedarVersion: () => [number, number];
-export const isAuthorized: (a: any) => any;
+export const validate: (a: any) => any;
 export const checkParsePolicySet: (a: any) => any;
 export const checkParseSchema: (a: any) => any;
 export const checkParseEntities: (a: any) => any;
 export const checkParseContext: (a: any) => any;
-export const validate: (a: any) => any;
 export const formatPolicies: (a: any) => any;
+export const isAuthorized: (a: any) => any;
+export const policySetTextToParts: (a: number, b: number) => any;
 export const policyToText: (a: any) => any;
 export const templateToText: (a: any) => any;
 export const policyToJson: (a: any) => any;

package/nodejs/package.json

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

package/package.json

@@ -2,7 +2,7 @@
   "name": "@cedar-policy/cedar-wasm",
   "type": "module",
   "description": "Wasm bindings and typescript types for Cedar lib",
-  "version": "4.4.0",
+  "version": "4.5.0",
   "license": "Apache-2.0",
   "files": [
     "esm/package.json",

package/web/cedar_wasm.d.ts

@@ -11,9 +11,12 @@ export function getValidRequestEnvsPolicy(t: Policy, s: Schema): GetValidRequest
 export function getCedarVersion(): string;
 export function getCedarSDKVersion(): string;
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * Parse a policy set and optionally validate it against a provided schema
+ *
+ * This is the basic validator interface, using [`ValidationCall`] and
+ * [`ValidationAnswer`] types
  */
-export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Check whether a policy set successfully parses.
  */
@@ -30,17 +33,19 @@ export function checkParseEntities(call: EntitiesParsingCall): CheckParseAnswer;
  * Check whether a context successfully parses.
  */
 export function checkParseContext(call: ContextParsingCall): CheckParseAnswer;
-/**
- * Parse a policy set and optionally validate it against a provided schema
- *
- * This is the basic validator interface, using [`ValidationCall`] and
- * [`ValidationAnswer`] types
- */
-export function validate(call: ValidationCall): ValidationAnswer;
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  */
 export function formatPolicies(call: FormattingCall): FormattingAnswer;
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ */
+export function isAuthorized(call: AuthorizationCall): AuthorizationAnswer;
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ */
+export function policySetTextToParts(policyset_str: string): PolicySetTextToPartsAnswer;
 /**
  * Return the Cedar (textual) representation of a policy.
  */
@@ -71,6 +76,44 @@ export function schemaToJson(schema: Schema): SchemaToJsonAnswer;
 export function getCedarLangVersion(): string;
 export type GetValidRequestEnvsResult = { type: "success"; principals: string[]; actions: string[]; resources: string[] } | { type: "failure"; error: string };
 
+export interface ValidationCall {
+    validationSettings?: ValidationSettings;
+    schema: Schema;
+    policies: PolicySet;
+}
+
+export interface ValidationSettings {
+    mode: ValidationMode;
+}
+
+export interface ValidationError {
+    policyId: string;
+    error: DetailedError;
+}
+
+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;
+    indentWidth?: number;
+}
+
+export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+
 export interface Response {
     decision: Decision;
     diagnostics: Diagnostics;
@@ -99,22 +142,15 @@ export interface AuthorizationCall {
     entities: Entities;
 }
 
-export type CheckParseAnswer = { type: "success" } | { type: "failure"; errors: DetailedError[] };
+export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
 
-export interface EntitiesParsingCall {
-    entities: Entities;
-    schema?: Schema | null;
-}
+export type PolicySetTextToPartsAnswer = { type: "success"; policies: string[]; policy_templates: string[] } | { type: "failure"; errors: DetailedError[] };
 
-export interface ContextParsingCall {
-    context: Context;
-    schema?: Schema | null;
-    action?: EntityUid | null;
-}
+export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
 
-export type SlotId = string;
+export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
-export type PolicyId = string;
+export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
 
 export type Schema = string | SchemaJson<string>;
 
@@ -163,40 +199,45 @@ export interface DetailedError {
     related?: DetailedError[];
 }
 
-export interface ValidationCall {
-    validationSettings?: ValidationSettings;
-    schema: Schema;
-    policies: PolicySet;
-}
+export type SlotId = string;
 
-export interface ValidationSettings {
-    mode: ValidationMode;
-}
+export type PolicyId = string;
 
-export interface ValidationError {
-    policyId: string;
-    error: DetailedError;
-}
+export type ValidationMode = "strict";
 
-export type ValidationAnswer = { type: "failure"; errors: DetailedError[]; warnings: DetailedError[] } | { type: "success"; validationErrors: ValidationError[]; validationWarnings: ValidationError[]; otherWarnings: DetailedError[] };
+export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
 
-export interface FormattingCall {
-    policyText: string;
-    lineWidth?: number;
-    indentWidth?: number;
+export interface PrincipalOrResourceIsConstraint {
+    entity_type: string;
+    in?: PrincipalOrResourceInConstraint;
 }
 
-export type FormattingAnswer = { type: "failure"; errors: DetailedError[] } | { type: "success"; formatted_policy: string };
+export type PrincipalOrResourceInConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToTextAnswer = { type: "success"; text: string } | { type: "failure"; errors: DetailedError[] };
+export type EqConstraint = { entity: EntityUidJson } | { slot: string };
 
-export type PolicyToJsonAnswer = { type: "success"; json: PolicyJson } | { type: "failure"; errors: DetailedError[] };
+export type ResourceConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type SchemaToTextAnswer = { type: "success"; text: string; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type ActionConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & ActionInConstraint);
 
-export type SchemaToJsonAnswer = { type: "success"; json: SchemaJson<string>; warnings: DetailedError[] } | { type: "failure"; errors: DetailedError[] };
+export type PrincipalConstraint = { op: "All" } | ({ op: "==" } & EqConstraint) | ({ op: "in" } & PrincipalOrResourceInConstraint) | ({ op: "is" } & PrincipalOrResourceIsConstraint);
 
-export type ValidationMode = "strict";
+export type Effect = "permit" | "forbid";
+
+export interface EntityJson {
+    uid: EntityUidJson;
+    attrs: Record<string, CedarValueJson>;
+    parents: EntityUidJson[];
+    tags?: Record<string, CedarValueJson>;
+}
+
+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 } } | { isEmpty: { arg: 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 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 };
 
@@ -246,40 +287,14 @@ export type CommonTypeId = string;
 
 export type SchemaJson<N> = Record<string, NamespaceDefinition<N>>;
 
-export type Var = "principal" | "action" | "resource" | "context";
-
-export interface EntityJson {
-    uid: EntityUidJson;
-    attrs: Record<string, CedarValueJson>;
-    parents: EntityUidJson[];
-    tags?: Record<string, CedarValueJson>;
-}
-
-export type Decision = "allow" | "deny";
-
-export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
-
-export interface PolicyJson {
-    effect: Effect;
-    principal: PrincipalConstraint;
-    action: ActionConstraint;
-    resource: ResourceConstraint;
-    conditions: Clause[];
-    annotations?: Annotations;
-}
-
-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 } } | { isEmpty: { arg: 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 AnyId = SmolStr;
 
 export type UnreservedId = string;
 
+export type Annotations = Record<string, Annotation>;
+
+export type Annotation = SmolStr;
+
 export type EntityUidJson = { __entity: TypeAndId } | TypeAndId;
 
 export interface FnAndArg {
@@ -294,28 +309,20 @@ export interface TypeAndId {
 
 export type CedarValueJson = { __entity: TypeAndId } | { __extn: FnAndArg } | boolean | number | string | CedarValueJson[] | { [key: string]: CedarValueJson } | null;
 
-export type ActionInConstraint = { entity: EntityUidJson } | { entities: EntityUidJson[] };
-
-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 Var = "principal" | "action" | "resource" | "context";
 
-export type Effect = "permit" | "forbid";
+export type Clause = { kind: "when"; body: Expr } | { kind: "unless"; body: Expr };
 
-export type Annotations = Record<string, Annotation>;
+export interface PolicyJson {
+    effect: Effect;
+    principal: PrincipalConstraint;
+    action: ActionConstraint;
+    resource: ResourceConstraint;
+    conditions: Clause[];
+    annotations?: Annotations;
+}
 
-export type Annotation = SmolStr;
+export type Decision = "allow" | "deny";
 
 
 export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -326,13 +333,14 @@ export interface InitOutput {
   readonly getValidRequestEnvsPolicy: (a: any, b: any) => any;
   readonly getCedarSDKVersion: () => [number, number];
   readonly getCedarVersion: () => [number, number];
-  readonly isAuthorized: (a: any) => any;
+  readonly validate: (a: any) => any;
   readonly checkParsePolicySet: (a: any) => any;
   readonly checkParseSchema: (a: any) => any;
   readonly checkParseEntities: (a: any) => any;
   readonly checkParseContext: (a: any) => any;
-  readonly validate: (a: any) => any;
   readonly formatPolicies: (a: any) => any;
+  readonly isAuthorized: (a: any) => any;
+  readonly policySetTextToParts: (a: number, b: number) => any;
   readonly policyToText: (a: any) => any;
   readonly templateToText: (a: any) => any;
   readonly policyToJson: (a: any) => any;

package/web/cedar_wasm.js

@@ -156,12 +156,15 @@ export function getCedarSDKVersion() {
 }
 
 /**
- * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
- * @param {AuthorizationCall} call
- * @returns {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 isAuthorized(call) {
-    const ret = wasm.isAuthorized(call);
+export function validate(call) {
+    const ret = wasm.validate(call);
     return ret;
 }
 
@@ -205,19 +208,6 @@ export function checkParseContext(call) {
     return 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(call);
-    return ret;
-}
-
 /**
  * Apply the Cedar policy formatter to a policy set in the Cedar policy format
  * @param {FormattingCall} call
@@ -228,6 +218,29 @@ export function formatPolicies(call) {
     return ret;
 }
 
+/**
+ * Basic interface, using [`AuthorizationCall`] and [`AuthorizationAnswer`] types
+ * @param {AuthorizationCall} call
+ * @returns {AuthorizationAnswer}
+ */
+export function isAuthorized(call) {
+    const ret = wasm.isAuthorized(call);
+    return ret;
+}
+
+/**
+ * Takes a PolicySet represented as string and return the policies
+ * and templates split into vecs and sorted by id.
+ * @param {string} policyset_str
+ * @returns {PolicySetTextToPartsAnswer}
+ */
+export function policySetTextToParts(policyset_str) {
+    const ptr0 = passStringToWasm0(policyset_str, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+    const len0 = WASM_VECTOR_LEN;
+    const ret = wasm.policySetTextToParts(ptr0, len0);
+    return ret;
+}
+
 /**
  * Return the Cedar (textual) representation of a policy.
  * @param {Policy} policy

package/web/cedar_wasm_bg.wasm.d.ts

@@ -5,13 +5,14 @@ export const getValidRequestEnvsTemplate: (a: any, b: any) => any;
 export const getValidRequestEnvsPolicy: (a: any, b: any) => any;
 export const getCedarSDKVersion: () => [number, number];
 export const getCedarVersion: () => [number, number];
-export const isAuthorized: (a: any) => any;
+export const validate: (a: any) => any;
 export const checkParsePolicySet: (a: any) => any;
 export const checkParseSchema: (a: any) => any;
 export const checkParseEntities: (a: any) => any;
 export const checkParseContext: (a: any) => any;
-export const validate: (a: any) => any;
 export const formatPolicies: (a: any) => any;
+export const isAuthorized: (a: any) => any;
+export const policySetTextToParts: (a: number, b: number) => any;
 export const policyToText: (a: any) => any;
 export const templateToText: (a: any) => any;
 export const policyToJson: (a: any) => any;

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.4.0",
+  "version": "4.5.0",
   "license": "Apache-2.0",
   "files": [
     "cedar_wasm_bg.wasm",