update moon info for new release

Author: Guest0x0

src/fs/pkg.generated.mbti

@@ -66,17 +66,9 @@ fn File::curr_pos(Self) -> Int64 raise
 fn File::fd(Self) -> Int
 fn File::kind(Self) -> FileKind
 fn File::mtime(Self) -> (Int64, Int) raise
-async fn File::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn File::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn File::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 fn File::seek(Self, Int64, mode~ : SeekMode) -> Int64 raise
 fn File::size(Self) -> Int64 raise
 async fn File::sync(Self, only_data? : Bool) -> Unit
-async fn File::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn File::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn File::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn File::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Reader for File
 impl @io.Writer for File
 
@@ -90,11 +82,6 @@ pub(all) enum FileKind {
   BlockDevice
   CharDevice
 }
-fn FileKind::equal(Self, Self) -> Bool // from trait `Eq`
-#deprecated
-fn FileKind::op_equal(Self, Self) -> Bool // from trait `Eq`
-fn FileKind::output(Self, &Logger) -> Unit // from trait `Show`
-fn FileKind::to_string(Self) -> String // from trait `Show`
 impl Eq for FileKind
 impl Show for FileKind
 

src/http/pkg.generated.mbti

@@ -21,16 +21,12 @@ pub suberror HttpProtocolError {
   HttpVersionNotSupported(String)
   NotImplemented
 }
-fn HttpProtocolError::output(Self, &Logger) -> Unit // from trait `Show`
-fn HttpProtocolError::to_string(Self) -> String // from trait `Show`
 impl Show for HttpProtocolError
 
 pub suberror URIParseError {
   InvalidFormat
   UnsupportedProtocol(String)
 }
-fn URIParseError::output(Self, &Logger) -> Unit // from trait `Show`
-fn URIParseError::to_string(Self) -> String // from trait `Show`
 impl Show for URIParseError
 
 // Types and methods
@@ -42,16 +38,8 @@ async fn Client::flush(Self) -> Unit
 async fn Client::get(Self, String, extra_headers? : Map[String, String], body? : &@io.Data) -> Response
 async fn Client::post(Self, String, &@io.Data, extra_headers? : Map[String, String]) -> Response
 async fn Client::put(Self, String, &@io.Data, extra_headers? : Map[String, String]) -> Response
-async fn Client::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn Client::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn Client::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 async fn Client::request(Self, RequestMethod, String, extra_headers? : Map[String, String]) -> Unit
 async fn Client::skip_response_body(Self) -> Unit
-async fn Client::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn Client::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn Client::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn Client::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Reader for Client
 impl @io.Writer for Client
 
@@ -78,11 +66,6 @@ pub(all) enum RequestMethod {
   Trace
   Patch
 }
-fn RequestMethod::equal(Self, Self) -> Bool // from trait `Eq`
-#deprecated
-fn RequestMethod::op_equal(Self, Self) -> Bool // from trait `Eq`
-fn RequestMethod::output(Self, &Logger) -> Unit // from trait `Show`
-fn RequestMethod::to_string(Self) -> String // from trait `Show`
 impl Eq for RequestMethod
 impl Show for RequestMethod
 
@@ -97,17 +80,9 @@ fn ServerConnection::close(Self) -> Unit
 async fn ServerConnection::end_response(Self) -> Unit
 async fn ServerConnection::flush(Self) -> Unit
 fn ServerConnection::new(@socket.Tcp, headers? : Map[String, String]) -> Self
-async fn ServerConnection::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn ServerConnection::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn ServerConnection::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 async fn ServerConnection::read_request(Self) -> Request
 async fn ServerConnection::send_response(Self, Int, String, extra_headers? : Map[String, String]) -> Unit
 async fn ServerConnection::skip_request_body(Self) -> Unit
-async fn ServerConnection::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn ServerConnection::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn ServerConnection::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn ServerConnection::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Reader for ServerConnection
 impl @io.Writer for ServerConnection
 

src/internal/coroutine/pkg.generated.mbti

@@ -22,19 +22,12 @@ async fn suspend() -> Unit
 
 // Errors
 pub(all) suberror Cancelled
