Ou, se quiser ser um pouco mais verboso. Dado o tipo de dados Nat, para representação de números naturais, data Nat = Zero | Suc Nat E a classe de tipos Eq class Eq a where (==) :: a -> a -> Bool (/=) :: a -> a -> Bool Implemente uma instância da classe Eq para o tipo Nat. Eric 2013/3/6 Felipe Almeida Lessa

"Defina uma instância {de Eq|da classe Eq} para [o tipo de dados] Nat." soa bem para mim.

2013/3/6 José Romildo Malaquias :

...

Olá.

Estou montando uma lista de exercícios sobre classes de tipos, e estou em dúvida sobre como dizer o seguinte:

Considere o tipo a seguir para representar números naturais:

data Nat = Zero | Suc Nat

Defina uma instância do tipo Nat para a classe Eq.

O tipo Nat será uma instância da classe Eq. Não estou certo de como é a melhor redação para pedir para fazer a instância.

Alguma sugestão?

Romildo -- Departamento de Computação UFOP

_______________________________________________ haskell-br mailing list haskell-br@haskell.org http://www.haskell.org/mailman/listinfo/haskell-br

-- Felipe.

_______________________________________________ haskell-br mailing list haskell-br@haskell.org http://www.haskell.org/mailman/listinfo/haskell-br