将 Flow/TypeScript JavaScript object 值类型转换为不可为空

Question

我有以下类型

type MyObject = $ReadOnly<{
  foo: ?number,
  bar: ?number,
  baz: ?number,
}>;

我想将所有值转换为不可为空的，例如；

type MyNonNullValuesObject = $ReadOnly<{
  foo: number,
  bar: number,
  baz: number,
}>;

在不重复所有键的情况下，在 Flow 中这样做的好方法是什么？ 我希望在这里使用$NonMaybeType<T>实用程序来帮助我。

Answer 1

在 typescript 中，这将是：

type MyObject = Readonly<{
  foo: number | null,
  bar: number | null,
  baz: number | null,
}>;

type NonNullableObject<T> = { [K in keyof T]: NonNullable<T[K]> };

type MyNonNullableObject = NonNullableObject<MyObject>;

使用NonNullable实用程序映射类型。

操场

Answer 2

Flow 提供了一个$ObjMap实用程序类型，您可以将其用于 map 的值，并通过$NonMaybeType将它们转换为不可为空的值。

type MyObject = $ReadOnly<{
  foo: ?number,
  bar: ?number,
  baz: ?number,
}>;

type NonMaybeValueType = <V>(V) => $NonMaybeType<V>;
type MyNonNullValuesObject = $ObjMap<MyObject, NonMaybeValueType>;