effect-dynamodb 0.1.0

package/dist/_AggregateEdges.d.ts

@@ -0,0 +1,77 @@
+/**
+ * @internal Aggregate edge descriptor types and builders.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import type { Schema } from "effect";
+/** Structural entity type for refs — avoids import of Entity */
+export interface RefEntity {
+    readonly _tag: "Entity";
+    readonly entityType: string;
+    readonly model: Schema.Top;
+    readonly schemas: {
+        readonly recordSchema: Schema.Codec<any>;
+    };
+    /** Get an entity by key — uses `any` for structural compatibility with Entity's narrower key type */
+    readonly get: (key: any) => any;
+}
+/** A one-to-one edge: one member item per aggregate instance */
+export interface OneEdge {
+    readonly _tag: "OneEdge";
+    readonly name: string;
+    readonly entityType: string;
+    readonly entity?: RefEntity | undefined;
+    readonly discriminator?: Record<string, unknown> | undefined;
+}
+/** Configuration for a many edge */
+export interface ManyEdgeConfig {
+    readonly entityType: string;
+    readonly entity?: RefEntity | undefined;
+    readonly inputField?: string | undefined;
+    readonly edgeAttributes?: ReadonlyArray<string> | undefined;
+    readonly sk?: {
+        readonly composite: ReadonlyArray<string>;
+    } | undefined;
+    readonly assemble?: ((items: ReadonlyArray<unknown>) => unknown) | undefined;
+    readonly decompose?: ((value: unknown) => ReadonlyArray<unknown>) | undefined;
+}
+/** A one-to-many edge: multiple member items per aggregate instance */
+export interface ManyEdge {
+    readonly _tag: "ManyEdge";
+    readonly name: string;
+    readonly entityType: string;
+    readonly entity?: RefEntity | undefined;
+    readonly inputField?: string | undefined;
+    readonly edgeAttributes?: ReadonlyArray<string> | undefined;
+    readonly sk?: {
+        readonly composite: ReadonlyArray<string>;
+    } | undefined;
+    readonly assemble?: ((items: ReadonlyArray<unknown>) => unknown) | undefined;
+    readonly decompose?: ((value: unknown) => ReadonlyArray<unknown>) | undefined;
+}
+/** A ref edge: no decomposition, hydrates via entity, data stays inline */
+export interface RefEdge {
+    readonly _tag: "RefEdge";
+    readonly entity: RefEntity;
+}
+/** Union of edge types */
+export type AggregateEdge = OneEdge | ManyEdge | RefEdge;
+/** Create a one-to-one edge descriptor */
+export declare const one: (name: string, config: {
+    readonly entityType: string;
+    readonly entity?: RefEntity;
+    readonly discriminator?: Record<string, unknown>;
+}) => OneEdge;
+/** Create a one-to-many edge descriptor */
+export declare function many<const IF extends string>(name: string, config: ManyEdgeConfig & {
+    readonly inputField: IF;
+}): ManyEdge & {
+    readonly inputField: IF;
+};
+export declare function many(name: string, config: ManyEdgeConfig): ManyEdge;
+/** Create a ref edge descriptor — no decomposition, hydrates via entity, data stays inline */
+export declare const ref: (entity: RefEntity) => RefEdge;
+export declare const isOneEdge: (edge: AggregateEdge) => edge is OneEdge;
+export declare const isManyEdge: (edge: AggregateEdge) => edge is ManyEdge;
+export declare const isRefEdge: (edge: AggregateEdge) => edge is RefEdge;
+//# sourceMappingURL=_AggregateEdges.d.ts.map

