Module Incr_dom_partial_render.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 isNone
,move_focus
returns the first element in the map for directionNext
, and the last element in the map for directionPrev
. If the given key is already the last element in the table for directionNext
, or the first element in the table for directionPrev
, thenmove_focus
returnsNone
.
module type Id = sig ... end
module type S = sig ... end
module type Table = sig ... end