Module Incr_dom_partial_render.Util
module Focus_dir : sig ... end
module Margin : sig ... end
module Scroll_region : sig ... end
module Float_type : sig ... end
module Scroll_result : sig ... end
module Scroll : sig ... end
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
.