Hi,<br><br>This is a functional dependency:<br><br><a href="http://www.haskell.org/haskellwiki/Functional_dependencies">http://www.haskell.org/haskellwiki/Functional_dependencies</a><br><br>[ ]s<br><br>Rodrigo<br><br><div class="gmail_quote">
On Wed, Sep 5, 2012 at 9:13 AM, Christopher Howard <span dir="ltr"><<a href="mailto:christopher.howard@frigidcode.com" target="_blank">christopher.howard@frigidcode.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The MonadState class is defined as:<br>
<br>
quote:<br>
--------<br>
class Monad m => MonadState s m | m -> s where<br>
...etc...<br>
--------<br>
<br>
Please explain the part "| m -> s", that is, the use of the pipe symbol<br>
and the right arrow symbol which follow "MonadState s m".<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
<a href="http://frigidcode.com" target="_blank">frigidcode.com</a><br>
<a href="http://indicium.us" target="_blank">indicium.us</a><br>
<br>
</font></span><br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/beginners" target="_blank">http://www.haskell.org/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br>