Принятый ответ на Как преобразовать Некоторый ( "" ) в None в однострочном?" принял форму:
def convert(x: Option[String]) : Option[String] =
x.map(_.trim()).filterNot(_.isEmpty())
Моя проблема в том, что я не могу понять, как найти, что означает, что коллекция, возвращаемая filterNot, преобразуется в Option. Я просмотрел конструкторы Scaladoc для Option, объект Option, Predef, Seq и Seq Object. Я полагаю, что там, вероятно, есть что-то скрытое, но как его найти?