effect-dynamodb 0.1.0

package/dist/internal/EntityTypes.d.ts

@@ -0,0 +1,128 @@
+/**
+ * @internal Entity type-level computations — derived types for Entity operations.
+ *
+ * Extracted from Entity.ts for decomposition. Not part of the public API.
+ */
+import type { DateTime, Schema } from "effect";
+import type { RefNotFound } from "../Errors.js";
+/** Extract the model's Type directly — preserves Schema.Class name (e.g. `User`) */
+export type ModelType<TModel extends Schema.Top> = Schema.Schema.Type<TModel>;
+/** Extract primary key composite attribute names as a string union */
+export type PrimaryKeyComposites<TIndexes> = TIndexes extends {
+    readonly primary: {
+        readonly pk: {
+            readonly composite: infer PKC extends ReadonlyArray<string>;
+        };
+        readonly sk: {
+            readonly composite: infer SKC extends ReadonlyArray<string>;
+        };
+    };
+} ? PKC[number] | SKC[number] : string;
+/** Compute system fields added by timestamps and versioned config */
+export type SystemFieldsType<TTimestamps, TVersioned> = ([TTimestamps] extends [undefined] ? {} : [TTimestamps] extends [false] ? {} : {
+    readonly createdAt: DateTime.Utc;
+    readonly updatedAt: DateTime.Utc;
+}) & ([TVersioned] extends [undefined] ? {} : [TVersioned] extends [false] ? {} : {
+    readonly version: number;
+});
+/** Entity key type: Pick model fields by primary key composites */
+export type EntityKeyType<TModel extends Schema.Top, TIndexes> = Pick<ModelType<TModel>, PrimaryKeyComposites<TIndexes> & keyof ModelType<TModel>>;
+/** Entity record type: model fields + system fields */
+export type EntityRecordType<TModel extends Schema.Top, TTimestamps, TVersioned> = ModelType<TModel> & SystemFieldsType<TTimestamps, TVersioned>;
+/** Entity input type: same as model fields (system fields auto-managed) */
+export type EntityInputType<TModel extends Schema.Top> = ModelType<TModel>;
+/** Entity create type: input fields minus identifier (or PK composites as fallback) */
+export type EntityCreateType<TModel extends Schema.Top, TIndexes, TIdentifier extends string | undefined> = [TIdentifier] extends [string] ? Omit<ModelType<TModel>, TIdentifier> : Omit<ModelType<TModel>, PrimaryKeyComposites<TIndexes>>;
+/** Entity update type: partial model fields minus primary key composites */
+export type EntityUpdateType<TModel extends Schema.Top, TIndexes> = Partial<Omit<ModelType<TModel>, PrimaryKeyComposites<TIndexes>>>;
+/** Extract PK-only composite attribute names (excludes SK) */
+type PrimaryPkOnlyComposites<TIndexes> = TIndexes extends {
+    readonly primary: {
+        readonly pk: {
+            readonly composite: infer PKC extends ReadonlyArray<string>;
+        };
+    };
+} ? PKC[number] : never;
+/** Extract the Entity from a ref value `{ entity: Entity, cascade?: ... }`. */
+export type ExtractRefEntity<R> = R extends {
+    readonly entity: infer E;
+} ? E : never;
+/** Extract the identifier value type from a ref Entity's PK composites.
+ *  For an entity with `pk: { composite: ["id"] }` and `id: TeamId`, yields `TeamId`. */
+type EntityIdentifierValue<E> = ExtractRefEntity<E> extends {
+    readonly model: infer M extends Schema.Top;
+    readonly indexes: infer I;
+} ? ModelType<M>[PrimaryPkOnlyComposites<I> & keyof ModelType<M>] : string;
+/** Entity ref input type: when refs present, replace ref fields with branded ID fields */
+export type EntityRefInputType<TModel extends Schema.Top, TRefs> = [TRefs] extends [undefined] ? ModelType<TModel> : Omit<ModelType<TModel>, keyof TRefs & string> & {
+    readonly [K in keyof TRefs & string as `${K}Id`]: EntityIdentifierValue<TRefs[K]>;
+};
+/** Entity ref create type: input minus identifier (or PK composites), ref-aware */
+export type EntityRefCreateType<TModel extends Schema.Top, TIndexes, TRefs, TIdentifier extends string | undefined> = [TRefs] extends [undefined] ? EntityCreateType<TModel, TIndexes, TIdentifier> : [TIdentifier] extends [string] ? Omit<EntityRefInputType<TModel, TRefs>, TIdentifier> : Omit<EntityRefInputType<TModel, TRefs>, PrimaryKeyComposites<TIndexes>>;
+/** Entity ref update type: when refs present, swap ref fields for optional branded ID fields */
+export type EntityRefUpdateType<TModel extends Schema.Top, TIndexes, TRefs> = [TRefs] extends [
+    undefined
+] ? EntityUpdateType<TModel, TIndexes> : Partial<Omit<ModelType<TModel>, PrimaryKeyComposites<TIndexes> | (keyof TRefs & string)>> & {
+    readonly [K in keyof TRefs & string as `${K}Id`]?: EntityIdentifierValue<TRefs[K]>;
+};
+/** Error type contribution from refs — never when no refs, RefNotFound when refs present */
+export type RefErrors<TRefs> = [TRefs] extends [undefined] ? never : RefNotFound;
+/** Extract pk composite names for a specific index */
+export type IndexPkComposites<TIndexes, K extends keyof TIndexes> = TIndexes[K] extends {
+    readonly pk: {
+        readonly composite: infer PKC extends ReadonlyArray<string>;
+    };
+} ? PKC[number] : never;
+/** Extract sk composite names (union) for a specific index */
+export type IndexSkComposites<TIndexes, K extends keyof TIndexes> = TIndexes[K] extends {
+    readonly sk: {
+        readonly composite: infer SKC extends ReadonlyArray<string>;
+    };
+} ? SKC[number] : never;
+/**
+ * Map a refs config object to its derived `${ref}Id` field map.
+ *
+ * For `{ team: { entity: TeamEntity }, player: { entity: PlayerEntity } }` this yields
+ * `{ teamId: TeamId, playerId: PlayerId }`, using each referenced entity's identifier
+ * value type (branded when available, falling back to `string`).
+ */
+type RefIdFields<TRefs> = [TRefs] extends [undefined] ? {} : {
+    readonly [K in keyof TRefs & string as `${K}Id`]: EntityIdentifierValue<TRefs[K]>;
+};
+/**
+ * Composite-resolvable fields for an entity: model fields plus the derived ref-id
+ * fields. This is the canonical lookup table for resolving the value type of a
+ * composite key name like `playerId` (which lives on the ref, not on the model).
+ */
+type CompositeFields<TModel extends Schema.Top, TRefs> = ModelType<TModel> & RefIdFields<TRefs>;
+/** Pick SK composite fields from the model (or refs) with their actual types. */
+export type IndexSkFields<TModel extends Schema.Top, TIndexes, K extends keyof TIndexes, TRefs = undefined> = Pick<CompositeFields<TModel, TRefs>, IndexSkComposites<TIndexes, K> & keyof CompositeFields<TModel, TRefs>>;
+/**
+ * Widen string literal types to include their lowercase variants.
+ * Since the key composer applies casing (default: lowercase) to composite values,
+ * queries should accept both `"Male"` and `"male"` for indexed attributes.
+ * Non-string types pass through unchanged.
+ */
+type CaseInsensitive<T> = T extends string ? T | Lowercase<T> : T;
+/** Apply CaseInsensitive to all properties of an object type */
+type CaseInsensitiveProps<T> = {
+    [K in keyof T]: CaseInsensitive<T[K]>;
+};
+/** Flatten an intersection into a plain object type for clean IDE hover display */
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+/**
+ * Compute the typed query input for a specific index.
+ * PK composites are required. SK composites are optional.
+ * SK prefix ordering is enforced at runtime.
+ * String literal types are widened to include lowercase variants.
+ *
+ * When `TRefs` is provided, ref-derived composite names (e.g. `teamId` for a
+ * `team: Team.pipe(DynamoModel.ref)` field) resolve to the referenced entity's
+ * branded identifier type. Without this, an index whose pk composite references
+ * a renamed ref field would silently collapse to `Pick<Model, never>`.
+ */
+export type IndexPkInput<TModel extends Schema.Top, TIndexes, K extends keyof TIndexes, TRefs = undefined> = Simplify<CaseInsensitiveProps<Pick<CompositeFields<TModel, TRefs>, IndexPkComposites<TIndexes, K> & keyof CompositeFields<TModel, TRefs>>> & Partial<CaseInsensitiveProps<Pick<CompositeFields<TModel, TRefs>, IndexSkComposites<TIndexes, K> & keyof CompositeFields<TModel, TRefs>>>>>;
+export {};
+//# sourceMappingURL=EntityTypes.d.ts.map

