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@haskell.org
http://www.haskell.org/mailman/listinfo/beginners