package/dist/_AggregateEdges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateEdges.d.ts","sourceRoot":"","sources":["../src/_AggregateEdges.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAMpC,gEAAgE;AAChE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;KACzC,CAAA;IACD,qGAAqG;IACrG,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAA;CAChC;AAMD,gEAAgE;AAChE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAA;CAC7D;AAED,oCAAoC;AACpC,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IAC3D,QAAQ,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,GAAG,SAAS,CAAA;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,GAAG,SAAS,CAAA;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAA;CAC9E;AAED,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,SAAS,CAAA;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACxC,QAAQ,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IAC3D,QAAQ,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,GAAG,SAAS,CAAA;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,GAAG,SAAS,CAAA;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG,SAAS,CAAA;CAC9E;AAED,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC3B;AAED,0BAA0B;AAC1B,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAA;AAMxD,0CAA0C;AAC1C,eAAO,MAAM,GAAG,GACd,MAAM,MAAM,EACZ,QAAQ;IACN,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;IAC3B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjD,KACA,OAMD,CAAA;AAEF,2CAA2C;AAC3C,wBAAgB,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAC1C,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,cAAc,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAA;CAAE,GACnD,QAAQ,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAA;CAAE,CAAA;AACzC,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,QAAQ,CAAA;AAepE,8FAA8F;AAC9F,eAAO,MAAM,GAAG,GAAI,QAAQ,SAAS,KAAG,OAGtC,CAAA;AAMF,eAAO,MAAM,SAAS,GAAI,MAAM,aAAa,KAAG,IAAI,IAAI,OAAkC,CAAA;AAC1F,eAAO,MAAM,UAAU,GAAI,MAAM,aAAa,KAAG,IAAI,IAAI,QAAoC,CAAA;AAC7F,eAAO,MAAM,SAAS,GAAI,MAAM,aAAa,KAAG,IAAI,IAAI,OAAkC,CAAA"}

package/dist/_AggregateEdges.js

@@ -0,0 +1,41 @@
+/**
+ * @internal Aggregate edge descriptor types and builders.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+// ---------------------------------------------------------------------------
+// Edge builders
+// ---------------------------------------------------------------------------
+/** Create a one-to-one edge descriptor */
+export const one = (name, config) => ({
+    _tag: "OneEdge",
+    name,
+    entityType: config.entityType,
+    entity: config.entity,
+    discriminator: config.discriminator,
+});
+export function many(name, config) {
+    return {
+        _tag: "ManyEdge",
+        name,
+        entityType: config.entityType,
+        entity: config.entity,
+        inputField: config.inputField,
+        edgeAttributes: config.edgeAttributes,
+        sk: config.sk,
+        assemble: config.assemble,
+        decompose: config.decompose,
+    };
+}
+/** Create a ref edge descriptor — no decomposition, hydrates via entity, data stays inline */
+export const ref = (entity) => ({
+    _tag: "RefEdge",
+    entity,
+});
+// ---------------------------------------------------------------------------
+// Type guards
+// ---------------------------------------------------------------------------
+export const isOneEdge = (edge) => edge._tag === "OneEdge";
+export const isManyEdge = (edge) => edge._tag === "ManyEdge";
+export const isRefEdge = (edge) => edge._tag === "RefEdge";
+//# sourceMappingURL=_AggregateEdges.js.map

package/dist/_AggregateEdges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateEdges.js","sourceRoot":"","sources":["../src/_AggregateEdges.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAkEH,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,0CAA0C;AAC1C,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,IAAY,EACZ,MAIC,EACQ,EAAE,CAAC,CAAC;IACb,IAAI,EAAE,SAAS;IACf,IAAI;IACJ,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,aAAa,EAAE,MAAM,CAAC,aAAa;CACpC,CAAC,CAAA;AAQF,MAAM,UAAU,IAAI,CAAC,IAAY,EAAE,MAAsB;IACvD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,SAAS,EAAE,MAAM,CAAC,SAAS;KAC5B,CAAA;AACH,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAiB,EAAW,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,SAAS;IACf,MAAM;CACP,CAAC,CAAA;AAEF,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAmB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAA;AAC1F,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAmB,EAAoB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAA;AAC7F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAmB,EAAmB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAA"}

package/dist/_AggregateSchemas.d.ts

