在Haskell中输入对类型类实例的约束？

Question

所以我正在使用Data.Set.Monad ，它似乎不像Data.Set那样是Data.Foldable的实例。 我决定尝试自己添加这个实例作为实验：

import Data.Foldable (Foldable, foldr)
import qualified Data.Set.Monad as S (Set, foldr)

instance Foldable S.Set where
  foldr = S.foldr

我收到编译错误：

No instance for (Ord a) arising from a use of ‘S.foldr’
Possible fix:
  add (Ord a) to the context of
    the type signature for foldr :: (a -> b -> b) -> b -> Set a -> b
In the expression: S.foldr
In an equation for ‘foldr’: foldr = S.foldr
In the instance declaration for ‘Foldable Set’

好吧，这必须是因为S.foldr :: Ord a => (a -> b -> b) -> b -> Set a -> b 。 如何在实例声明中表达此约束？ 我试过这个：

instance (Ord a) => Foldable (Set a) where
  foldr = S.foldr

并获得另一个编译错误：

The first argument of ‘Foldable’ should have kind ‘* -> *’,
  but ‘Set a’ has kind ‘*’
In the instance declaration for ‘Foldable (Set a)’

我究竟做错了什么？ 或者Haskell甚至会让我创建这个实例？

Answer 1

因此，您需要定义Foldable Set 。 这意味着你不能依赖a ，因为foldr需要为任何 a工作。

因此，基本上你需要将约束种类嵌入到Foldable的定义中才能使这项工作成为可能。

请注意， Data.Set.foldr没有Ord a约束，因此它可以定义Foldable实例。