@prelude/function
Version:
Function module.
5 lines (4 loc) • 319 B
TypeScript
export declare type Guard<T, U extends T> = (a: T) => a is U;
export declare type Predicate<T> = (value: T) => boolean;
export declare type Predicate2<T> = (a: T, b: T) => boolean;
export declare type IntersectionOfUnion<T> = (T extends unknown ? (_: T) => unknown : never) extends (_: infer R) => unknown ? R : never;