Overview
Embedding Roto
Reference
as_string
from
new
push_char
push_string
A mutable string type
It is possible to mutate this type in place, allowing for faster manipulation. In particular, adding chars or String to the end of this type is much cheaper than using + or String.append.
char
String
+
String.append
Get the underlying String of this StringBuf
StringBuf
Create a StringBuf with an initial String
Create a new empty StringBuf
Add a char to the end of this StringBuf
Add a String to the end of this StringBuf