From 5b32d8115b7ea81dffc3fe48a0291569dba99e3b Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Fri, 12 Jan 2024 14:12:04 +0100 Subject: fear(zipper): add function to join two zippers --- lib/zipper.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/zipper.ml') diff --git a/lib/zipper.ml b/lib/zipper.ml index 2322a58..30be8eb 100644 --- a/lib/zipper.ml +++ b/lib/zipper.ml @@ -87,6 +87,7 @@ let split z = ( { z with after = Sequence.empty }, { z with pos = 0; before = Sequence.empty } ) +let join z1 z2 = { z1 with after = z2.after } let iter_before f z = Sequence.iter ~f z.before let iter_after f z = Sequence.iter ~f z.after -- cgit v1.2.3