Merge branch 'main' into zihang/improve-copy

Author: Lampese

array/pkg.generated.mbti

@@ -2,7 +2,6 @@
 package "moonbitlang/core/array"
 
 import(
-  "moonbitlang/core/bytes"
   "moonbitlang/core/quickcheck"
   "moonbitlang/core/string"
 )
@@ -15,7 +14,7 @@ fn[A, B, C] zip_with(Array[A], Array[B], (A, B) -> C raise?) -> Array[C] raise?
 // Types and methods
 fn[T] FixedArray::all(Self[T], (T) -> Bool raise?) -> Bool raise?
 fn[T] FixedArray::any(Self[T], (T) -> Bool raise?) -> Bool raise?
-fn FixedArray::blit_from_bytesview(Self[Byte], Int, @bytes.View) -> Unit
+fn FixedArray::blit_from_bytesview(Self[Byte], Int, BytesView) -> Unit
 fn[T : Eq] FixedArray::contains(Self[T], T) -> Bool
 fn[T] FixedArray::copy(Self[T]) -> Self[T]
 fn[T] FixedArray::each(Self[T], (T) -> Unit raise?) -> Unit raise?
@@ -26,7 +25,7 @@ fn[A, B] FixedArray::foldi(Self[A], init~ : B, (Int, B, A) -> B raise?) -> B rai
 fn[T] FixedArray::from_array(Array[T]) -> Self[T]
 fn[T] FixedArray::from_iter(Iter[T]) -> Self[T]
 fn[T : Compare] FixedArray::is_sorted(Self[T]) -> Bool
-fn FixedArray::join(Self[String], @string.View) -> String
+fn FixedArray::join(Self[String], StringView) -> String
 fn[A] FixedArray::last(Self[A]) -> A?
 fn[T] FixedArray::makei(Int, (Int) -> T raise?) -> Self[T] raise?
 fn[T, U] FixedArray::map(Self[T], (T) -> U raise?) -> Self[U] raise?
@@ -52,7 +51,7 @@ impl[X : @quickcheck.Arbitrary] @quickcheck.Arbitrary for FixedArray[X]
 
 fn[A, B] Array::filter_map(Self[A], (A) -> B? raise?) -> Self[B] raise?
 fn[T] Array::from_iter(Iter[T]) -> Self[T]
-fn[A : @string.ToStringView] Array::join(Self[A], @string.View) -> String
+fn[A : @string.ToStringView] Array::join(Self[A], StringView) -> String
 fn[A] Array::last(Self[A]) -> A?
 fn[T] Array::push_iter(Self[T], Iter[T]) -> Unit
 fn[T] Array::shuffle(Self[T], rand~ : (Int) -> Int) -> Self[T]
@@ -82,7 +81,7 @@ fn[A, B] ArrayView::fold(Self[A], init~ : B, (B, A) -> B raise?) -> B raise?
 fn[A, B] ArrayView::foldi(Self[A], init~ : B, (Int, B, A) -> B raise?) -> B raise?
 fn[A] ArrayView::iter(Self[A]) -> Iter[A]
 fn[A] ArrayView::iter2(Self[A]) -> Iter2[Int, A]
-fn[A : @string.ToStringView] ArrayView::join(Self[A], @string.View) -> String
+fn[A : @string.ToStringView] ArrayView::join(Self[A], StringView) -> String
 fn[T, U] ArrayView::map(Self[T], (T) -> U raise?) -> Array[U] raise?
 #deprecated
 fn[T] ArrayView::map_inplace(Self[T], (T) -> T raise?) -> Unit raise?

buffer/pkg.generated.mbti

@@ -1,11 +1,6 @@
 // Generated using `moon info`, DON'T EDIT IT
 package "moonbitlang/core/buffer"
 
-import(
-  "moonbitlang/core/bytes"
-  "moonbitlang/core/string"
-)
-
 // Values
 fn from_array(Array[Byte]) -> Buffer
 
@@ -26,7 +21,7 @@ fn Buffer::reset(Self) -> Unit
 fn Buffer::to_bytes(Self) -> Bytes
 fn Buffer::write_byte(Self, Byte) -> Unit
 fn Buffer::write_bytes(Self, Bytes) -> Unit
