Overview
Writing Roto
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.