StringBuilder
enum StringBuilder[_: Eff]
Sourcecase StringBuilder(java.lang.StringBuilder)
Represents a StringBuilder.
Definitions
Append x
to the StringBuilder sb
.
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 + Aef[t] with Foldable[t]
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 empty(_: Region[r]): StringBuilder[r] \ r
SourceReturns a new mutable StringBuilder.
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
.
def length(sb: StringBuilder[r]): Int32 \ r
SourceReturn the number of characters in the StringBuilder sb
.
def setLength!(newLength: Int32, sb: StringBuilder[r]): Unit \ r
SourceSets the length of the StringBuilder sb
.
def size(sb: StringBuilder[r]): Int32 \ r
SourceReturn the number of characters in the StringBuilder sb
.
def toString(sb: StringBuilder[r]): String \ r
SourceConvert the StringBuilder sb
to a string.