<div dir="ltr">2013/7/23 Emmanuel Surleau <span dir="ltr">&lt;<a href="mailto:emmanuel.surleau@gmail.com" target="_blank">emmanuel.surleau@gmail.com</a>&gt;</span><br><div><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hello,<br>
<br>
I have seen from time to time the pipe symbol in type signatures, like so:<br>
<br>
  class Monad m =&gt; MonadReader r m | m -&gt; r where<br>
<br>
How should I interpret that ? Or more to the point, how does the compiler<br>
interpret it?<br></blockquote><div class="gmail_quote"><br></div>Hi Emmanuel!<div><br></div><div>The pipe symbol is for a functional dependency:<br><div><a href="http://www.haskell.org/haskellwiki/Functional_dependencies">http://www.haskell.org/haskellwiki/Functional_dependencies</a><br>
<div class="gmail_extra"><br></div></div></div><div>Karol </div></div></div></div></div>