Was bedeutet eine Pipe in einer Klassendefinition?

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

Was bedeutet die obige Pipe? Das Snippet kommt von here.

Answer 1

Eigentlich ist es ein "functional dependency". In diesem Fall bedeutet das, dass mw eindeutig identifiziert - der Typ m bestimmt den Typ w. (This kann eine bessere Verbindung sein.)