incr_dom_partial_render

A library for simplifying rendering of large amounts of data
IN THIS PACKAGE
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 module type of struct include Util end
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 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

The Table widget is used to create incremental partially-rendered tables. It provides sorting, focus and (possibly floating) table header support.