Haskell Typ Signatur mit mehreren Klasse Einschränkungen

Question

Wie kann ich mehrere Klasse Zwänge haben, also wenn A ein Eq und B ist ein Num, könnte ich sagen, entweder

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

oder

f :: Num b => a -> b 

So , wie kann ich Eq a => und Num b => zur gleichen Zeit haben?

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

tat nicht, was ich wollte.

Answer 1

Sie werden normalerweise Klassenbeschränkungen genannt, da Eq und Num Klassen genannt werden.

Wie wäre es damit?

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

Die Klammern sind signifikant.