
6 Mar
2013
6 Mar
'13
7:07 a.m.
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