Algebra on Subtries

The ZipperWriting trait includes algebraic operations that operate on subtries below a zipper's focus.

These methods provide the same fundamental operations as the whole-map operations described in Algebraic Operations on Whole Maps, but applied to specific subtries within a larger trie structure. This enables surgical modification of specific portions of large data structures, while leaving the rest of the structure intact.

Join Operations

• join_into performs a join on the subtrie at the current focus with a subtrie from another zipper
• join_map joins a PathMap into the current subtrie, consuming the map
• join_into_take joins and consumes the source subtrie from another write zipper
• join_k_path_into performs join_k_path operation on the current subtrie

Meet Operations

• meet_into performs a meet on the subtrie at the current focus with a subtrie from another zipper
• meet_2 experimental operation that meets the current subtrie with two other subtries simultaneously

Subtract Operations

• subtract_into performs subtract on the subtrie at the current focus, subtracting a subtrie from another zipper

Restrict Operations

• restrict performs restrict on the subtrie at the current focus using a subtrie from another zipper
• restricting populates "stem" paths in the current subtrie with corresponding subtries from the source