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 2024-08-19 15:59:02 +09:00
parent 96b6db2904
commit dcae47070a
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
README.md
View File

@ -101,9 +101,9 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
* [x] operator * [x] operator
* [x] function/method * [x] function/method
* [x] class * [x] class
* [x] builtin modules resolving (partially) * [x] builtin modules analysis
* [x] local scripts resolving * [x] local scripts analysis
* [ ] local packages resolving * [x] local packages analysis
* [x] collection types * [x] collection types
* [x] `list` * [x] `list`
* [x] `dict` * [x] `dict`
@ -114,12 +114,17 @@ pylyzer converts Python ASTs to Erg ASTs and passes them to Erg's type checker.
* [x] `Literal` * [x] `Literal`
* [x] `Callable` * [x] `Callable`
* [ ] `TypedDict` * [ ] `TypedDict`
* [ ] type variable (`TypeVar`, `Generic`) * [ ] type variable
* [x] `TypeVar`
* [x] type parameter syntax
* [ ] `Generic`
* [ ] `Protocol` * [ ] `Protocol`
* [ ] `Final` * [ ] `Final`
* [ ] `Annotated` * [ ] `Annotated`
* [ ] `TypeAlias` * [ ] `TypeAlias`
* [ ] type guard (`TypeGuard`) * [ ] type guard
* [x] type narrowing
* [ ] `TypeGuard`
* [ ] others * [ ] others
* `collections.abc` * `collections.abc`
* [x] `Iterable` * [x] `Iterable`