haskell - 类型类声明中的 `... | a b -> c` 是什么意思？

Question

这个问题在这里已经有了答案:




8年前关闭。

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

在下面(来自 Data.HList.HListPrelude ，我如何解释 | l l' -> l'' 部分？

class HAppend l l' l'' | l l' -> l''
 where
  hAppend :: l -> l' -> l''

它是标准 Haskell(即 Haskell 2010)的一部分还是扩展？

Answer 1

它是一个名为 Functional Dependencies 的扩展名您可以通过查看文件的顶部来发现它。

它本质上说 l''由 l 唯一确定和 l' .

它是必需的，因为 HAppend是一个多参数类型类(这也是一个扩展)。