Type Alias VariantCheck<Entry, By, Variants, K>

VariantCheck: K extends TagsOf<Entry, By>
    ? [EntryVariant<Entry, By, K>] extends [ScreenInputOf<Variants[K]>]
        ? [DuplicateIdOf<Variants, K>] extends [never]
            ? ScreenItemMember
            : {
                "another definition of this table has the same id": DuplicateIdOf<
                    Variants,
                    K,
                >;
            }
        : {
            "the entries of this value are not the item input": EntryVariant<
                Entry,
                By,
                K,
            >;
        }
    : "no entry carries this value of the discriminant"

The check of one variant of a table: its value is carried by an entry, its entries are its input, its id is its own.

Type Parameters

Entry
By extends PropertyKey
Variants
K extends keyof Variants

Type Alias VariantCheck<Entry, By, Variants, K>

Type Parameters

Settings