What's the "|" for in a Haskell class definition?

Posted by martingw on Stack Overflow See other posts from Stack Overflow or by martingw
Published on 2010-04-20T13:57:42Z Indexed on 2010/04/20 14:13 UTC
Read the original article Hit count: 197

Filed under:
|

I can't figure out what the "| m -> w"-part means in a class definition like this:

class (Monoid w, Monad m) => MonadWriter w m | m -> w

What additional information does this add to the class definition?

© Stack Overflow or respective owner

Related posts about haskell

Related posts about typeclass