-fn Cancelled::output(Self, &Logger) -> Unit // from trait `Show`
-fn Cancelled::to_string(Self) -> String // from trait `Show`
 impl Show for Cancelled
 
 // Types and methods
 type Coroutine
 fn Coroutine::cancel(Self) -> Unit
 fn Coroutine::check_error(Self) -> Unit raise
-fn Coroutine::equal(Self, Self) -> Bool // from trait `Eq`
-fn Coroutine::hash(Self) -> Int // from trait `Hash`
-fn Coroutine::hash_combine(Self, Hasher) -> Unit // from trait `Hash`
-#deprecated
-fn Coroutine::op_equal(Self, Self) -> Bool // from trait `Eq`
 fn Coroutine::unwrap(Self) -> Unit raise
 async fn Coroutine::wait(Self) -> Unit
 fn Coroutine::wake(Self) -> Unit

src/io/pkg.generated.mbti

@@ -5,8 +5,6 @@ package "moonbitlang/async/io"
 
 // Errors
 pub suberror ReaderClosed
-fn ReaderClosed::output(Self, &Logger) -> Unit // from trait `Show`
-fn ReaderClosed::to_string(Self) -> String // from trait `Show`
 impl Show for ReaderClosed
 
 // Types and methods
@@ -17,21 +15,13 @@ async fn[R : Reader] BufferedReader::find_opt(Self[R], Bytes) -> Int?
 fn[R] BufferedReader::new(R) -> Self[R]
 async fn[R : Reader] BufferedReader::op_as_view(Self[R], start? : Int, end~ : Int) -> BytesView
 async fn[R : Reader] BufferedReader::op_get(Self[R], Int) -> Byte