package/dist/internal/EntityTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypes.d.ts","sourceRoot":"","sources":["../../src/internal/EntityTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAM/C,oFAAoF;AACpF,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAE7E,sEAAsE;AACtE,MAAM,MAAM,oBAAoB,CAAC,QAAQ,IAAI,QAAQ,SAAS;IAC5D,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,CAAA;SAAE,CAAA;QAC5E,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,CAAA;SAAE,CAAA;KAC7E,CAAA;CACF,GACG,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GACzB,MAAM,CAAA;AAEV,qEAAqE;AACrE,MAAM,MAAM,gBAAgB,CAAC,WAAW,EAAE,UAAU,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,GACtF,EAAE,GACF,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,EAAE,GACF;IAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAA;CAAE,CAAC,GAC3E,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,GAC7B,EAAE,GACF,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1B,EAAE,GACF;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAErC,mEAAmE;AACnE,MAAM,MAAM,aAAa,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,EAAE,QAAQ,IAAI,IAAI,CACnE,SAAS,CAAC,MAAM,CAAC,EACjB,oBAAoB,CAAC,QAAQ,CAAC,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,CACzD,CAAA;AAED,uDAAuD;AACvD,MAAM,MAAM,gBAAgB,CAC1B,MAAM,SAAS,MAAM,CAAC,GAAG,EACzB,WAAW,EACX,UAAU,IACR,SAAS,CAAC,MAAM,CAAC,GAAG,gBAAgB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAA;AAEjE,2EAA2E;AAC3E,MAAM,MAAM,eAAe,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,CAAA;AAE1E,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,CAC1B,MAAM,SAAS,MAAM,CAAC,GAAG,EACzB,QAAQ,EACR,WAAW,SAAS,MAAM,GAAG,SAAS,IACpC,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,GAC9B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,GACpC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE3D,4EAA4E;AAC5E,MAAM,MAAM,gBAAgB,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,EAAE,QAAQ,IAAI,OAAO,CACzE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CACxD,CAAA;AAMD,8DAA8D;AAC9D,KAAK,uBAAuB,CAAC,QAAQ,IAAI,QAAQ,SAAS;IACxD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,CAAA;SAAE,CAAA;KAC7E,CAAA;CACF,GACG,GAAG,CAAC,MAAM,CAAC,GACX,KAAK,CAAA;AAET,+EAA+E;AAC/E,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAEpF;wFACwF;AACxF,KAAK,qBAAqB,CAAC,CAAC,IAC1B,gBAAgB,CAAC,CAAC,CAAC,SAAS;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAC1B,GACG,SAAS,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,CAAC,CAAC,CAAC,GAC7D,MAAM,CAAA;AAEZ,0FAA0F;AAC1F,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAC1F,SAAS,CAAC,MAAM,CAAC,GACjB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG;IAC9C,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAClF,CAAA;AAEL,mFAAmF;AACnF,MAAM,MAAM,mBAAmB,CAC7B,MAAM,SAAS,MAAM,CAAC,GAAG,EACzB,QAAQ,EACR,KAAK,EACL,WAAW,SAAS,MAAM,GAAG,SAAS,IACpC,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAC3B,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,GAC/C,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,GAC5B,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,GACpD,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAA;AAE7E,gGAAgG;AAChG,MAAM,MAAM,mBAAmB,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS;IAC5F,SAAS;CACV,GACG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,GAClC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG;IAC1F,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACnF,CAAA;AAEL,4FAA4F;AAC5F,MAAM,MAAM,SAAS,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,WAAW,CAAA;AAEhF,sDAAsD;AACtD,MAAM,MAAM,iBAAiB,CAAC,QAAQ,EAAE,CAAC,SAAS,MAAM,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS;IACtF,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAA;CAC7E,GACG,GAAG,CAAC,MAAM,CAAC,GACX,KAAK,CAAA;AAET,8DAA8D;AAC9D,MAAM,MAAM,iBAAiB,CAAC,QAAQ,EAAE,CAAC,SAAS,MAAM,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS;IACtF,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAA;CAC7E,GACG,GAAG,CAAC,MAAM,CAAC,GACX,KAAK,CAAA;AAET;;;;;;GAMG;AACH,KAAK,WAAW,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GACjD,EAAE,GACF;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEzF;;;;GAIG;AACH,KAAK,eAAe,CAAC,MAAM,SAAS,MAAM,CAAC,GAAG,EAAE,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAA;AAE/F,iFAAiF;AACjF,MAAM,MAAM,aAAa,CACvB,MAAM,SAAS,MAAM,CAAC,GAAG,EACzB,QAAQ,EACR,CAAC,SAAS,MAAM,QAAQ,EACxB,KAAK,GAAG,SAAS,IACf,IAAI,CACN,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9B,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CACtE,CAAA;AAED;;;;;GAKG;AACH,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAEjE,gEAAgE;AAChE,KAAK,oBAAoB,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAExE,mFAAmF;AACnF,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAA;AAEhD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACtB,MAAM,SAAS,MAAM,CAAC,GAAG,EACzB,QAAQ,EACR,CAAC,SAAS,MAAM,QAAQ,EACxB,KAAK,GAAG,SAAS,IACf,QAAQ,CACV,oBAAoB,CAClB,IAAI,CACF,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9B,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CACtE,CACF,GACC,OAAO,CACL,oBAAoB,CAClB,IAAI,CACF,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9B,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CACtE,CACF,CACF,CACJ,CAAA"}

