Function makeLens

Type Parameters

• Type extends ZodType<unknown, unknown, $ZodTypeInternals<unknown, unknown>>
• $ extends
      | Proxy_object<
          [Type["_output"], Type<Type>["_zod"]["def"]["shape"]],
          [],
      >
      | Proxy_optional<
          Type["_output"],
          Type<Type>["_zod"]["def"]["innerType"],
          [typeof symbol.optional],
      >
      | Proxy_tuple<Type["_output"], Type<Type>["_zod"]["def"]["items"], []>
      | Proxy_union<
          Type["_output"],
          Type<Type>["_zod"]["def"]["options"],
          [union: typeof symbol.union],
      >
      | Proxy_disjointUnion<
          (
              (...)[(...)][number]["_zod"]["def"]["shape"][keyof (...)[(...)]["_zod"]["def"]["shape"]]["_output"] extends (
                  ...
              )[(...)][number]["_zod"]["def"]["shape"][keyof (...)[(...)]["_zod"]["def"]["shape"]]["_output"]
                  ? [
                      (...)[(...)]["_zod"]["def"]["shape"][keyof (...)[(...)]["def"]["shape"]]["_output"],
                      Extract<
                          (...)[(...)][number]["_zod"]["def"]["shape"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              { _output: (...)[(...)][keyof (...)]["_output"] },
                          >,
                      >,
                      Extract<
                          Type["_output"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              (...)[(...)]["shape"][keyof (...)[(...)]]["_output"],
                          >,
                      >,
                      keyof (...)[(...)][number]["_zod"]["def"]["shape"],
                  ]
                  : never
          )[2],
          {
              [M in
                  | [
                      (...)[(...)]["_zod"]["def"]["shape"][string]["_output"],
                      Extract<
                          (...)[(...)][number]["_zod"]["def"]["shape"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              { _output: (...)[(...)][string]["_output"] },
                          >,
                      >,
                      Extract<
                          Type["_output"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              (...)[(...)]["shape"][string]["_output"],
                          >,
                      >,
                      keyof (...)[(...)][number]["_zod"]["def"]["shape"],
                  ]
                  | [
                      (...)[(...)]["_zod"]["def"]["shape"][number]["_output"],
                      Extract<
                          (...)[(...)][number]["_zod"]["def"]["shape"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              { _output: (...)[(...)][number]["_output"] },
                          >,
                      >,
                      Extract<
                          Type["_output"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              (...)[(...)]["shape"][number]["_output"],
                          >,
                      >,
                      keyof (...)[(...)][number]["_zod"]["def"]["shape"],
                  ]
                  | [
                      (...)[(...)]["_zod"]["def"]["shape"][symbol]["_output"],
                      Extract<
                          (...)[(...)][number]["_zod"]["def"]["shape"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              { _output: (...)[(...)][symbol]["_output"] },
                          >,
                      >,
                      Extract<
                          Type["_output"],
                          Record<
                              keyof (...)[(...)]["def"]["shape"],
                              (...)[(...)]["shape"][symbol]["_output"],
                          >,
                      >,
                      keyof (...)[(...)][number]["_zod"]["def"]["shape"],
                  ] as `ꖛ${M[0]}`]: Proxy_object<
                  [M[2], { [K in string | number | symbol]: M[1][K] }],
                  [
                      disjoint: typeof symbol.disjoint,
                      (
                          (...)[(...)]["shape"][keyof (...)[(...)]]["_output"] extends (...)[(
                              ...
                          )]["shape"][keyof (...)[(...)]]["_output"]
                              ? [
                                  (...)[(...)][keyof (...)]["_output"],
                                  Extract<
                                      (...)[(...)]["shape"],
                                      Record<keyof (...), { _output: ... }>,
                                  >,
                                  Extract<Type["_output"], Record<keyof (...), (...)[(...)]>>,
                                  keyof (...)[(...)]["shape"],
                              ]
                              : never
                      )[3],
                      M[0],
                  ],
              >
          },
          [disjoint: typeof symbol.disjoint],
      >
      | Proxy_array<
          Type["_output"],
          Type<Type>["_zod"]["def"]["element"],
          [typeof symbol.array],
      >
      | Proxy_finiteRecord<
          Type["_output"],
          [Type<Type>["keyType"], Type<Type>["valueType"]],
          [finiteRecord: typeof symbol.record],
      >
      | Proxy_nonfiniteRecord<
          Type["_output"],
          [Type<Type>["keyType"], Type<Type>["valueType"]],
          [nonfiniteRecord: typeof symbol.record],
      >
      | Proxy_set<
          Type["_output"],
          Type<Type> extends $ZodSet<V> ? V : never,
          [typeof symbol.set],
      >
      | Proxy_primitive<Type["_output"], []>
• Target