@effect-app/vue 4.0.0-beta.22 → 4.0.0-beta.221

package/test/lib.test.ts

@@ -0,0 +1,240 @@
+import { describe, expect, it } from "vitest"
+import { computed, isProxy, isReactive, isRef, reactive, ref } from "vue"
+import { deepToRaw } from "../src/lib.js"
+
+type DeepMapKey = { id: string } | "list"
+type DeepMapValue = { nestedSet: Set<{ ok: boolean } | Date> } | Array<{ count: number }>
+type DeepSetValue = Map<string, { value: number }> | Array<{ value: number }>
+
+const expectPlainDeep = (value: unknown): void => {
+  expect(isRef(value)).toBe(false)
+  expect(isReactive(value)).toBe(false)
+  expect(isProxy(value)).toBe(false)
+
+  if (Array.isArray(value)) {
+    value.forEach(expectPlainDeep)
+    return
+  }
+
+  if (value instanceof Map) {
+    value.forEach((entryValue, entryKey) => {
+      expectPlainDeep(entryKey)
+      expectPlainDeep(entryValue)
+    })
+    return
+  }
+
+  if (value instanceof Set) {
+    value.forEach((entry) => {
+      expectPlainDeep(entry)
+    })
+    return
+  }
+
+  if (value instanceof Date) {
+    return
+  }
+
+  if (value && typeof value === "object") {
+    Object.values(value).forEach(expectPlainDeep)
+  }
+}
+
+describe("deepToRaw", () => {
+  it("supports non-object root inputs", () => {
+    expect(deepToRaw(1)).toBe(1)
+    expect(deepToRaw("x")).toBe("x")
+    expect(deepToRaw(null)).toBe(null)
+    expect(deepToRaw(undefined)).toBe(undefined)
+    expect(deepToRaw(ref(123))).toBe(123)
+
+    const rootArray = deepToRaw(reactive([reactive({ n: 1 }), ref(2)]))
+    expect(rootArray).toEqual([{ n: 1 }, 2])
+    expect(Array.isArray(rootArray)).toBe(true)
+
+    const rootMap = deepToRaw(
+      reactive(new Map<string, unknown>([["k", reactive({ n: 1 })], ["r", ref(2)]]))
+    )
+    expect(rootMap).toBeInstanceOf(Map)
+    expect(rootMap.get("k")).toEqual({ n: 1 })
+    expect(rootMap.get("r")).toBe(2)
+
+    const rootSet = deepToRaw(reactive(new Set([reactive({ n: 1 }), ref(2)])))
+    expect(rootSet).toBeInstanceOf(Set)
+    expect(Array.from(rootSet)).toEqual([{ n: 1 }, 2])
+
+    const date = new Date("2024-02-03T00:00:00.000Z")
+    const rootDate = deepToRaw(date)
+    expect(rootDate).toBeInstanceOf(Date)
+    expect(rootDate).not.toBe(date)
+    expect(rootDate.toISOString()).toBe(date.toISOString())
+  })
+
+  it("unwraps nested objects and arrays without leaving vue proxies behind", () => {
+    const source = reactive({
+      list: [
+        reactive({
+          nested: reactive({
+            count: 1,
+            items: [reactive({ label: "a" }), reactive({ label: "b" })]
+          })
+        })
+      ],
+      plain: reactive({ ok: true })
+    })
+
+    const result = deepToRaw(source)
+
+    expect(Array.isArray(result.list)).toBe(true)
+    expect(Array.isArray(result.list[0]?.nested.items)).toBe(true)
+    expect(result).toEqual({
+      list: [{ nested: { count: 1, items: [{ label: "a" }, { label: "b" }] } }],
+      plain: { ok: true }
+    })
+    expectPlainDeep(result)
+  })
+
+  it("preserves maps and sets while deeply unwrapping nested entries", () => {
+    const key = reactive({ id: "key" })
+    const nestedDate = new Date("2024-01-02T03:04:05.000Z")
+    const map = reactive(
+      new Map<DeepMapKey, DeepMapValue>([
+        [key, reactive({ nestedSet: reactive(new Set([{ ok: true }, nestedDate])) })],
+        ["list", reactive([{ count: 2 }])]
+      ])
+    )
+    const set = reactive(
+      new Set<DeepSetValue>([
+        reactive(new Map([["deep", reactive({ value: 3 })]])),
+        reactive([{ value: 4 }])
+      ])
+    )
+    const source = reactive({
+      map,
+      set
+    })
+
+    const result = deepToRaw(source)
+
+    expect(result.map).toBeInstanceOf(Map)
+    expect(result.set).toBeInstanceOf(Set)
+
+    const entries = Array.from(result.map.entries())
+    expect(entries[0]?.[0]).toEqual({ id: "key" })
+    expect(entries[0]?.[0]).not.toBe(key)
+    expect(entries[0]?.[1]).toEqual({ nestedSet: new Set([{ ok: true }, nestedDate]) })
+    expect(entries[1]?.[1]).toEqual([{ count: 2 }])
+
+    const setValues = Array.from(result.set.values())
+    expect(setValues[0]).toBeInstanceOf(Map)
+    expect(setValues[1]).toEqual([{ value: 4 }])
+    expect((setValues[0] as Map<string, { value: number }>).get("deep")).toEqual({ value: 3 })
+
+    expectPlainDeep(result)
+  })
+
+  it("keeps nested dates as dates, including dates reached through refs", () => {
+    const date = new Date("2025-06-07T08:09:10.000Z")
+    const source = reactive({
+      createdAt: date,
+      nested: reactive({
+        updatedAt: ref(date),
+        list: [ref(date)],
+        map: reactive(new Map([["at", ref(date)]])),
+        set: reactive(new Set([ref(date)]))
+      })
+    })
+
+    const result = deepToRaw(source)
+
+    expect(result.createdAt).toBeInstanceOf(Date)
+    expect(result.nested.updatedAt).toBeInstanceOf(Date)
+    expect(result.nested.list[0]).toBeInstanceOf(Date)
+    expect(result.nested.map).toBeInstanceOf(Map)
+    expect(result.nested.set).toBeInstanceOf(Set)
+
+    const updatedAt = result.nested.updatedAt
+    const firstListDate = result.nested.list[0]
+    const mappedDate = result.nested.map.get("at")
+    const firstSetDate = Array.from(result.nested.set)[0]
+
+    if (!(updatedAt instanceof Date)) {
+      throw new Error("expected updatedAt to be a Date")
+    }
+
+    if (!(firstListDate instanceof Date)) {
+      throw new Error("expected first list item to be a Date")
+    }
+
+    if (!(mappedDate instanceof Date)) {
+      throw new Error("expected mapped date to be a Date")
+    }
+
+    if (!(firstSetDate instanceof Date)) {
+      throw new Error("expected first set item to be a Date")
+    }
+
+    expect(result.createdAt.toISOString()).toBe(date.toISOString())
+    expect(updatedAt.toISOString()).toBe(date.toISOString())
+    expect(firstListDate.toISOString()).toBe(date.toISOString())
+    expect(mappedDate.toISOString()).toBe(date.toISOString())
+    expect(firstSetDate.toISOString()).toBe(date.toISOString())
+
+    expectPlainDeep(result)
+  })
+
+  it("unwraps computed values nested in refs/plain objects and deepToRawes the computed result", () => {
+    const source = {
+      innerRef: ref({
+        computedValue: computed(() =>
+          reactive({
+            list: [reactive({ n: 1 }), reactive({ n: 2 })],
+            map: reactive(new Map([["k", reactive({ nested: true })]])),
+            set: reactive(new Set([reactive({ fromSet: true })]))
+          })
+        )
+      }),
+      plainComputed: computed(() => reactive({ date: ref(new Date("2025-01-01T00:00:00.000Z")) }))
+    }
+
+    const result = deepToRaw(source)
+
+    expect(result).toEqual({
+      innerRef: {
+        computedValue: {
+          list: [{ n: 1 }, { n: 2 }],
+          map: new Map([["k", { nested: true }]]),
+          set: new Set([{ fromSet: true }])
+        }
+      },
+      plainComputed: {
+        date: new Date("2025-01-01T00:00:00.000Z")
+      }
+    })
+
+    const innerRefValue = Reflect.get(result, "innerRef")
+    if (!innerRefValue || typeof innerRefValue !== "object") {
+      throw new Error("expected innerRef to be an object")
+    }
+
+    const computedValue = Reflect.get(innerRefValue, "computedValue")
+    if (!computedValue || typeof computedValue !== "object") {
+      throw new Error("expected computedValue to be an object")
+    }
+
+    const computedMap = Reflect.get(computedValue, "map")
+    const computedSet = Reflect.get(computedValue, "set")
+
+    const plainComputedValue = Reflect.get(result, "plainComputed")
+    if (!plainComputedValue || typeof plainComputedValue !== "object") {
+      throw new Error("expected plainComputed to be an object")
+    }
+
+    const computedDate = Reflect.get(plainComputedValue, "date")
+
+    expect(computedMap).toBeInstanceOf(Map)
+    expect(computedSet).toBeInstanceOf(Set)
+    expect(computedDate).toBeInstanceOf(Date)
+    expectPlainDeep(result)
+  })
+})

