javascript - 如何为必须至少具有一个属性的对象定义流类型？

Question

我有以下对象声明:

type QueryQuantifierType = {
  +max?: number,
  +min?: number,
  +multiple?: boolean
};

它允许:

{
  min: 1
}

{
  max: 1
}

{
  max: 1,
  min: 1
}

{
  min: 1,
  multiple: true
}

{
  max: 1,
  multiple: true
}

这些是有效值。

然而，问题是它也permits an empty object .

如何为必须至少具有其中一个属性的对象定义流类型？

Answer 1

我想出如何做到这一点的唯一方法是使用 union的 exact对象:

type QuantifierType =
  {|
    +max: number,
    +min?: number,
    +multiple?: boolean
  |} |
  {|
    +max?: number,
    +min: number,
    +multiple?: boolean
  |} |
  {|
    +max?: number,
    +min?: number,
    +multiple: boolean
  |};