mirror of
https://github.com/rr-/pq-cli.git
synced 2026-11-12 22:40:36 -07:00
Dash
fd4a7d151d
Curses screens, windows and pads are typed as curses.window, and the widgets that may get no parent window take curses.window | None. - EventHandler is generic over a ParamSpec, so each handler declares the arguments it passes, and MenuView is generic over the item its on_confirm hands out. Choice callbacks take no arguments. - Scrollable is generic over its items, which DataTable and ListBox fix to tuple[str, str] and str. - random.choice() and choice_low() are generic over the sequence, so the casts at their call sites are gone. BasicUserInterface.menu() and util.first() are generic too. - Signal callbacks and their payloads are Callable[..., object] and object, since emit() only forwards them. - JSON values in game_data are object and narrowed by isinstance, and data files are Traversable. - Signal handlers take an int and a FrameType | None, and list_players() takes a TextIO. - The focus_standout() context managers return Generator[None, None, None]. Any remains in three places: Player.__setstate__, whose pickled __dict__ holds values of every type; Focusable.__init__, a mixin that passes *args and **kwargs through to the next class; and the values load_game_data() collects, whose element type depends on the field each one fills.
38 lines
902 B
Python
38 lines
902 B
Python
import curses
|
|
import curses.ascii
|
|
from collections.abc import Callable, Iterable
|
|
from dataclasses import dataclass
|
|
from typing import TypeVar, overload
|
|
|
|
KEYS_CYCLE = {curses.ascii.TAB}
|
|
KEYS_DOWN = set(map(ord, "jJ")) | {curses.KEY_DOWN}
|
|
KEYS_LEFT = set(map(ord, "hH")) | {curses.KEY_LEFT}
|
|
KEYS_RIGHT = set(map(ord, "lL")) | {curses.KEY_RIGHT}
|
|
KEYS_UP = set(map(ord, "kK")) | {curses.KEY_UP}
|
|
KEYS_CANCEL = set(map(ord, "qQ")) | {curses.ascii.ESC}
|
|
|
|
|
|
@dataclass
|
|
class Choice:
|
|
keys: list[int]
|
|
desc: str
|
|
callback: Callable[[], object]
|
|
|
|
|
|
ItemT = TypeVar("ItemT")
|
|
DefaultT = TypeVar("DefaultT")
|
|
|
|
|
|
@overload
|
|
def first(source: Iterable[ItemT]) -> ItemT | None: ...
|
|
|
|
|
|
@overload
|
|
def first(source: Iterable[ItemT], default: DefaultT) -> ItemT | DefaultT: ...
|
|
|
|
|
|
def first(
|
|
source: Iterable[ItemT], default: DefaultT | None = None
|
|
) -> ItemT | DefaultT | None:
|
|
return next(iter(source), default)
|