@effect-app/vue 4.0.0-beta.34 → 4.0.0-beta.36

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @effect-app/vue
 
+## 4.0.0-beta.36
+
+### Patch Changes
+
+- effect-app@4.0.0-beta.36
+
+## 4.0.0-beta.35
+
+### Patch Changes
+
+- effect-app@4.0.0-beta.35
+
 ## 4.0.0-beta.34
 
 ### Patch Changes

package/dist/makeClient.d.ts

@@ -402,14 +402,14 @@ export declare class QueryImpl<R> {
 type Base = I18n | Toast;
 type Mix = ApiClientFactory | Commander | LegacyMutation | Base;
 export declare const makeClient: <RT_, RTHooks>(getBaseMrt: () => ManagedRuntime.ManagedRuntime<RT_ | Mix, never>, clientFor_: ReturnType<(typeof ApiClientFactory)["makeFor"]>, rtHooks: Layer.Layer<RTHooks, never, Mix>) => {
-    Command: CommanderResolved<RT_ | Mix, RTHooks>;
-    useCommand: () => CommanderResolved<RT_ | Mix, RTHooks>;
-    clientFor: <M extends Requests>(m: M, queryInvalidation?: (client: ClientFrom<M>) => QueryInvalidation<M>) => { [Key in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]>]: RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key] & RequestWithExtensions<RTHooks | (RT_ | Mix), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]> & {
-        mutate: MutationWithExtensions<RTHooks | (RT_ | Mix), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>;
-    } & Queries<RT_ | Mix, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>; } & {
-        helpers: { [Key_1 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_1>}Request`]: RequestWithExtensions<RTHooks | (RT_ | Mix), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_1]>; } & { [Key_2 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_2>}Mutation`]: MutationWithExtensions<RTHooks | (RT_ | Mix), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_2]>; } & { [Key_3 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_3>}Query`]: Queries<RT_ | Mix, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_3]>["query"]; } & { [Key_4 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_4>}SuspenseQuery`]: Queries<RT_ | Mix, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_4]>["suspense"]; };
+    Command: CommanderResolved<Mix | RT_, RTHooks>;
+    useCommand: () => CommanderResolved<Mix | RT_, RTHooks>;
+    clientFor: <M extends Requests>(m: M, queryInvalidation?: (client: ClientFrom<M>) => QueryInvalidation<M>) => { [Key in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]>]: RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key] & RequestWithExtensions<RTHooks | (Mix | RT_), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]> & {
+        mutate: MutationWithExtensions<RTHooks | (Mix | RT_), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>;
+    } & Queries<Mix | RT_, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>; } & {
+        helpers: { [Key_1 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_1>}Request`]: RequestWithExtensions<RTHooks | (Mix | RT_), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_1]>; } & { [Key_2 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_2>}Mutation`]: MutationWithExtensions<RTHooks | (Mix | RT_), RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_2]>; } & { [Key_3 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_3>}Query`]: Queries<Mix | RT_, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_3]>["query"]; } & { [Key_4 in keyof RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${ToCamel<string & Key_4>}SuspenseQuery`]: Queries<Mix | RT_, RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_4]>["suspense"]; };
     };
