Складная и деревья

Question

У меня есть следующее определение дерева

data Tree a = Leaf a 
      | Node [Tree a] 
    deriving (Show) 

И следующий экземпляр складная:

instance Foldable (Tree) where 
foldMap f (Leaf t) = (f t) 
foldMap f (Node t) = (foldMap `mappend` (foldMap f) t)  

Этот код бросает меня и ошибка

Couldn't match type `a' with `Tree a' 
    `a' is a rigid type variable bound by 
     the type signature for 
     foldMap :: Monoid m => (a -> m) -> Tree a -> m 
     at trees.hs:8:5 
Expected type: [a] 
    Actual type: [Tree a] 

Как сделать Я делаю t в объявлении экземпляра типа Tree a вместо?

Answer 1

(я буду считать, что ты выравнивал код внутри экземпляра декларации, в противном случае компилятор бы жаловался, что.)

Проблема заключается в строке:

foldMap f (Node t) = (foldMap `mappend` (foldMap f) t) 

что такое (foldMap `mappend` ...) должен делать? Вы рассматриваете foldMap как монадическое значение. Я думаю, что вы хотите сделать только foldMap (foldMap f) t.

Кстати, GHC может автоматически выставить экземпляр Foldable для вас (а также Functor и Traversable). Просто напишите

{-# LANGUAGE DeriveFunctor, DeriveFoldable #-} 
data Tree a = Leaf a 
      | Node [Tree a] 
    deriving (Show, Functor, Foldable)