diff --git a/uint16/pkg.generated.mbti b/uint16/pkg.generated.mbti
index fac27f151..25265e023 100644
--- a/uint16/pkg.generated.mbti
+++ b/uint16/pkg.generated.mbti
@@ -9,9 +9,14 @@ let min_value : UInt16
 // Errors
 
 // Types and methods
+fn UInt16::is_leading_surrogate(UInt16) -> Bool
+fn UInt16::is_surrogate(UInt16) -> Bool
+fn UInt16::is_trailing_surrogate(UInt16) -> Bool
 fn UInt16::reinterpret_as_int16(UInt16) -> Int16
+fn UInt16::to_char(UInt16) -> Char?
 fn UInt16::to_uint(UInt16) -> UInt
 fn UInt16::to_uint64(UInt16) -> UInt64
+fn UInt16::unsafe_to_char(UInt16) -> Char
 impl Add for UInt16
 impl BitAnd for UInt16
 impl BitOr for UInt16
diff --git a/uint16/uint16_char.mbt b/uint16/uint16_char.mbt
new file mode 100644
index 000000000..fd2dfc63c
--- /dev/null
+++ b/uint16/uint16_char.mbt
@@ -0,0 +1,72 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|
+/// Checks if the integer value represents a UTF-16 leading surrogate.
+/// Leading surrogates are in the range 0xD800 to 0xDBFF.
+///
+/// Example:
+/// ```moonbit
+/// inspect((0xD800 : UInt16).is_leading_surrogate(), content="true")
+/// inspect((0xDBFF : UInt16).is_leading_surrogate(), content="true")
+/// inspect((0xDC00 : UInt16).is_leading_surrogate(), content="false")
+/// inspect((0x41 : UInt16).is_leading_surrogate(), content="false") // 'A'
+/// ```
+pub fn UInt16::is_leading_surrogate(self : Self) -> Bool {
+  self >= 0xD800 && self <= 0xDBFF
+}
+
+///|
+/// Checks if the integer value represents a UTF-16 trailing surrogate.
+/// Trailing surrogates are in the range 0xDC00 to 0xDFFF.
+///
+/// Example:
+/// ```moonbit
+///   inspect((0xDC00 : UInt16).is_trailing_surrogate(), content="true")
+///   inspect((0xDFFF : UInt16).is_trailing_surrogate(), content="true")
+///   inspect((0xD800 : UInt16).is_trailing_surrogate(), content="false")
+///   inspect((0x41 : UInt16).is_trailing_surrogate(), content="false") // 'A'
+/// ```
+pub fn UInt16::is_trailing_surrogate(self : Self) -> Bool {
+  self >= 0xDC00 && self <= 0xDFFF
+}
+
+///|
+/// Checks if the integer value represents any UTF-16 surrogate (leading or trailing).
+/// Surrogates are in the range 0xD800 to 0xDFFF.
+///
+/// Example:
+/// ```moonbit
+///   inspect((0xD800 : UInt16).is_surrogate(), content="true")  // leading surrogate
+///   inspect((0xDC00 : UInt16).is_surrogate(), content="true")  // trailing surrogate
+///   inspect((0xDFFF : UInt16).is_surrogate(), content="true")  // trailing surrogate
+///   inspect((0x41 : UInt16).is_surrogate(), content="false")   // 'A'
+/// ```
+pub fn UInt16::is_surrogate(self : Self) -> Bool {
+  self >= 0xD800 && self <= 0xDFFF
+}
+
+///|
+pub fn UInt16::unsafe_to_char(self : UInt16) -> Char {
+  self.to_int().unsafe_to_char()
+}
+
+///|
+pub fn UInt16::to_char(self : UInt16) -> Char? {
+  if self is (0..=0xD7FF) || self is (0xE000..<_) {
+    Some(self.unsafe_to_char())
+  } else {
+    None
+  }
+}