Mat*_*ndt 5 scala refined
我正在使用NonEmptyString精炼库中的类型。当连接两个字符串时，至少其中一个非空，结果显然是另一个非空字符串。但是有没有一种方法可以让 Scala 编译器相信这一事实，而不使用诸如 之类的不安全方法NonEmptyString.unsafeFrom？
NonEmptyString
NonEmptyString.unsafeFrom
归档时间：
2 年，9 月 前
查看次数：
311 次
最近记录：