752fb666bd
PEP 742: Mark as Final ( #3937 )
2024-09-03 08:34:38 -07:00
f8f3ec0be2
PEP 742: Mark as Accepted ( #3747 )
2024-04-03 14:06:43 -04:00
b70f26b7c4
PEP 742: Allow inferring the intersection type; carry over TypeGuard spec change ( #3696 )
2024-02-29 07:37:45 -08:00
c576162334
PEP 742: Expand "How to Teach This" ( #3683 )
...
Example sections on:
- When to use TypeIs
- How to write a safe TypeIs
- TypeIs vs. TypeGuard
Also note the implementations in typing-extensions, pyright, and pyanalyze.
2024-02-22 20:55:29 -08:00
b9cc1fcc61
PEP 742: Add Discussions-To; use TypeIs ( #3665 )
2024-02-15 17:16:03 -08:00
53c3d1a703
PEP 742: TypeNarrower ( #3649 )
...
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
2024-02-10 20:14:42 -08:00
Hugo van Kemenade
Jelle Zijlstra