module type Sort_dir : sig ... end
Sort_dir
determines the different ways in which the rows can be sorted
(e.g. ascending and descending).
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