-    legacy: Legacy<RT_ | Mix>;
+    legacy: Legacy<Mix | RT_>;
 };
 export interface Legacy<R> extends Pick<QueryImpl<R>, "useQuery" | "useSuspenseQuery">, Omit<LegacyMutationImpl<R>, "getRuntime" | "toast" | "intl"> {
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-app/vue",
-  "version": "4.0.0-beta.34",
+  "version": "4.0.0-beta.36",
   "license": "MIT",
   "type": "module",
   "homepage": "https://github.com/effect-ts-app/libs/tree/main/packages/vue",
@@ -11,7 +11,7 @@
     "@vueuse/core": "^14.2.1",
     "change-case": "^5.4.4",
     "query-string": "^9.3.1",
-    "effect-app": "4.0.0-beta.34"
+    "effect-app": "4.0.0-beta.36"
   },
   "peerDependencies": {
     "@effect/atom-vue": "^4.0.0-beta.40",

package/test/dist/stubs.d.ts

@@ -13,7 +13,7 @@ export declare const fakeIntlLayer: (messages?: Record<string, string> | Record<
 export declare const useExperimental: (options?: {
     messages?: Record<string, string> | Record<string, MessageFormatElement[]>;
     toasts: any[];
-}) => import("../src/experimental/makeUseCommand.js").CommanderResolved<I18n | WithToast | Toast.Toast, never>;
+}) => import("../src/experimental/makeUseCommand.js").CommanderResolved<Toast.Toast | I18n | WithToast, never>;
 declare const RequestContextMap_base: (new () => {
     readonly config: {};
 }) & {
@@ -155,14 +155,14 @@ export declare const useClient: (options?: {
     messages?: Record<string, string> | Record<string, MessageFormatElement[]>;
     toasts: any[];
 }) => {
-    Command: import("../src/experimental/makeUseCommand.js").CommanderResolved<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), never>;
-    useCommand: () => import("../src/experimental/makeUseCommand.js").CommanderResolved<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), never>;
-    clientFor: <M extends import("effect-app/client").Requests>(m: M, queryInvalidation?: ((client: import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>) => import("../src/makeClient.js").QueryInvalidation<M>) | undefined) => { [Key in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>]: import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key] & import("../src/makeClient.js").RequestWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]> & {
-        mutate: import("../src/makeClient.js").MutationWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>;
-    } & import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>; } & {
-        helpers: { [Key_1 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_1>}Request`]: import("../src/makeClient.js").RequestWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_1]>; } & { [Key_2 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_2>}Mutation`]: import("../src/makeClient.js").MutationWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_2]>; } & { [Key_3 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_3>}Query`]: import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_3]>["query"]; } & { [Key_4 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_4>}SuspenseQuery`]: import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_4]>["suspense"]; };
+    Command: import("../src/experimental/makeUseCommand.js").CommanderResolved<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), never>;
+    useCommand: () => import("../src/experimental/makeUseCommand.js").CommanderResolved<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), never>;
+    clientFor: <M extends import("effect-app/client").Requests>(m: M, queryInvalidation?: ((client: import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>) => import("../src/makeClient.js").QueryInvalidation<M>) | undefined) => { [Key in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>]: import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key] & import("../src/makeClient.js").RequestWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]> & {
+        mutate: import("../src/makeClient.js").MutationWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>;
+    } & import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key]>; } & {
+        helpers: { [Key_1 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_1>}Request`]: import("../src/makeClient.js").RequestWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_1]>; } & { [Key_2 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_2>}Mutation`]: import("../src/makeClient.js").MutationWithExtensions<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_2]>; } & { [Key_3 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_3>}Query`]: import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_3]>["query"]; } & { [Key_4 in keyof import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]> as `${import("../src/makeClient.js").ToCamel<string & Key_4>}SuspenseQuery`]: import("../src/makeClient.js").Queries<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n)), import("effect-app/client").RequestHandlers<never, never, M, M["meta"]["moduleName"]>[Key_4]>["suspense"]; };
     };
-    legacy: import("../src/makeClient.js").Legacy<WithToast | (Commander | ApiClientFactory | LegacyMutation | (I18n | Toast.Toast))>;
+    legacy: import("../src/makeClient.js").Legacy<WithToast | (Commander | ApiClientFactory | LegacyMutation | (Toast.Toast | I18n))>;
 };
 export {};
 //# sourceMappingURL=stubs.d.ts.map

package/test/form-validation-errors.test.ts

@@ -1,158 +0,0 @@
-import { Effect, S } from "effect-app"
-import { buildFieldInfoFromFieldsRoot, translate } from "../src/form.js"
-
-// test schema with integer field
-class TestSchema extends S.Class<TestSchema>("TestSchema")({
-  integerField: S.Int,
-  numberField: S.Finite,
-  stringField: S.String
-}) {}
-
-// translation dictionaries
-const translations: Record<string, Record<string, string>> = {
-  en: {
-    "validation.integer.expected": "Expected an integer, actual {actualValue}",
-    "validation.number.expected": "Expected a number, actual {actualValue}"
-  },
-  de: {
-    "validation.integer.expected": "Es wird eine ganze Zahl erwartet, tatsächlich: {actualValue}",
-    "validation.number.expected": "Es wird eine Zahl erwartet, tatsächlich: {actualValue}"
-  }
-}
-
-// mock translate function to capture translation calls and return actual translated string
-const translationCalls: Array<{ id: string; defaultMessage: string; params?: any }> = []
-let currentLocale = "en"
-
-const mockTranslate = (msg: { id: string; defaultMessage: string }, params?: any) => {
-  translationCalls.push({ id: msg.id, defaultMessage: msg.defaultMessage, params })
-
-  // get the translation template
-  const template = translations[currentLocale]?.[msg.id] || msg.defaultMessage
-
-  // replace parameters in the template
-  if (params) {
-    return Object.entries(params).reduce((result, [key, value]) => {
-      return result.replace(`{${key}}`, String(value))
-    }, template)
-  }
-
-  return template
-}
-
-beforeEach(() => {
-  translationCalls.length = 0
-  currentLocale = "en"
-  translate.value = mockTranslate as any
-})
-
-it("validates integer field with decimal value (English)", () =>
-  Effect
-    .gen(function*() {
-      currentLocale = "en"
-      const fieldInfo = buildFieldInfoFromFieldsRoot(TestSchema)
-      const integerFieldInfo = fieldInfo.fields.integerField
-
-      expect(integerFieldInfo._tag).toBe("FieldInfo")
-      expect(integerFieldInfo.type).toBe("int")
-
-      // test validation rules with a decimal value
-      const result = integerFieldInfo.rules[1] ? integerFieldInfo.rules[1]("59.5") : undefined
-
-      console.log("Validation result (EN):", result)
-      console.log("Translation calls:", translationCalls)
-
-      // the validation should fail
-      expect(result).not.toBe(true)
-      expect(typeof result).toBe("string")
-
-      // check if the correct translation key was called
-      const integerErrorCall = translationCalls.find((call) => call.id === "validation.integer.expected")
-      expect(integerErrorCall).toBeDefined()
-      expect(integerErrorCall?.params).toHaveProperty("actualValue")
-      expect(integerErrorCall?.params.actualValue).toBe("59.5")
-
-      // MOST IMPORTANT: verify the actual translated string returned
-      expect(result).toBe("Expected an integer, actual 59.5")
-    })
-    .pipe(Effect.runPromise))
-
-it("validates integer field with decimal value (German)", () =>
-  Effect
-    .gen(function*() {
-      currentLocale = "de"
-      const fieldInfo = buildFieldInfoFromFieldsRoot(TestSchema)
-      const integerFieldInfo = fieldInfo.fields.integerField
-
-      expect(integerFieldInfo._tag).toBe("FieldInfo")
-      expect(integerFieldInfo.type).toBe("int")
-
-      // test validation rules with a decimal value
-      const result = integerFieldInfo.rules[1] ? integerFieldInfo.rules[1]("59.5") : undefined
-
-      console.log("Validation result (DE):", result)
-
-      // the validation should fail
-      expect(result).not.toBe(true)
-      expect(typeof result).toBe("string")
-
-      // MOST IMPORTANT: verify the actual German translated string returned
-      expect(result).toBe("Es wird eine ganze Zahl erwartet, tatsächlich: 59.5")
-    })
-    .pipe(Effect.runPromise))
-
-it("validates string field parsed as number", () =>
-  Effect
-    .gen(function*() {
-      const fieldInfo = buildFieldInfoFromFieldsRoot(TestSchema)
-      const stringFieldInfo = fieldInfo.fields.stringField
-
-      expect(stringFieldInfo._tag).toBe("FieldInfo")
-      expect(stringFieldInfo.type).toBe("text")
-
-      // test validation rules with a number that should fail string validation
-      const result = stringFieldInfo.rules[0] ? stringFieldInfo.rules[0]("123") : undefined
-
-      console.log("Validation result for string field:", result)
-
-      // string field should accept "123" as a valid string
-      expect(result).toBe(true)
-    })
-    .pipe(Effect.runPromise))
-
-it("validates integer field with valid integer", () =>
-  Effect
-    .gen(function*() {
-      const fieldInfo = buildFieldInfoFromFieldsRoot(TestSchema)
-      const integerFieldInfo = fieldInfo.fields.integerField
-
-      // test validation rules with a valid integer
-      const result = integerFieldInfo.rules[1] ? integerFieldInfo.rules[1]("42") : undefined
-
-      console.log("Validation result for valid integer:", result)
-
-      // the validation should pass
-      expect(result).toBe(true)
-    })
-    .pipe(Effect.runPromise))
-
-it("error message format matches regex pattern", () => {
-  // test the actual error message format from Effect Schema
-  const errorMessage = `Int
-└─ From side refinement failure
-   └─ Int
-      └─ Predicate refinement failure
-         └─ Expected an integer, actual 59.5`
-
-  const integerMatch = errorMessage.match(/Expected.*integer.*actual\s+(.+)/i)
-  expect(integerMatch).toBeTruthy()
-  expect(integerMatch![1]).toBe("59.5")
-
-  const numberErrorMessage = `Number
-└─ Type side transformation failure
-   └─ Expected a number, actual "not-a-number"`
-
-  const numberMatch = numberErrorMessage.match(/Expected.*number.*actual\s+(.+)/i)
-  expect(numberMatch).toBeTruthy()
-  expect(numberMatch![1]).toBe("\"not-a-number\"")
-})

package/test/form.test.ts

@@ -1,261 +0,0 @@
-import { Effect, S } from "effect-app"
-import { buildFieldInfoFromFieldsRoot, type DiscriminatedUnionFieldInfo, type FieldInfo, type NestedFieldInfo, type UnionFieldInfo } from "../src/form.js"
-
-export class NestedSchema extends S.Class<NestedSchema>("NestedSchema")({
-  shallow: S.String,
-  nested: S.Struct({
-    deep: S.NonEmptyString,
-    nested: S.Struct({
-      deepest: S.Finite
-    })
-  }),
-  age: S.Struct({ nfs: S.FiniteFromString.pipe(S.decodeTo(S.PositiveInt)) })
-}) {}
-
-export class SchemaContainsClass extends S.Class<SchemaContainsClass>("SchemaContainsClass")({
-  inner: NestedSchema
-}) {}
-
-export class UnionSchema extends S.Class<UnionSchema>("UnionSchema")({
-  generalUnion: S.Union([S.String, S.Struct({ unionNested: NestedSchema })]),
-  structsUnion: S.Union([NestedSchema, SchemaContainsClass]),
-  optional: S.optional(S.String),
-  nullable: S.NullOr(S.String)
-}) {}
-
-class Circle extends S.TaggedClass<Circle>()("Circle", {
-  radius: S.PositiveInt
-}) {}
-
-class Square extends S.TaggedClass<Square>()("Square", {
-  sideLength: S.PositiveInt
-}) {}
-
-class Triangle extends S.TaggedClass<Triangle>()("Triangle", {
-  base: S.PositiveInt,
-  height: S.Finite
-}) {}
-
-const CircleStruct = S.Struct({
-  _tag: S.Literal("CircleStruct"),
-  radius: S.PositiveInt
-})
-
-const SquareStruct = S.Struct({
-  _tag: S.Literal("SquareStruct"),
-  sideLength: S.PositiveInt
-})
-
-const TriangleStruct = S.Struct({
-  _tag: S.Literal("TriangleStruct"),
-  base: S.PositiveInt,
-  height: S.Finite
-})
-
-const ShapeWithStructs = S.Union([CircleStruct, SquareStruct, TriangleStruct])
-const ShapeWithClasses = S.Union([Circle, Square, Triangle])
-
-export class ShapeContainer extends S.Class<ShapeContainer>("ShapeContainer")({
-  shapeWithStruct: ShapeWithStructs,
-  shapeWithClasses: ShapeWithClasses
-}) {}
-
-function testFieldInfo<T>(fi: FieldInfo<T>) {
-  expect(fi).toBeInstanceOf(Object)
-  expect(fi._tag).toBe("FieldInfo")
-  expect(["text", "float", "int"]).toContain(fi.type)
-  expect(fi.rules).toBeInstanceOf(Array)
-  fi.rules.forEach((r) => {
-    expect(r).toBeInstanceOf(Function)
-  })
-  expect(fi.metadata).toBeInstanceOf(Object)
-  expect(fi.metadata.maxLength === void 0 || typeof fi.metadata.maxLength === "number").toBeTruthy()
-  expect(fi.metadata.minLength === void 0 || typeof fi.metadata.minLength === "number").toBeTruthy()
-  expect(typeof fi.metadata.required === "boolean").toBeTruthy()
-}
-
-function testUnionFieldInfo<T>(ufi: UnionFieldInfo<T[]>) {
-  expect(ufi).toBeInstanceOf(Object)
-  expect(ufi._tag).toBe("UnionFieldInfo")
-  expect(ufi.members).toBeInstanceOf(Array)
-  ufi.members.forEach(
-    (
-      i: any
-    ) => {
-      switch (i._tag) {
-        case "FieldInfo":
-          testFieldInfo(i as FieldInfo<any>)
-          break
-        case "NestedFieldInfo":
-          testNestedFieldInfo(i as NestedFieldInfo<any>)
-          break
-        case "UnionFieldInfo":
-          testUnionFieldInfo(i as UnionFieldInfo<any>)
-          break
-        case "DiscriminatedUnionFieldInfo":
-          testDiscriminatedUnionFieldInfo(i as DiscriminatedUnionFieldInfo<any>)
-          break
-      }
-    }
-  )
-}
-
-function testNestedFieldInfo<T extends Record<PropertyKey, any>>(nfi: NestedFieldInfo<T>) {
-  expect(nfi).toBeInstanceOf(Object)
-  expect(nfi._tag).toBe("NestedFieldInfo")
-  expect(nfi.fields).toBeInstanceOf(Object)
-
-  // remove the value of _infoTag from the object when it is undefined
-  // when it isn't undefined, the followin switch will ignore it
-  Object.values(nfi).filter(Boolean).forEach(
-    (
-      i: any
-    ) => {
-      switch (i._tag) {
-        case "FieldInfo":
-          testFieldInfo(i as FieldInfo<any>)
-          break
-        case "NestedFieldInfo":
-          testNestedFieldInfo(i as NestedFieldInfo<any>)
-          break
-        case "UnionFieldInfo":
-          testUnionFieldInfo(i as UnionFieldInfo<any>)
-          break
-        case "DiscriminatedUnionFieldInfo":
-          testDiscriminatedUnionFieldInfo(i as DiscriminatedUnionFieldInfo<any>)
-          break
-      }
-    }
-  )
-}
-
-function testDiscriminatedUnionFieldInfo<T extends Record<PropertyKey, any>>(dufi: DiscriminatedUnionFieldInfo<T>) {
-  expect(dufi).toBeInstanceOf(Object)
-  expect(dufi._tag).toBe("DiscriminatedUnionFieldInfo")
-  expect(dufi.members).toBeInstanceOf(Object)
-
-  Object.values(dufi.members).forEach(
-    (
-      i: any
-    ) => {
-      switch (i._tag) {
-        case "FieldInfo":
-          testFieldInfo(i as FieldInfo<any>)
-          break
-        case "NestedFieldInfo":
-          testNestedFieldInfo(i as NestedFieldInfo<any>)
-          break
-        case "UnionFieldInfo":
-          testUnionFieldInfo(i as UnionFieldInfo<any>)
-          break
-        case "DiscriminatedUnionFieldInfo":
-          testDiscriminatedUnionFieldInfo(i as DiscriminatedUnionFieldInfo<any>)
-          break
-      }
-    }
-  )
-}
-
-it("buildFieldInfo", () =>
-  Effect
-    .gen(function*() {
-      const nestedFieldinfo = buildFieldInfoFromFieldsRoot(NestedSchema)
-      expectTypeOf(nestedFieldinfo).toEqualTypeOf<NestedFieldInfo<NestedSchema>>()
-      expectTypeOf(nestedFieldinfo.fields.shallow).toEqualTypeOf<FieldInfo<string>>()
-      expectTypeOf(nestedFieldinfo.fields.age).toEqualTypeOf<NestedFieldInfo<NestedSchema["age"]>>()
-      // TODO: v4 migration - type inference changed with S.decodeTo, investigate if this is correct
-      // expectTypeOf(nestedFieldinfo.fields.age.fields.nfs).toEqualTypeOf<FieldInfo<number & S.PositiveIntBrand>>()
-      expectTypeOf(nestedFieldinfo.fields.nested).toEqualTypeOf<NestedFieldInfo<NestedSchema["nested"]>>()
-      expectTypeOf(nestedFieldinfo.fields.nested.fields.deep).toEqualTypeOf<FieldInfo<string & S.NonEmptyStringBrand>>()
-      expectTypeOf(nestedFieldinfo.fields.nested.fields.nested).toEqualTypeOf<
-        NestedFieldInfo<NestedSchema["nested"]["nested"]>
-      >()
-      expectTypeOf(nestedFieldinfo.fields.nested.fields.nested.fields.deepest).toEqualTypeOf<FieldInfo<number>>()
-
-      // it's a recursive check on actual runtime structure
-      testNestedFieldInfo(nestedFieldinfo)
-      testNestedFieldInfo(nestedFieldinfo.fields.nested)
-      testNestedFieldInfo(nestedFieldinfo.fields.age)
-    })
-    .pipe(Effect.runPromise))
-
-it("buildFieldInfo schema containing class", () =>
-  Effect
-    .gen(function*() {
-      const fieldinfo = buildFieldInfoFromFieldsRoot(SchemaContainsClass)
-
-      // the type system says that these are NestedFieldInfo<NestedSchema>s
-      // are they really? let's check
-      testNestedFieldInfo(fieldinfo.fields.inner)
-      testNestedFieldInfo(fieldinfo.fields.inner.fields.nested.fields.nested)
-    })
-    .pipe(Effect.runPromise))
-
-it("buildFieldInfo with simple union", () =>
-  Effect
-    .gen(function*() {
-      const unionFieldinfo = buildFieldInfoFromFieldsRoot(UnionSchema)
-      expectTypeOf(unionFieldinfo).toEqualTypeOf<NestedFieldInfo<UnionSchema>>()
-      expectTypeOf(unionFieldinfo.fields.nullable).toEqualTypeOf<
-        FieldInfo<string | null>
-      >()
-      expectTypeOf(unionFieldinfo.fields.optional).toEqualTypeOf<
-        FieldInfo<string | undefined>
-      >()
-      expectTypeOf(unionFieldinfo.fields.structsUnion).toEqualTypeOf<
-        UnionFieldInfo<(NestedFieldInfo<NestedSchema> | NestedFieldInfo<SchemaContainsClass>)[]>
-      >()
-      expectTypeOf(unionFieldinfo.fields.generalUnion).toEqualTypeOf<
-        FieldInfo<
-          string | {
-            readonly unionNested: NestedSchema
-          }
-        >
-      >
-
-      // it's a recursive check on actual runtime structure
-      testNestedFieldInfo(unionFieldinfo)
-      testFieldInfo(unionFieldinfo.fields.nullable)
-      testFieldInfo(unionFieldinfo.fields.optional)
-      console.log({ asd: unionFieldinfo.fields.structsUnion })
-      testUnionFieldInfo(unionFieldinfo.fields.structsUnion)
-      testFieldInfo(unionFieldinfo.fields.generalUnion)
-    })
-    .pipe(Effect.runPromise))
-
-it("buildFieldInfo with tagged unions", () =>
-  Effect
-    .gen(function*() {
-      const shapeFieldinfo = buildFieldInfoFromFieldsRoot(ShapeContainer)
-
-      // check at runtime if the structure is really an union
-      testDiscriminatedUnionFieldInfo(shapeFieldinfo.fields.shapeWithClasses)
-      testDiscriminatedUnionFieldInfo(shapeFieldinfo.fields.shapeWithStruct)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Square)
-      expect(shapeFieldinfo.fields.shapeWithClasses.members.Square._infoTag).toBe("Square")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Square.fields.sideLength)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Triangle)
-      expect(shapeFieldinfo.fields.shapeWithClasses.members.Triangle._infoTag).toBe("Triangle")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Triangle.fields.base)
-      testFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Triangle.fields.height)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Circle)
-      expect(shapeFieldinfo.fields.shapeWithClasses.members.Circle._infoTag).toBe("Circle")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithClasses.members.Circle.fields.radius)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.SquareStruct)
-      expect(shapeFieldinfo.fields.shapeWithStruct.members.SquareStruct._infoTag).toBe("SquareStruct")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.SquareStruct.fields.sideLength)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.TriangleStruct)
-      expect(shapeFieldinfo.fields.shapeWithStruct.members.TriangleStruct._infoTag).toBe("TriangleStruct")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.TriangleStruct.fields.base)
-      testFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.TriangleStruct.fields.height)
-
-      testNestedFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.CircleStruct)
-      expect(shapeFieldinfo.fields.shapeWithStruct.members.CircleStruct._infoTag).toBe("CircleStruct")
-      testFieldInfo(shapeFieldinfo.fields.shapeWithStruct.members.CircleStruct.fields.radius)
-    })
-    .pipe(Effect.runPromise))