python-peps

mirror of https://github.com/python/peps.git

Author	SHA1	Message	Date
Jelle Zijlstra	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
Jelle Zijlstra	b9cc1fcc61	PEP 742: Add Discussions-To; use TypeIs (#3665 )	2024-02-15 17:16:03 -08:00
Jelle Zijlstra	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