无法将 Complex Int 提升到权力

Question

似乎将Complex Int 提升为权力在其实例中违反了某些合同。我错了吗？

下面的小例子

compl :: Complex Int -> Maybe (Complex Int)
compl d = (d^) <$> Just 3

还有错误信息：

No instance for (RealFloat Int) arising from an operator section
      In the first argument of ‘(<$>)’, namely ‘(d ^)’
      In the expression: (d ^) <$> Just 3
      In an equation for ‘compl’: compl d = (d ^) <$> Just 3

有没有办法解决这个问题？允许这种类型为浮点数在我的程序中没有任何意义。

Answer 1

(^) 是Num 的一个方法。 The Complex type's instantiation of Num 声明为：

instance RealFloat a => Num (Complex a)

也就是说，您不能将Complex a 视为Num，除非a 是RealFloat，而Int 不是。请改用Complex Double 等。