package incr_dom_partial_render

  1. Overview
  2. Docs
package incr_dom_partial_render
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 = 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.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.