OrAll

import type {OrAll} from 'type-fest';

type FFT = OrAll<[false, false, true]>;
//=> true

type FFF = OrAll<[false, false, false]>;
//=> false

Note: When boolean is passed as an element, it is distributed into separate cases, and the final result is a union of those cases. For example, OrAll<[false, boolean]> expands to OrAll<[false, true]> | OrAll<[false, false]>, which simplifies to true | false (i.e., boolean).

import type {OrAll} from 'type-fest';

type FFT = OrAll<[false, false, true]>;
//=> true

type FFF = OrAll<[false, false, false]>;
//=> false

Note: When boolean is passed as an element, it is distributed into separate cases, and the final result is a union of those cases. For example, OrAll<[false, boolean]> expands to OrAll<[false, true]> | OrAll<[false, false]>, which simplifies to true | false (i.e., boolean).

import type {OrAll} from 'type-fest';

type A = OrAll<[false, boolean]>;
//=> boolean

type B = OrAll<[true, boolean]>;
//=> true

Note: If never is passed as an element, it is treated as false and the result is computed accordingly.

import type {OrAll} from 'type-fest';

type A = OrAll<[false, boolean]>;
//=> boolean

type B = OrAll<[true, boolean]>;
//=> true

Note: If never is passed as an element, it is treated as false and the result is computed accordingly.

import type {OrAll} from 'type-fest';

type A = OrAll<[never, never, true]>;
//=> true

type B = OrAll<[never, never, false]>;
//=> false

type C = OrAll<[never, never, never]>;
//=> false

type D = OrAll<[never, never, boolean]>;
//=> boolean

Note: If any is passed as an element, it is treated as boolean and the result is computed accordingly.

import type {OrAll} from 'type-fest';

type A = OrAll<[never, never, true]>;
//=> true

type B = OrAll<[never, never, false]>;
//=> false

type C = OrAll<[never, never, never]>;
//=> false

type D = OrAll<[never, never, boolean]>;
//=> boolean

Note: If any is passed as an element, it is treated as boolean and the result is computed accordingly.

import type {OrAll} from 'type-fest';

type A = OrAll<[false, any]>;
//=> boolean

type B = OrAll<[true, any]>;
//=> true

Note: OrAll<[]> evaluates to false because there are no true elements in an empty tuple. See [Wikipedia: Clause (logic)  Empty clauses](https://en.wikipedia.org/wiki/Clause_(logic)#Empty_clauses:~:text=The%20truth%20evaluation%20of%20an%20empty%20disjunctive%20clause%20is%20always%20false.).

import type {OrAll} from 'type-fest';

type A = OrAll<[false, any]>;
//=> boolean

type B = OrAll<[true, any]>;
//=> true

Note: OrAll<[]> evaluates to false because there are no true elements in an empty tuple. See [Wikipedia: Clause (logic)  Empty clauses](https://en.wikipedia.org/wiki/Clause_(logic)#Empty_clauses:~:text=The%20truth%20evaluation%20of%20an%20empty%20disjunctive%20clause%20is%20always%20false.).