[Haskell-beginners] unfamiliar syntax in class definition

[Rodrigo Ribeiro]

Hi,

This is a functional dependency:

http://www.haskell.org/haskellwiki/Functional_dependencies

[ ]s

Rodrigo

On Wed, Sep 5, 2012 at 9:13 AM, Christopher Howard <
christopher.howard at frigidcode.com> wrote:

> The MonadState class is defined as:
>
> quote:
> --------
> class Monad m => MonadState s m | m -> s where
> ...etc...
> --------
>
> Please explain the part "| m -> s", that is, the use of the pipe symbol
> and the right arrow symbol which follow "MonadState s m".
>
>
> --
> frigidcode.com
> indicium.us
>
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/beginners/attachments/20120905/8b454fa2/attachment.htm>