@@ -0,0 +1,69 @@
+/**
+ * @internal Aggregate schema derivation — input and update schema building.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import { Schema } from "effect";
+import type { AggregateEdge, RefEntity } from "./_AggregateEdges.js";
+import type { BoundSubAggregate } from "./_AggregateTypes.js";
+/**
+ * Derive an input schema from an aggregate definition.
+ *
+ * Edge-driven: walks edges to determine field transformations.
+ * - OneEdge / RefEdge fields → `${field}Id: Schema.String`
+ * - Sub-aggregate edges are recursed
+ * - Many-edge array elements are recursed for ref replacement
+ * - PK composite fields are omitted (auto-generated)
+ * - `Schema.toCodecJson` is applied at the end so Date fields accept ISO strings
+ */
+export interface DerivedAggregateSchemas {
+    readonly inputSchema: Schema.Top;
+    readonly updateSchema: Schema.Top;
+}
+export declare const deriveAggregateSchemas: (schema: Schema.Top, edges: Record<string, AggregateEdge | BoundSubAggregate<any>>, pkComposites: ReadonlyArray<string>) => DerivedAggregateSchemas;
+/**
+ * Check if a field schema represents an optional field.
+ * In Effect v4, Schema.optionalKey(X) sets `ast.context.isOptional = true`.
+ */
+export declare const isFieldOptional: (fieldSchema: Schema.Top) => boolean;
+/**
+ * Derive a field name from an entity's model identifier.
+ * E.g., entity with model identifier "Umpire" → "umpire" (lowercase first letter).
+ */
+export declare const deriveEntityFieldName: (entity: RefEntity) => string;
+/**
+ * Derive input schema for a many-edge array element.
+ * Extracts the element type from the field schema (which may be an Array
+ * or optional(Array)). If the element IS the entity (matches the entity model),
+ * transforms to Schema.String. Otherwise, finds the entity-derived field within
+ * the element and transforms it.
+ */
+export declare const deriveElementInputSchema: (arrayFieldSchema: Schema.Top, entity?: RefEntity) => Schema.Top | undefined;
+/**
+ * Unwrap a ConfiguredModel to get the raw Schema.Class model.
+ * ConfiguredModel wraps the original model with DynamoDB-specific overrides
+ * (field renaming, storage encoding) and has shape { model: M, attributes: ... }.
+ */
+export declare const unwrapModel: (model: Schema.Top) => Schema.Top;
+/**
+ * Check if a schema matches an entity model (same Schema.Class identifier).
+ * This is used to detect when an array element IS the entity (e.g., Array<Umpire>),
+ * as opposed to wrapping the entity (e.g., Array<{ umpire: Umpire, role: string }>).
+ * Unwraps ConfiguredModel if the entity uses DynamoModel.configure.
+ */
+export declare const isSchemaMatchingEntity: (schema: Schema.Top, entity: RefEntity) => boolean;
+/**
+ * Extract the element schema from a field that is Schema.Array(T) or
+ * Schema.optionalKey(Schema.Array(T)). Returns T.
+ *
+ * In Effect v4:
+ * - Schema.Array(T) has `ast._tag === "Arrays"`, `.schema === T`
+ * - Schema.optionalKey(Schema.Array(T)) inherits "Arrays" AST but `.schema === Array(T)`
+ *   (the inner array, not the element). Its AST has `context.isOptional === true`.
+ */
+export declare const extractArrayElement: (fieldSchema: Schema.Top) => Schema.Top | undefined;
+/**
+ * Access .fields on a Schema.Class or Schema.Struct.
+ */
+export declare const getSchemaFields: (schema: Schema.Top) => Record<string, Schema.Top> | undefined;
+//# sourceMappingURL=_AggregateSchemas.d.ts.map

package/dist/_AggregateSchemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateSchemas.d.ts","sourceRoot":"","sources":["../src/_AggregateSchemas.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAY,SAAS,EAAE,MAAM,sBAAsB,CAAA;AAC9E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAM7D;;;;;;;;;GASG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAA;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAA;CAClC;AAED,eAAO,MAAM,sBAAsB,GACjC,QAAQ,MAAM,CAAC,GAAG,EAClB,OAAO,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,EAC7D,cAAc,aAAa,CAAC,MAAM,CAAC,KAClC,uBAsDF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,aAAa,MAAM,CAAC,GAAG,KAAG,OAKzD,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,SAAS,KAAG,MAKzD,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,GACnC,kBAAkB,MAAM,CAAC,GAAG,EAC5B,SAAS,SAAS,KACjB,MAAM,CAAC,GAAG,GAAG,SAkCf,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM,CAAC,GAAG,KAAG,MAAM,CAAC,GAQtD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GAAI,QAAQ,MAAM,CAAC,GAAG,EAAE,QAAQ,SAAS,KAAG,OAQ9E,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,mBAAmB,GAAI,aAAa,MAAM,CAAC,GAAG,KAAG,MAAM,CAAC,GAAG,GAAG,SA+B1E,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,CAAC,GAAG,KAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,SAKjF,CAAA"}

package/dist/_AggregateSchemas.js

