類定義中的管道是什麼意思？

Question

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() 

上面的管道是什麼意思？該片段來自here。

Answer 1

其實這是一個「functional dependency」。在這種情況下，這意味着m唯一標識w - 類型m確定類型w。 （This可能是更好的鏈接。）