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

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。

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

Answer 1

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

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