[Haskell-beginners] unfamiliar syntax in class definition

Christopher Howard christopher.howard at frigidcode.com
Wed Sep 5 14:13:25 CEST 2012

The MonadState class is defined as:

class Monad m => MonadState s m | m -> s where

Please explain the part "| m -> s", that is, the use of the pipe symbol
and the right arrow symbol which follow "MonadState s m".


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 554 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/beginners/attachments/20120905/0d54c145/attachment.pgp>

More information about the Beginners mailing list