From fd42473b4a7f25be7dc02685c0539a26660ab23f Mon Sep 17 00:00:00 2001 From: Alessandro Coglio Date: Thu, 6 May 2021 20:31:21 -0700 Subject: [PATCH] [RFC] Add a couple more ops to consider. --- docs/rfc/001-initial-strings.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/rfc/001-initial-strings.md b/docs/rfc/001-initial-strings.md index 2bdedeb4bf..e6681492a1 100644 --- a/docs/rfc/001-initial-strings.md +++ b/docs/rfc/001-initial-strings.md @@ -111,6 +111,8 @@ do we want to provide for `char` values?]_ - [ ] is_uppercase - Returns `true` if the `char` has the `Uppercase` property. - [ ] is_whitespace - Returns `true` if the `char` has the `White_Space` property. - [ ] to_digit - Converts the `char` to the given `radix` format. +- [ ] to_uppercase - Converts lowercase to uppercase, leaving others unchanged. +- [ ] to_lowercaser - Converts uppercase to lowercase, leaving others unchanged. It seems fairly natural to convert between `char` values and `u8` or `u16` or `u32` values, under suitable range conditions;