package/dist/internal/EntityTypes.js

@@ -0,0 +1,7 @@
+/**
+ * @internal Entity type-level computations — derived types for Entity operations.
+ *
+ * Extracted from Entity.ts for decomposition. Not part of the public API.
+ */
+export {};
+//# sourceMappingURL=EntityTypes.js.map

package/dist/internal/EntityTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypes.js","sourceRoot":"","sources":["../../src/internal/EntityTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/internal/Expr.d.ts

@@ -0,0 +1,141 @@
+/**
+ * @internal Expr — Expression ADT for type-safe DynamoDB condition/filter expressions.
+ *
+ * Provides a discriminated union of expression nodes that compile to DynamoDB
+ * ConditionExpression / FilterExpression strings with attribute name/value placeholders.
+ */
+import type { AttributeValue } from "@aws-sdk/client-dynamodb";
+import type { ConditionInput } from "../Expression.js";
+import { type Path, type SizeOperand } from "./PathBuilder.js";
+export type Operand = {
+    readonly _tag: "path";
+    readonly segments: ReadonlyArray<string | number>;
+} | {
+    readonly _tag: "value";
+    readonly value: unknown;
+} | {
+    readonly _tag: "size";
+    readonly segments: ReadonlyArray<string | number>;
+};
+export declare const ExprTag: unique symbol;
+export type ExprTag = typeof ExprTag;
+export type Expr = ExprComparison | ExprBetween | ExprIn | ExprExists | ExprNotExists | ExprAttributeType | ExprBeginsWith | ExprContains | ExprAnd | ExprOr | ExprNot;
+interface ExprComparison {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "eq" | "ne" | "lt" | "lte" | "gt" | "gte";
+    readonly left: Operand;
+    readonly right: Operand;
+}
+interface ExprBetween {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "between";
+    readonly operand: Operand;
+    readonly low: Operand;
+    readonly high: Operand;
+}
+interface ExprIn {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "in";
+    readonly operand: Operand;
+    readonly values: ReadonlyArray<Operand>;
+}
+interface ExprExists {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "exists";
+    readonly operand: Operand;
+}
+interface ExprNotExists {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "notExists";
+    readonly operand: Operand;
+}
+interface ExprAttributeType {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "type";
+    readonly operand: Operand;
+    readonly attributeType: string;
+}
+interface ExprBeginsWith {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "beginsWith";
+    readonly operand: Operand;
+    readonly prefix: Operand;
+}
+interface ExprContains {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "contains";
+    readonly operand: Operand;
+    readonly value: Operand;
+}
+interface ExprAnd {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "and";
+    readonly exprs: ReadonlyArray<Expr>;
+}
+interface ExprOr {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "or";
+    readonly exprs: ReadonlyArray<Expr>;
+}
+interface ExprNot {
+    readonly [ExprTag]: ExprTag;
+    readonly _tag: "not";
+    readonly expr: Expr;
+}
+export declare const isExpr: (u: unknown) => u is Expr;
+/**
+ * Operations available in condition/filter callbacks.
+ * Each function accepts paths and values, returning an Expr node.
+ */
+export interface ConditionOps<Model> {
+    readonly eq: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly ne: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly lt: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly lte: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly gt: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly gte: <V>(left: Path<Model, V> | SizeOperand<Model>, right: V | Path<Model, V>) => Expr;
+    readonly between: <V>(operand: Path<Model, V>, low: V, high: V) => Expr;
+    readonly isIn: <V>(operand: Path<Model, V>, values: ReadonlyArray<V>) => Expr;
+    readonly exists: (operand: Path<Model, any>) => Expr;
+    readonly notExists: (operand: Path<Model, any>) => Expr;
+    readonly attributeType: (operand: Path<Model, any>, type: string) => Expr;
+    readonly beginsWith: (operand: Path<Model, string>, prefix: string) => Expr;
+    readonly contains: (operand: Path<Model, string | ReadonlyArray<any>>, value: unknown) => Expr;
+    readonly and: (...exprs: ReadonlyArray<Expr>) => Expr;
+    readonly or: (...exprs: ReadonlyArray<Expr>) => Expr;
+    readonly not: (expr: Expr) => Expr;
+}
+/**
+ * Create a ConditionOps object that builds Expr nodes.
+ */
+export declare const createConditionOps: <Model>() => ConditionOps<Model>;
+export declare const eq: (left: unknown, right: unknown) => Expr;
+export declare const ne: (left: unknown, right: unknown) => Expr;
+export declare const and: (...exprs: ReadonlyArray<Expr>) => Expr;
+export declare const or: (...exprs: ReadonlyArray<Expr>) => Expr;
+export declare const not: (expr: Expr) => Expr;
+export interface CompileResult {
+    readonly expression: string;
+    readonly names: globalThis.Record<string, string>;
+    readonly values: globalThis.Record<string, AttributeValue>;
+}
+/**
+ * Compile an Expr node to a DynamoDB expression string with name/value placeholders.
+ */
+export declare const compileExpr: (expr: Expr, resolveDbName?: (name: string) => string) => CompileResult;
+/**
+ * Convert a ConditionInput shorthand object to an Expr ADT node.
+ */
+export declare const parseShorthand: (input: ConditionInput) => Expr;
+/**
+ * A simplified condition shorthand where keys are attribute names and values
+ * are equality matches. Example: `{ status: "active", role: "admin" }`
+ */
+export type ConditionShorthand = globalThis.Record<string, unknown>;
+/**
+ * Parse a simple shorthand object into an Expr. Each key-value pair becomes
+ * an equality comparison, ANDed together.
+ */
+export declare const parseSimpleShorthand: (input: ConditionShorthand) => Expr;
+export {};
+//# sourceMappingURL=Expr.d.ts.map

