949 - AnyOf

[gxy01]

type Bool<T>=T extends 1 ?true:
                  T extends string? T extends ''?false:true:
                  T extends boolean ? T:
                  T extends any[] ? (T['length'] extends 0? false:true):
                  T extends object ? (keyof T extends never? false:true):
                  false;

type AnyOf<T extends readonly any[]> = T extends [infer R,...infer Rest]? (Bool<R> extends true?true:AnyOf<Rest>):false;

[MrJumpShot]

Nice

[xianshenglu]

Well, add another way to validate empty array and object.

// type IsArrayEmpty<T extends []> = T["length"] extends 0 ? true : false
// type IsObjectEmpty<T extends {}> = keyof T extends never ? true : false

type IsArrayEmpty<T extends []> = T extends [] ? true : false
type IsObjectEmpty<T extends {}> = T extends { [key: string]: never } ? true : false