如何阅读m-> e？ [重复]

Question

此问题已经在这里有了答案：

• What's the “|” for in a Haskell class definition?2个答案

看MonadError的定义

class (Monad m) => MonadError e m | m -> e where
    -- | Is used within a monadic computation to begin exception processing.
    throwError :: e -> m a

我想知道，如何阅读m -> e？这是什么意思？

Answer 1

这称为功能依赖性。它记录在这里https://wiki.haskell.org/Functional_dependencies