@@ -0,0 +1,194 @@
+/**
+ * @internal Aggregate schema derivation — input and update schema building.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import { Schema } from "effect";
+export const deriveAggregateSchemas = (schema, edges, pkComposites) => {
+    const fields = getSchemaFields(schema);
+    if (!fields)
+        return { inputSchema: schema, updateSchema: schema };
+    const omit = new Set(pkComposites);
+    const newFields = {};
+    for (const [name, fieldSchema] of Object.entries(fields)) {
+        if (omit.has(name))
+            continue;
+        const edge = edges[name];
+        if (edge && "_tag" in edge) {
+            const isOpt = isFieldOptional(fieldSchema);
+            if (edge._tag === "RefEdge" || edge._tag === "OneEdge") {
+                // RefEdge / OneEdge → ${name}Id: Schema.String
+                newFields[`${name}Id`] = isOpt ? Schema.optionalKey(Schema.String) : Schema.String;
+            }
+            else if (edge._tag === "BoundSubAggregate") {
+                const sub = edge.aggregate;
+                const subSchemas = deriveAggregateSchemas(sub.schema, sub.edges, []);
+                newFields[name] = isOpt
+                    ? Schema.optionalKey(subSchemas.inputSchema)
+                    : subSchemas.inputSchema;
+            }
+            else if (edge._tag === "ManyEdge") {
+                const manyEdge = edge;
+                const fieldKey = manyEdge.inputField ?? name;
+                const elemSchema = deriveElementInputSchema(fieldSchema, manyEdge.entity);
+                if (elemSchema) {
+                    newFields[fieldKey] = isOpt
+                        ? Schema.optionalKey(Schema.Array(elemSchema))
+                        : Schema.Array(elemSchema);
+                }
+                else {
+                    newFields[fieldKey] = fieldSchema;
+                }
+            }
+            continue;
+        }
+        // Regular field → keep as-is (toCodecJson applied at the end handles Date)
+        newFields[name] = fieldSchema;
+    }
+    const inputSchema = Schema.toCodecJson(Schema.Struct(newFields));
+    // Update schema: all fields optional
+    const optionalFields = {};
+    for (const [name, fieldSchema] of Object.entries(newFields)) {
+        optionalFields[name] = isFieldOptional(fieldSchema)
+            ? fieldSchema
+            : Schema.optional(fieldSchema);
+    }
+    const updateSchema = Schema.toCodecJson(Schema.Struct(optionalFields));
+    return { inputSchema, updateSchema };
+};
+/**
+ * Check if a field schema represents an optional field.
+ * In Effect v4, Schema.optionalKey(X) sets `ast.context.isOptional = true`.
+ */
+export const isFieldOptional = (fieldSchema) => {
+    const ast = fieldSchema.ast;
+    return ast?.context?.isOptional === true;
+};
+/**
+ * Derive a field name from an entity's model identifier.
+ * E.g., entity with model identifier "Umpire" → "umpire" (lowercase first letter).
+ */
+export const deriveEntityFieldName = (entity) => {
+    const s = entity.model;
+    const identifier = "identifier" in s && typeof s.identifier === "string" ? s.identifier : entity.entityType;
+    return identifier.charAt(0).toLowerCase() + identifier.slice(1);
+};
+/**
+ * Derive input schema for a many-edge array element.
+ * Extracts the element type from the field schema (which may be an Array
+ * or optional(Array)). If the element IS the entity (matches the entity model),
+ * transforms to Schema.String. Otherwise, finds the entity-derived field within
+ * the element and transforms it.
+ */
+export const deriveElementInputSchema = (arrayFieldSchema, entity) => {
+    const elemSchema = extractArrayElement(arrayFieldSchema);
+    if (!elemSchema)
+        return undefined;
+    const elemFields = getSchemaFields(elemSchema);
+    // Check if the element itself IS the entity model (e.g., Array<Umpire>)
+    if (entity && elemFields && isSchemaMatchingEntity(elemSchema, entity)) {
+        // Element IS the entity → array of IDs (Schema.String)
+        return Schema.String;
+    }
+    if (!elemFields)
+        return elemSchema;
+    // Element wraps entity + attributes — find the entity-derived field and transform it
+    if (entity) {
+        const entityFieldName = deriveEntityFieldName(entity);
+        let hasChanges = false;
+        const newFields = {};
+        for (const [name, fSchema] of Object.entries(elemFields)) {
+            if (name === entityFieldName) {
+                // This field references the entity — transform to ${name}Id: Schema.String
+                const isOpt = isFieldOptional(fSchema);
+                newFields[`${name}Id`] = isOpt ? Schema.optionalKey(Schema.String) : Schema.String;
+                hasChanges = true;
+            }
+            else {
+                newFields[name] = fSchema;
+            }
+        }
+        if (!hasChanges)
+            return elemSchema;
+        return Schema.Struct(newFields);
+    }
+    return elemSchema;
+};
+/**
+ * Unwrap a ConfiguredModel to get the raw Schema.Class model.
+ * ConfiguredModel wraps the original model with DynamoDB-specific overrides
+ * (field renaming, storage encoding) and has shape { model: M, attributes: ... }.
+ */
+export const unwrapModel = (model) => {
+    const m = model;
+    // Check for ConfiguredModel tag (Symbol.for("effect-dynamodb/ConfiguredModel"))
+    const tag = Symbol.for("effect-dynamodb/ConfiguredModel");
+    if (m[tag] === true && "model" in m) {
+        return m.model;
+    }
+    return model;
+};
+/**
+ * Check if a schema matches an entity model (same Schema.Class identifier).
+ * This is used to detect when an array element IS the entity (e.g., Array<Umpire>),
+ * as opposed to wrapping the entity (e.g., Array<{ umpire: Umpire, role: string }>).
+ * Unwraps ConfiguredModel if the entity uses DynamoModel.configure.
+ */
+export const isSchemaMatchingEntity = (schema, entity) => {
+    const s = schema;
+    const entityModel = unwrapModel(entity.model);
+    // Compare Schema.Class identifiers
+    if ("identifier" in s && "identifier" in entityModel) {
+        return s.identifier === entityModel.identifier;
+    }
+    return false;
+};
+/**
+ * Extract the element schema from a field that is Schema.Array(T) or
+ * Schema.optionalKey(Schema.Array(T)). Returns T.
+ *
+ * In Effect v4:
+ * - Schema.Array(T) has `ast._tag === "Arrays"`, `.schema === T`
+ * - Schema.optionalKey(Schema.Array(T)) inherits "Arrays" AST but `.schema === Array(T)`
+ *   (the inner array, not the element). Its AST has `context.isOptional === true`.
+ */
+export const extractArrayElement = (fieldSchema) => {
+    const s = fieldSchema;
+    const ast = s.ast;
+    if (ast?._tag === "Arrays" && "schema" in s) {
+        if (ast.context?.isOptional === true) {
+            // optionalKey(Array(T)): s.schema is Array(T), s.schema.schema is T
+            const inner = s.schema;
+            if ("schema" in inner)
+                return inner.schema;
+        }
+        // Direct Array(T): s.schema is T (the element)
+        return s.schema;
+    }
+    // Schema.optional(Array(T)): ast._tag is "Union" with context.isOptional,
+    // .schema is Union with .members[0] being Schema.Array(T)
+    if (ast?._tag === "Union" && ast.context?.isOptional === true && "schema" in s) {
+        const unionSchema = s.schema;
+        const members = unionSchema?.members;
+        if (Array.isArray(members)) {
+            for (const member of members) {
+                const m = member;
+                const mAst = m.ast;
+                if (mAst?._tag === "Arrays" && "schema" in m) {
+                    return m.schema;
+                }
+            }
+        }
+    }
+    return undefined;
+};
+/**
+ * Access .fields on a Schema.Class or Schema.Struct.
+ */
+export const getSchemaFields = (schema) => {
+    if ("fields" in schema && typeof schema.fields === "object") {
+        return schema.fields;
+    }
+    return undefined;
+};
+//# sourceMappingURL=_AggregateSchemas.js.map

