optimize value type infer for Validatable (#67)

src/types.spec.ts

@@ -0,0 +1,18 @@
+import { Validatable, ValueOf } from './types'
+
+// https://stackoverflow.com/questions/68961864/how-does-the-equals-work-in-typescript/68963796#68963796
+export type Equal<X, Y> = (
+  (<T>() => T extends X ? 1 : 2) extends
+  (<T>() => T extends Y ? 1 : 2)
+  ? true
+  : false
+)
+
+function assertEqual<T, S>(..._args: Equal<T, S> extends true ? [] : [never]) {}
+
+describe('ValueOf', () => {
+  it('should work well with Validatable', () => {
+    const a = {} as Validatable<string>
+    assertEqual<ValueOf<typeof a>, string>()
+  })
+})

src/types.ts

@@ -92,7 +92,15 @@ export type ValueOfFields<Fields> = (
 export type ValueOf<State> = (
   State extends FormState<infer Fields>
   ? ValueOfFields<Fields>
-  : ValueOfFieldState<State>
+  : (
+    State extends FieldState<infer V>
+    ? V
+    : (
+      State extends Validatable<unknown, infer V>
+      ? V
+      : never
+    )
+  )
 )
 
 /** Validate status. */