The tree-edit function takes a zipper structure, a matcher function, and an editorfunction.
tree - edit函数获取一个zipper结构、一个matcher函数和一个editor函数。
2
If it matches, the node and the result of the matcher are passed to the editorfunction for possible modification and iteration continues from the modified node.
By using graphic editorfunction and spatial analysis faculty of GIS, various especially function of graphic editor and area statistic for land-use operation are provided in this system.