PokéRogue
    Preparing search index...

    Type Alias AndAll<T>

    AndAll: AllExtend<T, true>

    Returns a boolean for whether all of the given elements are true.

    Use-cases:

    • Check if all conditions in a list of booleans are met.

    Type Parameters

    • T extends readonly boolean[]
    import type {AndAll} from 'type-fest';

    type TTT = AndAll<[true, true, true]>;
    //=> true

    type TTF = AndAll<[true, true, false]>;
    //=> false

    type TFT = AndAll<[true, false, true]>;
    //=> 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, AndAll<[true, boolean]> expands to AndAll<[true, true]> | AndAll<[true, false]>, which simplifies to true | false (i.e., boolean).

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

    type A = AndAll<[true, boolean]>;
    //=> boolean

    type B = AndAll<[false, boolean]>;
    //=> false

    Note: If any of the elements is never, the result becomes false.

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

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

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

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

    type D = AndAll<[boolean, true, never]>;
    //=> false

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

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

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

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

    Note: AndAll<[]> evaluates to true due to the concept of vacuous truth, i.e., there are no false elements in an empty tuple.