haskell - MonadState 类型类声明的语法

Question

这个问题已经有答案了:

已关闭 12 年前。

Possible Duplicate:
What's the “|” for in a Haskell class definition?

我对 Haskell 还很陌生。在 documentation of MonadState我看到以下内容:

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

什么是 | m -> s这里的语法？

Answer 1

这称为函数依赖或简称为fundep。语法

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

意味着每个m只有一个实例，换句话说，如果m已知，编译器就可以推断出的类型s 形成。使用fundeps使编码变得更加容易，因为编译器可以推断更多。