-async fn[R : Reader] BufferedReader::read(Self[R], FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `Reader`
-async fn[R : Reader] BufferedReader::read_all(Self[R]) -> &Data // from trait `Reader`
-async fn[R : Reader] BufferedReader::read_exactly(Self[R], Int) -> Bytes // from trait `Reader`
 async fn[R : Reader] BufferedReader::read_line(Self[R]) -> String?
 impl[R : Reader] Reader for BufferedReader[R]
 
 type BufferedWriter[W]
 fn[W] BufferedWriter::capacity(Self[W]) -> Int
 async fn[W : Writer] BufferedWriter::flush(Self[W]) -> Unit
 fn[W] BufferedWriter::new(W, size? : Int) -> Self[W]
-async fn[W : Writer] BufferedWriter::write(Self[W], &Data) -> Unit // from trait `Writer`
-async fn[W : Writer] BufferedWriter::write_once(Self[W], Bytes, offset~ : Int, len~ : Int) -> Int // from trait `Writer`
-async fn[W : Writer] BufferedWriter::write_reader(Self[W], &Reader) -> Unit // from trait `Writer`
-#deprecated
-async fn[W : Writer] BufferedWriter::write_string(Self[W], StringView, encoding~ : Encoding) -> Unit // from trait `Writer`
 impl[W : Writer] Writer for BufferedWriter[W]
 
 pub(all) enum Encoding {

src/os_error/pkg.generated.mbti

@@ -17,8 +17,6 @@ fn OSError::is_EEXIST(Self) -> Bool
 fn OSError::is_EINTR(Self) -> Bool
 fn OSError::is_ENOENT(Self) -> Bool
 fn OSError::is_nonblocking_io_error(Self) -> Bool
-fn OSError::output(Self, &Logger) -> Unit // from trait `Show`
-fn OSError::to_string(Self) -> String // from trait `Show`
 impl Show for OSError
 
 // Types and methods

src/pipe/pkg.generated.mbti

@@ -23,19 +23,11 @@ let stdout : PipeWrite
 type PipeRead
 fn PipeRead::close(Self) -> Unit
 fn PipeRead::fd(Self) -> Int
-async fn PipeRead::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn PipeRead::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn PipeRead::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 impl @io.Reader for PipeRead
 
 type PipeWrite
 fn PipeWrite::close(Self) -> Unit
 fn PipeWrite::fd(Self) -> Int
-async fn PipeWrite::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn PipeWrite::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn PipeWrite::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn PipeWrite::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Writer for PipeWrite
 
 // Type aliases

src/pkg.generated.mbti

@@ -1,6 +1,11 @@
 // Generated using `moon info`, DON'T EDIT IT
 package "moonbitlang/async"
 
+import(
+  "moonbitlang/async/aqueue"
+  "moonbitlang/async/semaphore"
+)
+
 // Values
 fn now() -> Int64
 
@@ -25,13 +30,9 @@ async fn[X] with_timeout_opt(Int, async () -> X) -> X?
 
 // Errors
 pub suberror AlreadyTerminated
-fn AlreadyTerminated::output(Self, &Logger) -> Unit // from trait `Show`
-fn AlreadyTerminated::to_string(Self) -> String // from trait `Show`
 impl Show for AlreadyTerminated
 
 pub suberror TimeoutError
-fn TimeoutError::output(Self, &Logger) -> Unit // from trait `Show`
-fn TimeoutError::to_string(Self) -> String // from trait `Show`
 impl Show for TimeoutError
 
 // Types and methods
@@ -54,9 +55,9 @@ fn[X] TaskGroup::spawn_bg(Self[X], async () -> Unit, no_wait? : Bool, allow_fail
 fn[X] TaskGroup::spawn_loop(Self[X], async () -> IterResult, no_wait? : Bool, allow_failure? : Bool, retry? : RetryMethod, max_retry? : Int, fatal_error? : (Error) -> Bool) -> Unit raise
 
 // Type aliases
-pub typealias @moonbitlang/async/aqueue.Queue as Queue
+pub using @aqueue {type Queue}
 
-pub typealias @moonbitlang/async/semaphore.Semaphore as Semaphore
+pub using @semaphore {type Semaphore}
 
 // Traits
 

src/socket/pkg.generated.mbti

@@ -9,31 +9,19 @@ import(
 
 // Errors
 pub suberror InvalidAddr
-fn InvalidAddr::output(Self, &Logger) -> Unit // from trait `Show`
-fn InvalidAddr::to_string(Self) -> String // from trait `Show`
 impl Show for InvalidAddr
 
 pub suberror ResolveHostnameError String
-fn ResolveHostnameError::output(Self, &Logger) -> Unit // from trait `Show`
-fn ResolveHostnameError::to_string(Self) -> String // from trait `Show`
 impl Show for ResolveHostnameError
 
 // Types and methods
 type Addr
-fn Addr::compare(Self, Self) -> Int // from trait `Compare`
-fn Addr::equal(Self, Self) -> Bool // from trait `Eq`
-fn Addr::hash(Self) -> Int // from trait `Hash`
-fn Addr::hash_combine(Self, Hasher) -> Unit // from trait `Hash`
 fn Addr::ip(Self) -> UInt
 fn Addr::is_ipv6(Self) -> Bool
 fn Addr::new(UInt, Int) -> Self
-#deprecated
-fn Addr::op_equal(Self, Self) -> Bool // from trait `Eq`
-fn Addr::output(Self, &Logger) -> Unit // from trait `Show`
 fn Addr::parse(String) -> Self raise InvalidAddr
 fn Addr::port(Self) -> Int
 async fn Addr::resolve(String, port~ : Int, protocol? : IpProtocolPreference) -> Self
-fn Addr::to_string(Self) -> String // from trait `Show`
 impl Compare for Addr
 impl Eq for Addr
 impl Hash for Addr
@@ -46,26 +34,18 @@ pub(all) enum IpProtocolPreference {
   FavorV6
   NoPreference
 }
-fn IpProtocolPreference::output(Self, &Logger) -> Unit // from trait `Show`
-fn IpProtocolPreference::to_string(Self) -> String // from trait `Show`
 impl Show for IpProtocolPreference
 
+#alias(TCP, deprecated)
 type Tcp
 fn Tcp::close(Self) -> Unit
 async fn Tcp::connect(Addr) -> Self
 async fn Tcp::connect_to_host(String, port~ : Int, protocol? : IpProtocolPreference) -> Self
 fn Tcp::enable_keepalive(Self, idle_before_keep_alive? : Int, keep_alive_count? : Int, keep_alive_interval? : Int) -> Unit raise
-async fn Tcp::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn Tcp::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn Tcp::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
-async fn Tcp::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn Tcp::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn Tcp::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn Tcp::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Reader for Tcp
 impl @io.Writer for Tcp
 
+#alias(TCPServer, deprecated)
 type TcpServer
 async fn TcpServer::accept(Self) -> (Tcp, Addr)
 fn TcpServer::close(Self) -> Unit
@@ -85,9 +65,6 @@ async fn UdpServer::recvfrom(Self, FixedArray[Byte], offset? : Int, max_len? : I
 async fn UdpServer::sendto(Self, Bytes, Addr, offset? : Int, len? : Int) -> Unit
 
 // Type aliases
-pub typealias Tcp as TCP
-
-pub typealias TcpServer as TCPServer
 
 // Traits
 

src/stdio/pkg.generated.mbti

@@ -17,18 +17,10 @@ let stdout : Output
 // Types and methods
 type Input
 fn Input::fd(Self) -> Int
-async fn Input::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn Input::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn Input::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 impl @io.Reader for Input
 
 type Output
 fn Output::fd(Self) -> Int
-async fn Output::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn Output::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn Output::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn Output::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Writer for Output
 
 // Type aliases

src/tls/pkg.generated.mbti

@@ -9,31 +9,20 @@ import(
 
 // Errors
 pub suberror ConnectionClosed
-fn ConnectionClosed::output(Self, &Logger) -> Unit // from trait `Show`
-fn ConnectionClosed::to_string(Self) -> String // from trait `Show`
 impl Show for ConnectionClosed
 
 pub suberror OpenSSLError String
-fn OpenSSLError::output(Self, &Logger) -> Unit // from trait `Show`
-fn OpenSSLError::to_string(Self) -> String // from trait `Show`
 impl Show for OpenSSLError
 
 // Types and methods
+#alias(TLS, deprecated)
 type Tls
 async fn[Inner : @io.Reader + @io.Writer] Tls::client(Inner, verify? : Bool, host? : String, sni? : Bool) -> Self
 async fn[R : @io.Reader, W : @io.Writer] Tls::client_from_pair(R, W, verify? : Bool, host? : String, sni? : Bool) -> Self
 fn Tls::close(Self) -> Unit
-async fn Tls::read(Self, FixedArray[Byte], offset? : Int, max_len? : Int) -> Int // from trait `@io.Reader`
-async fn Tls::read_all(Self) -> &@io.Data // from trait `@io.Reader`
-async fn Tls::read_exactly(Self, Int) -> Bytes // from trait `@io.Reader`
 async fn[Inner : @io.Reader + @io.Writer] Tls::server(Inner, private_key_file~ : String, private_key_type~ : X509FileType, certificate_file~ : String, certificate_type~ : X509FileType) -> Self
 async fn[R : @io.Reader, W : @io.Writer] Tls::server_from_pair(R, W, private_key_file~ : String, private_key_type~ : X509FileType, certificate_file~ : String, certificate_type~ : X509FileType) -> Self
 async fn Tls::shutdown(Self) -> Unit
-async fn Tls::write(Self, &@io.Data) -> Unit // from trait `@io.Writer`
-async fn Tls::write_once(Self, Bytes, offset~ : Int, len~ : Int) -> Int // from trait `@io.Writer`
-async fn Tls::write_reader(Self, &@io.Reader) -> Unit // from trait `@io.Writer`
-#deprecated
-async fn Tls::write_string(Self, StringView, encoding~ : @io.Encoding) -> Unit // from trait `@io.Writer`
 impl @io.Reader for Tls
 impl @io.Writer for Tls
 
@@ -43,7 +32,6 @@ pub(all) enum X509FileType {
 }
 
 // Type aliases
-pub typealias Tls as TLS
 
 // Traits