language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update typing.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-06-22 10:50:02 +09:00
parent e7b7f99064
commit eb061f712b
1 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,3 +1,5 @@
.TYPE_CHECKING: Bool
.Any: ClassType
.LiteralString: ClassType
.Never: ClassType
@ -61,9 +63,13 @@
.Sequence.
__getitem__: (Type) -> Type
.cast: |T|(typ: {T}, val: Obj) -> T
.assert_type: (val: Obj, typ: Type) -> NoneType
.assert_never: (arg: Obj) -> NoneType
.assert_type: (val: Obj, typ: Type) -> NoneType
.cast: |T|(typ: {T}, val: Obj) -> T
.final: |C <: GenericCallable or Type|(func_or_type: C) -> C
.get_type_hints: (obj: Obj, globalns: {Str: Obj}, localns: {Str: Obj}) -> {Str: Obj}
.overload: |C <: GenericCallable|(func: C) -> C
.override: |C <: GenericCallable|(func: C) -> C
.reveal_type: (obj: Obj) -> NoneType
.AbstractSet: ClassType
@ -100,6 +106,13 @@
.Collection: ClassType
.AsyncGenerator: ClassType
.AsyncContextManager: ClassType
.SupportsAbs: ClassType
.SupportsBytes: ClassType
.SupportsComplex: ClassType
.SupportsFloat: ClassType
.SupportsIndex: ClassType
.SupportsInt: ClassType
.SupportsRound: ClassType
.Genertor: ClassType
.Reversible: ClassType