使用 IO-TS 将 JS 字符串数组转换为联合

Question

我正在使用 io-ts，我想知道是否有办法将字符串数组（文字）转换为此类文字的并集。例如：

export const CONTROLS = [
  "section",
  "text",
  "richtext",
  "number",
];

export const ControlType = t.union(
  // What to do here? Is this even possible? This is what came to mind but it's obviously wrong.
  // CONTROL_TYPES.map((type: string) => t.literal(type))
);

我不知道这是否可行，但考虑到 io-ts 只是 JS 函数，我不明白为什么不可以。我就是不知道怎么办。

这种情况下的最终结果应该是（使用 io-ts）：

export const ControlType = t.union(
  t.literal("section"),
  t.literal("text"),
  t.literal("richtext"),
  t.literal("number"),
);

Answer 1

io-ts 正式建议使用 keyof 以获得更好的字符串文字联合性能。值得庆幸的是，这也使这个问题更容易解决：

export const CONTROLS = [
    "section",
    "text",
    "richtext",
    "number",
] as const;

function keyObject<T extends readonly string[]>(arr: T): { [K in T[number]]: null } {
    return Object.fromEntries(arr.map(v => [v, null])) as any
}

const ControlType = t.keyof(keyObject(CONTROLS))

使用 IO-TS 将 JS 字符串数组转换为联合

Transform a JS array of strings into a union with IO-TS

javascript

typescript

fp-ts