Typetypesv0.4.0

TypedExtract

Type-safe version of Extract that ensures the extracted types are valid members

type TypedExtract<Target, UnionKeys extends Target> = Extract<
    Target,
    UnionKeys
>;

type TypedExtract<Target, UnionKeys extends Target> = Extract<
    Target,
    UnionKeys
>;

type Example = 'a' | 'b' | 'c';
type Result = TypedExtract<Example, 'b' | 'c'>; // Result: 'b' | 'c'

type Example = 'a' | 'b' | 'c';
type Result = TypedExtract<Example, 'b' | 'c'>; // Result: 'b' | 'c'

The union type to extract from

Target

Target

The types to extract from the union

UnionKeys extends Target

UnionKeys extends Target

Typetypesv0.4.0

Type-safe version of Extract that ensures the extracted types are valid members

type TypedExtract<Target, UnionKeys extends Target> = Extract<
    Target,
    UnionKeys
>;

type TypedExtract<Target, UnionKeys extends Target> = Extract<
    Target,
    UnionKeys
>;

type Example = 'a' | 'b' | 'c';
type Result = TypedExtract<Example, 'b' | 'c'>; // Result: 'b' | 'c'

type Example = 'a' | 'b' | 'c';
type Result = TypedExtract<Example, 'b' | 'c'>; // Result: 'b' | 'c'

The union type to extract from

Target

Target

The types to extract from the union

UnionKeys extends Target

UnionKeys extends Target