haskell - 在 Haskell 中包含具有默认实现的类型类

Question

考虑以下定义:

class Foo a where
    foo :: a -> Int

class Bar a where
    bar :: a -> [Int]

现在，我怎么说“每个 Foo 也是一个 Bar ， bar 在Haskell 中默认定义为 bar x = [foo x] ”？

(无论我尝试什么，编译器都会给我“非法实例声明”或“约束不小于实例头”)

顺便说一句，我可以定义我的 Foo和 Bar以其他方式上课，如果这有帮助的话。

Answer 1

class Foo a where
    foo :: a -> Int

-- 'a' belongs to 'Bar' only if it belongs to 'Foo' also
class Foo a => Bar a where
    bar :: a -> [Int]
    bar x = [foo x] -- yes, you can specify default implementation

instance Foo Char where
    foo _ = 0

-- instance with default 'bar' implementation
instance Bar Char