package/test/makeClient.test.ts

@@ -1,95 +1,349 @@
 /* eslint-disable @typescript-eslint/no-explicit-any */
-import { type Effect } from "effect-app"
-import { Something, useClient, useExperimental } from "./stubs.js"
-
-it.skip("works2", () => {
-  const { legacy } = useClient()
-  const n = legacy.useQuery({
-    Request: null as any,
-    handler: null as any as (a: string) => Effect.Effect<number>,
-    id: "id"
+import { expect, expectTypeOf, it } from "@effect/vitest"
+import { configureInvalidation, makeQueryKey } from "effect-app/client"
+import * as S from "effect-app/Schema"
+import * as Exit from "effect/Exit"
+import type { CommandFromRequest } from "../src/makeClient.js"
+import { Something, SomethingElse, SomethingElseReq, SomethingReq, useClient, useExperimental } from "./stubs.js"
+
+const somethingInvalidationResources = {
+  Something: {
+    GetSomething2: Something.GetSomething2,
+    GetSomething2WithDependencies: Something.GetSomething2WithDependencies,
+    GetSomething3: Something.GetSomething3,
+    GetSomething4: Something.GetSomething4
+  }
+}
+
+it("TaggedRequestFor .moduleName and request .id / .moduleName", () => {
+  expectTypeOf(SomethingReq.moduleName).toEqualTypeOf<"Something">()
+  expectTypeOf(SomethingElseReq.moduleName).toEqualTypeOf<"SomethingElse">()
+
+  expectTypeOf(Something.GetSomething2.moduleName).toEqualTypeOf<"Something">()
+  expectTypeOf(Something.GetSomething2.id).toEqualTypeOf<"Something.GetSomething2">()
+  expectTypeOf(Something.GetSomething2.type).toEqualTypeOf<"query">()
+  expectTypeOf(Something.DoSomething.type).toEqualTypeOf<"command">()
+
+  expectTypeOf(SomethingElse.GetSomething2.moduleName).toEqualTypeOf<"SomethingElse">()
+  expectTypeOf(SomethingElse.GetSomething2.id).toEqualTypeOf<"SomethingElse.GetSomething2">()
+
+  const invalidates = configureInvalidation<{
+    Something: typeof Something
+    SomethingElse: typeof SomethingElse
+  }>()((queryKey, { Something, SomethingElse }) => [
+    { filters: { queryKey } },
+    { filters: { queryKey: makeQueryKey(Something.GetSomething2) } },
+    { filters: { queryKey: makeQueryKey(SomethingElse.GetSomething2) } }
+  ])
+
+  expectTypeOf(invalidates.invalidatesQueries).toBeFunction()
+  configureInvalidation<{ Something: typeof Something }>()((_queryKey, { Something }) => {
+    // @ts-expect-error commands are intentionally excluded from configured resources
+    void Something.DoSomething
+    return []
   })
 
-  const [, z] = n("a")
+  const { clientFor } = useClient()
+  const client = clientFor(
+    Something,
+    undefined,
+    somethingInvalidationResources
+  )
+
+  // only queries, no commands, and no commands who require resources; shouldn't require invalidation resources args!
+  clientFor({ GetSomething: Something.GetSomething2 })
+
+  // @ts-expect-error invalidation resources should be required when any command configures them
+  clientFor(Something)
+
+  // @ts-expect-error invalidation resources for this module reject extra top-level resources
+  clientFor(Something, undefined, { ...somethingInvalidationResources, SomethingElse })
+
+  const doSomethingInvalidation = client.DoSomething.Request.config["invalidatesQueries"]
+  if (doSomethingInvalidation) {
+    const entries = doSomethingInvalidation(
+      ["$Something"],
+      somethingInvalidationResources,
+      { id: "abc" },
+      Exit.succeed(123)
+    )
+    expect(Array.isArray(entries)).toBe(true)
+  }
+
+  const SomethingCommand = SomethingReq.Command
+
+  class TypeInferenceWithSuccess extends SomethingCommand<TypeInferenceWithSuccess>()("TypeInferenceWithSuccess", {
+    id: S.String
+  }, {
+    success: S.FiniteFromString
+  }, (_queryKey, _resources, input, result) => {
+    expectTypeOf(input).toEqualTypeOf<{ readonly id: string }>()
+    expectTypeOf(result).toEqualTypeOf<Exit.Exit<number, never>>()
+    return []
+  }) {}
+  void TypeInferenceWithSuccess
+
+  class TypeInferenceWithoutSuccess extends SomethingCommand<TypeInferenceWithoutSuccess>()(
+    "TypeInferenceWithoutSuccess",
+    {
+      id: S.String
+    },
+    {},
+    (_queryKey, _resources, input, result) => {
+      expectTypeOf(input).toEqualTypeOf<{ readonly id: string }>()
+      expectTypeOf(result).toEqualTypeOf<Exit.Exit<void, never>>()
+      return []
+    }
+  ) {}
+  void TypeInferenceWithoutSuccess
+
+  type MixedResources = {
+    Something: typeof Something
+    Misc: {
+      value: number
+      GetSomething2: typeof Something.GetSomething2
+    }
+  }
+
+  class TypeInferenceResourceFiltering extends SomethingCommand<
+    TypeInferenceResourceFiltering,
+    MixedResources
+  >()("TypeInferenceResourceFiltering", {
+    id: S.String
+  }, {
+    success: S.FiniteFromString
+  }, (_queryKey, resources, _input, _result) => {
+    expectTypeOf(resources.Something.GetSomething2).toEqualTypeOf<typeof Something.GetSomething2>()
+    expectTypeOf(resources.Misc.GetSomething2).toEqualTypeOf<typeof Something.GetSomething2>()
+
+    // @ts-expect-error commands must be filtered from invalidation resources
+    void resources.Something.DoSomething
+    // @ts-expect-error non-query values must be filtered from invalidation resources
+    void resources.Misc.value
+
+    return []
+  }) {}
+  void TypeInferenceResourceFiltering
+
+  type WithSuccessInvalidation = NonNullable<typeof TypeInferenceWithSuccess.config.invalidatesQueries> // @ts-expect-error input should be required when command payload is non-empty
+  ;((_queryKey, _resources) => []) satisfies WithSuccessInvalidation
+})
+
+it("clientFor handler shape — props variants", () => {
+  const { clientFor } = useClient()
+  const client = clientFor(
+    Something,
+    undefined,
+    somethingInvalidationResources
+  )
+  expect(client).toBeDefined()
+
+  // no-props (no fields): handler is (i: void) => Effect — callable without arg
+  expectTypeOf(client.DoNoProps.handler).toBeFunction()
+  client.DoNoProps.handler()
+
+  // no-props: request mirrors handler — (i: void) => Effect, callable without arg
+  expectTypeOf(client.DoNoProps.request).toBeFunction()
+  client.DoNoProps.request()
+  // optional-only: any fields → function handler. Input matches `make`, which for
+  // fully-optional payload is omittable.
+  expectTypeOf(client.DoOptionalOnly.handler).toBeFunction()
+  // arg may be omitted entirely
+  client.DoOptionalOnly.handler()
+  // or supplied with all-optional payload
+  client.DoOptionalOnly.handler({})
+  client.DoOptionalOnly.handler({ name: "x" })
+
+  // required-only: function, `id` required
+  expectTypeOf(client.DoRequiredOnly.handler).toBeFunction()
+  client.DoRequiredOnly.handler({ id: "x" })
+  // @ts-expect-error id is required
+  client.DoRequiredOnly.handler({})
+  // @ts-expect-error arg cannot be omitted
+  client.DoRequiredOnly.handler()
+
+  // mixed: id required, name optional
+  expectTypeOf(client.DoMixed.handler).toBeFunction()
+  client.DoMixed.handler({ id: "x" })
+  client.DoMixed.handler({ id: "x", name: "y" })
+  // @ts-expect-error id required
+  client.DoMixed.handler({ name: "y" })
+})
+
+it("CommandFromRequest input shape — props variants", () => {
+  type NoPropsArg = Parameters<CommandFromRequest<typeof Something.DoNoProps>["handle"]>[0]
+
+  // no-props (no fields) → void input; void parameter is implicitly optional, so handle() works
+  expectTypeOf<NoPropsArg>().toBeVoid()
+
+  // type-only assignability checks for the remaining variants
+  if (false as boolean) {
+    const noProps = null as unknown as CommandFromRequest<typeof Something.DoNoProps>
+    const optOnly = null as unknown as CommandFromRequest<typeof Something.DoOptionalOnly>
+    const reqOnly = null as unknown as CommandFromRequest<typeof Something.DoRequiredOnly>
+    const mixed = null as unknown as CommandFromRequest<typeof Something.DoMixed>
+
+    // no-props → void param, calling without args is fine
+    noProps.handle()
+
+    // optional-only → matches `make` (fully optional, arg omittable)
+    optOnly.handle()
+    optOnly.handle({})
+    optOnly.handle({ name: "x" })
+
+    // required-only → id required
+    reqOnly.handle({ id: "x" })
+    // @ts-expect-error id required
+    reqOnly.handle({})
+
+    // mixed → id required, name optional
+    mixed.handle({ id: "x" })
+    mixed.handle({ id: "x", name: "y" })
+    // @ts-expect-error id required
+    mixed.handle({ name: "y" })
+  }
+})
+
+it.skip("query type tests", () => {
+  const { clientFor } = useClient()
+  const client = clientFor(
+    Something,
+    () => ({
+      GetSomething2WithDependencies: (queryKey) => [
+        { filters: { queryKey } },
+        {
+          filters: {
+            queryKey: makeQueryKey(
+              SomethingElse
+                .GetSomething2
+            )
+          }
+        }
+      ]
+    }),
+    somethingInvalidationResources
+  )
+
+  const q = client.GetSomething2.query
+
+  const [, z] = q({ id: "a" })
   const valz = z.value
   expectTypeOf(valz).toEqualTypeOf<number | undefined>()
 
-  const [, a] = n("a", { placeholderData: () => 123 })
+  const [, a] = q({ id: "a" }, { placeholderData: () => 123 })
   const val1 = a.value
   expectTypeOf(val1).toEqualTypeOf<number>()
 
-  const [, bbbb] = n("a", { select: (data) => data.toString() })
+  const [, bbbb] = q({ id: "a" }, { select: (data) => data.toString() })
   const val = bbbb.value
   expectTypeOf(val).toEqualTypeOf<string | undefined>()
 
-  const [, ccc] = n("a", { placeholderData: () => 123, select: (data) => data.toString() })
+  const [, ccc] = q({ id: "a" }, { placeholderData: () => 123, select: (data) => data.toString() })
   const val2 = ccc.value
   expectTypeOf(val2).toEqualTypeOf<string>()
 
-  const [, ddd] = n("a", { initialData: 123, select: (data) => data.toString() })
+  const [, ddd] = q({ id: "a" }, { initialData: 123, select: (data) => data.toString() })
   const val3 = ddd.value
   expectTypeOf(val3).toEqualTypeOf<string>()
 
-  const [, eee] = n("a", { initialData: 123, placeholderData: () => 123, select: (data) => data.toString() })
+  const [, eee] = q({ id: "a" }, { initialData: 123, placeholderData: () => 123, select: (data) => data.toString() })
   const val4 = eee.value
   expectTypeOf(val4).toEqualTypeOf<string>()
 })
 
 it.skip("works", () => {
-  const { clientFor, legacy } = useClient()
-  const client = clientFor(Something)
+  const { clientFor } = useClient()
+  const client = clientFor(Something, undefined, somethingInvalidationResources)
   const Command = useExperimental()
 
   // just for jsdoc / type testing.
-  const a0 = client.GetSomething2(null as any)
-  const a00 = client.GetSomething2.mutate(null as any)
+  const a0 = client.GetSomething2.request(null as any)
+  const a00 = client.DoSomething.mutate(null as any)
   const a = client.GetSomething2.suspense(null as any)
   const b = client.GetSomething2.query(null as any)
 
-  const c0 = legacy.useSafeMutation(null as any)
-  const c = legacy.useQuery(null as any)
-  const d = legacy.useSuspenseQuery(null as any)
+  const de = client.GetSomething3.handler(null as any)
+  const de2 = client.GetSomething3.handler({ id: null })
+
+  const de3 = client.GetSomething4.handler()
+  void client.GetSomething4.handler
 
+  // @ts-expect-error query requests no longer expose command helpers
   const e = client.GetSomething2.wrap(null as any)
+  // @ts-expect-error query requests no longer expose command helpers
   const f = client.GetSomething2.fn(null as any)
 
-  // @ts-expect-error dependencies required that are not provided
-  const e0 = client.GetSomething2WithDependencies.wrap().handle // not available as we require dependencies not provided by the runtime
-  // @ts-expect-error dependencies required that are not provided
-  const e000 = Command.wrap(client.GetSomething2WithDependencies)().handle // not available as we require dependencies not provided by the runtime
-  const e00 = client.GetSomething2WithDependencies.wrap((_) => _ as Effect.Effect<number, never, never>).handle(
-    null as any
-  )
-  const e0000 =
-    Command.wrap(client.GetSomething2WithDependencies)((_) => _ as Effect.Effect<number, never, never>).handle
+  // @ts-expect-error query requests no longer expose command helpers
+  const e0 = client.GetSomething2WithDependencies.wrap
+  // @ts-expect-error query request does not match Command.wrap mutation signature
+  const e000 = Command.wrap(client.GetSomething2WithDependencies)
+  const e00 = client.GetSomething2WithDependencies.request(null as any)
   // @ts-expect-error dependencies required that are not provided
   const e1 = client.GetSomething2WithDependencies.suspense(null as any)
   // @ts-expect-error dependencies required that are not provided
   const e2 = client.GetSomething2WithDependencies.query(null as any)
+  // @ts-expect-error query requests no longer expose command helpers
   const f0 = client.GetSomething2WithDependencies.fn(null as any)
 
-  const g = client.GetSomething2.mutate.wrap(null as any)
-  const h = client.GetSomething2.mutate.fn(null as any)
+  const g0 = client.DoSomething.wrap(null as any)
+  const g = client.DoSomething.mutate.wrap(null as any)
+  const g1 = client.DoSomething.mutate.project(S.String)
+  const g2 = g1(null as any)
+  const g3 = g1.wrap(null as any)
+  const g4 = client.helpers.doSomethingMutation.project(S.String)
+  const g5 = g4(null as any)
+  const g6 = g4.wrap(null as any)
+  const h = client.DoSomething.mutate.fn(null as any)
+
+  // projection
+  // GetSomething2 uses FiniteFromString, that means Codec is String -> Number
+  // when we project that to S.String, it should work as the encoded shapes are identical
+  // aka, when we project, we skip decoding with the original codec, and instead use the provided one
+  // we have to make sure the Encoded shape of the provided projection schema matches the Encoded Shape of the original codec.
+  const projected = client.GetSomething2.project(S.String)
+  // @ts-expect-error encoded type mismatch: original encodes to string, S.Number encodes to number
+  client.GetSomething2.project(S.Number)
+  const p0 = projected.request(null as any)
+
+  // struct example: success schema encodes to { a: string | null }
+  // good: projection schema also expects { a: string | null } on the encoded side
+  const projectedStruct = client.GetStructNullable.project(S.Struct({ a: S.NullOr(S.String) }))
+  // bad: { a: S.String } has encoded type { a: string } — does not accept null
+  // @ts-expect-error encoded type mismatch: original encodes to { a: string | null }, projection expects { a: string }
+  client.GetStructNullable.project(S.Struct({ a: S.String }))
+
+  const p00 = projected.query(null as any)
+  const p = projected.suspense(null as any)
 
   expect(true).toBe(true)
   console.log({
     a,
     a0,
     a00,
-    c0,
     b,
-    c,
-    d,
     e,
+    de,
+    de2,
+    de3,
     e0,
     e00,
     e000,
-    e0000,
     e1,
     e2,
     f,
     f0,
+    g0,
     g,
-    h
+    g1,
+    g2,
+    g3,
+    g4,
+    g5,
+    g6,
+    h,
+    p0,
+    p00,
+    p,
+    projectedStruct
   })
 })

package/test/streamFinal.test.ts

@@ -0,0 +1,64 @@
+/**
+ * Runtime and type tests for the `final` schema on stream requests.
+ *
+ * The `final` option on a stream request schema lets callers model which type
+ * the last emitted stream element is.
+ */
+import { expect, it } from "@effect/vitest"
+import * as Effect from "effect-app/Effect"
+import * as S from "effect-app/Schema"
+import * as Stream from "effect/Stream"
+import { asStreamResult } from "../src/mutate.js"
+import { ExportComplete, OperationProgress, Something } from "./stubs.js"
+
+// ---------------------------------------------------------------------------
+// asStreamResult — low-level primitive, always returns void
+// ---------------------------------------------------------------------------
+
+it.live("asStreamResult returns void and updates ref with each element", () =>
+  Effect.gen(function*() {
+    const events: number[] = [1, 2, 3]
+    const [ref, execute] = asStreamResult(() => Stream.fromIterable(events))
+
+    yield* execute()
+
+    // ref should hold the last emitted value
+    expect(ref.value._tag).toBe("Success")
+    if (ref.value._tag === "Success") {
+      expect(ref.value.value).toBe(3)
+      expect(ref.value.waiting).toBe(false)
+    }
+  }))
+
+it("stream request without final: .final is undefined", () => {
+  const req = Something.StreamWithoutFinal
+  expect((req as any).final).toBeUndefined()
+})
+
+it("stream request with final: .final holds the ExportComplete schema", () => {
+  const req = Something.StreamWithFinal
+  expect((req as any).final).toBeDefined()
+  // Verify the schema decodes correctly
+  const decoded = S.decodeUnknownSync((req as any).final)({ _tag: "ExportComplete", fileUrl: "https://x.com" })
+  expect(decoded).toBeInstanceOf(ExportComplete)
+})
+
+// ---------------------------------------------------------------------------
+// Runtime: last stream value is accessible via the reactive ref after stream ends
+// ---------------------------------------------------------------------------
+
+it.live("last stream value is accessible via reactive ref after stream ends", () =>
+  Effect.gen(function*() {
+    const progress = new OperationProgress({ completed: 1 as S.NonNegativeInt, total: 2 as S.NonNegativeInt })
+    const complete = new ExportComplete({ fileUrl: "https://example.com/file.csv" as S.NonEmptyString })
+
+    const [ref, execute] = asStreamResult(() => Stream.make(progress, complete))
+
+    yield* execute()
+
+    expect(ref.value._tag).toBe("Success")
+    if (ref.value._tag === "Success") {
+      expect(ref.value.value).toBe(complete)
+      expect(ref.value.waiting).toBe(false)
+    }
+  }))