package/dist/_AggregateSchemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateSchemas.js","sourceRoot":"","sources":["../src/_AggregateSchemas.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAuB/B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,MAAkB,EAClB,KAA6D,EAC7D,YAAmC,EACV,EAAE;IAC3B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;IACtC,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAA;IAEjE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAA;IAClC,MAAM,SAAS,GAA4B,EAAE,CAAA;IAE7C,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAQ;QAE5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;QACxB,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,eAAe,CAAC,WAAW,CAAC,CAAA;YAE1C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvD,+CAA+C;gBAC/C,SAAS,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;YACpF,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBAC7C,MAAM,GAAG,GAAI,IAA+B,CAAC,SAAS,CAAA;gBACtD,MAAM,UAAU,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;gBACpE,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK;oBACrB,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC;oBAC5C,CAAC,CAAC,UAAU,CAAC,WAAW,CAAA;YAC5B,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACpC,MAAM,QAAQ,GAAG,IAAgB,CAAA;gBACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAA;gBAC5C,MAAM,UAAU,GAAG,wBAAwB,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;gBACzE,IAAI,UAAU,EAAE,CAAC;oBACf,SAAS,CAAC,QAAQ,CAAC,GAAG,KAAK;wBACzB,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;wBAC9C,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;gBAC9B,CAAC;qBAAM,CAAC;oBACN,SAAS,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAA;gBACnC,CAAC;YACH,CAAC;YACD,SAAQ;QACV,CAAC;QAED,2EAA2E;QAC3E,SAAS,CAAC,IAAI,CAAC,GAAG,WAAW,CAAA;IAC/B,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,SAAgB,CAAC,CAAC,CAAA;IAEvE,qCAAqC;IACrC,MAAM,cAAc,GAA4B,EAAE,CAAA;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5D,cAAc,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,WAAyB,CAAC;YAC/D,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAyB,CAAC,CAAA;IAChD,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,cAAqB,CAAC,CAAC,CAAA;IAE7E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,CAAA;AACtC,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,WAAuB,EAAW,EAAE;IAClE,MAAM,GAAG,GAAI,WAAkD,CAAC,GAEnD,CAAA;IACb,OAAO,GAAG,EAAE,OAAO,EAAE,UAAU,KAAK,IAAI,CAAA;AAC1C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAiB,EAAU,EAAE;IACjE,MAAM,CAAC,GAAG,MAAM,CAAC,KAA2C,CAAA;IAC5D,MAAM,UAAU,GACd,YAAY,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAA;IAC1F,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACjE,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,gBAA4B,EAC5B,MAAkB,EACM,EAAE;IAC1B,MAAM,UAAU,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAA;IACxD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAA;IAEjC,MAAM,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC,CAAA;IAE9C,wEAAwE;IACxE,IAAI,MAAM,IAAI,UAAU,IAAI,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QACvE,uDAAuD;QACvD,OAAO,MAAM,CAAC,MAAM,CAAA;IACtB,CAAC;IAED,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAA;IAElC,qFAAqF;IACrF,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,eAAe,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;QACrD,IAAI,UAAU,GAAG,KAAK,CAAA;QACtB,MAAM,SAAS,GAA4B,EAAE,CAAA;QAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACzD,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC7B,2EAA2E;gBAC3E,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAA;gBACtC,SAAS,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAA;gBAClF,UAAU,GAAG,IAAI,CAAA;YACnB,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;YAC3B,CAAC;QACH,CAAC;QACD,IAAI,CAAC,UAAU;YAAE,OAAO,UAAU,CAAA;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC,SAAgB,CAAC,CAAA;IACxC,CAAC;IAED,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAiB,EAAc,EAAE;IAC3D,MAAM,CAAC,GAAG,KAAoD,CAAA;IAC9D,gFAAgF;IAChF,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAA;IACzD,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,CAAC,KAAmB,CAAA;IAC9B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAkB,EAAE,MAAiB,EAAW,EAAE;IACvF,MAAM,CAAC,GAAG,MAA4C,CAAA;IACtD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAuC,CAAA;IACnF,mCAAmC;IACnC,IAAI,YAAY,IAAI,CAAC,IAAI,YAAY,IAAI,WAAW,EAAE,CAAC;QACrD,OAAO,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,UAAU,CAAA;IAChD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,WAAuB,EAA0B,EAAE;IACrF,MAAM,CAAC,GAAG,WAAiD,CAAA;IAC3D,MAAM,GAAG,GAAG,CAAC,CAAC,GAAwE,CAAA;IAEtF,IAAI,GAAG,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC5C,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,EAAE,CAAC;YACrC,oEAAoE;YACpE,MAAM,KAAK,GAAG,CAAC,CAAC,MAA4C,CAAA;YAC5D,IAAI,QAAQ,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC,MAAoB,CAAA;QAC1D,CAAC;QACD,+CAA+C;QAC/C,OAAO,CAAC,CAAC,MAAoB,CAAA;IAC/B,CAAC;IAED,0EAA0E;IAC1E,0DAA0D;IAC1D,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,KAAK,IAAI,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,WAAW,GAAG,CAAC,CAAC,MAA4C,CAAA;QAClE,MAAM,OAAO,GAAG,WAAW,EAAE,OAAgC,CAAA;QAC7D,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,MAAiC,CAAA;gBAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAoC,CAAA;gBACnD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;oBAC7C,OAAO,CAAC,CAAC,MAAoB,CAAA;gBAC/B,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAkB,EAA0C,EAAE;IAC5F,IAAI,QAAQ,IAAI,MAAM,IAAI,OAAQ,MAAkC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACzF,OAAQ,MAA4D,CAAC,MAAM,CAAA;IAC7E,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/_AggregateTypes.d.ts

