具有多个类约束的Haskell类型签名

Question

我怎么能有多个类约束,所以如果A是Eq和B是Num,我可以说

f :: Eq a => a -> b`

要么

f :: Num b => a -> b

所以,我怎么能有Eq a =>和Num b =>在同一时间？

• f :: Eq a => Num b => a -> b,
• f :: Eq a -> Num b => a -> b,和
• f :: Eq a, Num b => a -> b

没做我想做的事.

Answer 1

他们通常被称为类的限制,如Eq和Num被称为类型类.

这个怎么样？

f :: (Eq a, Num b) => a -> b

括号很重要.