[Haskell-beginners] unfamiliar syntax in class definition

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