Toilal / rebulk / 28253209765

96%

master: 97%

push

github

feat(typing): typed keys for type-safe value retrieval (v5 POC)

Introduce Key[T], a typed handle binding a match name to its value type.
Passing it to a builder method (key=...) wires up both the match name and
formatter, and reading it back is fully typed instead of Any:

    YEAR = Key("year", int)
    matches = Rebulk().regex(r"\d{4}", key=YEAR).matches("born 1984")
    matches[YEAR]      # int | None
    matches.all(YEAR)  # list[int]

This sidesteps the heterogeneous-collection erasure problem: the value
type is named at the read site (via the key), so each access has a single
concrete T, no existentials needed. The dynamic engine is untouched and
the string-based API is unchanged — Key is purely additive.

POC scope: the declaration -> matches[KEY] / matches.all(KEY) path for
scalar value types. A typed result model (.to(dataclass)) and a formatter
(not just type[T]) variant are left for follow-up.

Refs #43

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

31 of 32 new or added lines in 4 files covered. (96.88%)

1741 of 1813 relevant lines covered (96.03%)

12.45 hits per line