Module Make.Input

In addition to specifying the full range of rows and cols, we also ask for the IDs in order. This can be used to implement both filtering and sorting (although there is no support within this component to e.g. sort on a column when the user clicks on the header).

type t = {
  1. rows : Row.t Row.Id.Map.t;
  2. cols : Column.t Col_id.Map.t;
  3. row_ids_in_order : [ `All_in_default_order | `These of Row.Id.t list ];
  4. col_ids_in_order : Col_id.t list;
  5. table_attrs : Bonsai_web_proc.Vdom.Attr.t list;
  6. percentage_rendered : Core.Percent.t;
}
val create : ?percentage_rendered:Core.Percent.t -> rows:Row.t Row.Id.Map.t -> cols:Column.t Col_id.Map.t -> row_ids_in_order:[ `All_in_default_order | `These of Row.Id.t list ] -> col_ids_in_order:Col_id.t list -> table_attrs:Bonsai_web_proc.Vdom.Attr.t list -> unit -> t