Namespaces Symbols

StringBuilder

0.40.0

Definitions

def append! [ar] ( x : a sb : StringBuilder[r] ) : Unit \ r with ToString[a]

Source

Append x to the StringBuilder sb.

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

Source

Append the code point cp to the StringBuilder sb.

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

Source

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

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

Source

Append the system line separator to the StringBuilder sb.

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

Source

Appends f(x) to the string builder sb.

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

Source

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

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

Source

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

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

Source

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

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

Source

Append the String s to the StringBuilder sb.

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

Source

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

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

Source

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

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

Source

Returns an iterator over sb.

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

Source

Return the length of the StringBuilder sb.

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

Source

Returns a new mutable StringBuilder.

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

Source

Convert the StringBuilder sb to a string.