package/dist/internal/Expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Expr.d.ts","sourceRoot":"","sources":["../../src/internal/Expr.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEtD,OAAO,EAAe,KAAK,IAAI,EAAW,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAMpF,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;CAAE,CAAA;AAmBhF,eAAO,MAAM,OAAO,EAAE,OAAO,MAA2C,CAAA;AACxE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAA;AAEpC,MAAM,MAAM,IAAI,GACZ,cAAc,GACd,WAAW,GACX,MAAM,GACN,UAAU,GACV,aAAa,GACb,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,OAAO,GACP,MAAM,GACN,OAAO,CAAA;AAEX,UAAU,cAAc;IACtB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,UAAU,WAAW;IACnB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB;AAED,UAAU,MAAM;IACd,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CACxC;AAED,UAAU,UAAU;IAClB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B;AAED,UAAU,cAAc;IACtB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CACzB;AAED,UAAU,YAAY;IACpB,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,UAAU,OAAO;IACf,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACpC;AAED,UAAU,MAAM;IACd,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACpC;AAED,UAAU,OAAO;IACf,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACpB;AAMD,eAAO,MAAM,MAAM,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,IAA2D,CAAA;AAMpG;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,KAAK;IACjC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC9F,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC9F,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC9F,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC/F,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC9F,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;IAC/F,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,IAAI,CAAA;IACvE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,IAAI,CAAA;IAC7E,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,CAAA;IACpD,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,CAAA;IACvD,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAA;IACzE,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,CAAA;IAC3E,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAA;IAC9F,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,IAAI,CAAA;IACrD,QAAQ,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,IAAI,CAAA;IACpD,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,CAAA;CACnC;AAED;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAAI,KAAK,OAAK,YAAY,CAAC,KAAK,CA6F7D,CAAA;AAMF,eAAO,MAAM,EAAE,GAAI,MAAM,OAAO,EAAE,OAAO,OAAO,KAAG,IAKjD,CAAA;AAEF,eAAO,MAAM,EAAE,GAAI,MAAM,OAAO,EAAE,OAAO,OAAO,KAAG,IAKjD,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC,KAAG,IAIlD,CAAA;AAEF,eAAO,MAAM,EAAE,GAAI,GAAG,OAAO,aAAa,CAAC,IAAI,CAAC,KAAG,IAIjD,CAAA;AAEF,eAAO,MAAM,GAAG,GAAI,MAAM,IAAI,KAAG,IAI/B,CAAA;AAMF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAC3D;AAED;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,IAAI,EACV,gBAAgB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,KACvC,aAkEF,CAAA;AAMD;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,cAAc,KAAG,IA+EtD,CAAA;AAMD;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEnE;;;GAGG;AACH,eAAO,MAAM,oBAAoB,GAAI,OAAO,kBAAkB,KAAG,IAchE,CAAA"}