-fn Buffer::write_bytesview(Self, @bytes.View) -> Unit
+fn Buffer::write_bytesview(Self, BytesView) -> Unit
 fn Buffer::write_char_utf16be(Self, Char) -> Unit
 fn Buffer::write_char_utf16le(Self, Char) -> Unit
 fn Buffer::write_char_utf8(Self, Char) -> Unit
@@ -41,10 +36,10 @@ fn Buffer::write_int_le(Self, Int) -> Unit
 fn Buffer::write_iter(Self, Iter[Byte]) -> Unit
 fn[A : Leb128] Buffer::write_leb128(Self, A) -> Unit
 fn Buffer::write_object(Self, &Show) -> Unit
-fn Buffer::write_string_utf16be(Self, @string.View) -> Unit
+fn Buffer::write_string_utf16be(Self, StringView) -> Unit
 #alias(write_stringview, deprecated)
-fn Buffer::write_string_utf16le(Self, @string.View) -> Unit
-fn Buffer::write_string_utf8(Self, @string.View) -> Unit
+fn Buffer::write_string_utf16le(Self, StringView) -> Unit
+fn Buffer::write_string_utf8(Self, StringView) -> Unit
 fn Buffer::write_uint64_be(Self, UInt64) -> Unit
 fn Buffer::write_uint64_le(Self, UInt64) -> Unit
 fn Buffer::write_uint_be(Self, UInt) -> Unit

builtin/failure.mbt

@@ -32,7 +32,7 @@
 /// }
 /// @json.inspect(err, content=["Failure", "Test assertion failed"])
 /// ```
-pub(all) suberror Failure String derive(ToJson(style="flat"), Show)
+pub(all) suberror Failure String derive(ToJson, Show)
 
 ///|
 /// Raises a `Failure` error with a given message and source location.

builtin/guard_feature_test.mbt

