UNPKG

@prelude/function

Version:

Function module.

5 lines (4 loc) 319 B
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;