language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-30 21:01:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update json.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-22 21:41:49 +09:00
parent 991962243a
commit 4b58f0ee5b
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/erg_compiler/lib/pystd/json.d.er
View file

@ -1,2 +1,7 @@
.dump: (obj: Obj, fp: FileLike!) -> Str
.dumps: (obj: Obj,) -> Str
.load: (fp: File!,) -> Obj
.loads: (s: Str,) -> Obj
.JsonDecoder: ClassType
.JsonEncoder: ClassType