sintaxis - Tipo de firma Haskell con múltiples restricciones de clase.

or en haskell

Question

¿Cómo puedo tener múltiples restricciones de clase, por lo que si A es una Eq y B es un Num , puedo decir que?

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

o

f :: Num b => a -> b

Entonces, ¿cómo puedo tener Eq a => y Num b => al mismo tiempo?

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

No hice lo que quería.

Answer 1

Normalmente se denominan restricciones de clase , ya que Eq y Num se denominan clases de tipo.

¿Qué tal esto?

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

Los paréntesis son significativos.