少なくとも1つのプロパティを持つ必要があるオブジェクトのフロータイプを定義する方法は？

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です。

少なくとも1つのプロパティを持つ必要があるオブジェクトのフロータイプを定義するにはどうすればよいですか？

Answer 1

私はこれを行う方法を考え出した唯一の方法はunionexactのオブジェクト使用されます。記録のために

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