NonEmpty 不是 Comonad 吗？
为什么 semigroups 包中的 NonEmpty 列表不是 comonad 类的实例？
Why is the NonEmpty list from the semigroups package not also an instance of the comonad class?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
这是。该实例只是在 comonad 包中定义，而不是 semigroups 包中，
http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad
It is. The instance is just defined in the comonad package, and not the semigroups package,
http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad