所以我喜欢 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 方法?
谢谢!