NonEmpty不是Comonad?

时间:2011-05-26 20:21:16

标签: haskell category-theory

为什么semigroups包中的NonEmpty列表也不是comonad类的实例?

1 个答案:

答案 0 :(得分:6)

是的。该实例刚刚在comonad包中定义,而不是semigroups包,

http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad