试图做一个scala.collection.immutable.NumericRange[UInt]
看起来它需要一个scala.math.Integral[UInt].
但是好像没有spire.math.Integral[UInt]。
我假设那是因为在某种程度上UInt违反了周围的法律。Integral
我最感兴趣的是NumericRange[UInt].contains(x: UInt)
尝试自己构建一个scala.math.Integral[UInt]对我来说是愚蠢的吗？
还是我应该找到其他方法来获得contains？
是否存在应该由Set[T]and继承Range并NumericRange[T]声明的特征contains[T]
这个特质应该叫什么？
我应该把它作为一个类型类吗？
我应该怎么称呼这个类型类？