是否有泛化整数的 Purescript 类型类？

Question

Haskell 具有 Integral 类型类，其中包括 Integer、Int、Int32、Int64、Natural、等等

Purescript 中是否有类似的类型类？

Answer 1

我们在 PureScript 中没有任何特定于整数的 classes，但是有一个数字 classes 的层次结构：

每个class都增加了规律，所以虽然CommutativeRing和Fieldclasses没有操作，但它们不是多余的。

任何类型 EuclideanRing 也满足整数域的法则，该法则概括了整数，所以我认为这应该适合您的需要。

Fields 具有非零乘法逆元：mod a b = 0 对于所有 a 和 b，因此使用该约束将排除整数除法等的可能性. 如果这就是您要找的东西，那么您绝对不想在层次结构中走得太远。