Table (incr_dom_widgets.Incr_dom_widgets_

include Incr_dom_widgets.Table_intf.Table

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

Behind the scenes it uses Partial_render_list so it works with very large tables (e.g 10,000 rows).

module type S = Incr_dom_widgets.Table_intf.S

module type Id = Incr_dom_widgets.Table_intf.Id

module Focus_dir = Incr_dom_widgets.Table_intf.Focus_dir

module Margin = Incr_dom_widgets.Table_intf.Margin

module Scroll_region = Incr_dom_widgets.Table_intf.Scroll_region

module Float_type = Incr_dom_widgets.Table_intf.Float_type

module Make : functor (Row_id : Id) -> functor (Column_id : Id) -> functor (Sort_spec : Incr_dom_widgets.Table_intf.Sort_spec) -> S with module Row_id = Row_id and module Column_id = Column_id and module Sort_spec = Sort_spec