StringBuilder

Definitions

def append!(x: a, sb: StringBuilder[r]): Unit \ rSource

Append x to the StringBuilder sb.

def appendCodePoint!(cp: Int32, sb: StringBuilder[r]): Unit \ rSource

Append the code point cp to the StringBuilder sb.

def appendLine!(s: String, sb: StringBuilder[r]): Unit \ rSource

Append the String s followed by the system line separator to the StringBuilder sb.

def appendLineSeparator!(sb: StringBuilder[r]): Unit \ rSource

Append the system line separator to the StringBuilder sb.

def appendLineWith!(f: a -> String \ ef, x: a, sb: StringBuilder[r]): Unit \ ef + rSource

Appends f(x) to the string builder sb.

def appendLines!(a: Array[String, r1], sb: StringBuilder[r2]): Unit \ r1 + r2Source

Appends each string in the array a to the string builder sb.

def appendLinesWith(f: a -> String \ ef, t: t[a], sb: StringBuilder[r]): Unit \ ef + rSource

Appends f(x) for each x in the foldable collection t to the string builder sb.

def appendLinesWith!(f: a -> String \ ef, a: Array[a, r1], sb: StringBuilder[r2]): Unit \ ef + r1 + r2Source

Appends f(x) for each x in array a to the string builder sb.

def appendString!(s: String, sb: StringBuilder[r]): Unit \ rSource

Append the String s to the StringBuilder sb.

def enumerator(rc1: Region[r1], sb: StringBuilder[r2]): Iterator[(Int32, Char), r1 + r2, r1] \ r1 + r2Source

Returns an iterator over l zipped with the indices of the elements.

def intercalate!(sep: String, a: Array[String, r1], sb: StringBuilder[r2]): Unit \ r1 + r2Source

Append the array of strings a separating each pair of string with sep to the StringBuilder sb.

def iterator(rc: Region[r1], sb: StringBuilder[r2]): Iterator[Char, r1 + r2, r1] \ r1 + r2Source

Returns an iterator over sb.

def length(sb: StringBuilder[r]): Int32 \ rSource

Return the length of the StringBuilder sb.

def new(_: Region[r]): StringBuilder[r] \ rSource

Returns a new mutable StringBuilder.

def toString(sb: StringBuilder[r]): String \ rSource

Convert the StringBuilder sb to a string.