Я пытаюсь получить число из поля xml
...
<Quantity>12</Quantity>
...
с помощью
Some((recipe \ "Main" \ "Quantity").text.toInt)
Иногда может быть не значение в xml. Текст будет ""
, и это вызовет исключение java.lang.NumberFormatException.
Что такое чистый способ получить либо Int, либо None?