Function relation

packages/effect-app/src/Model/query/dsl.ts:582–806

(
  path: P
)

 * persistence-model (PM) reverse-mapping is needed:
 *
 * - `"transform"` (default when `mode` omitted): goes through the repo's
 *   `parseMany` pipeline. The raw row is reverse-mapped via the
 *   etag/PM cache (re-injecting `_etag` and any PM-shape state) before
 *   decoding. Decode failures `orDie` (error channel = `never`). Use when
 *   the schema operates on the full PM shape (e.g. full-entity reads that
 *   must preserve etag tracking).
 *
 * - `"project"`: decodes the raw encoded row directly with the supplied
 *   schema. No PM reverse-mapping, no etag cache merge. Decode failures
 *   surface as `S.SchemaError`. Use for slim DTOs / aggregations that do not
 *   need etag tracking and whose schema input is a plain subset of `Encoded`.
 *
 * - `"collect"`: like `"project"`, but the schema yields `Option<A>` and
 *   `None` values are dropped post-decode (`Array.getSomes`). Use to filter
 *   rows during decode (e.g. discriminated-union narrowing where some rows
 *   should not appear in the result).
 */
export const project: {
  <
    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
    I extends ExtractFieldValuesRefined<Q>,
    A = ExtractFieldValuesRefined<Q>,
    R = never,
    E extends boolean = ExtractExclusiveness<Q>
  >(
    schema: S.Codec<Option.Option<A>, I, R>,
    mode: "collect"
  ): (
    current: Q
  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>

  <
    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
    I extends ExtractFieldValuesRefined<Q>,
    A = ExtractFieldValuesRefined<Q>,
    R = never,
    E extends boolean = ExtractExclusiveness<Q>
  >(
    schema: S.Codec<A, I, R>,
    mode: "project"
  ): (
    current: Q
  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>
  <
    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
    I extends ExtractFieldValuesRefined<Q>,
    A = ExtractFieldValuesRefined<Q>,
    R = never,
    E extends boolean = ExtractExclusiveness<Q>
  >(
    schema: S.Codec<A, I, R>
  ): (
    current: Q
  ) => QueryProjection<ExtractFieldValuesRefined<Q>, A, R, ExtractTType<Q>, E>

  <
    Q extends Query<any> | QueryWhere<any, any, any> | QueryEnd<any, "one" | "many", any>,
    I extends FieldValues,