export type WorkbenchLaneDateKey = "today" | "tomorrow" | "dayAfterTomorrow";
export type WorkbenchLaneFloor = "2/F" | "4/F";

/** Tab 0/1 lane assignment filters — lifted to DoWorkbenchTabs so they survive tab switches. */
export type WorkbenchLanePanelPrefs = {
  selectedDate: WorkbenchLaneDateKey;
  ticketFloor: WorkbenchLaneFloor;
  releaseType: string;
};

export const DEFAULT_WORKBENCH_LANE_PANEL_PREFS: WorkbenchLanePanelPrefs = {
  selectedDate: "today",
  ticketFloor: "2/F",
  releaseType: "batch",
};

export function isWorkbenchLaneDateKey(v: string): v is WorkbenchLaneDateKey {
  return v === "today" || v === "tomorrow" || v === "dayAfterTomorrow";
}

export function isWorkbenchLaneFloor(v: string): v is WorkbenchLaneFloor {
  return v === "2/F" || v === "4/F";
}
