不是Functor(或不可穿越)的Foldable的示例?

问题描述

A Foldable instance可能是某种容器，因此也可能是Functor.实际上，这说

那么有一个Foldable的例子，它自然不是Functor或Traversable吗? (也许Haskell维基页面可能没有找到:-))

So is there an example of a Foldable which is not naturally a Functor or a Traversable? (which perhaps the Haskell wiki page missed :-) )

推荐答案

下面是一个完全参数化的示例:

Here's a fully parametric example:

data Weird a = Weird a (a -> a)

instance Foldable Weird where
  foldMap f (Weird a b) = f $ b a

Weird不是Functor，因为a出现在负位置.

Weird is not a Functor because a occurs in a negative position.

这篇关于不是Functor(或不可穿越)的Foldable的示例?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！