@[inline]

def Std.Iter.joinString {α β : Type} [Iterator α Id β] [ToString β] (it : Iter β) : String

Appends all the elements in the iterator, in order.

Equations

• it.joinString = Std.Iter.fold (fun (x1 x2 : String) => x1 ++ x2) "" (Std.Iter.map toString it)

@[inline]

def Std.Iter.intercalateString {α β : Type} [Iterator α Id β] [ToString β] (s : String.Slice) (it : Iter β) : String

Appends the elements of the iterator into a string, placing the separator s between them.

Equations

• One or more equations did not get rendered due to their size.