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

Update typing.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-03-13 17:46:33 +09:00
parent dba484aea3
commit 031755d862
1 changed files with 9 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -6,13 +6,13 @@
.TypeAlias: ClassType
.Tuple: ClassType
.Tuple.
__call__: (*Type) -> Type
__getitem__: (*Type) -> Type
.Union: ClassType
.Union.
__call__: (*Type) -> Type
__getitem__: (*Type) -> Type
.Optional: ClassType
.Optional.
__call__: (Type) -> Type
__getitem__: (Type) -> Type
.Callable: (*Type) -> Type
.Concatenate: (*Type) -> Type
.Type: (Type) -> Type
@ -25,13 +25,13 @@
.TypeGuard: (Type) -> Type
.Generic: ClassType
.Generic.
__call__: (Type) -> Type
__getitem__: (Type) -> Type
.TypeVar: ClassType
.TypeVar.
__call__: (Str) -> Type
__getitem__: (Str) -> Type
.TypeVarTuple: ClassType
.TypeVarTuple.
__call__: (Str) -> Type
__getitem__: (Str) -> Type
.Unpack: (Type) -> Type
.ParamSpec: (Str) -> Type
.AnyStr: ClassType
@ -53,7 +53,9 @@
.Pattern: ClassType
.Match: ClassType
.Text: ClassType
.Sequence: (Type) -> Type
.Sequence: ClassType
.Sequence.
__getitem__: (Type) -> Type
.cast: (typ: Type, val: Obj) -> Obj
.assert_type: (val: Obj, typ: Type) -> NoneType