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

Update shutil.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-07-05 23:35:07 +09:00
parent 1b6928666e
commit 80394c6e6d
1 changed files with 22 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

25
crates/erg_compiler/lib/pystd/shutil.d.er
View file

@ -5,7 +5,15 @@ logging = pyimport "logging"
.copyfile!: (src: PathLike, dst: PathLike,) => NoneType .copyfile!: (src: PathLike, dst: PathLike,) => NoneType
.copy!: (src: PathLike, dst: PathLike,) => NoneType .copy!: (src: PathLike, dst: PathLike,) => NoneType
.copy2!: (src: PathLike, dst: PathLike,) => NoneType .copy2!: (src: PathLike, dst: PathLike,) => NoneType
.copytree!: (src: PathLike, dst: PathLike,) => NoneType .copytree!: (
src: PathLike,
dst: PathLike,
symlinks := Bool,
ignore := GenericCallable,
copy_function := GenericCallable,
ignore_dangling_symlinks := Bool,
dirs_exist_ok := Bool,
) => NoneType
.disk_usage!: (path: PathLike,) => NamedTuple { .disk_usage!: (path: PathLike,) => NamedTuple {
.total = Nat; .total = Nat;
.used = Nat; .used = Nat;
@ -13,9 +21,20 @@ logging = pyimport "logging"
} }
.get_archive_formats!: () => [(Str, Str); _] .get_archive_formats!: () => [(Str, Str); _]
.get_unpack_formats!: () => [(Str, [Str; _], Str); _] .get_unpack_formats!: () => [(Str, [Str; _], Str); _]
.get_terminal_size!: (fallback := (Nat, Nat)) => NamedTuple {
.columns = Nat;
.lines = Nat;
}
.ignore_patterns!: (*patterns: Str) => GenericCallable
.register_archive_format!: (name: Str, function: GenericCallable) => NoneType .register_archive_format!: (name: Str, function: GenericCallable) => NoneType
.register_unpack_format!: (name: Str, extensions: [Str; _], function: GenericCallable) => NoneType .register_unpack_format!: (name: Str, extensions: [Str; _], function: GenericCallable) => NoneType
.rmtree!: (path: PathLike,) => NoneType .rmtree!: (
path: PathLike,
ignore_tree := Bool,
onerror := Obj,
onexc := Obj,
dir_fd := Nat or FileDescriptor,
) => NoneType
.make_archive!: ( .make_archive!: (
base_name: Str, base_name: Str,
format: Str, format: Str,
@ -27,7 +46,7 @@ logging = pyimport "logging"
group := Str, group := Str,
logger := logging.Logger!, logger := logging.Logger!,
) => Str ) => Str
.move!: (src: PathLike, dst: PathLike) => Str .move!: (src: PathLike, dst: PathLike, copy_function := GenericCallable) => Str
.unpack_archive!: ( .unpack_archive!: (
filename: PathLike, filename: PathLike,
extract_dir := PathLike, extract_dir := PathLike,