package/dist/internal/Expr.js

@@ -0,0 +1,332 @@
+/**
+ * @internal Expr — Expression ADT for type-safe DynamoDB condition/filter expressions.
+ *
+ * Provides a discriminated union of expression nodes that compile to DynamoDB
+ * ConditionExpression / FilterExpression strings with attribute name/value placeholders.
+ */
+import { toAttributeValue } from "../Marshaller.js";
+import { compilePath, PathTag } from "./PathBuilder.js";
+/** Convert a Path, SizeOperand, or raw value to an Operand */
+const toOperand = (v) => {
+    if (typeof v === "object" && v !== null) {
+        if (PathTag in v) {
+            return { _tag: "path", segments: v.segments };
+        }
+        if ("_tag" in v && v._tag === "size") {
+            return { _tag: "size", segments: v.segments };
+        }
+    }
+    return { _tag: "value", value: v };
+};
+// ---------------------------------------------------------------------------
+// Expr — Discriminated union of expression nodes
+// ---------------------------------------------------------------------------
+export const ExprTag = Symbol.for("effect-dynamodb/Expr");
+// ---------------------------------------------------------------------------
+// Type guard
+// ---------------------------------------------------------------------------
+export const isExpr = (u) => typeof u === "object" && u !== null && ExprTag in u;
+/**
+ * Create a ConditionOps object that builds Expr nodes.
+ */
+export const createConditionOps = () => ({
+    eq: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "eq",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    ne: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "ne",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    lt: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "lt",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    lte: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "lte",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    gt: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "gt",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    gte: (left, right) => ({
+        [ExprTag]: ExprTag,
+        _tag: "gte",
+        left: toOperand(left),
+        right: toOperand(right),
+    }),
+    between: (operand, low, high) => ({
+        [ExprTag]: ExprTag,
+        _tag: "between",
+        operand: toOperand(operand),
+        low: toOperand(low),
+        high: toOperand(high),
+    }),
+    isIn: (operand, values) => ({
+        [ExprTag]: ExprTag,
+        _tag: "in",
+        operand: toOperand(operand),
+        values: values.map((v) => toOperand(v)),
+    }),
+    exists: (operand) => ({
+        [ExprTag]: ExprTag,
+        _tag: "exists",
+        operand: toOperand(operand),
+    }),
+    notExists: (operand) => ({
+        [ExprTag]: ExprTag,
+        _tag: "notExists",
+        operand: toOperand(operand),
+    }),
+    attributeType: (operand, type) => ({
+        [ExprTag]: ExprTag,
+        _tag: "type",
+        operand: toOperand(operand),
+        attributeType: type,
+    }),
+    beginsWith: (operand, prefix) => ({
+        [ExprTag]: ExprTag,
+        _tag: "beginsWith",
+        operand: toOperand(operand),
+        prefix: toOperand(prefix),
+    }),
+    contains: (operand, value) => ({
+        [ExprTag]: ExprTag,
+        _tag: "contains",
+        operand: toOperand(operand),
+        value: toOperand(value),
+    }),
+    and: (...exprs) => ({
+        [ExprTag]: ExprTag,
+        _tag: "and",
+        exprs,
+    }),
+    or: (...exprs) => ({
+        [ExprTag]: ExprTag,
+        _tag: "or",
+        exprs,
+    }),
+    not: (expr) => ({
+        [ExprTag]: ExprTag,
+        _tag: "not",
+        expr,
+    }),
+});
+// ---------------------------------------------------------------------------
+// Standalone constructors (untyped, for library-internal use)
+// ---------------------------------------------------------------------------
+export const eq = (left, right) => ({
+    [ExprTag]: ExprTag,
+    _tag: "eq",
+    left: toOperand(left),
+    right: toOperand(right),
+});
+export const ne = (left, right) => ({
+    [ExprTag]: ExprTag,
+    _tag: "ne",
+    left: toOperand(left),
+    right: toOperand(right),
+});
+export const and = (...exprs) => ({
+    [ExprTag]: ExprTag,
+    _tag: "and",
+    exprs,
+});
+export const or = (...exprs) => ({
+    [ExprTag]: ExprTag,
+    _tag: "or",
+    exprs,
+});
+export const not = (expr) => ({
+    [ExprTag]: ExprTag,
+    _tag: "not",
+    expr,
+});
+/**
+ * Compile an Expr node to a DynamoDB expression string with name/value placeholders.
+ */
+export const compileExpr = (expr, resolveDbName) => {
+    const names = {};
+    const values = {};
+    const counter = { value: 0 };
+    const compileOperand = (op) => {
+        switch (op._tag) {
+            case "path":
+                return compilePath(op.segments, names, "e", counter, resolveDbName);
+            case "value": {
+                const key = `:e${counter.value++}`;
+                values[key] = toAttributeValue(op.value);
+                return key;
+            }
+            case "size":
+                return `size(${compilePath(op.segments, names, "e", counter, resolveDbName)})`;
+        }
+    };
+    const compile = (node) => {
+        switch (node._tag) {
+            case "eq":
+            case "ne":
+            case "lt":
+            case "lte":
+            case "gt":
+            case "gte": {
+                const ops = { eq: "=", ne: "<>", lt: "<", lte: "<=", gt: ">", gte: ">=" };
+                return `${compileOperand(node.left)} ${ops[node._tag]} ${compileOperand(node.right)}`;
+            }
+            case "between":
+                return `${compileOperand(node.operand)} BETWEEN ${compileOperand(node.low)} AND ${compileOperand(node.high)}`;
+            case "in": {
+                const vals = node.values.map(compileOperand).join(", ");
+                return `${compileOperand(node.operand)} IN (${vals})`;
+            }
+            case "exists":
+                return `attribute_exists(${compileOperand(node.operand)})`;
+            case "notExists":
+                return `attribute_not_exists(${compileOperand(node.operand)})`;
+            case "type": {
+                const pathStr = compileOperand(node.operand);
+                const typeKey = `:e${counter.value++}`;
+                values[typeKey] = toAttributeValue(node.attributeType);
+                return `attribute_type(${pathStr}, ${typeKey})`;
+            }
+            case "beginsWith":
+                return `begins_with(${compileOperand(node.operand)}, ${compileOperand(node.prefix)})`;
+            case "contains":
+                return `contains(${compileOperand(node.operand)}, ${compileOperand(node.value)})`;
+            case "and": {
+                if (node.exprs.length === 0)
+                    return "";
+                if (node.exprs.length === 1)
+                    return compile(node.exprs[0]);
+                return node.exprs.map((e) => `(${compile(e)})`).join(" AND ");
+            }
+            case "or": {
+                if (node.exprs.length === 0)
+                    return "";
+                if (node.exprs.length === 1)
+                    return compile(node.exprs[0]);
+                return node.exprs.map((e) => `(${compile(e)})`).join(" OR ");
+            }
+            case "not":
+                return `NOT (${compile(node.expr)})`;
+        }
+    };
+    return { expression: compile(expr), names, values };
+};
+// ---------------------------------------------------------------------------
+// Shorthand parser — convert ConditionInput-like objects to Expr
+// ---------------------------------------------------------------------------
+/**
+ * Convert a ConditionInput shorthand object to an Expr ADT node.
+ */
+export const parseShorthand = (input) => {
+    const exprs = [];
+    const pathOp = (path) => ({ _tag: "path", segments: [path] });
+    const valOp = (v) => ({ _tag: "value", value: v });
+    const comparison = (tag, attrs) => {
+        for (const [attr, val] of Object.entries(attrs)) {
+            exprs.push({
+                [ExprTag]: ExprTag,
+                _tag: tag,
+                left: pathOp(attr),
+                right: valOp(val),
+            });
+        }
+    };
+    if (input.eq)
+        comparison("eq", input.eq);
+    if (input.ne)
+        comparison("ne", input.ne);
+    if (input.lt)
+        comparison("lt", input.lt);
+    if (input.le)
+        comparison("lte", input.le);
+    if (input.gt)
+        comparison("gt", input.gt);
+    if (input.ge)
+        comparison("gte", input.ge);
+    if (input.between) {
+        for (const [attr, [low, high]] of Object.entries(input.between)) {
+            exprs.push({
+                [ExprTag]: ExprTag,
+                _tag: "between",
+                operand: pathOp(attr),
+                low: valOp(low),
+                high: valOp(high),
+            });
+        }
+    }
+    if (input.beginsWith) {
+        for (const [attr, prefix] of Object.entries(input.beginsWith)) {
+            exprs.push({
+                [ExprTag]: ExprTag,
+                _tag: "beginsWith",
+                operand: pathOp(attr),
+                prefix: valOp(prefix),
+            });
+        }
+    }
+    if (input.attributeExists) {
+        const attrs = Array.isArray(input.attributeExists)
+            ? input.attributeExists
+            : [input.attributeExists];
+        for (const attr of attrs) {
+            exprs.push({
+                [ExprTag]: ExprTag,
+                _tag: "exists",
+                operand: pathOp(attr),
+            });
+        }
+    }
+    if (input.attributeNotExists) {
+        const attrs = Array.isArray(input.attributeNotExists)
+            ? input.attributeNotExists
+            : [input.attributeNotExists];
+        for (const attr of attrs) {
+            exprs.push({
+                [ExprTag]: ExprTag,
+                _tag: "notExists",
+                operand: pathOp(attr),
+            });
+        }
+    }
+    if (exprs.length === 0)
+        return { [ExprTag]: ExprTag, _tag: "and", exprs: [] };
+    if (exprs.length === 1)
+        return exprs[0];
+    return { [ExprTag]: ExprTag, _tag: "and", exprs };
+};
+/**
+ * Parse a simple shorthand object into an Expr. Each key-value pair becomes
+ * an equality comparison, ANDed together.
+ */
+export const parseSimpleShorthand = (input) => {
+    const exprs = [];
+    for (const [attr, val] of Object.entries(input)) {
+        if (val === undefined)
+            continue;
+        exprs.push({
+            [ExprTag]: ExprTag,
+            _tag: "eq",
+            left: { _tag: "path", segments: [attr] },
+            right: { _tag: "value", value: val },
+        });
+    }
+    if (exprs.length === 0)
+        return { [ExprTag]: ExprTag, _tag: "and", exprs: [] };
+    if (exprs.length === 1)
+        return exprs[0];
+    return { [ExprTag]: ExprTag, _tag: "and", exprs };
+};
+//# sourceMappingURL=Expr.js.map

