8

所以我喜欢 Haskell,但对 Num 类不满意。所以我想为代数类型创建自己的类型类层次结构。
问题是,即使我导入 Prelude 隐藏 Num 以及与之相关的所有内容,仍然使文字 1 具有类型 t 的唯一方法是使 t 实例化 Num。
我很想制作自己的 fromInteger 类,并将 Num 完全排除在图片之外,就像这样

import Prelude hiding (everything having to do with Num)
import qualified Prelude (everything having to do with Num)

class (Eq fi) => FromInteger fi where
  fromInteger :: Integral -> fi

foo :: (FromInteger fi) => fi -> String
foo 1 = "that was a one"
foo 0 = "that was a zero"
foo n = "that was neither zero nor one"

然后我会为全新的类型适当地实现 fromInteger,而不必对 Num 说任何话。

有没有办法告诉解析器使用不同的 fromInteger 方法?

谢谢!

4

1 回答 1

12

您正在寻找 GHC 的RebindableSyntax 扩展

通过放置启用它

{-# LANGUAGE RebindableSyntax #-}

在源文件的顶部。

于 2012-12-20T18:59:18.860 回答