Para começar, é necessário ter em conta o seguinte:
- BTree - É uma árvore na qual a informação é guardada nos Nodos, porém não é armazenada nas extremidades, visto que estas são do tipo Empty.
- LTree - É uma árvore cujo informação é guardada unicamente nas suas extremidades.
- FTree - É uma árvore "full", visto que tanto guarda a sua informação nos Nodos como nas suas extremidades.
Para a resolução deste exercício será necessário a utilização de Tupling. Primeiramente é recomendável analisar o que cada arvóre obtém nas suas extremidades, e fazer o respetivo Pattern Matching. De seguida é útil percorrer a árvore e registar a informação que equivale a cada árvore.
Possível Resolução:
splitFTree :: FTree a b -> (BTree a, LTree b)
splitFTree (Leaf b) = (Empty,Tip b)
splitFTree (No a l r) = (Node a b1 b2, Fork l1 l2)
where (b1,l1) = splitFTree l
(b2,l2) = splitFTree r