san Comments - Answer Overflow

san

Explore posts from servers

CDCloudflare Developers Aarktype DTDrizzle Team

Posts Comments

CDCloudflare Developers

•Created by san on 4/17/2025 in #durable-objects

CVEs

ahh I'm talking about AI agent generated code, thats why I mentioned MCP server

5 replies

Aarktype

•Created by san on 4/7/2025 in #questions

Is there a way to "deep" require a type?

I somehow came up with this monstrosity which seems to work (and I barely understand how lol):

function deepRequired<o extends type<object>>(
  o: o
): type<RecursiveRequired<o["t"]>>;
function deepRequired(o: type<Record<string, unknown> | unknown[]>): unknown {
  if (o.extends("Array")) {
    return o
      .select({
        kind: "sequence",
        method: "assertFind",
        boundary: "shallow",
      })
      .variadic?.map((prop) =>
        prop.value.extends("object")
          ? ({
              ...prop,
              kind: "required",
              value: deepRequired(prop.value as never),
            } as never)
          : { ...prop, kind: "required" }
      )
      .array();
  }
  return o.map((prop) =>
    prop.value.extends("object")
      ? {
          ...prop,
          kind: "required",
          value: deepRequired(prop.value as never),
        }
      : { ...prop, kind: "required" }
  );
}

function deepRequired<o extends type<object>>(
  o: o
): type<RecursiveRequired<o["t"]>>;
function deepRequired(o: type<Record<string, unknown> | unknown[]>): unknown {
  if (o.extends("Array")) {
    return o
      .select({
        kind: "sequence",
        method: "assertFind",
        boundary: "shallow",
      })
      .variadic?.map((prop) =>
        prop.value.extends("object")
          ? ({
              ...prop,
              kind: "required",
              value: deepRequired(prop.value as never),
            } as never)
          : { ...prop, kind: "required" }
      )
      .array();
  }
  return o.map((prop) =>
    prop.value.extends("object")
      ? {
          ...prop,
          kind: "required",
          value: deepRequired(prop.value as never),
        }
      : { ...prop, kind: "required" }
  );
}