Haskell类型类定义中竖线及| m -> e s语法含义咨询

1. 类型类定义中竖线后跟函数的语法含义 #

在Haskell的类型类定义里，竖线（|）后面跟着的是函数依赖（Functional Dependencies），这是用来约束类型类中多个类型参数之间对应关系的语法。

举个直观的例子，比如MonadReader类型类的常见定义：

class Monad m => MonadReader r m | m -> r where
  ask :: m r

这里的| m -> r就明确表示：只要确定了类型参数m（也就是那个Monad实例），就能唯一确定r（环境类型）。换而言之，同一个Monad实例m，不可能对应两种不同的环境类型r，这样既帮类型推断系统消除了歧义，也避免了写出逻辑混乱的实例。

2. Megaparsec中MonadParsec类型类里| m -> e s的含义 #

先看MonadParsec的典型定义片段：

class (Monad m, Stream s) => MonadParsec e s m | m -> e s where
  -- 各类解析器核心方法

这里的| m -> e s是多参数的函数依赖，意思是：只要确定了解析器的Monad类型m，就能唯一确定对应的错误类型e和输入流类型s。

举个实际的例子，当你使用Parsec String String a这个具体的解析器类型时，m就是Parsec String String，对应的e（错误信息类型）是String，s（输入流类型）也是String。这种约束让编译器能自动推导e和s的类型，不用你每次都显式指定，同时也杜绝了同一个m绑定不同e或s的不合理实例。

内容的提问来源于stack exchange，提问作者mtber75