language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(pystd): sync some decls in typing module

Browse source
This commit is contained in:
Hanaasagi 2023-05-07 02:49:20 +09:00
parent 670a5e4c09
commit 6b3fa8584a
1 changed files with 36 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

36
crates/erg_compiler/lib/pystd/typing.d.er
View file

@ -65,3 +65,39 @@
.assert_type: (val: Obj, typ: Type) -> NoneType .assert_type: (val: Obj, typ: Type) -> NoneType
.assert_never: (arg: Obj) -> NoneType .assert_never: (arg: Obj) -> NoneType
.reveal_type: (obj: Obj) -> NoneType .reveal_type: (obj: Obj) -> NoneType
.AbstractSet: (Type) -> Type
.ByteString: ClassType
.Container: ClassType
.ContextManager: ClassType
.ContextManager.
__enter__: (self: ContextManager) -> ContextManager
__exit__: (self: ContextManager, exc_type: Type, exc_value: Obj, traceback: Obj) -> NoneType
.Hashable: ClassType
.ItemsView: ClassType
.Iterable: ClassType
.Iterable.
__getitem__: Type -> Type
.Iterator: ClassType
.Iterator.
__getitem__: Type -> Type
.KeysView: ClassType
.Mapping: ClassType
.Mapping.
__getitem__: (Type, Type) -> Type
.MappingView: ClassType
.MutableMapping: ClassType
.MutableSequence: ClassType
.MutableSet: ClassType
.Sized: ClassType
.ValuesView: ClassType
.Awaitable: ClassType
.AsyncIterator: ClassType
.AsyncIterable: ClassType
.Coroutine: ClassType
.Collection: ClassType
.AsyncGenerator: ClassType
.AsyncContextManager: ClassType
.Genertor: ClassType
.Reversible: ClassType