Type Alias AllDisjoint<First, Rest>`Protected`

AllDisjoint: Rest extends [infer Head, ...(infer Tail)]
    ? [Head] extends [string]
        ? [First & Head] extends [never]
            ? AllDisjoint<First, Tail extends string[] ? Tail : []>
            : { __error__: `overlaps on ${First}` }
        : true
    : true

Returns true if there is no intersection between First the elements of Rest.

Type Parameters

First extends string
A string type
Rest extends string[]
A tuple of string types

Returns

true if there is no intersection between First the elements of Rest, otherwise a custom error type.

Example

type ReturnsTrue = AllDisjoint<'a', ['b' | 'c', 'd']>;
// true

type ReturnsError = AllDisjoint<'c', ['b' | 'c', 'c']>;
// { __error__: 'overlaps on c' }

Type Alias AllDisjoint<First, Rest>Protected

Type Parameters

Returns

Example

Settings

Type Alias AllDisjoint<First, Rest>`Protected`