@@ -0,0 +1,94 @@
+/**
+ * @internal Aggregate type-level computations — derived types for Aggregate operations.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import type { Schema } from "effect";
+import type { DiscriminatorConfig, UpdateContext } from "./_AggregateCursor.js";
+import type { AggregateEdge, ManyEdge, OneEdge, RefEdge } from "./_AggregateEdges.js";
+/**
+ * A composable sub-aggregate definition — a graph shape that can be embedded
+ * in a parent aggregate via `.with()`.
+ */
+export interface SubAggregate<TSchema extends Schema.Top, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>> = Record<string, AggregateEdge | BoundSubAggregate<any, any>>> {
+    readonly _tag: "SubAggregate";
+    readonly schema: TSchema;
+    readonly root: {
+        readonly entityType: string;
+    };
+    readonly edges: TEdges;
+    /** Bind with discriminator values to distinguish multiple embeddings */
+    readonly with: (config: DiscriminatorConfig) => BoundSubAggregate<TSchema, TEdges>;
+}
+/**
+ * A sub-aggregate bound with discriminator values, ready to embed in a parent.
+ */
+export interface BoundSubAggregate<TSchema extends Schema.Top, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>> = Record<string, AggregateEdge | BoundSubAggregate<any, any>>> {
+    readonly _tag: "BoundSubAggregate";
+    readonly aggregate: SubAggregate<TSchema, TEdges>;
+    readonly discriminator: Record<string, unknown>;
+}
+/** Extract the domain type from an Aggregate */
+export type Type<T> = T extends {
+    readonly schema: infer S extends Schema.Top;
+} ? Schema.Schema.Type<S> : never;
+/** Extract the key type from an Aggregate */
+export type Key<T> = T extends {
+    readonly get: (key: infer K) => any;
+} ? K : never;
+/** Extract the input type from an Aggregate */
+export type Input<T> = T extends {
+    readonly inputSchema: Schema.Codec<infer I>;
+} ? I : never;
+/** Extract the update mutation function type from an Aggregate */
+export type UpdateFn<T> = T extends {
+    readonly schema: infer S extends Schema.Top;
+} ? (context: UpdateContext<S["Iso"], Schema.Schema.Type<S>>) => Schema.Schema.Type<S> | S["Iso"] : never;
+/**
+ * Compute the aggregate input type from the domain model, edges, and PK composites.
+ *
+ * - OneEdge / RefEdge fields → `${field}Id: string`
+ * - BoundSubAggregate fields → recursed
+ * - ManyEdge fields → array elements recursed for ref replacement
+ * - PK composites → omitted
+ * - Everything else → kept as-is
+ */
+export type AggregateInputType<TModel, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>>, TPK extends ReadonlyArray<string>> = _Simplify<{
+    readonly [K in keyof TModel as K extends keyof TEdges ? never : K extends TPK[number] ? never : K]: _StripUndefined<TModel[K]>;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends OneEdge | RefEdge ? _IsOptionalIn<TModel, K> extends true ? never : `${K & string}Id` : never]: string;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends OneEdge | RefEdge ? _IsOptionalIn<TModel, K> extends true ? `${K & string}Id` : never : never]?: string;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends BoundSubAggregate<any, any> ? _IsOptionalIn<TModel, K> extends true ? never : K : never]: TEdges[K] extends BoundSubAggregate<infer S, infer E> ? AggregateInputType<Schema.Schema.Type<S>, E, []> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends BoundSubAggregate<any, any> ? _IsOptionalIn<TModel, K> extends true ? K : never : never]?: TEdges[K] extends BoundSubAggregate<infer S, infer E> ? AggregateInputType<Schema.Schema.Type<S>, E, []> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends ManyEdge ? _IsOptionalIn<TModel, K> extends true ? never : TEdges[K] extends {
+        readonly inputField: infer IF extends string;
+    } ? IF : K : never]: K extends keyof TModel ? _TransformManyEdge<TModel[K]> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends ManyEdge ? _IsOptionalIn<TModel, K> extends true ? TEdges[K] extends {
+        readonly inputField: infer IF extends string;
+    } ? IF : K : never : never]?: K extends keyof TModel ? _TransformManyEdge<TModel[K]> : never;
+}>;
+/** Detect ref-like types: objects with an `id: string` property (Schema.Class entities) */
+type _IsRefLike<T> = T extends {
+    readonly id: string;
+} ? string extends keyof T ? false : true : false;
+/** Transform an object's ref-like fields to `${field}Id: string` */
+type _RefFieldsToIds<T> = _Simplify<{
+    readonly [K in keyof T as _IsRefLike<T[K]> extends true ? `${K & string}Id` : K]: _IsRefLike<T[K]> extends true ? string : T[K];
+}>;
+/** Distribute over unions (e.g., ReadonlyArray<T> | undefined) to transform array elements */
+type _TransformManyEdge<T> = T extends ReadonlyArray<infer E> ? _IsRefLike<E> extends true ? ReadonlyArray<string> : ReadonlyArray<_RefFieldsToIds<E>> : T;
+/** Check if key K is an optional property of T */
+type _IsOptionalIn<T, K> = K extends keyof T ? ({} extends Pick<T, K> ? true : false) : false;
+/** Strip `undefined` from optional field value types — the `?` modifier already expresses optionality */
+type _StripUndefined<T> = undefined extends T ? Exclude<T, undefined> : T;
+/** Flatten intersection types — `extends infer O` breaks the alias chain for eager IDE expansion */
+type _Simplify<T> = T extends infer O ? {
+    [K in keyof O]: O[K];
+} : never;
+export {};
+//# sourceMappingURL=_AggregateTypes.d.ts.map

