feat: add ftplib type decls

crates/erg_compiler/lib/pystd/ftplib.d.er

@@ -0,0 +1,92 @@
+.FTP!: ClassType
+.FTP!.
+    __call__: (
+        host: Str,
+        user := Str,
+        passwd := Str,
+        acct := Str,
+        timeout := Float,
+        source_address := (Str, Nat),
+        encoding := Str,
+    ) -> .FTP!
+    .set_debuglevel!: (self: RefMut(.FTP!), level: Nat) => NoneType
+    .connect!: (
+        self: RefMut(.FTP!),
+        host := Str,
+        port := Nat,
+        timeout := Float,
+        source_address := (Str, Nat)
+    ) => NoneType
+    .getwelcome!: (self: RefMut(.FTP!)) => Str
+    .login!: (
+        self: RefMut(.FTP!),
+        user := Str,
+        passwd := Str,
+        acct := Str
+    ) => Str
+    .abort!: (self: RefMut(.FTP!)) => NoneType
+    .sendcmd!: (self: RefMut(.FTP!), cmd: Str) => Str
+    .retrbinary!: (
+        self: RefMut(.FTP!),
+        cmd: Str,
+        callback: GenericCallable,
+        blocksize := Nat,
+        rest := Nat,
+    ) => Str
+    .retrlines!: (
+        self: RefMut(.FTP!),
+        cmd: Str,
+        callback: GenericCallable,
+        rest := Nat,
+    ) => Str
+    .set_pasv!: (self: RefMut(.FTP!), flag: Bool) => NoneType
+    .storbinary!: (
+        self: RefMut(.FTP!),
+        cmd: Str,
+        fp: FileLike,
+        blocksize := Nat,
+        callback := GenericCallable,
+    ) => Str
+    .storlines!: (
+        self: RefMut(.FTP!),
+        cmd: Str,
+        fp: FileLike,
+        callback := GenericCallable,
+    ) => Str
+    .transfercmd!: (
+        self: RefMut(.FTP!),
+        cmd: Str,
+        rest := Nat,
+    ) => Obj
+    .mlsd!: (self: RefMut(.FTP!), path: Str, facts := [Str; _]) => NoneType
+    .nlst!: (self: RefMut(.FTP!), argument := Obj) => NoneType
+    .dir!: (self: RefMut(.FTP!), argument := Obj) => NoneType
+    .rename!: (self: RefMut(.FTP!), fromname: Str, toname: Str) => NoneType
+    .delete!: (self: RefMut(.FTP!), filename: Str) => NoneType
+    .cwd!: (self: RefMut(.FTP!), pathname: Str) => NoneType
+    .mkd!: (self: RefMut(.FTP!), pathname: Str) => NoneType
+    .pwd!: (self: RefMut(.FTP!)) => Str
+    .rmd!: (self: RefMut(.FTP!), pathname: Str) => NoneType
+    .size!: (self: RefMut(.FTP!), filename: Str) => Nat
+    .quit!: (self: RefMut(.FTP!)) => Str
+    .close!: (self: RefMut(.FTP!)) => NoneType
+
+.FTP_TLS!: ClassType
+.FTP_TLS! <: .FTP!
+.FTP_TLS!.
+    ssl_version: Str
+    auth!: (self: RefMut(.FTP_TLS!)) => NoneType
+    ccc!: (self: RefMut(.FTP_TLS!)) => NoneType
+    prot_p!: (self: RefMut(.FTP_TLS!)) => NoneType
+    prot_c!: (self: RefMut(.FTP_TLS!)) => NoneType
+
+.ErrorReply = 'error_reply': ClassType
+.ErrorReply <: Exception
+.ErrorTemp = 'error_temp': ClassType
+.ErrorTemp <: Exception
+.ErrorPerm = 'error_perm': ClassType
+.ErrorPerm <: Exception
+.ErrorProto = 'error_proto': ClassType
+.ErrorProto <: Exception
+
+.all_errors: [Exception; _]

crates/erg_compiler/lib/pystd/http.d/server.d.er

@@ -1,5 +1,50 @@
 .HTTPServer: ClassType
+
 .ThreadingServer: ClassType
