是否有Purescript类型类推广整数？
Chr*_*tin 3 integer typeclass purescript
Haskell有所述Integral,其包括类型类Integer,Int,Int32,Int64,Natural,等.
Purescript中是否有类似的类型类？
我们在PureScript中没有任何特定于整数的类,但是有一个数字类的层次结构:
每个类都添加了法则,因此尽管CommutativeRing和Field类没有操作,但它们并不是多余的.
任何类型的类型EuclideanRing也满足整数域的规律,它推广整数,所以我认为这应该适合您的需要.
Fields具有非零乘法反转:mod a b = 0对于所有a和b,因此使用该约束将排除整数除法的可能性等等,如果这是您正在寻找的,那么您绝对不希望在层次结构中那么远.
| 归档时间： |
|
| 查看次数： |
222 次 |
| 最近记录： |