MonadState类型类声明的语法

Question

可能重复:
Haskell类定义中的"|"是什么？

我对Haskell很新.在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使编码更容易,因为编译器可以推断出更多.