summaryrefslogtreecommitdiff
path: root/lib/zipper.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/zipper.mli')
-rw-r--r--lib/zipper.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/zipper.mli b/lib/zipper.mli
index c3c79a6..beeb181 100644
--- a/lib/zipper.mli
+++ b/lib/zipper.mli
@@ -145,6 +145,10 @@ val split : 'a zipper -> 'a zipper * 'a zipper
145(** [split z] splits the zipper in two. [([3; 2; 1], [4; 5])] becomes 145(** [split z] splits the zipper in two. [([3; 2; 1], [4; 5])] becomes
146 [([3; 2; 1], []), ([], [4; 5])]. *) 146 [([3; 2; 1], []), ([], [4; 5])]. *)
147 147
148val join : 'a zipper -> 'a zipper -> 'a zipper
149(** [join z1 z2] creates a new zipper using [before z1] and [after z2].
150 [([3; 2; 1], []) ([4; 2], [4; 5])] becomes [([3; 2; 1], [4; 5])]. *)
151
148(** {1 Consuming zippers} *) 152(** {1 Consuming zippers} *)
149 153
150(** Since zippers are based on sequences, iterating over zippers 154(** Since zippers are based on sequences, iterating over zippers