我可以为关联的类型系列设置默认类型值吗？

Question

考虑这个代码：

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeFamilyDependencies #-}

module Study where

class C a where
    type T a = r | r -> a
    pred :: T a -> Bool
    pred _ = True

我想有一个更有意义的默认定义pred，像这样：

class C' a where
    ...
    pred' = not . null

（我想默认 T' a 是 = [a]。）

有办法吗？

Answer 1

您需要一个默认签名。

Prelude> :{
Prelude| class C a where
Prelude|   type T a = r | r -> a
Prelude|   pred :: T a -> Bool
Prelude|   default pred :: (T a ~ [a]) => T a -> Bool
Prelude|   pred = not . null
Prelude| :}

（感谢@luqui。）请注意，如果您希望能够编写空的，您还应该通过添加行 来instance C Integer提供默认值。Ttype T a = [a]