Module Incr_dom_widgets__.Partial_render_list_intf

module Interval : sig ... end
module Measurements : sig ... end
module type Key : sig ... end
module type S : sig ... end

Partial_render_list provides common functionality for partially rendering large (e.g 10_000 rows) lists or tables. It allows apps to measure and cache the height of each row and incrementally compute which rows to show while scrolling. It puts spacers above and below the viewport so that the list element remains the same height with only as many rendered rows as necessary to fill the viewport. This approach allows high data change rates because it doesn't change the dom for rows that are not in view.

module type Partial_render_list : sig ... end