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

Remove rust-defined python modules

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-19 01:50:14 +09:00
parent d932249ec3
commit e0d6b93abd
31 changed files with 451 additions and 327 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/erg_compiler/lib/pystd/http.d/__init__.d.er Normal file
View file

@ -0,0 +1 @@
.client = pyimport "./client"

1
compiler/erg_compiler/lib/pystd/http.d/client.d.er Normal file
View file

@ -0,0 +1 @@
.HTTPResponse: ClassType

3
compiler/erg_compiler/lib/pystd/random.d.er Normal file
View file

@ -0,0 +1,3 @@
.seed!: (a := Num, version := Int) => NoneType
.randint!: (a: Int, b: Int) => Int
.choice!: |T: Type, S <: Seq(T)|(seq: S) => T

1
compiler/erg_compiler/lib/pystd/re.d.er Normal file
View file

@ -0,0 +1 @@
.sub: (pattern: Str, repl: Str, string: Str, count := Nat) -> Str

2
compiler/erg_compiler/lib/pystd/time.d.er Normal file
View file

@ -0,0 +1,2 @@
.sleep!: Float => NoneType
.time!: () => Float

2
compiler/erg_compiler/lib/pystd/urllib.d/__init__.d.er Normal file
View file

@ -0,0 +1,2 @@
.parse = pyimport "./parse"
.request = pyimport "./request"

0
compiler/erg_compiler/lib/pystd/urllib.d/parse.d.er Normal file
View file

5
compiler/erg_compiler/lib/pystd/urllib.d/request.d.er Normal file
View file

@ -0,0 +1,5 @@
http = pyimport "http"
.Request: ClassType
.Request.data: Bytes
.urlopen!: (url: Str or .Request, data: Bytes or NoneType := NoneType, timeout: Nat or NoneType := NoneType) -> http.client.HTTPResponse