什麼`... |類型聲明中的b - > c是什麼意思？

Question

可能重複：
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是一個多參數類型類型（它也是一個擴展）。