package/dist/_AggregateTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_AggregateTypes.d.ts","sourceRoot":"","sources":["../src/_AggregateTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAMrF;;;GAGG;AACH,MAAM,WAAW,YAAY,CAC3B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,mBAAmB,KAAK,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CACnF;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAChC,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAChD;AAMD,gDAAgD;AAChD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAA;CAAE,GAC3E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GACrB,KAAK,CAAA;AAET,6CAA6C;AAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,GAAG,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAElF,+CAA+C;AAC/C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5F,kEAAkE;AAClE,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAA;CAAE,GAC/E,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAC7F,KAAK,CAAA;AAMT;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,CAC5B,MAAM,EACN,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAC1E,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,IAC/B,SAAS,CAEX;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,CAAC,SAAS,MAAM,MAAM,GACjD,KAAK,GACL,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,GACnB,KAAK,GACL,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACrC,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,GAC9D,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,GAAG,CAAC,GAAG,MAAM,IAAI,GACnB,KAAK,GAAG,MAAM;CACnB,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,GAC9D,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,GAAG,CAAC,GAAG,MAAM,IAAI,GACjB,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,MAAM;CACpB,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,CAAC,GACH,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC7D,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChD,KAAK;CACV,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,CAAC,GACD,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC9D,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChD,KAAK;CACV,GAAG;IAGF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrD,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,MAAM,CAAA;KAAE,GAChE,EAAE,GACF,CAAC,GACL,KAAK,GAAG,CAAC,SAAS,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC3E,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,QAAQ,GACrD,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,MAAM,CAAA;KAAE,GAChE,EAAE,GACF,CAAC,GACH,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC5E,CACF,CAAA;AAED,2FAA2F;AAC3F,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAClD,MAAM,SAAS,MAAM,CAAC,GACpB,KAAK,GACL,IAAI,GACN,KAAK,CAAA;AAET,oEAAoE;AACpE,KAAK,eAAe,CAAC,CAAC,IAAI,SAAS,CAAC;IAClC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,GAAG,UAAU,CAC1F,CAAC,CAAC,CAAC,CAAC,CACL,SAAS,IAAI,GACV,MAAM,GACN,CAAC,CAAC,CAAC,CAAC;CACT,CAAC,CAAA;AAEF,8FAA8F;AAC9F,KAAK,kBAAkB,CAAC,CAAC,IACvB,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC5B,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,aAAa,CAAC,MAAM,CAAC,GACrB,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GACnC,CAAC,CAAA;AAEP,kDAAkD;AAClD,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;AAE7F,yGAAyG;AACzG,KAAK,eAAe,CAAC,CAAC,IAAI,SAAS,SAAS,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAA;AAEzE,oGAAoG;AACpG,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,KAAK,CAAA"}

package/dist/_AggregateTypes.js

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

package/dist/_AggregateTypes.js.map

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