StringBuilder
Definitions
def appendCodePoint!(cp: Int32, sb: StringBuilder[r]): Unit \ r
SourceAppend the code point cp
to the StringBuilder sb
.
def appendLine!(s: String, sb: StringBuilder[r]): Unit \ r
SourceAppend the String s
followed by the system line separator to the StringBuilder sb
.
def appendLineSeparator!(sb: StringBuilder[r]): Unit \ r
SourceAppend the system line separator to the StringBuilder sb
.
def appendLineWith!(f: a -> String \ ef, x: a, sb: StringBuilder[r]): Unit \ ef + r
SourceAppends f(x)
to the string builder sb
.
def appendLines!(a: Array[String, r1], sb: StringBuilder[r2]): Unit \ r1 + r2
SourceAppends 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 + r
SourceAppends 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 + r2
SourceAppends f(x)
for each x in array a
to the string builder sb
.
def appendString!(s: String, sb: StringBuilder[r]): Unit \ r
SourceAppend the String s
to the StringBuilder sb
.
def enumerator(rc1: Region[r1], sb: StringBuilder[r2]): Iterator[(Int32, Char), r1 + r2, r1] \ r1 + r2
SourceReturns an iterator over l
zipped with the indices of the elements.
def intercalate!(sep: String, a: Array[String, r1], sb: StringBuilder[r2]): Unit \ r1 + r2
SourceAppend 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 + r2
SourceReturns an iterator over sb
.