ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 02:01:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Add a couple more ops to consider.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-05-06 20:31:21 -07:00
parent bda2dbf92d
commit fd42473b4a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/rfc/001-initial-strings.md
View File

@ -111,6 +111,8 @@ do we want to provide for `char` values?]_
- [ ] is_uppercase - Returns `true` if the `char` has the `Uppercase` property. - [ ] is_uppercase - Returns `true` if the `char` has the `Uppercase` property.
- [ ] is_whitespace - Returns `true` if the `char` has the `White_Space` property. - [ ] is_whitespace - Returns `true` if the `char` has the `White_Space` property.
- [ ] to_digit - Converts the `char` to the given `radix` format. - [ ] 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 It seems fairly natural to convert between `char` values
and `u8` or `u16` or `u32` values, under suitable range conditions; and `u8` or `u16` or `u32` values, under suitable range conditions;