Я хочу отфильтровать пустые строки, чтобы поместить их в параметр. Поэтому я быстро построил это сейчас:
def StrictOption(s: String) = s match {
case s if s != null && s.trim.length() > 0 => Some(s)
case _ => None
}
Вопрос: возможно, это уже где-то в стандартной библиотеке?