Определение, казалось бы, простого экземпляра Foldable

Как будет выглядеть экземпляр Foldable для этого типа данных?

data X t = X t [X t]

Я пробовал это:

instance Foldable X where
    foldMap f (X x xs) = f x `mappend` foldMap f xs

Но получил эту ошибку:

Occurs check: cannot construct the infinite type: a = X a
When generalising the type(s) for `foldMap'
In the instance declaration for `Foldable X'

typeclass haskell
person Deniz Dogan    schedule 19.04.2009    source источник

Ответы (1)


arrow_upward
6
arrow_downward

xs — это список элементов, а foldMap необходимо применять к отдельным элементам, а не к самому списку. Выполнение этого с map дает список результатов, которые можно комбинировать с mconcat:

instance Foldable X where
  foldMap f (X x xs) = f x `mappend` mconcat (map (foldMap f) xs)
person sth    schedule 19.04.2009