refinement-type
Вопросы и ответы
Вопрос или проблема Вот минимальный нерабочий пример того, что я пытаюсь сделать: import io.github.iltotore.iron.* import io.github.iltotore.iron.constraint.string.* case class User(name: String) type Username = String :| StartWith["@"] def name2user(usern