Identifies a location in the zipper's parent. The path order is from top to bottom (the first item specifies the index of a top-level node within the parent). When building a zipper, it is legal for multiple ElemsWithContexts to specify the same path; In such cases, all of the corresponding Elems will be added to the zipper and they will all be associated with that path.
the update time associated with these elements. One context is considered to have been updated later than another if its updateTime is greater.
the actual elements to be added to the zipper. Note that this sequence may be
empty. This would happen, for example, if flatMap operation removed all items for a given path.
the actual elements to be added to the zipper.
the actual elements to be added to the zipper. Note that this sequence may be
empty. This would happen, for example, if flatMap operation removed all items for a given path.
Identifies a location in the zipper's parent.
Identifies a location in the zipper's parent. The path order is from top to bottom (the first item specifies the index of a top-level node within the parent). When building a zipper, it is legal for multiple ElemsWithContexts to specify the same path; In such cases, all of the corresponding Elems will be added to the zipper and they will all be associated with that path.
the update time associated with these elements.
the update time associated with these elements. One context is considered to have been updated later than another if its updateTime is greater.
use productIterator instead
Decorates a sequence of zipper elements with a zipper context and an update time. This is the basic unit of information used to construct zippers.
the type of node that will be contained in the zipper.
Identifies a location in the zipper's parent. The path order is from top to bottom (the first item specifies the index of a top-level node within the parent). When building a zipper, it is legal for multiple ElemsWithContexts to specify the same path; In such cases, all of the corresponding Elems will be added to the zipper and they will all be associated with that path.
the update time associated with these elements. One context is considered to have been updated later than another if its updateTime is greater.
the actual elements to be added to the zipper. Note that this sequence may be empty. This would happen, for example, if
flatMapoperation removed all items for a given path.