Haskell

what is | in this code?

    class (Monad m) => MonadState s m | m -> s where
        get :: m s
        put :: s -> m ()

It is a haskell guard.

http://en.wikipedia.org/wiki/Guard_(computing)