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 <felipe.lessa@gmail.com>
"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 <j.romildo@gmail.com>:
> 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