From 664e930172603118f7341f7cfba284db61772876 Mon Sep 17 00:00:00 2001 From: Clombrong Date: Tue, 1 Jul 2025 11:30:42 +0200 Subject: feat(jid): add inverse function string_of_uchars --- lib/jid.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib') diff --git a/lib/jid.ml b/lib/jid.ml index 2ca0795..b06a00c 100644 --- a/lib/jid.ml +++ b/lib/jid.ml @@ -24,6 +24,11 @@ let uchars_of_string s : uchars = loop (u :: acc) (i + k) in loop [] (String.length s) +let string_of_uchars (u : uchars) = + let buf = Buffer.create (4 * List.length u) in + List.iter (Buffer.add_utf_8_uchar buf) u; + Buffer.to_bytes buf |> String.of_bytes + let of_string (jid : string) : t = let open Uchar in let len = String.length jid in -- cgit v1.2.3