是否有Purescript类型类推广整数？

Question

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

Purescript中有类似的类型类吗？

Answer 1

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

每个类都添加了法律，因此尽管CommutativeRing和Field类没有操作，但它们并不是多余的。

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

Fields具有非零乘法反转：mod a b = 0适用于所有a和b，因此使用该约束将排除整数除法的可能性等。这就是你正在寻找的东西，所以你绝对不想在层次结构中那么远。