-.BaseHTTPReqeustHandler: ClassType
-.SimpleHTTPRequestHandler: ClassType
+
+.BaseHTTPRequestHandler!: ClassType
+.BaseHTTPRequestHandler!.
+    client_address: (Str, Nat)
+    server: .HTTPServer
+    close_connection: Bool
+    requestline: Str
+    command: Str
+    path: Str
+    request_version: Str
+    server_version: Str
+    sys_version: Str
+    error_message_format: Str
+    error_content_type: Str
+    protocol_version: Str
+
+    handle!: (self: RefMut(.BaseHTTPRequestHandler!)) => NoneType
+    handle_one_request!: (self: RefMut(.BaseHTTPRequestHandler!)) => NoneType
+    handle_expect_100!: (self: RefMut(.BaseHTTPRequestHandler!)) => NoneType
+    send_error!: (
+        self: RefMut(.BaseHTTPRequestHandler!),
+        code: Nat,
+        message: Str,
+        explain: Str
+    ) => NoneType
+    send_response!: (self: RefMut(.BaseHTTPRequestHandler!), code: Nat, message := Str) => NoneType
+    send_header!: (self: RefMut(.BaseHTTPRequestHandler!), keyword: Str, value: Str) => NoneType
+    send_response_only!: (self: RefMut(.BaseHTTPRequestHandler!), code: Nat, message := Str) => NoneType
+    end_headers!: (self: RefMut(.BaseHTTPRequestHandler!)) => NoneType
+    flush_headers!: (self: RefMut(.BaseHTTPRequestHandler!)) => NoneType
+    log_request!: (
+        self: RefMut(.BaseHTTPRequestHandler!),
+        code := Str,
+        size := Str,
+    ) => NoneType
+    log_error!: (self: RefMut(.BaseHTTPRequestHandler!), *args: Obj, **kwargs: Obj) => NoneType
+    log_message!: (self: RefMut(.BaseHTTPRequestHandler!), format: Str, *args: Obj) => NoneType
+    version_string: (self: Ref(.BaseHTTPRequestHandler!)) -> Str
+
+.SimpleHTTPRequestHandler!: ClassType
+.SimpleHTTPRequestHandler!.
+    server_version: Str
+    extensions_map: {Str: Str}
+    do_HEAD!: (self: RefMut(.SimpleHTTPRequestHandler!)) => NoneType
+    do_GET!: (self: RefMut(.SimpleHTTPRequestHandler!)) => NoneType
+
 .CGIHTTPRequestHandler: ClassType

crates/erg_compiler/lib/pystd/socketserver.d.er

@@ -1,17 +1,37 @@
-.TCPServer: ClassType
-.UDPServer: ClassType
-.UnixStreamServer: ClassType
-.UnixDatagramServer: ClassType
+.BaseServer!: ClassType
+.BaseServer!.
+    fileno: (self: Ref(BaseServer!)) -> Int
+    handle_request!: (self: RefMut(BaseServer!)) => NoneType
+    serve_forever!: (self: RefMut(BaseServer!), poll_interval := Float) => NoneType
+    serve_actions!: (self: RefMut(BaseServer!)) => NoneType
+    shutdown!: (self: RefMut(BaseServer!)) => NoneType
+    server_close!: (self: RefMut(BaseServer!)) => NoneType
+
+.BaseRequestHandler!: ClassType
+.BaseRequestHandler!.
+    setup!: (self: RefMut(BaseRequestHandler!)) => NoneType
+    handle!: (self: RefMut(BaseRequestHandler!)) => NoneType
+    finish!: (self: RefMut(BaseRequestHandler!)) => NoneType
+    server: BaseServer!
+
+.StreamRequestHandler!: ClassType
+.StreamRequestHandler! <: BaseRequestHandler!
+.DatagramRequestHandler!: ClassType
+.DatagramRequestHandler! <: BaseRequestHandler!
+
+.TCPServer!: ClassType
+.TCPServer! <: BaseServer!
+.UDPServer!: ClassType
+.UDPServer! <: TCPServer!
+.UnixStreamServer!: ClassType
+.UnixStreamServer! <: TCPServer!
+.UnixDatagramServer!: ClassType
+.UnixDatagramServer! <: UDPServer!
 
 .ForkingMixIn: ClassType
 .ThreadingMixIn: ClassType
 
-.ForkingTCPServer: ClassType
-.ForkingUDPServer: ClassType
-.ThreadingTCPServer: ClassType
-.ThreadingUDPServer: ClassType
-
-.BaseServer: ClassType
-.BaseRequestHandler: ClassType
-.StreamRequestHandler: ClassType
-.DatagramRequestHandler: ClassType
+.ForkingTCPServer!: ClassType
+.ForkingUDPServer!: ClassType
+.ThreadingTCPServer!: ClassType
+.ThreadingUDPServer!: ClassType