cost 66 ms
将类型投影应用于精炼类型 - Apply type projection to a refined type
考虑以下示例： 现在我想写一个 function 大致看起来像 不幸的是，这不是一个有效的语法。 完全可以像这样写一个 function 但我想对T#TT2添加更严格的限制，使其成为精炼的类型T#TT2{ type TT4 = Int} 。 有什么解决方法吗？ ...
Singleton 类型作为类型成员 - Singleton type as a type member
我正在尝试将类型成员定义为 singleton 类型。 这是我的尝试： 有没有办法将类型成员设置为 singleton 类型（在我的情况下为Boolean(false) ）？ ...
Scala circe derivedUnwrapped 值 class 不适用于缺少的成员 - Scala circe deriveUnwrapped value class doesn't work for missing member
我正在尝试对字符串值 class 进行解码，如果字符串为空，我需要获取 None 否则为 Some。 我有以下菊石脚本示例：import $ivy.`io.circe::circe-generic:0.13.0`, io.circe._, io.circe.generic.auto._, io.ci ...
如何转换成精炼型？ - How to convert into refined type?
我正在使用库https://github.com/fthomas/refined并想将java.util.UUID转换为精制的Uuid 。 如何将java.util.UUID转换为细化的Uuid ？ 更新我有以下 http 路线： 读取的 function 定义如下： 编译器抱怨： ...
使用相同谓词进行细化时如何使用 Scala 的 Refined 库确保类型安全 - How to ensure type safety with Scala's Refined library when using the same predicate for refinement
我是 scala 和精炼库的新手，但我正在尝试基于 UUID 创建两种精炼类型。 为此，我这样做了（注意：本例中的 Uuid 来自 eu.timepit.refined.string.Uuid）： 但是，这似乎只创建别名，因此没有类型安全性。 因此，如果我有一个像Product(a UuidA, b ...
使用 circe 和 Http4s 时精炼类型的解码器 - decoder for refined type when using circe with Http4s
我正在尝试对案例 class 使用精炼类型，但无法弄清楚编码器将如何实际工作。 对于 json，解析循环与 https4s 库一起使用。 错误 最坏的情况是我需要定义自己的解码器并解析它。 但是，如果有任何其他可以进一步简化的方法会很好。 ...
Scala：如何强制将语句转换为文字？ - Scala: how to force converting a statement to literal?
我正在尝试其库之一中提供的 scala 的精炼类型功能： https://github.com/fthomas/refined 下面的代码代表一个简单的案例： 尝试编译时出现以下错误： 应该注意的是，v1 和 v2 都可以在编译时轻松评估并内联，但是 scala 编译器似乎拒绝这样做，对于Lis ...
Scala 中的类型细化但不使用细化 - Type refinements in Scala but without using refined
我正在尝试创建一个基于 String 的 HexString 类型，它应该满足“它只包含十六进制数字”的条件，如果可能的话，我想让编译器为我检查它。 一个明显的解决方案是使用细化并编写如下内容：type HexString = String Refined MatchesRegex[W.`"""^( ...
尝试在使用细化时保持类型未包装 - Trying to keep types unwrapped when using refined
我正在尝试使用细化来创建基于原语的智能构造函数并避免包装，因为相同的类型可能会在大型 collections 中使用。 我这样做对吗？ 似乎工作，但有点样板 接着 ...
与 Cats 和 Refined Types 一起使用时无法生成 Circe 解码器 - Not able to generate Circe Decoder when using with Cats and Refined Types
我写了这段代码import io.circe._ import io.circe.refined._ import cats.data._ import cats.implicits._ import eu.timepit.refined.auto._ final case class Trans ...
scala 上的模式匹配 Refined size - Pattern matching on scala Refined size
我想提供一个案例类的 json 模式（在编译时），基于不同的类型（包括 Scala 精制） object JsonSchema { def jsonSchema[T]: String = macro impl[T] def impl[T: c.WeakTypeTag](c: scala. ...
使用带有优化的PureConfig吗？ - Using PureConfig with Refined?
我有以下conf文件： 我在读取此文件时尝试使用精致的和精致的pureconfig。 我有以下课程： 这是在阅读下面的案例类： 但是，当我尝试对此进行编译时，出现以下错误： 我真的不确定如何创建这样的隐式吗？ ...
使用优化重试？ - Using Refined for Retry?
使用精致，我尝试定义f ： 既然那行不通，我求助于： 理想情况下，我想将此Idris程序转换为Scala： 但我不确定Nat功能是否与任何模式匹配。 ...
运行时值的精简和存在类型 - Refined and existential types for runtime values
假设我想在一些字符串和整数标识符之间进行映射，并且我希望我的类型使得无法获得运行时失败，因为有人试图查找超出范围的id。 这是一个简单的API： 但是，如果用户通常会从getId获取他们的ID并因此知道它们是有效的，那么这很烦人。 以下是这种意义上的改进： 现在我们可以这样： ...
排序:
质量: