This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
|
Last revision
Both sides next revision
|
manual:chapter3:strings [2017/09/09 20:01] claudio [Commands for strings] |
manual:chapter3:strings [2017/09/09 20:04] claudio [Commands for strings] |
| ''→NFC'' | Normalize a string to Unicode NFC | ''"Hello World" →NFC'' yields ''"Hello World"''| | | ''→NFC'' | Normalize a string to Unicode NFC | ''"Hello World" →NFC'' yields ''"Hello World"''| |
| ''UTF8→'' | Convert string to list of Unicode Code Points | ''"abcd" UTF8→'' yields ''{ #61h #62h #63h #64h }'' | | | ''UTF8→'' | Convert string to list of Unicode Code Points | ''"abcd" UTF8→'' yields ''{ #61h #62h #63h #64h }'' | |
| ''→UTF8'' | Convert list of Unicode Code Points to a string | ''{ #61h #62h #63h #64h } →UTF8'' yields ''"abcd"''| | | ''→UTF8'' | Convert list of Unicode Code Points to a UTF8 string | ''{ #61h #62h #63h #64h } →UTF8'' yields ''"abcd"''| |
| ''SIZE'' | Return the number of bytes in a string | ''"Hello World" SIZE'' yields ''11''| | | ''SIZE'' | Return the number of bytes used by a UTF8 string | ''"Hello World" SIZE'' yields ''11''| |
| ''STRLEN'' | Returns the length of the string, in characters | ''"Hello World" STRLEN'' yields ''11'' | | | ''STRLEN'' | Returns the length of the string, in characters | ''"Hello World" STRLEN'' yields ''11'' | |
| ''STRLENCP'' | Returns the mumber of Unicode Code Points in a string | ''"Hello World" STRLEN'' yields ''11'' | | | ''STRLENCP'' | Returns the mumber of Unicode Code Points in a string | ''"Hello World" STRLEN'' yields ''11'' | |