package/dist/internal/Expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Expr.js","sourceRoot":"","sources":["../../src/internal/Expr.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,WAAW,EAAa,OAAO,EAAoB,MAAM,kBAAkB,CAAA;AAWpF,8DAA8D;AAC9D,MAAM,SAAS,GAAG,CAAC,CAAU,EAAW,EAAE;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YACjB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAG,CAAU,CAAC,QAAQ,EAAE,CAAA;QACzD,CAAC;QACD,IAAI,MAAM,IAAI,CAAC,IAAK,CAAsB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAG,CAAiB,CAAC,QAAQ,EAAE,CAAA;QAChE,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;AACpC,CAAC,CAAA;AAED,8EAA8E;AAC9E,iDAAiD;AACjD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,OAAO,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;AAyFxE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAa,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,CAAA;AA6BpG;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAA+B,EAAE,CAAC,CAAC;IACnE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACrB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACrB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;QAC3B,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC;QACnB,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;KACtB,CAAC;IACF,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC1B,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;QAC3B,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;KACxC,CAAC;IACF,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACpB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;KAC5B,CAAC;IACF,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACvB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;KAC5B,CAAC;IACF,aAAa,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjC,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;QAC3B,aAAa,EAAE,IAAI;KACpB,CAAC;IACF,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;QAC3B,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7B,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;QAC3B,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;KACxB,CAAC;IACF,GAAG,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;QAClB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,KAAK;QACX,KAAK;KACN,CAAC;IACF,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;QACjB,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,IAAI;QACV,KAAK;KACN,CAAC;IACF,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,CAAC,OAAO,CAAC,EAAE,OAAO;QAClB,IAAI,EAAE,KAAK;QACX,IAAI;KACL,CAAC;CACH,CAAC,CAAA;AAEF,8EAA8E;AAC9E,8DAA8D;AAC9D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC,OAAO,CAAC,EAAE,OAAO;IAClB,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;CACxB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC,OAAO,CAAC,EAAE,OAAO;IAClB,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;CACxB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,KAA0B,EAAQ,EAAE,CAAC,CAAC;IAC3D,CAAC,OAAO,CAAC,EAAE,OAAO;IAClB,IAAI,EAAE,KAAK;IACX,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,KAA0B,EAAQ,EAAE,CAAC,CAAC;IAC1D,CAAC,OAAO,CAAC,EAAE,OAAO;IAClB,IAAI,EAAE,IAAI;IACV,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAU,EAAQ,EAAE,CAAC,CAAC;IACxC,CAAC,OAAO,CAAC,EAAE,OAAO;IAClB,IAAI,EAAE,KAAK;IACX,IAAI;CACL,CAAC,CAAA;AAYF;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAU,EACV,aAAwC,EACzB,EAAE;IACjB,MAAM,KAAK,GAAsC,EAAE,CAAA;IACnD,MAAM,MAAM,GAA8C,EAAE,CAAA;IAC5D,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAE5B,MAAM,cAAc,GAAG,CAAC,EAAW,EAAU,EAAE;QAC7C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,MAAM;gBACT,OAAO,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,CAAC,CAAA;YACrE,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,GAAG,GAAG,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,CAAA;gBAClC,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;gBACxC,OAAO,GAAG,CAAA;YACZ,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,QAAQ,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,aAAa,CAAC,GAAG,CAAA;QAClF,CAAC;IACH,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,CAAC,IAAU,EAAU,EAAE;QACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC;YACX,KAAK,IAAI,CAAC;YACV,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,GAAG,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAW,CAAA;gBAClF,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;YACvF,CAAC;YACD,KAAK,SAAS;gBACZ,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;YAC/G,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACvD,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAA;YACvD,CAAC;YACD,KAAK,QAAQ;gBACX,OAAO,oBAAoB,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAA;YAC5D,KAAK,WAAW;gBACd,OAAO,wBAAwB,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAA;YAChE,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;gBAC5C,MAAM,OAAO,GAAG,KAAK,OAAO,CAAC,KAAK,EAAE,EAAE,CAAA;gBACtC,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBACtD,OAAO,kBAAkB,OAAO,KAAK,OAAO,GAAG,CAAA;YACjD,CAAC;YACD,KAAK,YAAY;gBACf,OAAO,eAAe,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAA;YACvF,KAAK,UAAU;gBACb,OAAO,YAAY,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;YACnF,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,CAAA;gBACtC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAA;gBAC3D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC/D,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,EAAE,CAAA;gBACtC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAA;gBAC3D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAC9D,CAAC;YACD,KAAK,KAAK;gBACR,OAAO,QAAQ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;QACxC,CAAC;IACH,CAAC,CAAA;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AACrD,CAAC,CAAA;AAED,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAqB,EAAQ,EAAE;IAC5D,MAAM,KAAK,GAAgB,EAAE,CAAA;IAE7B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC9E,MAAM,KAAK,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;IAEpE,MAAM,UAAU,GAAG,CACjB,GAA8C,EAC9C,KAAyC,EACzC,EAAE;QACF,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC;gBACT,CAAC,OAAO,CAAC,EAAE,OAAO;gBAClB,IAAI,EAAE,GAAG;gBACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC;aAClB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC,CAAA;IAED,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IACxC,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IACxC,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IACxC,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IACzC,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IACxC,IAAI,KAAK,CAAC,EAAE;QAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;IAEzC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,IAAI,CAAC;gBACT,CAAC,OAAO,CAAC,EAAE,OAAO;gBAClB,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;gBACrB,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;gBACf,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;aAClB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9D,KAAK,CAAC,IAAI,CAAC;gBACT,CAAC,OAAO,CAAC,EAAE,OAAO;gBAClB,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;gBACrB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;aACtB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC,eAAe;YACvB,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC;gBACT,CAAC,OAAO,CAAC,EAAE,OAAO;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;aACtB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC;YACnD,CAAC,CAAC,KAAK,CAAC,kBAAkB;YAC1B,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAA;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC;gBACT,CAAC,OAAO,CAAC,EAAE,OAAO;gBAClB,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;aACtB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAE,CAAA;IACxC,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACnD,CAAC,CAAA;AAYD;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAyB,EAAQ,EAAE;IACtE,MAAM,KAAK,GAAgB,EAAE,CAAA;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,IAAI,GAAG,KAAK,SAAS;YAAE,SAAQ;QAC/B,KAAK,CAAC,IAAI,CAAC;YACT,CAAC,OAAO,CAAC,EAAE,OAAO;YAClB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE;YACxC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE;SACrC,CAAC,CAAA;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAE,CAAA;IACxC,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;AACnD,CAAC,CAAA"}