構文型クラスMonadStateの宣言

Question

可能性の重複：
What's the “|” for in a Haskell class definition?

私はHaskellのにかなり新しいです。

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

ここ| m -> s構文は何ですか？：documentation of MonadStateで、私は以下を参照してください。

Answer 1

機能依存性または略してfundepと呼ばれています。構文

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

手段、各m又は1つだけのインスタンスが存在すること - mが知られている言い換えれば、コンパイラは、s形成するの種類を推測することができます。 fundepsを使うと、コーディングがずっと楽になります。なぜなら、コンパイラはもっと多くのことを推測できるからです。