Module Incr_dom_widgets.Table_intf

module type Sort_key : sig ... end

Sort_key determines what values the rows are sorted on.

module type Sort_dir : sig ... end

Sort_dir determines the different ways in which the rows can be sorted (e.g. ascending and descending).

module type Sort_spec : sig ... end

Sort_spec defines how rows are sorted in the table.

include Util
module Focus_dir = Util.Focus_dir
module Margin = Util.Margin
module Scroll_region = Util.Scroll_region
module Float_type = Util.Float_type
module Scroll_result = Util.Scroll_result
module Scroll = Util.Scroll
val move_focus : ('key'value_Core_kernel.Map.t ‑> 'key option ‑> Focus_dir.t ‑> ('key * 'value) option

move_focus gives the next element starting from the given key in the given direction according to the order of elements in the map. If the given key is None, move_focus returns the first element in the map for direction Next, and the last element in the map for direction Prev. If the given key is already the last element in the table for direction Next, or the first element in the table for direction Prev, then move_focus returns None.

module type Id : sig ... end
module type S : sig ... end
module type Table : sig ... end