@@ -20,7 +20,7 @@ enum Expr {
   Div(Expr, Expr)
   Lit(Int)
   Var(String)
-} derive(Show, ToJson(style="flat"), Eq)
+} derive(Show, ToJson, Eq)
 
 ///|
 fn simplify(e : Expr) -> Expr {

builtin/intrinsics.mbt

@@ -348,7 +348,7 @@ pub fn Int::lnot(self : Int) -> Int = "%i32_lnot"
 ///   let y = 0xAA // 10101010
 ///   inspect(x & y, content="160") // 10100000 = 160
 /// ```
-pub fn Int::land(self : Int, other : Int) -> Int = "%i32_land"
+pub impl BitAnd for Int with land(self : Int, other : Int) -> Int = "%i32_land"
 
 ///|
 /// Performs a bitwise OR operation between two 32-bit integers. For each bit
@@ -370,7 +370,7 @@ pub fn Int::land(self : Int, other : Int) -> Int = "%i32_land"
 ///   let y = 0x0F0F // 0000_1111_0000_1111
 ///   inspect(x | y, content="65535") // 1111_1111_1111_1111 = 65535
 /// ```
-pub fn Int::lor(self : Int, other : Int) -> Int = "%i32_lor"
+pub impl BitOr for Int with lor(self : Int, other : Int) -> Int = "%i32_lor"
 
 ///|
 /// Performs a bitwise XOR operation between two integers.
@@ -391,7 +391,7 @@ pub fn Int::lor(self : Int, other : Int) -> Int = "%i32_lor"
 ///   inspect(x ^ y, content="65535") // 1111_1111_1111_1111
 ///   inspect(x ^ x, content="0") // XOR with self gives 0
 /// ```
-pub fn Int::lxor(self : Int, other : Int) -> Int = "%i32_lxor"
+pub impl BitXOr for Int with lxor(self : Int, other : Int) -> Int = "%i32_lxor"
 
 ///|
 /// Performs a left shift operation on a 32-bit integer. Shifts each bit in the
@@ -1901,7 +1901,7 @@ pub impl Compare for UInt with compare(self, other) = "%u32.compare"
 ///   let b = 0xFF00U // 1111_1111_0000_0000
 ///   inspect(a & b, content="61440") // 1111_0000_0000_0000 = 61440
 /// ```
-pub fn UInt::land(self : UInt, other : UInt) -> UInt = "%u32.bitand"
+pub impl BitAnd for UInt with land(self : UInt, other : UInt) -> UInt = "%u32.bitand"
 
 ///|
 /// Performs a bitwise OR operation between two unsigned 32-bit integers. For
@@ -1922,7 +1922,7 @@ pub fn UInt::land(self : UInt, other : UInt) -> UInt = "%u32.bitand"
 ///   let b = 0x0F0FU // Binary: 0000_1111_0000_1111
 ///   inspect(a | b, content="65535") // Binary: 1111_1111_1111_1111
 /// ```
-pub fn UInt::lor(self : UInt, other : UInt) -> UInt = "%u32.bitor"
+pub impl BitOr for UInt with lor(self : UInt, other : UInt) -> UInt = "%u32.bitor"
 
 ///|
 /// Performs a bitwise XOR (exclusive OR) operation between two unsigned 32-bit
@@ -1943,7 +1943,7 @@ pub fn UInt::lor(self : UInt, other : UInt) -> UInt = "%u32.bitor"
 ///   let b = 0x0F0FU // Binary: 0000_1111_0000_1111
 ///   inspect(a ^ b, content="61455") // Binary: 1111_0000_0000_1111
 /// ```
-pub fn UInt::lxor(self : UInt, other : UInt) -> UInt = "%u32.bitxor"
+pub impl BitXOr for UInt with lxor(self : UInt, other : UInt) -> UInt = "%u32.bitxor"
 
 ///|
 /// Performs a bitwise NOT operation on an unsigned 32-bit integer. Flips all

builtin/pkg.generated.mbti

@@ -369,14 +369,11 @@ fn Int::is_non_pos(Int) -> Bool
 fn Int::is_pos(Int) -> Bool
 fn Int::is_surrogate(Int) -> Bool
 fn Int::is_trailing_surrogate(Int) -> Bool
-fn Int::land(Int, Int) -> Int
 fn Int::lnot(Int) -> Int
-fn Int::lor(Int, Int) -> Int
 #deprecated
 fn Int::lsl(Int, Int) -> Int
 #deprecated
 fn Int::lsr(Int, Int) -> Int
-fn Int::lxor(Int, Int) -> Int
 fn Int::max(Int, Int) -> Int
 fn Int::min(Int, Int) -> Int
 fn Int::next_power_of_two(Int) -> Int
@@ -439,14 +436,11 @@ fn Int64::upto(Int64, Int64, inclusive? : Bool) -> Iter[Int64]
 
 fn UInt::clz(UInt) -> Int
 fn UInt::ctz(UInt) -> Int
-fn UInt::land(UInt, UInt) -> UInt
 fn UInt::lnot(UInt) -> UInt
-fn UInt::lor(UInt, UInt) -> UInt
 #deprecated
 fn UInt::lsl(UInt, Int) -> UInt
 #deprecated
 fn UInt::lsr(UInt, Int) -> UInt
-fn UInt::lxor(UInt, UInt) -> UInt
 fn UInt::op_neq(UInt, UInt) -> Bool
 fn UInt::popcnt(UInt) -> Int
 fn UInt::reinterpret_as_float(UInt) -> Float
@@ -607,21 +601,27 @@ pub(open) trait BitAnd {
   land(Self, Self) -> Self
 }
 impl BitAnd for Byte
+impl BitAnd for Int
 impl BitAnd for Int64
+impl BitAnd for UInt
 impl BitAnd for UInt64
 
 pub(open) trait BitOr {
   lor(Self, Self) -> Self
 }
 impl BitOr for Byte
+impl BitOr for Int
 impl BitOr for Int64
+impl BitOr for UInt
 impl BitOr for UInt64
 
 pub(open) trait BitXOr {
   lxor(Self, Self) -> Self
 }
 impl BitXOr for Byte
+impl BitXOr for Int
 impl BitXOr for Int64
+impl BitXOr for UInt
 impl BitXOr for UInt64
 
 pub(open) trait Compare : Eq {

bytes/pkg.generated.mbti

@@ -7,45 +7,7 @@ fn default() -> Bytes
 // Errors
 
 // Types and methods
-type View
-#alias(op_get)
-fn View::at(Self, Int) -> Byte
-fn View::data(Self) -> Bytes
-fn View::find(Self, Self) -> Int?
-fn View::get(Self, Int) -> Byte?
-fn View::iter(Self) -> Iter[Byte]
-fn View::length(Self) -> Int
-fn View::rev_find(Self, Self) -> Int?
-fn View::start_offset(Self) -> Int
-#alias(op_as_view)
-fn View::sub(Self, start? : Int, end? : Int) -> Self
-fn View::to_bytes(Self) -> Bytes
-fn View::to_double_be(Self) -> Double
-fn View::to_double_le(Self) -> Double
-fn View::to_float_be(Self) -> Float
-fn View::to_float_le(Self) -> Float
-fn View::to_int64_be(Self) -> Int64
-fn View::to_int64_le(Self) -> Int64
-fn View::to_int_be(Self) -> Int
-fn View::to_int_le(Self) -> Int
-fn View::to_uint64_be(Self) -> UInt64
-fn View::to_uint64_le(Self) -> UInt64
-fn View::to_uint_be(Self) -> UInt
-fn View::to_uint_le(Self) -> UInt
-fn View::unsafe_extract_bit(Self, Int, Int) -> UInt
-fn View::unsafe_extract_byte(Self, Int, Int) -> UInt
-fn View::unsafe_extract_bytesview(Self, Int, Int) -> Self
-fn View::unsafe_extract_uint64_be(Self, Int, Int) -> UInt64
-fn View::unsafe_extract_uint64_le(Self, Int, Int) -> UInt64
-fn View::unsafe_extract_uint_be(Self, Int, Int) -> UInt
-fn View::unsafe_extract_uint_le(Self, Int, Int) -> UInt
-fn View::unsafe_get(Self, Int) -> Byte
-impl Compare for View
-impl Eq for View
-impl Hash for View
-impl Show for View
-
-fn Bytes::find(Bytes, View) -> Int?
+fn Bytes::find(Bytes, BytesView) -> Int?
 #as_free_fn
 fn Bytes::from_array(Array[Byte]) -> Bytes
 #as_free_fn
@@ -57,14 +19,14 @@ fn Bytes::iter(Bytes) -> Iter[Byte]
 fn Bytes::iter2(Bytes) -> Iter2[Int, Byte]
 #as_free_fn
 fn Bytes::of(FixedArray[Byte]) -> Bytes
-fn Bytes::rev_find(Bytes, View) -> Int?
+fn Bytes::rev_find(Bytes, BytesView) -> Int?
 #alias(op_as_view)
-fn Bytes::sub(Bytes, start? : Int, end? : Int) -> View
+fn Bytes::sub(Bytes, start? : Int, end? : Int) -> BytesView
 fn Bytes::to_array(Bytes) -> Array[Byte]
 fn Bytes::to_fixedarray(Bytes, len? : Int) -> FixedArray[Byte]
 fn Bytes::unsafe_extract_bit(Bytes, Int, Int) -> UInt
 fn Bytes::unsafe_extract_byte(Bytes, Int, Int) -> UInt
-fn Bytes::unsafe_extract_bytesview(Bytes, Int, Int) -> View
+fn Bytes::unsafe_extract_bytesview(Bytes, Int, Int) -> BytesView
 fn Bytes::unsafe_extract_uint64_be(Bytes, Int, Int) -> UInt64
 fn Bytes::unsafe_extract_uint64_le(Bytes, Int, Int) -> UInt64
 fn Bytes::unsafe_extract_uint_be(Bytes, Int, Int) -> UInt
@@ -73,7 +35,45 @@ impl Add for Bytes
 impl Default for Bytes
 impl Hash for Bytes
 
+#alias(op_get)
+fn BytesView::at(Self, Int) -> Byte
+fn BytesView::data(Self) -> Bytes
+fn BytesView::find(Self, Self) -> Int?
+fn BytesView::get(Self, Int) -> Byte?
+fn BytesView::iter(Self) -> Iter[Byte]
+fn BytesView::length(Self) -> Int
+fn BytesView::rev_find(Self, Self) -> Int?
+fn BytesView::start_offset(Self) -> Int
+#alias(op_as_view)
+fn BytesView::sub(Self, start? : Int, end? : Int) -> Self
+fn BytesView::to_bytes(Self) -> Bytes
+fn BytesView::to_double_be(Self) -> Double
+fn BytesView::to_double_le(Self) -> Double
+fn BytesView::to_float_be(Self) -> Float
+fn BytesView::to_float_le(Self) -> Float
+fn BytesView::to_int64_be(Self) -> Int64
+fn BytesView::to_int64_le(Self) -> Int64
+fn BytesView::to_int_be(Self) -> Int
+fn BytesView::to_int_le(Self) -> Int
+fn BytesView::to_uint64_be(Self) -> UInt64
+fn BytesView::to_uint64_le(Self) -> UInt64
+fn BytesView::to_uint_be(Self) -> UInt
+fn BytesView::to_uint_le(Self) -> UInt
+fn BytesView::unsafe_extract_bit(Self, Int, Int) -> UInt
+fn BytesView::unsafe_extract_byte(Self, Int, Int) -> UInt
+fn BytesView::unsafe_extract_bytesview(Self, Int, Int) -> Self
+fn BytesView::unsafe_extract_uint64_be(Self, Int, Int) -> UInt64
+fn BytesView::unsafe_extract_uint64_le(Self, Int, Int) -> UInt64
+fn BytesView::unsafe_extract_uint_be(Self, Int, Int) -> UInt
+fn BytesView::unsafe_extract_uint_le(Self, Int, Int) -> UInt
+fn BytesView::unsafe_get(Self, Int) -> Byte
+impl Compare for BytesView
+impl Eq for BytesView
+impl Hash for BytesView
+impl Show for BytesView
+
 // Type aliases
+pub typealias BytesView as View
 
 // Traits
 

bytes/view.mbt

@@ -26,7 +26,7 @@
 ///   assert_eq(bv[2], b'\x03')
 /// ```
 #builtin.valtype
-type View
+pub typealias BytesView as View
 
 ///|
 fn View::bytes(self : View) -> Bytes = "%bytesview.bytes"

deque/pkg.generated.mbti

@@ -3,7 +3,6 @@ package "moonbitlang/core/deque"
 
 import(
   "moonbitlang/core/json"
-  "moonbitlang/core/string"
 )
 
 // Values
@@ -39,7 +38,7 @@ fn[A] Deque::insert(Self[A], Int, A) -> Unit
 fn[A] Deque::is_empty(Self[A]) -> Bool
 fn[A] Deque::iter(Self[A]) -> Iter[A]
 fn[A] Deque::iter2(Self[A]) -> Iter2[Int, A]
-fn Deque::join(Self[String], @string.View) -> String
+fn Deque::join(Self[String], StringView) -> String
 fn[A] Deque::length(Self[A]) -> Int
 fn[A, U] Deque::map(Self[A], (A) -> U) -> Self[U]
 fn[A, U] Deque::mapi(Self[A], (Int, A) -> U) -> Self[U]

encoding/utf8/pkg.generated.mbti

@@ -1,20 +1,15 @@
 // Generated using `moon info`, DON'T EDIT IT
 package "moonbitlang/core/encoding/utf8"
 
-import(
-  "moonbitlang/core/bytes"
-  "moonbitlang/core/string"
-)
-
 // Values
-fn decode(@bytes.View, ignore_bom? : Bool) -> String raise Malformed
+fn decode(BytesView, ignore_bom? : Bool) -> String raise Malformed
 
-fn decode_lossy(@bytes.View, ignore_bom? : Bool) -> String
+fn decode_lossy(BytesView, ignore_bom? : Bool) -> String
 
-fn encode(@string.View, bom? : Bool) -> Bytes
+fn encode(StringView, bom? : Bool) -> Bytes
 
 // Errors
-pub suberror Malformed @bytes.View
+pub suberror Malformed BytesView
 
 // Types and methods