@shivaedev/effect-prisma 0.4.1 → 0.4.2

package/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 ## Unreleased
 
+## 0.4.2 - 2026-08-03
+
+### Fixed
+
+- Provide a contract-normalization command that corrects Prisma Next's
+  PostgreSQL timestamp declarations without recursively expanding large client
+  types.
+
 ## 0.4.1 - 2026-08-03
 
 ### Fixed

package/README.md

@@ -15,6 +15,16 @@ pnpm add @shivaedev/effect-prisma effect
 Generate a Prisma Next contract in the application, then create its database
 service:
 
+```sh
+prisma-next contract emit
+effect-prisma-normalize path/to/generated/contract.d.ts
+```
+
+The normalization step is idempotent and currently required because Prisma
+Next's generated PostgreSQL timestamp output declarations do not match its
+runtime `Date` codecs. It fails when Prisma emits an unfamiliar timestamp shape
+instead of silently producing weakened types.
+
 ```ts
 import { makeDatabase } from "@shivaedev/effect-prisma"
 import { contractJson, type Contract } from "./generated/contract.js"
@@ -96,9 +106,8 @@ create/update/delete terminals. Model variants are deliberately deferred rather
 than exposed with weakened types.
 
 PostgreSQL timestamp and timestamp-with-time-zone fields use JavaScript `Date`
-values for reads, writes, filters, selections, includes, and Streams. The facade
-normalizes Prisma Next's current branded-string contract declarations to the
-`Date` values its runtime codecs actually accept and return.
+values for reads, writes, filters, selections, includes, and Streams after the
+generated contract is normalized.
 
 ## Transactions
 

package/dist/bin/normalize-contract.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=normalize-contract.d.ts.map

package/dist/bin/normalize-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-contract.d.ts","sourceRoot":"","sources":["../../src/bin/normalize-contract.ts"],"names":[],"mappings":""}

package/dist/bin/normalize-contract.js

@@ -0,0 +1,14 @@
+#!/usr/bin/env node
+import { readFile, writeFile } from "node:fs/promises";
+import { normalizePrismaNextContractTypes } from "../internal/contract-normalization.js";
+const arguments_ = process.argv.slice(2);
+if (arguments_.length !== 1 || arguments_[0] === undefined) {
+    throw new Error("Usage: effect-prisma-normalize <generated-contract.d.ts>");
+}
+const contractPath = arguments_[0];
+const source = await readFile(contractPath, "utf8");
+const normalized = normalizePrismaNextContractTypes(source);
+if (normalized !== source) {
+    await writeFile(contractPath, normalized);
+}
+//# sourceMappingURL=normalize-contract.js.map

package/dist/bin/normalize-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-contract.js","sourceRoot":"","sources":["../../src/bin/normalize-contract.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,uCAAuC,CAAC;AAEzF,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACzC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;IAC5D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,YAAY,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AACpD,MAAM,UAAU,GAAG,gCAAgC,CAAC,MAAM,CAAC,CAAC;AAE5D,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;IAC3B,MAAM,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;AAC3C,CAAC"}

package/dist/internal/contract-normalization.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Align Prisma Next's generated PostgreSQL timestamp declarations with the
+ * JavaScript Dates accepted and returned by its runtime codecs.
+ */
+export declare const normalizePrismaNextContractTypes: (source: string) => string;
+//# sourceMappingURL=contract-normalization.d.ts.map

package/dist/internal/contract-normalization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-normalization.d.ts","sourceRoot":"","sources":["../../src/internal/contract-normalization.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,gCAAgC,GAAI,QAAQ,MAAM,KAAG,MAUjE,CAAC"}

package/dist/internal/contract-normalization.js

@@ -0,0 +1,14 @@
+const timestampReference = /\b(?:Timestamp|Timestamptz)<(?:\d+|undefined)>/g;
+const unsupportedTimestampReference = /\b(?:Timestamp|Timestamptz)\s*</;
+/**
+ * Align Prisma Next's generated PostgreSQL timestamp declarations with the
+ * JavaScript Dates accepted and returned by its runtime codecs.
+ */
+export const normalizePrismaNextContractTypes = (source) => {
+    const normalized = source.replaceAll(timestampReference, "Date");
+    if (unsupportedTimestampReference.test(normalized)) {
+        throw new Error("Unsupported Prisma Next timestamp declaration; update effect-prisma before using this generated contract");
+    }
+    return normalized;
+};
+//# sourceMappingURL=contract-normalization.js.map

package/dist/internal/contract-normalization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-normalization.js","sourceRoot":"","sources":["../../src/internal/contract-normalization.ts"],"names":[],"mappings":"AAAA,MAAM,kBAAkB,GAAG,iDAAiD,CAAC;AAC7E,MAAM,6BAA6B,GAAG,iCAAiC,CAAC;AAExE;;;GAGG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,MAAc,EAAU,EAAE;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAEjE,IAAI,6BAA6B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CACd,0GAA0G,CAC1G,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACnB,CAAC,CAAC"}

package/dist/relation/prisma-methods.d.ts

@@ -3,7 +3,6 @@ import type { SqlStorage } from "@prisma-next/sql-contract/types";
 import type { AggregateBuilder, AggregateResult, AggregateSpec, DefaultModelRow, GroupedCollection, Collection as PrismaCollection } from "@prisma-next/sql-orm-client";
 import type { Effect, Stream } from "effect";
 import type { PrismaError } from "../error.js";
-import type { NormalizePrismaArguments, NormalizePrismaValue } from "../internal/type-normalization.js";
 import type { CollectionResult, Relation, RelationQuery } from "../relation.js";
 import type { IncludeMethod } from "./include.js";
 type AnyFunction = (...arguments_: ReadonlyArray<never>) => unknown;
@@ -12,7 +11,7 @@ type FieldTuple<Row> = readonly [keyof Row & string, ...(keyof Row & string)[]];
 type Simplify<Value> = {
     [Key in keyof Value]: Value[Key];
 };
-type TerminalMethod<Method, Requirement> = Method extends (...arguments_: infer Arguments) => PromiseLike<infer Value> ? (...arguments_: NormalizePrismaArguments<Arguments>) => Effect.Effect<NormalizePrismaValue<Awaited<Value>>, PrismaError, Requirement> : never;
+type TerminalMethod<Method, Requirement> = Method extends (...arguments_: infer Arguments) => PromiseLike<infer Value> ? (...arguments_: Arguments) => Effect.Effect<Awaited<Value>, PrismaError, Requirement> : never;
 type SelectMethod<Collection, Requirement, Contract, Model extends string> = Contract extends AnyPostgresContract ? Collection extends PrismaCollection<Contract, Model, infer _Row, infer State> ? {
     select<Fields extends FieldTuple<DefaultModelRow<Contract, Model>>>(...fields: Fields): Relation<PrismaCollection<Contract, Model, Pick<DefaultModelRow<Contract, Model>, Fields[number]>, State>, Requirement, Contract, Model>;
 } : Record<never, never> : Collection extends {
@@ -27,7 +26,7 @@ type AggregateSuccess<Collection, Contract extends AnyPostgresContract, Model ex
 type AggregateMethod<Collection, Requirement, Contract, Model extends string> = Contract extends AnyPostgresContract ? Collection extends {
     aggregate: AnyFunction;
 } ? {
-    aggregate<Spec extends AggregateSpec>(make: (aggregate: AggregateBuilder<Contract, Model>) => Spec, configure?: AggregateConfigure<Collection>): Effect.Effect<NormalizePrismaValue<AggregateSuccess<Collection, Contract, Model, Spec>>, PrismaError, Requirement>;
+    aggregate<Spec extends AggregateSpec>(make: (aggregate: AggregateBuilder<Contract, Model>) => Spec, configure?: AggregateConfigure<Collection>): Effect.Effect<AggregateSuccess<Collection, Contract, Model, Spec>, PrismaError, Requirement>;
 } : Record<never, never> : Record<never, never>;
 type CollectionMethods<Collection, Requirement, Contract, Model extends string> = Contract extends AnyPostgresContract ? Collection extends PrismaCollection<Contract, Model, infer _Row, infer State> ? {
     groupBy<Fields extends FieldTuple<DefaultModelRow<Contract, Model>>>(...fields: Fields): Relation<GroupedCollection<Contract, Model, Fields>, Requirement, Contract, Model>;
@@ -44,11 +43,11 @@ type CollectionMethods<Collection, Requirement, Contract, Model extends string>
     readonly [Key in "delete" | "deleteAll" | "deleteCount"]: TerminalMethod<Collection[Key], Requirement>;
 } : Record<never, never>) : Record<never, never> : Record<never, never>;
 type CollectionConveniences<Collection, Requirement, Contract, Model extends string> = Contract extends AnyPostgresContract ? Collection extends PrismaCollection<Contract, Model, infer Row, infer _State> ? {
-    readonly stream: Stream.Stream<NormalizePrismaValue<Row>, PrismaError, Requirement>;
+    readonly stream: Stream.Stream<Row, PrismaError, Requirement>;
     count(): RelationQuery<number, Requirement, Contract, Model>;
     exists(): Effect.Effect<boolean, PrismaError, Requirement>;
 } : Record<never, never> : CollectionResult<Collection> extends ReadonlyArray<infer Row> ? {
-    readonly stream: Stream.Stream<NormalizePrismaValue<Row>, PrismaError, Requirement>;
+    readonly stream: Stream.Stream<Row, PrismaError, Requirement>;
     count(): Effect.Effect<number, PrismaError, Requirement>;
     exists(): Effect.Effect<boolean, PrismaError, Requirement>;
 } : Record<never, never>;

package/dist/relation/prisma-methods.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prisma-methods.d.ts","sourceRoot":"","sources":["../../src/relation/prisma-methods.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,IAAI,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EACX,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,UAAU,IAAI,gBAAgB,EAC9B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EACX,wBAAwB,EACxB,oBAAoB,EACpB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,KAAK,WAAW,GAAG,CAAC,GAAG,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;AACpE,KAAK,mBAAmB,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;AACtD,KAAK,UAAU,CAAC,GAAG,IAAI,SAAS,CAAC,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;AAChF,KAAK,QAAQ,CAAC,KAAK,IAAI;KAAG,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CAAE,CAAC;AAE5D,KAAK,cAAc,CAAC,MAAM,EAAE,WAAW,IAAI,MAAM,SAAS,CACzD,GAAG,UAAU,EAAE,MAAM,SAAS,KAC1B,WAAW,CAAC,MAAM,KAAK,CAAC,GAC1B,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,SAAS,CAAC,KAC9C,MAAM,CAAC,MAAM,CACjB,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACpC,WAAW,EACX,WAAW,CACX,GACA,KAAK,CAAC;AAET,KAAK,YAAY,CAChB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,IAAI,EACV,MAAM,KAAK,CACX,GACC;IACA,MAAM,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACjE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CACV,gBAAgB,CACf,QAAQ,EACR,KAAK,EACL,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EACtD,KAAK,CACL,EACD,WAAW,EACX,QAAQ,EACR,KAAK,CACL,CAAC;CACF,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,UAAU,SAAS;IAAE,MAAM,EAAE,MAAM,MAAM,SAAS,WAAW,CAAA;CAAE,GAC9D;IACA,MAAM,EAAE,MAAM,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,SAAS,KAAK,MAAM,MAAM,GACpE,CACA,GAAG,UAAU,EAAE,SAAS,KACpB,MAAM,SAAS,MAAM,GACvB,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC9C,KAAK,GACP,KAAK,CAAC;CACT,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEzB,KAAK,kBAAkB,CAAC,UAAU,IAAI,UAAU,SAAS;IACxD,SAAS,EAAE,MAAM,MAAM,SAAS,WAAW,CAAC;CAC5C,GACE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GACzC,KAAK,CAAC;AAET,KAAK,gBAAgB,CACpB,UAAU,EACV,QAAQ,SAAS,mBAAmB,EACpC,KAAK,SAAS,MAAM,EACpB,IAAI,SAAS,aAAa,IAE1B,UAAU,SAAS,iBAAiB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CACjE,GACE,KAAK,CACL,QAAQ,CACP,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GACrD,eAAe,CAAC,IAAI,CAAC,CACtB,CACD,GACA,eAAe,CAAC,IAAI,CAAC,CAAC;AAE1B,KAAK,eAAe,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS;IAAE,SAAS,EAAE,WAAW,CAAA;CAAE,GAC5C;IACA,SAAS,CAAC,IAAI,SAAS,aAAa,EACnC,IAAI,EAAE,CAAC,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,IAAI,EAC5D,SAAS,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GACxC,MAAM,CAAC,MAAM,CACf,oBAAoB,CACnB,gBAAgB,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CACnD,EACD,WAAW,EACX,WAAW,CACX,CAAC;CACF,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAExB,KAAK,iBAAiB,CACrB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,IAAI,EACV,MAAM,KAAK,CACX,GACC;IACA,OAAO,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EAClE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CACV,iBAAiB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,EAC1C,WAAW,EACX,QAAQ,EACR,KAAK,CACL,CAAC;IACF,MAAM,CACL,MAAM,EAAE,KAAK,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,GAChD,OAAO,CACP,MAAM,CAAC,MAAM,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAChE,GACA,KAAK,GACN,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,QAAQ,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACnE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,UAAU,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACrE,GAAG,MAAM,EAAE,KAAK,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,GACnD,MAAM,GACN,KAAK,GACN,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;CACtD,GAAG,CAAC,KAAK,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GAC3C;IACA,QAAQ,EAAE,GAAG,IACV,QAAQ,GACR,WAAW,GACX,aAAa,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC;CAC/D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GACvB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAExB,KAAK,sBAAsB,CAC1B,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,GAAG,EACT,MAAM,MAAM,CACZ,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAC7B,oBAAoB,CAAC,GAAG,CAAC,EACzB,WAAW,EACX,WAAW,CACX,CAAC;IACF,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;CAC3D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,gBAAgB,CAAC,UAAU,CAAC,SAAS,aAAa,CAAC,MAAM,GAAG,CAAC,GAC5D;IACA,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAC7B,oBAAoB,CAAC,GAAG,CAAC,EACzB,WAAW,EACX,WAAW,CACX,CAAC;IACF,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;CAC3D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEzB,MAAM,MAAM,qBAAqB,CAChC,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACvD,eAAe,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,iBAAiB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC3D,sBAAsB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC"}
+{"version":3,"file":"prisma-methods.d.ts","sourceRoot":"","sources":["../../src/relation/prisma-methods.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,IAAI,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,KAAK,EACX,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,UAAU,IAAI,gBAAgB,EAC9B,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAElD,KAAK,WAAW,GAAG,CAAC,GAAG,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;AACpE,KAAK,mBAAmB,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;AACtD,KAAK,UAAU,CAAC,GAAG,IAAI,SAAS,CAAC,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;AAChF,KAAK,QAAQ,CAAC,KAAK,IAAI;KAAG,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;CAAE,CAAC;AAE5D,KAAK,cAAc,CAAC,MAAM,EAAE,WAAW,IAAI,MAAM,SAAS,CACzD,GAAG,UAAU,EAAE,MAAM,SAAS,KAC1B,WAAW,CAAC,MAAM,KAAK,CAAC,GAC1B,CACA,GAAG,UAAU,EAAE,SAAS,KACpB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,GAC3D,KAAK,CAAC;AAET,KAAK,YAAY,CAChB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,IAAI,EACV,MAAM,KAAK,CACX,GACC;IACA,MAAM,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACjE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CACV,gBAAgB,CACf,QAAQ,EACR,KAAK,EACL,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EACtD,KAAK,CACL,EACD,WAAW,EACX,QAAQ,EACR,KAAK,CACL,CAAC;CACF,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,UAAU,SAAS;IAAE,MAAM,EAAE,MAAM,MAAM,SAAS,WAAW,CAAA;CAAE,GAC9D;IACA,MAAM,EAAE,MAAM,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,SAAS,KAAK,MAAM,MAAM,GACpE,CACA,GAAG,UAAU,EAAE,SAAS,KACpB,MAAM,SAAS,MAAM,GACvB,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC9C,KAAK,GACP,KAAK,CAAC;CACT,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEzB,KAAK,kBAAkB,CAAC,UAAU,IAAI,UAAU,SAAS;IACxD,SAAS,EAAE,MAAM,MAAM,SAAS,WAAW,CAAC;CAC5C,GACE,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GACzC,KAAK,CAAC;AAET,KAAK,gBAAgB,CACpB,UAAU,EACV,QAAQ,SAAS,mBAAmB,EACpC,KAAK,SAAS,MAAM,EACpB,IAAI,SAAS,aAAa,IAE1B,UAAU,SAAS,iBAAiB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CACjE,GACE,KAAK,CACL,QAAQ,CACP,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GACrD,eAAe,CAAC,IAAI,CAAC,CACtB,CACD,GACA,eAAe,CAAC,IAAI,CAAC,CAAC;AAE1B,KAAK,eAAe,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS;IAAE,SAAS,EAAE,WAAW,CAAA;CAAE,GAC5C;IACA,SAAS,CAAC,IAAI,SAAS,aAAa,EACnC,IAAI,EAAE,CAAC,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,IAAI,EAC5D,SAAS,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GACxC,MAAM,CAAC,MAAM,CACf,gBAAgB,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACnD,WAAW,EACX,WAAW,CACX,CAAC;CACF,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAExB,KAAK,iBAAiB,CACrB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,IAAI,EACV,MAAM,KAAK,CACX,GACC;IACA,OAAO,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EAClE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CACV,iBAAiB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,EAC1C,WAAW,EACX,QAAQ,EACR,KAAK,CACL,CAAC;IACF,MAAM,CACL,MAAM,EAAE,KAAK,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,GAChD,OAAO,CACP,MAAM,CAAC,MAAM,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAChE,GACA,KAAK,GACN,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,QAAQ,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACnE,GAAG,MAAM,EAAE,MAAM,GACf,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACtD,UAAU,CAAC,MAAM,SAAS,UAAU,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EACrE,GAAG,MAAM,EAAE,KAAK,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;KAAE,GACnD,MAAM,GACN,KAAK,GACN,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;CACtD,GAAG,CAAC,KAAK,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GAC3C;IACA,QAAQ,EAAE,GAAG,IACV,QAAQ,GACR,WAAW,GACX,aAAa,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC;CAC/D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GACvB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAExB,KAAK,sBAAsB,CAC1B,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,QAAQ,SAAS,mBAAmB,GACrC,UAAU,SAAS,gBAAgB,CACnC,QAAQ,EACR,KAAK,EACL,MAAM,GAAG,EACT,MAAM,MAAM,CACZ,GACC;IACA,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAC9D,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;CAC3D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GACrB,gBAAgB,CAAC,UAAU,CAAC,SAAS,aAAa,CAAC,MAAM,GAAG,CAAC,GAC5D;IACA,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAC9D,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;CAC3D,GACA,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAEzB,MAAM,MAAM,qBAAqB,CAChC,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,YAAY,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACvD,eAAe,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,iBAAiB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC3D,sBAAsB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC"}

package/dist/relation.d.ts

@@ -1,13 +1,12 @@
 import type { Effect } from "effect";
 import type { PrismaError } from "./error.js";
-import type { NormalizePrismaArguments, NormalizePrismaValue } from "./internal/type-normalization.js";
 import type { PrismaRelationMethods } from "./relation/prisma-methods.js";
 type AnyFunction = (...arguments_: ReadonlyArray<never>) => unknown;
 export type CollectionResult<Collection> = Collection extends {
     all(): infer Result;
-} ? NormalizePrismaValue<Awaited<Result>> : never;
+} ? Awaited<Result> : never;
 type NormalizeTerminal<Name, Result> = Name extends "first" ? import("effect").Option.Option<Exclude<Result, null>> : Result;
-type WrapReturn<Name, Result, Requirement, Contract, Model extends string> = Result extends PromiseLike<infer Value> ? Effect.Effect<NormalizeTerminal<Name, NormalizePrismaValue<Awaited<Value>>>, PrismaError, Requirement> : Result extends object ? Relation<Result, Requirement, Contract, Model> : never;
+type WrapReturn<Name, Result, Requirement, Contract, Model extends string> = Result extends PromiseLike<infer Value> ? Effect.Effect<NormalizeTerminal<Name, Awaited<Value>>, PrismaError, Requirement> : Result extends object ? Relation<Result, Requirement, Contract, Model> : never;
 type WrapFunction<Name, Function_, Requirement, Contract, Model extends string> = Function_ extends {
     (...arguments_: infer Arguments1): infer Result1;
     (...arguments_: infer Arguments2): infer Result2;
@@ -15,7 +14,7 @@ type WrapFunction<Name, Function_, Requirement, Contract, Model extends string>
     (...arguments_: infer Arguments4): infer Result4;
     (...arguments_: infer Arguments5): infer Result5;
     (...arguments_: infer Arguments6): infer Result6;
-} ? ((...arguments_: NormalizePrismaArguments<Arguments1>) => WrapReturn<Name, Result1, Requirement, Contract, Model>) & ((...arguments_: NormalizePrismaArguments<Arguments2>) => WrapReturn<Name, Result2, Requirement, Contract, Model>) & ((...arguments_: NormalizePrismaArguments<Arguments3>) => WrapReturn<Name, Result3, Requirement, Contract, Model>) & ((...arguments_: NormalizePrismaArguments<Arguments4>) => WrapReturn<Name, Result4, Requirement, Contract, Model>) & ((...arguments_: NormalizePrismaArguments<Arguments5>) => WrapReturn<Name, Result5, Requirement, Contract, Model>) & ((...arguments_: NormalizePrismaArguments<Arguments6>) => WrapReturn<Name, Result6, Requirement, Contract, Model>) : never;
+} ? ((...arguments_: Arguments1) => WrapReturn<Name, Result1, Requirement, Contract, Model>) & ((...arguments_: Arguments2) => WrapReturn<Name, Result2, Requirement, Contract, Model>) & ((...arguments_: Arguments3) => WrapReturn<Name, Result3, Requirement, Contract, Model>) & ((...arguments_: Arguments4) => WrapReturn<Name, Result4, Requirement, Contract, Model>) & ((...arguments_: Arguments5) => WrapReturn<Name, Result5, Requirement, Contract, Model>) & ((...arguments_: Arguments6) => WrapReturn<Name, Result6, Requirement, Contract, Model>) : never;
 type FunctionKeys<Value> = {
     [Key in keyof Value]-?: Value[Key] extends AnyFunction ? Key : never;
 }[keyof Value];

package/dist/relation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EACX,wBAAwB,EACxB,oBAAoB,EACpB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAE1E,KAAK,WAAW,GAAG,CAAC,GAAG,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;AAEpE,MAAM,MAAM,gBAAgB,CAAC,UAAU,IAAI,UAAU,SAAS;IAC7D,GAAG,IAAI,MAAM,MAAM,CAAC;CACpB,GACE,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GACrC,KAAK,CAAC;AAET,KAAK,iBAAiB,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI,SAAS,OAAO,GACxD,OAAO,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GACrD,MAAM,CAAC;AAEV,KAAK,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,SAAS,MAAM,IACxE,MAAM,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GACpC,MAAM,CAAC,MAAM,CACb,iBAAiB,CAAC,IAAI,EAAE,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAC7D,WAAW,EACX,WAAW,CACX,GACA,MAAM,SAAS,MAAM,GACpB,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC9C,KAAK,CAAC;AAEX,KAAK,YAAY,CAChB,IAAI,EACJ,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,SAAS,SAAS;IACrB,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;CACjD,GACE,CAAC,CACD,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC5D,CAAC,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,UAAU,CAAC,KAC/C,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,KAAK,CAAC;AAET,KAAK,YAAY,CAAC,KAAK,IAAI;KACzB,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,WAAW,GAAG,GAAG,GAAG,KAAK;CACpE,CAAC,MAAM,KAAK,CAAC,CAAC;AAEf,KAAK,oBAAoB,GACtB,WAAW,GACX,KAAK,GACL,SAAS,GACT,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,aAAa,GACb,UAAU,GACV,YAAY,GACZ,SAAS,GACT,SAAS,GACT,KAAK,GACL,KAAK,GACL,QAAQ,GACR,KAAK,GACL,SAAS,CAAC;AAEb,KAAK,eAAe,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB;IACH,QAAQ,EAAE,GAAG,IAAI,OAAO,CACvB,YAAY,CAAC,UAAU,CAAC,EACxB,oBAAoB,CACpB,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC;CACpE,CAAC;AAEF,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAC;AAEjD,MAAM,MAAM,aAAa,CACxB,KAAK,EACL,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,GAAG;IACpD,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;KACtB,CAAC;CACF,CAAC;AAEF,MAAM,MAAM,QAAQ,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,GAAG,SAAS,EACpB,KAAK,SAAS,MAAM,GAAG,MAAM,IAC1B,aAAa,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC5E,eAAe,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,qBAAqB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC"}
+{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAE1E,KAAK,WAAW,GAAG,CAAC,GAAG,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC;AAEpE,MAAM,MAAM,gBAAgB,CAAC,UAAU,IAAI,UAAU,SAAS;IAC7D,GAAG,IAAI,MAAM,MAAM,CAAC;CACpB,GACE,OAAO,CAAC,MAAM,CAAC,GACf,KAAK,CAAC;AAET,KAAK,iBAAiB,CAAC,IAAI,EAAE,MAAM,IAAI,IAAI,SAAS,OAAO,GACxD,OAAO,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,GACrD,MAAM,CAAC;AAEV,KAAK,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,SAAS,MAAM,IACxE,MAAM,SAAS,WAAW,CAAC,MAAM,KAAK,CAAC,GACpC,MAAM,CAAC,MAAM,CACb,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EACvC,WAAW,EACX,WAAW,CACX,GACA,MAAM,SAAS,MAAM,GACpB,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC9C,KAAK,CAAC;AAEX,KAAK,YAAY,CAChB,IAAI,EACJ,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,SAAS,SAAS;IACrB,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;IACjD,CAAC,GAAG,UAAU,EAAE,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC;CACjD,GACE,CAAC,CACD,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC5D,CAAC,CACA,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,CAAC,CACA,GAAG,UAAU,EAAE,UAAU,KACrB,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,GAC7D,KAAK,CAAC;AAET,KAAK,YAAY,CAAC,KAAK,IAAI;KACzB,GAAG,IAAI,MAAM,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,WAAW,GAAG,GAAG,GAAG,KAAK;CACpE,CAAC,MAAM,KAAK,CAAC,CAAC;AAEf,KAAK,oBAAoB,GACtB,WAAW,GACX,KAAK,GACL,SAAS,GACT,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,aAAa,GACb,UAAU,GACV,YAAY,GACZ,SAAS,GACT,SAAS,GACT,KAAK,GACL,KAAK,GACL,QAAQ,GACR,KAAK,GACL,SAAS,CAAC;AAEb,KAAK,eAAe,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB;IACH,QAAQ,EAAE,GAAG,IAAI,OAAO,CACvB,YAAY,CAAC,UAAU,CAAC,EACxB,oBAAoB,CACpB,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC;CACpE,CAAC;AAEF,OAAO,CAAC,MAAM,mBAAmB,EAAE,OAAO,MAAM,CAAC;AAEjD,MAAM,MAAM,aAAa,CACxB,KAAK,EACL,WAAW,EACX,QAAQ,EACR,KAAK,SAAS,MAAM,IACjB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,GAAG;IACpD,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;KACtB,CAAC;CACF,CAAC;AAEF,MAAM,MAAM,QAAQ,CACnB,UAAU,EACV,WAAW,EACX,QAAQ,GAAG,SAAS,EACpB,KAAK,SAAS,MAAM,GAAG,MAAM,IAC1B,aAAa,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GAC5E,eAAe,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,GACzD,qBAAqB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-prisma",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "description": "Effect-native PostgreSQL queries and transactions for Prisma Next",
   "type": "module",
   "license": "MIT",
@@ -17,6 +17,9 @@
     "node": ">=24"
   },
   "sideEffects": false,
+  "bin": {
+    "effect-prisma-normalize": "./dist/bin/normalize-contract.js"
+  },
   "files": [
     "dist",
     "src",

package/src/bin/normalize-contract.ts

@@ -0,0 +1,17 @@
+#!/usr/bin/env node
+
+import { readFile, writeFile } from "node:fs/promises";
+import { normalizePrismaNextContractTypes } from "../internal/contract-normalization.js";
+
+const arguments_ = process.argv.slice(2);
+if (arguments_.length !== 1 || arguments_[0] === undefined) {
+	throw new Error("Usage: effect-prisma-normalize <generated-contract.d.ts>");
+}
+
+const contractPath = arguments_[0];
+const source = await readFile(contractPath, "utf8");
+const normalized = normalizePrismaNextContractTypes(source);
+
+if (normalized !== source) {
+	await writeFile(contractPath, normalized);
+}

package/src/internal/contract-normalization.ts

@@ -0,0 +1,18 @@
+const timestampReference = /\b(?:Timestamp|Timestamptz)<(?:\d+|undefined)>/g;
+const unsupportedTimestampReference = /\b(?:Timestamp|Timestamptz)\s*</;
+
+/**
+ * Align Prisma Next's generated PostgreSQL timestamp declarations with the
+ * JavaScript Dates accepted and returned by its runtime codecs.
+ */
+export const normalizePrismaNextContractTypes = (source: string): string => {
+	const normalized = source.replaceAll(timestampReference, "Date");
+
+	if (unsupportedTimestampReference.test(normalized)) {
+		throw new Error(
+			"Unsupported Prisma Next timestamp declaration; update effect-prisma before using this generated contract",
+		);
+	}
+
+	return normalized;
+};

package/src/relation/prisma-methods.ts

@@ -10,10 +10,6 @@ import type {
 } from "@prisma-next/sql-orm-client";
 import type { Effect, Stream } from "effect";
 import type { PrismaError } from "../error.js";
-import type {
-	NormalizePrismaArguments,
-	NormalizePrismaValue,
-} from "../internal/type-normalization.js";
 import type { CollectionResult, Relation, RelationQuery } from "../relation.js";
 import type { IncludeMethod } from "./include.js";
 
@@ -26,12 +22,8 @@ type TerminalMethod<Method, Requirement> = Method extends (
 	...arguments_: infer Arguments
 ) => PromiseLike<infer Value>
 	? (
-			...arguments_: NormalizePrismaArguments<Arguments>
-		) => Effect.Effect<
-			NormalizePrismaValue<Awaited<Value>>,
-			PrismaError,
-			Requirement
-		>
+			...arguments_: Arguments
+		) => Effect.Effect<Awaited<Value>, PrismaError, Requirement>
 	: never;
 
 type SelectMethod<
@@ -111,9 +103,7 @@ type AggregateMethod<
 					make: (aggregate: AggregateBuilder<Contract, Model>) => Spec,
 					configure?: AggregateConfigure<Collection>,
 				): Effect.Effect<
-					NormalizePrismaValue<
-						AggregateSuccess<Collection, Contract, Model, Spec>
-					>,
+					AggregateSuccess<Collection, Contract, Model, Spec>,
 					PrismaError,
 					Requirement
 				>;
@@ -181,22 +171,14 @@ type CollectionConveniences<
 			infer _State
 		>
 		? {
-				readonly stream: Stream.Stream<
-					NormalizePrismaValue<Row>,
-					PrismaError,
-					Requirement
-				>;
+				readonly stream: Stream.Stream<Row, PrismaError, Requirement>;
 				count(): RelationQuery<number, Requirement, Contract, Model>;
 				exists(): Effect.Effect<boolean, PrismaError, Requirement>;
 			}
 		: Record<never, never>
 	: CollectionResult<Collection> extends ReadonlyArray<infer Row>
 		? {
-				readonly stream: Stream.Stream<
-					NormalizePrismaValue<Row>,
-					PrismaError,
-					Requirement
-				>;
+				readonly stream: Stream.Stream<Row, PrismaError, Requirement>;
 				count(): Effect.Effect<number, PrismaError, Requirement>;
 				exists(): Effect.Effect<boolean, PrismaError, Requirement>;
 			}

package/src/relation.ts

@@ -1,9 +1,5 @@
 import type { Effect } from "effect";
 import type { PrismaError } from "./error.js";
-import type {
-	NormalizePrismaArguments,
-	NormalizePrismaValue,
-} from "./internal/type-normalization.js";
 import type { PrismaRelationMethods } from "./relation/prisma-methods.js";
 
 type AnyFunction = (...arguments_: ReadonlyArray<never>) => unknown;
@@ -11,7 +7,7 @@ type AnyFunction = (...arguments_: ReadonlyArray<never>) => unknown;
 export type CollectionResult<Collection> = Collection extends {
 	all(): infer Result;
 }
-	? NormalizePrismaValue<Awaited<Result>>
+	? Awaited<Result>
 	: never;
 
 type NormalizeTerminal<Name, Result> = Name extends "first"
@@ -21,7 +17,7 @@ type NormalizeTerminal<Name, Result> = Name extends "first"
 type WrapReturn<Name, Result, Requirement, Contract, Model extends string> =
 	Result extends PromiseLike<infer Value>
 		? Effect.Effect<
-				NormalizeTerminal<Name, NormalizePrismaValue<Awaited<Value>>>,
+				NormalizeTerminal<Name, Awaited<Value>>,
 				PrismaError,
 				Requirement
 			>
@@ -44,22 +40,22 @@ type WrapFunction<
 	(...arguments_: infer Arguments6): infer Result6;
 }
 	? ((
-			...arguments_: NormalizePrismaArguments<Arguments1>
+			...arguments_: Arguments1
 		) => WrapReturn<Name, Result1, Requirement, Contract, Model>) &
 			((
-				...arguments_: NormalizePrismaArguments<Arguments2>
+				...arguments_: Arguments2
 			) => WrapReturn<Name, Result2, Requirement, Contract, Model>) &
 			((
-				...arguments_: NormalizePrismaArguments<Arguments3>
+				...arguments_: Arguments3
 			) => WrapReturn<Name, Result3, Requirement, Contract, Model>) &
 			((
-				...arguments_: NormalizePrismaArguments<Arguments4>
+				...arguments_: Arguments4
 			) => WrapReturn<Name, Result4, Requirement, Contract, Model>) &
 			((
-				...arguments_: NormalizePrismaArguments<Arguments5>
+				...arguments_: Arguments5
 			) => WrapReturn<Name, Result5, Requirement, Contract, Model>) &
 			((
-				...arguments_: NormalizePrismaArguments<Arguments6>
+				...arguments_: Arguments6
 			) => WrapReturn<Name, Result6, Requirement, Contract, Model>)
 	: never;
 

package/dist/internal/type-normalization.d.ts

@@ -1,22 +0,0 @@
-type TimestampBrand = {
-    readonly __timestampPrecision: number | undefined;
-} | {
-    readonly __timestamptzPrecision: number | undefined;
-};
-type PreservedValue = string | number | boolean | bigint | symbol | Date | Uint8Array | ArrayBuffer;
-export type NormalizePrismaArguments<Arguments extends readonly unknown[]> = {
-    [Index in keyof Arguments]: NormalizePrismaValue<Arguments[Index]>;
-};
-/**
- * Prisma Next's PostgreSQL codecs return JavaScript Dates for timestamp values,
- * while its generated contracts currently render precision-bearing timestamp
- * fields as branded strings. Keep the public Effect facade aligned with the
- * codec's actual input and output values without modifying generated contracts.
- */
-export type NormalizePrismaValue<Value> = Value extends TimestampBrand ? Date : Value extends PreservedValue ? Value : Value extends (...arguments_: infer Arguments) => infer Result ? (...arguments_: NormalizePrismaArguments<Arguments>) => NormalizePrismaValue<Result> : Value extends readonly unknown[] ? {
-    [Index in keyof Value]: NormalizePrismaValue<Value[Index]>;
-} : Value extends object ? {
-    [Key in keyof Value]: NormalizePrismaValue<Value[Key]>;
-} : Value;
-export {};
-//# sourceMappingURL=type-normalization.d.ts.map

package/dist/internal/type-normalization.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"type-normalization.d.ts","sourceRoot":"","sources":["../../src/internal/type-normalization.ts"],"names":[],"mappings":"AAAA,KAAK,cAAc,GAChB;IAAE,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAE3D,KAAK,cAAc,GAChB,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,GACN,IAAI,GACJ,UAAU,GACV,WAAW,CAAC;AAEf,MAAM,MAAM,wBAAwB,CAAC,SAAS,SAAS,SAAS,OAAO,EAAE,IAAI;KAC3E,KAAK,IAAI,MAAM,SAAS,GAAG,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;CAClE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI,KAAK,SAAS,cAAc,GACnE,IAAI,GACJ,KAAK,SAAS,cAAc,GAC3B,KAAK,GACL,KAAK,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,SAAS,KAAK,MAAM,MAAM,GAC7D,CACA,GAAG,UAAU,EAAE,wBAAwB,CAAC,SAAS,CAAC,KAC9C,oBAAoB,CAAC,MAAM,CAAC,GAChC,KAAK,SAAS,SAAS,OAAO,EAAE,GAC/B;KAAG,KAAK,IAAI,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;CAAE,GAC9D,KAAK,SAAS,MAAM,GACnB;KAAG,GAAG,IAAI,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;CAAE,GAC1D,KAAK,CAAC"}

package/dist/internal/type-normalization.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=type-normalization.js.map

package/dist/internal/type-normalization.js.map

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

package/src/internal/type-normalization.ts

@@ -1,37 +0,0 @@
-type TimestampBrand =
-	| { readonly __timestampPrecision: number | undefined }
-	| { readonly __timestamptzPrecision: number | undefined };
-
-type PreservedValue =
-	| string
-	| number
-	| boolean
-	| bigint
-	| symbol
-	| Date
-	| Uint8Array
-	| ArrayBuffer;
-
-export type NormalizePrismaArguments<Arguments extends readonly unknown[]> = {
-	[Index in keyof Arguments]: NormalizePrismaValue<Arguments[Index]>;
-};
-
-/**
- * Prisma Next's PostgreSQL codecs return JavaScript Dates for timestamp values,
- * while its generated contracts currently render precision-bearing timestamp
- * fields as branded strings. Keep the public Effect facade aligned with the
- * codec's actual input and output values without modifying generated contracts.
- */
-export type NormalizePrismaValue<Value> = Value extends TimestampBrand
-	? Date
-	: Value extends PreservedValue
-		? Value
-		: Value extends (...arguments_: infer Arguments) => infer Result
-			? (
-					...arguments_: NormalizePrismaArguments<Arguments>
-				) => NormalizePrismaValue<Result>
-			: Value extends readonly unknown[]
-				? { [Index in keyof Value]: NormalizePrismaValue<Value[Index]> }
-				: Value extends object
-					? { [Key in keyof Value]: NormalizePrismaValue<Value[Key]> }
-					: Value;