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

feat(pathlib): add missing type annot for glob! and resolve! methods

Browse source
This commit is contained in:
GreasySlug 2024-09-22 17:42:29 +09:00
parent 6890d82441
commit 0cffbd7249
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/lib/pystd/pathlib.d.er
View file

@ -45,6 +45,7 @@
chmod!: (self: .Path, mode: Nat) => NoneType
exists!: (self: .Path) => Bool
expanduser!: (self: .Path) => .Path
glob!: (self: .Path, pattern: Str) -> Iterable .Path
home!: () => .Path
iterdir!: (self: .Path) => Iterable .Path
joinpath: (self: .Path, *other: PathLike) -> .Path
@ -54,6 +55,7 @@
read_bytes!: (self: .Path) => Bytes
read_text!: (self: .Path, encoding := Str, errors := Str) => Str
rename!: (self: .Path, target: PathLike) => NoneType
resolve!: (self: .Path, strict := Bool) => .Path
samefile!: (self: .Path, other: PathLike) => Bool
touch!: (self: .Path, mode := Nat, exist_ok := Bool) => NoneType
unlink!: (self: .Path, missing_ok := Bool) => NoneType