package vocal

  1. Overview
  2. Docs

Zippers for lists

type 'a t
val empty : unit -> 'a t
val is_empty : 'a t -> bool
val length : 'a t -> int
val to_list : 'a t -> 'a list
val make : 'a list -> 'a t
val move_left : 'a t -> 'a t
val insert_left : 'a -> 'a t -> 'a t
val remove_left : 'a t -> 'a t
val move_all_left : 'a t -> 'a t
val move_right : 'a t -> 'a t
val insert_right : 'a -> 'a t -> 'a t
val remove_right : 'a t -> 'a t
val move_all_right : 'a t -> 'a t
val is_focused : 'a t -> bool
val focused : 'a t -> 'a option