Если у вас действительно есть строка строк (и вы можете включить символ конца строки, и он соответствует), вы можете использовать replace из java.lang.String
:
text.replace(which,what+which)
но если вы хотите что-то более общее, что-то вроде
lines.flatMap(l => if (l==which) Seq(what,l) else Seq(l))
- это компактный и понятный способ выразить это (по крайней мере, тем, кто знает, как работает flatMap
).
Если вам нужно что-то максимально эффективное, то это длинный уродливый ответ с большим количеством циклов while и, возможно, некоторыми промежуточными байтовыми массивами.