sylvaindethier · April 19, 2024 16:15
diff --git a/Refine.d.ts b/Refine.d.ts
 /**
 * Refine a Type
 * @example
 * ```ts
 * type Refined = Refine<{ foo: string, bar: unknown[] }, { foo: `${number}` }>
 * //   ^? { foo: `${number}`, bar: unknown[] }
 * ```
 */
 export type Refine<T, P extends Partial<T>> = {
  [k in keyof T]: T[k] & P[k];
 };
	/**
	* Refine a Type
	* @example
	* ```ts
	* type Refined = Refine<{ foo: string, bar: unknown[] }, { foo: `${number}` }>
	* // ^? { foo: `${number}`, bar: unknown[] }
	* ```
	*/
	export type Refine<T, P extends Partial<T>> = {
	[k in keyof T]: T[k] & P[k];
	};