可能重复:
什么是“|” 在 Haskell 类定义中?
在以下(来自Data.HList.HListPrelude
,我如何解释该| l l' -> l''
部分?
class HAppend l l' l'' | l l' -> l''
where
hAppend :: l -> l' -> l''
它是标准 Haskell(即 Haskell 2010)的一部分还是扩展?
可能重复:
什么是“|” 在 Haskell 类定义中?
在以下(来自Data.HList.HListPrelude
,我如何解释该| l l' -> l''
部分?
class HAppend l l' l'' | l l' -> l''
where
hAppend :: l -> l' -> l''
它是标准 Haskell(即 Haskell 2010)的一部分还是扩展?