Intersection across multiple types/keys

[radiant kettle]

Is there any way to the get the final availableAndPrimary object in this Playground to require both the availableDate and primaryKey keys using the All type?

I've tried various combinations of Unions/Intersections to solve this, but none have worked for every case.

[silk osprey]

andjsrk#0

Playground Link

Preview:```ts
type Status = "Available" | "Unavailable" | "Other"
type Type = "Primary" | "Secondary" | "Tertiary"

type Base = {
name: string
status: Exclude<Status, "Available"> // Since Available has its own 'type'
type: Exclude<Type, "Primary"> // Since Type has its own 'type
...```

You can choose specific lines to embed by selecting them before copying the link.

[outer tinsel]

the point is that making the union "exclusive" so they cannot overlap at all

so i Exclude-ed some cases like in Base

[grave mantle]

Personally here's how I'd approach it:

// Common fields, not part of any union
type Base = { name: string; }

// Status field and fields controlled by it
type StatusUnion = {
  status: "Available",
  availableDate: string;
} | { status: "Unavailable" | "Other"}

// Type field and fields controlled by it
type TypeUnion = {
  type: "Primary",
  primaryKey: string
} | { type: "Secondary" | "Tertiary" }

type All = Base & StatusUnion & TypeUnion;

type Status = All["status"];
type Type = All["type"];

[silk osprey]

retsam19#0

Playground Link

[grave mantle]

This makes a discriminated union for each part of the object that's controlled by a particular property, and then intersects them together.