package vocal

  1. Overview
  2. Docs

Module Vocal.ZipperListSource

Zippers for lists

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