data Nat = Zero | Suc Nat
class Eq a where
(==) :: a -> a -> Bool(/=) :: a -> a -> Bool
"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