chore: update moc to 0.10.1 (#592)

.github/workflows/ci.yml

@@ -9,7 +9,7 @@ on:
 # Remember to update me in package-set.yml as well
 env:
   vessel_version: "v0.7.0"
-  moc_version: "0.10.0"
+  moc_version: "0.10.1"
 
 jobs:
   tests:

.github/workflows/package-set.yml

@@ -8,7 +8,7 @@ on:
 
 env:
   vessel_version: "v0.7.0"
-  moc_version: "0.10.0"
+  moc_version: "0.10.1"
 
 jobs:
   verify:

src/Text.mo

@@ -806,5 +806,21 @@ module {
   /// ```motoko include=import
   /// let text = Text.decodeUtf8("\48\65\6C\6C\6F"); // ?"Hello"
   /// ```
-  public let decodeUtf8 : Blob -> ?Text = Prim.decodeUtf8
+  public let decodeUtf8 : Blob -> ?Text = Prim.decodeUtf8;
+
+  /// Returns the text argument in lowercase.
+  /// WARNING: Unicode compliant only when compiled, not interpreted.
+  ///
+  /// ```motoko include=import
+  /// let text = Text.toLowercase("Good Day"); // ?"good day"
+  /// ```
+  public let toLowercase : Text -> Text = Prim.textLowercase;
+
+  /// Returns the text argument in uppercase. Unicode compliant.
+  /// WARNING: Unicode compliant only when compiled, not interpreted.
+  ///
+  /// ```motoko include=import
+  /// let text = Text.toUppercase("Good Day"); // ?"GOOD DAY"
+  /// ```
+  public let toUppercase : Text -> Text = Prim.textUppercase;
 }

test/Text.test.mo

@@ -1048,4 +1048,68 @@ run(
       )
     ]
   )
+);
+
+run(
+  suite(
+    "text-toLowercase",
+    [
+      test(
+        "empty",
+        Text.toLowercase(""),
+        M.equals(T.text "")
+      ),
+      test(
+        "printable ascii",
+        Text.toLowercase(
+          "!\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~"
+        ),
+        M.equals(T.text
+          "!\"#$%&'()*+,-./0123456789:;<=>?@abcdefghijklmnopqrstuvwxyz[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~"
+        ),
+      ),
+      test(
+        "ὈDYSSEUS",
+        Text.toLowercase("ὈΔΥΣΣΕΎΣ"),
+        M.equals(T.text "ὀδυσσεύς")
+      ),
+      test(
+        "new year",
+        Text.toLowercase("农历新年"),
+        M.equals(T.text "农历新年")
+      )
+    ]
+  )
+);
+
+run(
+  suite(
+    "text-toUppercase",
+    [
+      test(
+        "empty",
+        Text.toUppercase(""),
+        M.equals(T.text "")
+      ),
+      test(
+        "printable ascii",
+        Text.toUppercase(
+          "!\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~"
+        ),
+        M.equals(T.text
+          "!\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`ABCDEFGHIJKLMNOPQRSTUVWXYZ{|}~"
+        ),
+      ),
+      test(
+        "odysseus",
+        Text.toUppercase("ὀδυσσεύς"),
+        M.equals(T.text "ὈΔΥΣΣΕΎΣ")
+      ),
+      test(
+        "new year",
+        Text.toUppercase("农历新年"),
+        M.equals(T.text "农历新年")
+      )
+    ]
+  )
 )