Dúvida - Haskell

[Keith]

Boa tarde.

Estou com um problema num trabalho que tenho de desenvolver em Haskell.
1: Tenho de criar um novo tipo de dados que permita representar a noção de relação binária.
2: De seguida tenho de criar uma função que permita testar se um determinado termo do tipo que tem de ser definido (relação binária) é de facto uma relação binária bem construída.

O meu problema prende-se sobretudo com o ponto 1, mas se puderem ajudar com o ponto 2 ficaria muito agradecido.

Obrigado desde já.
Keith
​

 

[Rui_Carlos]

não percebi exactamente o que pretendes...
uma relação binária pode ser vista como um conjunto de pares

data Rel a b = R [(a,b)]

é claro que se o número de pares for infinito esta não é propriamente uma boa solução (se bem que, como o Haskell é lazy, em algumas situações até era capaz de funcionar...).

 

[Keith]

não percebi exactamente o que pretendes...
uma relação binária pode ser vista como um conjunto de pares

data Rel a b = R [(a,b)]

é claro que se o número de pares for infinito esta não é propriamente uma boa solução (se bem que, como o Haskell é lazy, em algumas situações até era capaz de funcionar...).

Obrigado Rui.
Entretanto já vi a dúvida resolvida, e de facto o que se pretendia era algo assim:

data Rel a = Rel [a] [(a,a)]

Obrigado!!

Entretanto, posso deixar este tópico em aberto caso surjam mais dúvidas relacionadas com este assunto?

Obrigado, mais uma vez
Keith