Python
/
pylyzer
mirror of https://github.com/mtshiba/pylyzer
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update README.md

This commit is contained in:
Shunsuke Shibayama 2023-05-10 23:43:45 +09:00
parent 05835e7b0a
commit f64c49a32d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -118,6 +118,9 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
* [ ] others
* `collections.abc`
* [x] `Iterable`
* [x] `Iterator`
* [x] `Mapping`
* [x] `Sequence`
* [ ] others
* [x] type assertion (`typing.cast`)
* [x] type narrowing (`is`, `isinstance`)