úÎ'e$¬)      !"#$%&'(4Positions may be either  or . )*+!Position which points to a tree. ,-IPosition which does not point to a tree (e.g., it is between two trees). .A position within a /.  The parameter t* inidcates if the position is pointing to  a specific tree (if t is #), or if it is pointing in-between  trees (if t is ). 01The currently selected tree. 234.Siblings before this position, closest first. -Siblings after this position, closest first. /The contexts of the parents for this position. "The sibling before this location. !The sibling after this location. All trees at this location 7 (i.e., the current tree---if any---and its siblings). "The parent of the given location. +The top-most parent of the given location. ,The space immediately before this location. 'The tree before this location, if any. +The space immediately after this location. &The tree after this location, if any. 9The location at the beginning of the forest of children. 'The first space in the current forest. &The last space in the current forest. DThe empty space at the given index. The first space is at index 0. J For indexes that are negative or too large, we return the first and last % position in the tree, respectively. 'The first child of the given location. &The last child of the given location. *The child at the given index in the tree.  The first child is at index 0. 8A location corresponding to the root of the given tree. -The location at the beginning of the forest. #The tree containing this location. %The forest containing this location. Are we at the top of the tree? 5Are we the first position (of its kind) in a forest. 4Are we the last position (of its kind) in a forest. "Are we at the bottom of the tree? Do we have a parent? Do we have children? !The selected tree. "The current label. #+Insert a new tree at the current position. $)Remove the tree at the current position. %Change the current tree. &Modify the current tree. '&Modify the label at the current node. (&Change the label at the current node. )  !"#$%&'() !"  #$%&'()  !"#$%&'(5      !"#$%&'()*+,-./0123456789rosezipper-0.2Data.Tree.ZipperPosTypeFullEmptyTreePosbeforeafterparentsprevnextforestparentroot prevSpaceprevTree nextSpacenextTreechildrenfirstlastspaceAt firstChild lastChildchildAtfromTree fromForesttoTreetoForestisRootisFirstisLastisLeaf isContained hasChildrentreelabelinsertdeletesetTree modifyTree modifyLabelsetLabel_prev_next_forestFunFEcontainers-0.4.0.0 Data.TreeTreeLoc_content_before_after_parents