是否有一个Purescript类型类泛化整数?

PureScript中没有任何特定于整数的类,但有一个数字类的层次结构:

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

任何类型的 EuclideanRing 也满足积分域的法则,积分域是整数的泛化,所以我认为这应该适合您的需要。

Fields 具有非零乘法逆: mod a b = 0 为所有人 a 和 b ,因此使用该约束将排除整数除法的可能性。如果这正是您想要的,那么您肯定不希望在层次结构中走得那么远。