Type

Type<F> = Types.UnionToIntersection<{ [K in keyof F]: F[K] extends OptionalTypePropertySignature ? { readonly [H in K]?: Type<F[H]> } : { readonly [h in K]: Type<F[h]> } }[keyof F]> extends infer Q ? Q : never

Defined in: node_modules/.pnpm/effect@3.15.2/node_modules/effect/dist/dts/Schema.d.ts:1243

Type Parameters

F

F extends Fields

Since

3.10.0