package bonsai
-
bonsai
-
-
bonsai.bench
-
bonsai.example_chat_open_source_native
-
bonsai.example_chat_open_source_native_common
-
-
bonsai.extra
-
-
bonsai.focus_ring
-
bonsai.protocol
-
bonsai.tailwind_colors
-
bonsai.test
-
bonsai.test.dot
-
bonsai.web_test
-
bonsai.web_ui_common_components
-
bonsai.web_ui_drag_and_drop
-
bonsai.web_ui_element_size_hooks
-
bonsai.web_ui_file
-
bonsai.web_ui_file_from_web_file
-
bonsai.web_ui_form
-
-
bonsai.web_ui_freeform_multiselect
-
bonsai.web_ui_multi_select
-
-
bonsai.web_ui_query_box
-
bonsai.web_ui_reorderable_list
-
bonsai.web_ui_typeahead
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Item : sig ... endA widget for selecting multiple items from a list. A fairly rich interface is provided, including:
- Using the arrow keys and Enter to select / deselect items;
- The ability to filter the set of items displayed by searching;
- "Select all" and "Select none" buttons
module View_config : sig ... endmodule Selection_status : sig ... endmodule Action : sig ... endmodule Result : sig ... endmodule Initial_model_settings : sig ... endval bonsai :
?initial_model_settings:Initial_model_settings.t ->
?default_selection_status:Selection_status.t Bonsai_web.Value.t ->
view_config:View_config.t Bonsai_web.Value.t ->
Item.Set.t Bonsai_web.Value.t ->
Result.t Bonsai_web.Computation.t