类定义中的管道是什么意思？
class (Monoid w, Monad m) => MonadWriter w m | m -> w where
pass :: m (a,w -> w) -> m a
listen :: m a -> m (a,w)
tell :: w -> m ()
上面的管子是什么意思？ 该片段来自此处。
class (Monoid w, Monad m) => MonadWriter w m | m -> w where
pass :: m (a,w -> w) -> m a
listen :: m a -> m (a,w)
tell :: w -> m ()
What is the meaning of the pipe above? The snippet comes from here.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
实际上，它是一个“函数依赖”。 在这种情况下，这意味着
m唯一标识w——类型m决定类型w。 （这可能是一个更好的链接。）Actually, it's a "functional dependency". In this case that means that
muniquely identifiesw-- the typemdetermines the typew. (This may be a better link.)