Árvores irregulares

[ricardo peixoto]

  função procura :: Eq a => a -> RTree a -> Maybe [Int] que procura um elemento numa  árvore e, em caso de sucesso, calcula o caminho correspondente.

[pdfrod]

Qual é a dúvida?

[ricardo peixoto]

Em 1/16/2017 às 14:54, Kimio disse:

Qual é a dúvida?

Eu acho que tenho de fazer a travessia da árvore se encontrar o elemento calcular o caminho por exemplo eu fiz a funçao assim

<> procura :: Int-> RTree a -> Maybe [Int]
<>procura _ (R v [])= Nothing
<>procura n (R v l)= Just (n: concat (map(percorre2(n))l))

mas a receber um Int no entanto o tipo "a" diz-me que é mais abrangente, penso que a duvida na classe Eq tem que se fazer uma igualdade e depois calcular o caminho correspondente. 

[ricardo peixoto]

Em 1/16/2017 às 16:51, ricardo peixoto disse:

Eu acho que tenho de fazer a travessia da árvore se encontrar o elemento calcular o caminho por exemplo eu fiz a funçao assim

<> procura :: Int-> RTree a -> Maybe [Int]
<>procura _ (R v [])= Nothing
<>procura n (R v l)= Just (n: concat (map(percorre2(n))l))

mas a receber um Int no entanto o tipo "a" diz-me que é mais abrangente, penso que a duvida na classe Eq tem que se fazer uma igualdade e depois calcular o caminho correspondente. 

Erro deduzir "a" de Int