-
在使用精炼
我试图使用精致的来基于基元创建智能构造函数,并避免包装,因为在大型集合中可能使用相同的类型 -
在Scala中进行类型优化,但不使用优化
我试图基于String创建一个HexString类型,该类型应满足“仅包含十六进制数字”的条件,如果可能,我希 -
Scala:如何强制将语句转换为文字?
我正在尝试在其库之一中提供的scala的改进类型功能: <a href="https://github.com/fthomas/refined" rel="nofoll -
与Http4s一起使用circe时用于精制类型的解码器
我正在尝试对案例类使用精致的类型,但无法弄清楚编码器将如何实际工作。对于json解析,circe与https4s -
使用相同谓词进行精炼时如何使用Scala的精炼库确保类型安全
我对scala和精炼库是陌生的,但是我试图基于UUID创建两个精炼类型。 为此,我这样做了(注意:在 -
如何转换为精制类型?
我正在使用<a href="https://github.com/fthomas/refined" rel="nofollow noreferrer">https://github.com/fthomas/refined</a>库,并想 -
Scala circe DeriveUnwrapped 值类对丢失的成员不起作用
我正在尝试解码一个字符串值类,如果字符串为空,我需要得到一个 None 否则一个 Some。我有以下菊石脚 -
单例类型作为类型成员
我正在尝试将类型成员定义为单例类型。这是我的尝试: <pre><code>import shapeless.syntax.singleton._ trait Tes -
将文字投影应用于精炼文字
考虑以下示例: <pre><code>trait T3 trait T2{ type TT4 type TT3 <: T3 } trait T1{ type TT2 <: T2 } </code></pre>