Create gzip.d.er

erg-lang · Nov 13, 2024 · 1646426 · 1646426
1 parent 343112e
commit 1646426
Showing 1 changed file with 35 additions and 0 deletions.
diff --git a/crates/erg_compiler/lib/pystd/gzip.d.er 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