Up

Module List_zipper

Signature

type 'a t = {
l
: 'a list ;
r
: 'a list ;
}
val create : 'a list -> 'a list -> 'a t
val drop_before : 'a t -> ('a * 'a t) option
val drop_after : 'a t -> ('a * 'a t) option
val drop_all_before : 'a t -> ('a list * 'a t) option
val drop_all_after : 'a t -> ('a list * 'a t) option
val insert_before : 'a t -> 'a -> 'a t
val insert_after : 'a t -> 'a -> 'a t
val previous : 'a t -> 'a t option
val next : 'a t -> 'a t option
val replace_left : 'a t -> 'a list -> 'a t
val replace_right : 'a t -> 'a list -> 'a t