Buenos días.
Definiendo la instancia de Arbitrary para el tipo "Tree a" me surgieron las siguientes dudas:
Yo hice un generador que fuera sized como se muestra en las diapositivas de teórico.
1) Para el caso de n = 0, tendría que devolver EMPTY, está bien devolver "elements[Empty]" o hay otro generador más adecuado??
2) La función de arbitrarytree no puede estar dentro de la instancia? No me quedó claro éste punto. Ahora quedó definida en otro nivel de indentación.
3) La función shrink, la pensé como que devolviera la lista de todos los árboles que resultan de sacar una de las hojas. Pero también debería hacer shrink del valor del nodo? Entonces sería como una lista con todas esas combinaciones?
4) Para la definicion de las leyes cuando comparo los árboles use el "==" y para eso tuve que poner que la definición de "data Tree a = ..." tuviera un deriving de Eq, también en las propiedades tuve que decir que a (el valor de los nodos) era de clase Eq y Num. ¿Eso está correcto?
Espero se entiendan las dudas,
Cualquier cosa puedo agregar código.
Gracias!