effect-app · omegent-app · Aug 22, 2026 · Aug 22, 2026 · Aug 22, 2026 · Aug 22, 2026
diff --git a/.changeset/infra-sentry-node-dep.md b/.changeset/infra-sentry-node-dep.md
@@ -0,0 +1,5 @@
+---
+"@effect-app/infra": patch
+---
+
+Declare `@sentry/node` as a runtime dependency of `@effect-app/infra`. `errorReporter.ts` imports it statically, so `pnpm install --prod` of linked source (Docker) must install it next to the package, not only as a peer of the app.
diff --git a/.changeset/native-encoded-query-json.md b/.changeset/native-encoded-query-json.md
@@ -0,0 +1,9 @@
+---
+"effect-app": minor
+"@effect-app/infra": minor
+"@effect-app/vue-components": minor
+---
+
+Stop forcing Date/Map/Set Encoded shapes to JSON.
+
+`Schema.Date` / `ReadonlySet` / `ReadonlyMap` now keep native Encoded types (`Date`, `Set`, `Map`). Use `DateFromString`, `ReadonlySetFromArray`, and `ReadonlyMapFromArray` when the Encoded form must be JSON. The query DSL accepts those native values, including array ops (`includes` / `in` / `includes-any`) on `Date[]` and `ReadonlySet` fields. Memory, Disk, SQL, and Cosmos convert Encoded Date/Map/Set through `Schema.toCodecJson` on write/read; query parameters are lowered the same way. App schemas (DateOnly, …) register the same way via `JsonValues` / `StoreConfig.jsonValues`.
diff --git a/.changeset/query-map-has-ops.md b/.changeset/query-map-has-ops.md
@@ -0,0 +1,8 @@
+---
+"effect-app": minor
+"@effect-app/infra": minor
+---
+
+Query maps as JSON arrays of `[key, value]` tuples.
+
+`where("meta", "hasKey" | "hasValue" | "hasKeyValue", ...)` (and `not*` / `*-any` / `*-all` variants) filter `ReadonlyMap` fields. Memory, Disk, SQLite, Postgres, and Cosmos compile those ops against the encoded tuple array.
diff --git a/.changeset/store-json-values.md b/.changeset/store-json-values.md
@@ -0,0 +1,8 @@
+---
+"effect-app": minor
+"@effect-app/infra": minor
+---
+
+App schemas can plug native Encoded values into JSON stores without baking them into effect-app.
+
+`StoreConfig.jsonValues` and `JsonValues` (a Context service) take schemas whose Encoded form is a native value (DateOnly, branded money, …). Query params and schemaless documents lower through `Schema.toCodecJson(toEncoded(schema))`. Date/Map/Set stay built in. Use `registerJsonSchema` for process-wide registration.
diff --git a/packages/effect-app/src/Model/Repository/internal/internal.ts b/packages/effect-app/src/Model/Repository/internal/internal.ts
@@ -581,7 +581,7 @@ export function makeRepoInternal<
  .pipe(
  Effect.andThen(
  (items) =>
- S.decodeEffectConcurrently(S.Array(a.schema ?? schema))(items).pipe(
+ S.decodeEffectConcurrently(S.Array(S.toCodecJson(a.schema ?? schema)))(items).pipe(
  provideRctx,
  timeSchema("decode", name, "aggregate", items.length)
  )
@@ -593,7 +593,7 @@ export function makeRepoInternal<
  .pipe(
  Effect.andThen(
  (items) =>
- S.decodeEffectConcurrently(S.Array(a.schema ?? schema))(items).pipe(
+ S.decodeEffectConcurrently(S.Array(S.toCodecJson(a.schema ?? schema)))(items).pipe(
  provideRctx,
  timeSchema("decode", name, "project", items.length)
  )
@@ -604,7 +604,7 @@ export function makeRepoInternal<
  // TODO: mapFrom but need to support per field and dependencies
  .pipe(
  Effect.flatMap((items) =>
- S.decodeEffectConcurrently(S.Array(a.schema))(items).pipe(
+ S.decodeEffectConcurrently(S.Array(S.toCodecJson(a.schema)))(items).pipe(
  Effect.map(Array.getSomes),
  provideRctx,
  timeSchema("decode", name, "collect", items.length)
@@ -737,7 +737,7 @@ export function makeRepoInternal<
  queryRaw<A, Out, QR>(schema: S.Codec<A, Out, QR>, q: Q.RawQuery<Encoded, Out>) {
  return store.queryRaw(q).pipe(
  Effect.flatMap((items) =>
- S.decodeEffectConcurrently(S.Array(schema))(items).pipe(
+ S.decodeEffectConcurrently(S.Array(S.toCodecJson(schema)))(items as readonly S.Json[]).pipe(
  timeSchema("decode", name, undefined, items.length)
  )
  ),
@@ -887,6 +887,7 @@ export function makeStore<Encoded extends FieldValues>() {
  : undefined,
  {
  ...config,
+ schema,
  partitionValue: config?.partitionValue
  ?? ((_) => "primary") /*(isIntegrationEvent(r) ? r.companyId : r.id*/
  }

diff --git a/packages/effect-app/src/Model/filter/filterApi.ts b/packages/effect-app/src/Model/filter/filterApi.ts
@@ -17,6 +17,24 @@ export type OtherOps =
  | "notIncludes-any"
  | "includes-all"
  | "notIncludes-all"
+ | "hasKey"
+ | "notHasKey"
+ | "hasValue"
+ | "notHasValue"
+ | "hasKeyValue"
+ | "notHasKeyValue"
+ | "hasKey-any"
+ | "notHasKey-any"
+ | "hasKey-all"
+ | "notHasKey-all"
+ | "hasValue-any"
+ | "notHasValue-any"
+ | "hasValue-all"
+ | "notHasValue-all"
+ | "hasKeyValue-any"
+ | "notHasKeyValue-any"
+ | "hasKeyValue-all"
+ | "notHasKeyValue-all"
  | "eq"
  | "neq"
  | "gt"
@@ -44,7 +62,7 @@ export type FilterR = {
  op: Ops
 
  path: string
- value: string // ToDO: Value[]
+ value: unknown
 }
 
 export type FilterResult =

diff --git a/packages/effect-app/src/Model/query/dsl.ts b/packages/effect-app/src/Model/query/dsl.ts
@@ -1157,7 +1157,15 @@ export const aggregate: {
  return new Project({ current, schema, mode: "aggregate", aggregateMap } as any)
 }
 
-type GetArV<T> = T extends readonly (infer R)[] ? R : never
+type GetArV<T> = T extends ReadonlySet<infer R> ? R
+ : T extends readonly (infer R)[] ? R
+ : never
+
+type GetMapK<T> = T extends ReadonlyMap<infer K, infer _V> ? K : never
+type GetMapV<T> = T extends ReadonlyMap<infer _K, infer V> ? V : never
+type GetMapEntry<T> = T extends ReadonlyMap<infer K, infer V> ? readonly [K, V] : never
+
+type InValues<T> = readonly T[] | ReadonlySet<T>
 
 export type FilterContinuations<IsCurrentInitial extends boolean = false> = {
  <
@@ -1207,13 +1215,12 @@ export type FilterContinuations<IsCurrentInitial extends boolean = false> = {
  <
  TFieldValues extends FieldValues,
  TFieldName extends FieldPath<TFieldValues>,
- const V extends readonly FieldPathValue<TFieldValues, TFieldName>[],
  TFieldValuesRefined extends TFieldValues = TFieldValues,
  E extends boolean = false
  >(
  path: TFieldName,
  op: "in" | "notIn",
- value: V
+ value: InValues<FieldPathValue<TFieldValues, TFieldName>>
  ): (
  current: IsCurrentInitial extends true ? Query<TFieldValues>
  : QueryWhere<TFieldValues, TFieldValuesRefined, E>
@@ -1249,7 +1256,97 @@ export type FilterContinuations<IsCurrentInitial extends boolean = false> = {
  | "notIncludes-any"
  | "includes-all"
  | "notIncludes-all",
- value: readonly GetArV<V>[]
+ value: InValues<GetArV<V>>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasKey" | "notHasKey",
+ value: GetMapK<V>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasValue" | "notHasValue",
+ value: GetMapV<V>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasKeyValue" | "notHasKeyValue",
+ value: GetMapEntry<V>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasKey-any" | "notHasKey-any" | "hasKey-all" | "notHasKey-all",
+ value: InValues<GetMapK<V>>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasValue-any" | "notHasValue-any" | "hasValue-all" | "notHasValue-all",
+ value: InValues<GetMapV<V>>
+ ): (
+ current: IsCurrentInitial extends true ? Query<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ ) => IsCurrentInitial extends true ? QueryWhere<TFieldValues>
+ : QueryWhere<TFieldValues, TFieldValuesRefined, E>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ V extends FieldPathValue<TFieldValues, TFieldName>,
+ TFieldValuesRefined extends TFieldValues = TFieldValues,
+ E extends boolean = false
+ >(
+ path: TFieldName,
+ op: "hasKeyValue-any" | "notHasKeyValue-any" | "hasKeyValue-all" | "notHasKeyValue-all",
+ value: InValues<GetMapEntry<V>>
  ): (
  current: IsCurrentInitial extends true ? Query<TFieldValues>
  : QueryWhere<TFieldValues, TFieldValuesRefined, E>
@@ -1318,12 +1415,12 @@ export type FilterContinuationsWithSubpath = {
  TFieldName extends FieldPath<TFieldValues>,
  TFieldValuesSub extends TFieldValues[TFieldName][number],
  TFieldNameSub extends FieldPath<TFieldValuesSub>,
-const V extends readonly FieldPathValue<TFieldValuesSub, TFieldNameSub>[]
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
  >(
  subPath: TFieldName,
  restPath: TFieldNameSub,
  op: "in" | "notIn",
- value: V
+ value: InValues<V>
  ): (
  current: Query<TFieldValues>
  ) => QueryWhere<TFieldValues>
@@ -1357,7 +1454,91 @@ export type FilterContinuationsWithSubpath = {
  | "notIncludes-any"
  | "includes-all"
  | "notIncludes-all",
- value: readonly GetArV<V>[]
+ value: InValues<GetArV<V>>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasKey" | "notHasKey",
+ value: GetMapK<V>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasValue" | "notHasValue",
+ value: GetMapV<V>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasKeyValue" | "notHasKeyValue",
+ value: GetMapEntry<V>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasKey-any" | "notHasKey-any" | "hasKey-all" | "notHasKey-all",
+ value: InValues<GetMapK<V>>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasValue-any" | "notHasValue-any" | "hasValue-all" | "notHasValue-all",
+ value: InValues<GetMapV<V>>
+ ): (
+ current: Query<TFieldValues>
+ ) => QueryWhere<TFieldValues>
+ <
+ TFieldValues extends FieldValues,
+ TFieldName extends FieldPath<TFieldValues>,
+ TFieldValuesSub extends TFieldValues[TFieldName][number],
+ TFieldNameSub extends FieldPath<TFieldValuesSub>,
+ V extends FieldPathValue<TFieldValuesSub, TFieldNameSub>
+ >(
+ subPath: TFieldName,
+ restPath: TFieldNameSub,
+ op: "hasKeyValue-any" | "notHasKeyValue-any" | "hasKeyValue-all" | "notHasKeyValue-all",
+ value: InValues<GetMapEntry<V>>
  ): (
  current: Query<TFieldValues>
  ) => QueryWhere<TFieldValues>