the original Node that was selected when the zipper was produced.
the direct replacements of the node and their corresponding update times. These are the nodes
that explicitly replaced original via updates to its position in the zipper.
the largest update time of any direct update to the node. If directUpdates is empty, this
will be the time that the node was removed.
the "indirect" replacement and associated update time. The indirect replacement is just the original node with its children replaced by a recursive application of the unselection algorithm, as defined in the Zipper unselection algorithm.
the direct replacements of the node and their corresponding update times.
the direct replacements of the node and their corresponding update times. These are the nodes
that explicitly replaced original via updates to its position in the zipper.
the "indirect" replacement and associated update time.
the "indirect" replacement and associated update time. The indirect replacement is just the original node with its children replaced by a recursive application of the unselection algorithm, as defined in the Zipper unselection algorithm.
the largest update time of any direct update to the node.
the largest update time of any direct update to the node. If directUpdates is empty, this
will be the time that the node was removed.
the original Node that was selected when the zipper was produced.
Describes the parameters of a merge operation.
The purpose of a merge
Operations such as
flatMapmake it possible for a zipper's node to be replaced by multiple nodes or to be removed altogether. For this reason, direct updates are represented as a sequence of nodes. In contrast, the indirect update always consists of a single node. Any multiplicative operations that occurred further down the tree will will already have been accounted for in that node's children.the original Node that was selected when the zipper was produced.
the direct replacements of the node and their corresponding update times. These are the nodes that explicitly replaced
originalvia updates to its position in the zipper.the largest update time of any direct update to the node. If
directUpdatesis empty, this will be the time that the node was removed.the "indirect" replacement and associated update time. The indirect replacement is just the original node with its children replaced by a recursive application of the unselection algorithm, as defined in the Zipper unselection algorithm.