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

feat: add Python API type definitions

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-03 00:54:05 +09:00
parent 3436b5eb02
commit c4a0efae08
10 changed files with 98 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/erg_compiler/lib/pystd/struct.d.er Normal file
View file

@ -0,0 +1,11 @@
.Struct: ClassType
.Struct.
__call__: (format: Str) -> .Struct
format: Str
size: Nat
pack: (self: .Struct, *values: Obj) -> Bytes
unpack: (self: .Struct, bytes: Bytes) -> Obj
.pack: (format: Str, *values: Obj) -> Bytes
.unpack: (format: Str, bytes: Bytes) -> Obj
.calcsize: (format: Str) -> Nat