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

Enhance os module type decls

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-12-06 02:08:46 +09:00
parent 84fba0a9d7
commit b003c33953
2 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/erg_compiler/lib/pystd/os.d/__init__.d.er
View file

@ -15,3 +15,6 @@
# posix = pyimport "posix" # posix = pyimport "posix"
# .uname!: () => posix.UnameResult # .uname!: () => posix.UnameResult
.getrandom!: (size: Nat) => Bytes
.urandom!: (size: Nat) => Bytes

8
compiler/erg_compiler/lib/pystd/os.d/path.d.er
View file

@ -1 +1,9 @@
.dirname!: (path: PathLike,) => Str
.exists!: (path: PathLike,) => Bool
.lexists!: (path: PathLike,) => Bool
.expanduser!: (path: PathLike,) => Str .expanduser!: (path: PathLike,) => Str
.expandvars!: (path: PathLike,) => Str
.isfile!: (path: PathLike,) => Bool
.isdir!: (path: PathLike,) => Bool
.islink!: (path: PathLike,) => Bool
.ismount!: (path: PathLike,) => Bool