From 1646426287f0ad928a68a659483bf9cbeaaac330 Mon Sep 17 00:00:00 2001 From: Shunsuke Shibayama Date: Wed, 13 Nov 2024 13:56:44 +0900 Subject: [PATCH] Create gzip.d.er --- crates/erg_compiler/lib/pystd/gzip.d.er | 35 +++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 crates/erg_compiler/lib/pystd/gzip.d.er diff --git a/crates/erg_compiler/lib/pystd/gzip.d.er b/crates/erg_compiler/lib/pystd/gzip.d.er new file mode 100644 index 000000000..9ad7c7669 --- /dev/null +++ b/crates/erg_compiler/lib/pystd/gzip.d.er @@ -0,0 +1,35 @@ +.BadGzipFile: ClassType +.BadGzipFile <: OSError + +.GzipFile!: ClassType +.GzipFile! <: File! +.GzipFile!. + mode: Str + mtime: Float + name: Str + __call__: ( + filename: PathLike, + mode := Str, + compresslevel := Nat, + fileobj := FileLike, + mtime := Float, + ) -> GzipFile! + peek: (self: Ref(GzipFile!), n: Nat) -> Bytes + +.open!: ( + filename: PathLike, + mode := Str, + compresslevel := Nat, + encoding := Str, + errors := Str, + newline := Str, +) => GzipFile! +.compress!: ( + data: Bytes or ByteArray!, + compresslevel := Nat, + mtime := Float, +) => Bytes +.decompress!: ( + data: Bytes or ByteArray!, + mtime := Float, +) => Bytes