VERY basic UTF8 parser
This commit is contained in:
@@ -5,6 +5,7 @@ first
|
||||
join
|
||||
nibble
|
||||
split
|
||||
split_utf8
|
||||
replace
|
||||
to_lower
|
||||
to_upper
|
||||
|
||||
@@ -1,8 +1,9 @@
|
||||
:sig
|
||||
String expand_path(String path)
|
||||
String expand_path(String path, String relative_to_path = "")
|
||||
|
||||
:params
|
||||
path : a relative path
|
||||
relative_to_path : optional, expand relative to this path (if not given, the current path is used)
|
||||
return value : expanded version of the 'path'
|
||||
|
||||
:desc
|
||||
|
||||
@@ -0,0 +1,15 @@
|
||||
:sig
|
||||
StringList split_utf8(String str)
|
||||
|
||||
|
||||
:params
|
||||
str : string to be split
|
||||
return value : a list of Unicode characters
|
||||
|
||||
:desc
|
||||
Splits the string 'str' into its constituent Unicode code points.
|
||||
|
||||
This currently does not honor compound characters such as flags or composite emojis.
|
||||
|
||||
:see
|
||||
>string
|
||||
Reference in New Issue
Block a user