Converts characters in a character list from lower case to upper case
(list<uint8, n>) -> list<uint8, n>
| str : list<uint8; n> | The string to convert to upper case |
A list of characters
Converts characters in a character list from upper case to lower case
(list<uint8, n>) -> list<uint8, n>
| str : list<uint8; n> | The string to convert to lower case |
A list of characters
Converts an int32 to a char list, truncating the string if the char list capacity is not sufficient. The output string will be at most length n.
(int32) -> charlist<n>
| m : int32 | The number to convert |
A list of characters
Returns the length of a character list, equal to the list length minus one (takes into account the null byte at the end of the character list)
(list<uint8, n>) -> uint32
| s : list<uint8, n> | The character list to find the length of |
The length of the character list
Concatenates two character lists together. This should be used instead of List:append due to the null bytes at the end of character lists.
(charlist<aCap>, charlist<bCap>) -> charlist<retCap>
| sA : charlist<aCap> | The first character list. |
| sB : charlist<bCap> | The second character list. |
The two lists appended together.
Concatenates two character lists together. Since the return capacity is determined by the input capacities, less type annotations than normal concat are necessary.
(charlist<aCap>, charlist<bCap>) -> charlist<aCap+bCap>
| sA : charlist<aCap> | The first character list. |
| sB : charlist<bCap> | The second character list. |
The two lists appended together.