@effect-app/infra 2.48.0 → 2.49.0

package/src/Model/Repository/service.ts

@@ -2,7 +2,7 @@
 import type { Effect, Option, PubSub, S } from "effect-app"
 import type { InvalidStateError, NotFoundError, OptimisticConcurrencyException } from "effect-app/client/errors"
 import type { NonNegativeInt } from "effect-app/Schema/numbers"
-import type { FieldValues, ResolveFirstLevel } from "../filter/types.js"
+import type { FieldValues, IsNever, ResolveFirstLevel } from "../filter/types.js"
 import type { QAll, Query, QueryProjection } from "../query.js"
 import type { Mapped } from "./legacy.js"
 
@@ -35,11 +35,12 @@ export interface Repository<
       A,
       R,
       From extends FieldValues,
-      TType extends "one" | "many" | "count" = "many"
+      TType extends "one" | "many" | "count" = "many",
+      E extends boolean = false
     >(
       q: (
         initial: Query<Encoded>
-      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -51,14 +52,15 @@ export interface Repository<
       R,
       From extends FieldValues,
       TType extends "one" | "many" | "count" = "many",
-      $A = never
+      $A = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
       ) => $A,
       q2: (
         _: $A
-      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -71,7 +73,8 @@ export interface Repository<
       From extends FieldValues,
       TType extends "one" | "many" | "count" = "many",
       $A = never,
-      $B = never
+      $B = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -79,7 +82,7 @@ export interface Repository<
       q2: (_: $A) => $B,
       q3: (
         _: $B
-      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -93,7 +96,8 @@ export interface Repository<
       TType extends "one" | "many" | "count" = "many",
       $A = never,
       $B = never,
-      $C = never
+      $C = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -102,7 +106,7 @@ export interface Repository<
       q3: (_: $B) => $C,
       q4: (
         _: $C
-      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -117,7 +121,8 @@ export interface Repository<
       $A = never,
       $B = never,
       $C = never,
-      $D = never
+      $D = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -127,7 +132,7 @@ export interface Repository<
       q4: (_: $C) => $D,
       q5: (
         _: $D
-      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      ) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -143,7 +148,8 @@ export interface Repository<
       $B = never,
       $C = never,
       $D = never,
-      $E = never
+      $E = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -152,7 +158,7 @@ export interface Repository<
       q3: (_: $B) => $C,
       q4: (_: $C) => $D,
       q5: (_: $D) => $E,
-      q6: (_: $E) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      q6: (_: $E) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -169,7 +175,8 @@ export interface Repository<
       $C = never,
       $D = never,
       $E = never,
-      $F = never
+      $F = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -179,7 +186,7 @@ export interface Repository<
       q4: (_: $C) => $D,
       q5: (_: $D) => $E,
       q6: (_: $E) => $F,
-      q7: (_: $F) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      q7: (_: $F) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -197,7 +204,8 @@ export interface Repository<
       $D = never,
       $E = never,
       $F = never,
-      $G = never
+      $G = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -208,7 +216,7 @@ export interface Repository<
       q5: (_: $D) => $E,
       q6: (_: $E) => $F,
       q7: (_: $F) => $G,
-      q8: (_: $G) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      q8: (_: $G) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -227,7 +235,8 @@ export interface Repository<
       $E = never,
       $F = never,
       $G = never,
-      $H = never
+      $H = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -239,7 +248,7 @@ export interface Repository<
       q6: (_: $E) => $F,
       q7: (_: $F) => $G,
       q8: (_: $G) => $H,
-      q9: (_: $H) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      q9: (_: $H) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -259,7 +268,8 @@ export interface Repository<
       $F = never,
       $G = never,
       $H = never,
-      $I = never
+      $I = never,
+      E extends boolean = false
     >(
       q1: (
         initial: Query<Encoded>
@@ -272,7 +282,7 @@ export interface Repository<
       q7: (_: $F) => $G,
       q8: (_: $G) => $H,
       q9: (_: $H) => $I,
-      q10: (_: $I) => QueryProjection<From extends Encoded ? From : never, A, R, TType>
+      q10: (_: $I) => QueryProjection<From extends Encoded ? From : never, A, R, TType, E>
     ): Effect.Effect<
       TType extends "many" ? readonly A[] : TType extends "count" ? NonNegativeInt : A,
       | (TType extends "many" ? never : NotFoundError<ItemType>)
@@ -284,11 +294,12 @@ export interface Repository<
     <
       R = never,
       TType extends "one" | "many" = "many",
-      EncodedRefined extends Encoded = Encoded
+      EncodedRefined extends Encoded = Encoded,
+      E extends boolean = false
     >(
-      q: (initial: Query<Encoded>) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      q: (initial: Query<Encoded>) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -296,14 +307,15 @@ export interface Repository<
       R = never,
       TType extends "one" | "many" = "many",
       EncodedRefined extends Encoded = Encoded,
-      $A = never
+      $A = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (
         _: $A
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -312,7 +324,8 @@ export interface Repository<
       TType extends "one" | "many" = "many",
       EncodedRefined extends Encoded = Encoded,
       $A = never,
-      $B = never
+      $B = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (
@@ -320,9 +333,9 @@ export interface Repository<
       ) => $B,
       q3: (
         _: $B
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -332,16 +345,17 @@ export interface Repository<
       EncodedRefined extends Encoded = Encoded,
       $A = never,
       $B = never,
-      $C = never
+      $C = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
       q3: (_: $B) => $C,
       q4: (
         _: $C
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -352,7 +366,8 @@ export interface Repository<
       $A = never,
       $B = never,
       $C = never,
-      $D = never
+      $D = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -360,9 +375,9 @@ export interface Repository<
       q4: (_: $C) => $D,
       q5: (
         _: $D
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -374,7 +389,8 @@ export interface Repository<
       $B = never,
       $C = never,
       $D = never,
-      $E = never
+      $E = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -383,9 +399,9 @@ export interface Repository<
       q5: (_: $D) => $E,
       q6: (
         _: $E
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -398,7 +414,8 @@ export interface Repository<
       $C = never,
       $D = never,
       $E = never,
-      $F = never
+      $F = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -408,9 +425,9 @@ export interface Repository<
       q6: (_: $E) => $F,
       q7: (
         _: $F
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined> : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -424,7 +441,8 @@ export interface Repository<
       $D = never,
       $E = never,
       $F = never,
-      $G = never
+      $G = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -435,9 +453,10 @@ export interface Repository<
       q7: (_: $F) => $G,
       q8: (
         _: $G
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined>
+        : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -452,7 +471,8 @@ export interface Repository<
       $E = never,
       $F = never,
       $G = never,
-      $H = never
+      $H = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -464,9 +484,10 @@ export interface Repository<
       q8: (_: $G) => $H,
       q9: (
         _: $H
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined>
+        : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -482,7 +503,8 @@ export interface Repository<
       $F = never,
       $G = never,
       $H = never,
-      $I = never
+      $I = never,
+      E extends boolean = false
     >(
       q1: (initial: Query<Encoded>) => $A,
       q2: (_: $A) => $B,
@@ -495,9 +517,10 @@ export interface Repository<
       q9: (_: $H) => $I,
       q10: (
         _: $I
-      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType>
+      ) => QAll<Encoded, EncodedRefined, RefineTHelper<T, EncodedRefined>, R, TType, E>
     ): Effect.Effect<
-      TType extends "many" ? readonly RefineTHelper<T, EncodedRefined>[] : RefineTHelper<T, EncodedRefined>,
+      TType extends "many" ? DistributeQueryIfExclusiveOnArray<E, T, EncodedRefined>
+        : RefineTHelper<T, EncodedRefined>,
       TType extends "many" ? never : NotFoundError<ItemType>,
       R | RSchema
     >
@@ -507,6 +530,13 @@ export interface Repository<
   readonly mapped: Mapped<Encoded>
 }
 
+type DistributeQueryIfExclusiveOnArray<Exclusive extends boolean, T, EncodedRefined> = [Exclusive] extends [true]
+  ? T extends any ? RefineTHelper<T, EncodedRefined> extends infer R ? IsNever<R> extends true ? never
+      : readonly R[]
+    : never
+  : never
+  : readonly RefineTHelper<T, EncodedRefined>[]
+
 type NullableRefined<T, EncodedRefined> = {
   // EncodedRefined may be a union, so if you just keyof you'll get just common keys
   // p.s. NullableRefined is homomorphic in T so it distributes itself over T