{ "name": "virtual_dom", "version": "v0.16.0", "files": [ "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Node_helpers/User_actions/index.html", "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Node_helpers/index.html", "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Handler/index.html", "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/index.html", "doc/virtual_dom.vdom_test_helpers/index.html", "doc/virtual_dom.ui_effect/Ui_effect/For_testing/Query_response_tracker/index.html", "doc/virtual_dom.ui_effect/Ui_effect/For_testing/Svar/index.html", "doc/virtual_dom.ui_effect/Ui_effect/For_testing/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Private/Callback/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Private/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Expert/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define1/argument-1-Handler/Action/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define1/argument-1-Handler/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define1/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define/argument-1-Handler/Action/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define/argument-1-Handler/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Define/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/Let_syntax/Open_on_rhs/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/Let_syntax/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/index.html", "doc/virtual_dom.ui_effect/Ui_effect/Monad_infix/index.html", "doc/virtual_dom.ui_effect/Ui_effect/module-type-S/index.html", "doc/virtual_dom.ui_effect/Ui_effect/module-type-Handler/Action/index.html", "doc/virtual_dom.ui_effect/Ui_effect/module-type-Handler/index.html", "doc/virtual_dom.ui_effect/Ui_effect/index.html", "doc/virtual_dom.ui_effect/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Unsafe/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Info/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Xml/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Unsafe/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Info/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Xml/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Xml/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/module-type-XML/W/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/module-type-XML/index.html", "doc/virtual_dom.tyxml/Virtual_dom_tyxml/index.html", "doc/virtual_dom.tyxml/index.html", "doc/virtual_dom.svg/Virtual_dom_svg/Node/index.html", "doc/virtual_dom.svg/Virtual_dom_svg/Attr/Text/index.html", "doc/virtual_dom.svg/Virtual_dom_svg/Attr/index.html", "doc/virtual_dom.svg/Virtual_dom_svg/index.html", "doc/virtual_dom.svg/index.html", "doc/virtual_dom.layout/Vdom_layout/index.html", "doc/virtual_dom.layout/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_action/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_command/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_queue/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/argument-1-X/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/argument-1-X/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_bin_io/argument-1-Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_bin_io/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/argument-1-Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_hash/argument-1-Elt/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_hash/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_bin_io/argument-1-Elt/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_bin_io/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/argument-1-Elt/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Elt/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_hash/argument-1-Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_hash/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_bin_io/argument-1-Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_bin_io/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/argument-1-Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Key/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Replace_polymorphic_compare/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Keyboard_code/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Action/Variants/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Action/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Command/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Handler/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Condition/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/Command/Format/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/Command/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/View_spec/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Grouped_help_text/View_spec/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/Grouped_help_text/index.html", "doc/virtual_dom.keyboard/Vdom_keyboard/index.html", "doc/virtual_dom.keyboard/index.html", "doc/virtual_dom.html5_history/Html5_history/Opinionated/module-type-History_state/index.html", "doc/virtual_dom.html5_history/Html5_history/Opinionated/module-type-Uri_routing/index.html", "doc/virtual_dom.html5_history/Html5_history/Opinionated/index.html", "doc/virtual_dom.html5_history/Html5_history/Entry/index.html", "doc/virtual_dom.html5_history/Html5_history/module-type-Payload/index.html", "doc/virtual_dom.html5_history/Html5_history/index.html", "doc/virtual_dom.html5_history/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/File_select/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Radio_buttons/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Button/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Entry/Call_on_input_when/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Entry/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Multi_select/Repeated_click_behavior/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Multi_select/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Checklist/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Checkbox/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Dropdown/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Selectable_style/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Validated/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/Merge_behavior/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Enum_set/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Set/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Enum/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Equal/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Display/index.html", "doc/virtual_dom.input_widgets/Vdom_input_widgets/index.html", "doc/virtual_dom.input_widgets/index.html", "doc/virtual_dom.css_gen/Css_gen/Private/index.html", "doc/virtual_dom.css_gen/Css_gen/Expert/index.html", "doc/virtual_dom.css_gen/Css_gen/Stable/V1/index.html", "doc/virtual_dom.css_gen/Css_gen/Stable/index.html", "doc/virtual_dom.css_gen/Css_gen/Auto_or_length/index.html", "doc/virtual_dom.css_gen/Css_gen/Length/index.html", "doc/virtual_dom.css_gen/Css_gen/Color/HSLA/index.html", "doc/virtual_dom.css_gen/Css_gen/Color/RGBA/index.html", "doc/virtual_dom.css_gen/Css_gen/Color/index.html", "doc/virtual_dom.css_gen/Css_gen/index.html", "doc/virtual_dom.css_gen/index.html", "doc/virtual_dom/Virtual_dom/Top_level_effects/index.html", "doc/virtual_dom/Virtual_dom/Js_map/index.html", "doc/virtual_dom/Virtual_dom/Dom_float/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Expert/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Patch/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Aliases/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/State/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/Input/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/Element/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Node/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/Expert/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/Define_visibility/argument-1-VH/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/Define_visibility/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/module-type-S/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/module-type-Visibility_handler/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Effect/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Global_listeners/For_testing/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Global_listeners/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/For_testing/Extra/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/For_testing/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/For_testing/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/Input/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-Input/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-S/Input/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-S/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Expert/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/Input/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Single_focus_hook/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Always_focus_hook/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Multi/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/For_testing/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/index.html", "doc/virtual_dom/Virtual_dom/Vdom/Attr/index.html", "doc/virtual_dom/Virtual_dom/Vdom/index.html", "doc/virtual_dom/Virtual_dom/index.html", "doc/virtual_dom/index.html", "doc/src/virtual_dom.vdom_test_helpers/virtual_dom_test_helpers__.ml.html", "doc/src/virtual_dom.vdom_test_helpers/virtual_dom_test_helpers.ml.html", "doc/src/virtual_dom.vdom_test_helpers/handler.ml.html", "doc/src/virtual_dom.vdom_test_helpers/node_helpers.ml.html", "doc/src/virtual_dom.ui_effect/ui_effect__.ml.html", "doc/src/virtual_dom.ui_effect/ui_effect.ml.html", "doc/src/virtual_dom.ui_effect/ui_effect_intf.ml.html", "doc/src/virtual_dom.tyxml/virtual_dom_tyxml__.ml.html", "doc/src/virtual_dom.tyxml/tyxml_f.ml.html", "doc/src/virtual_dom.tyxml/gen_js_api.ml.html", "doc/src/virtual_dom.tyxml/virtual_dom_tyxml.ml.html", "doc/src/virtual_dom.layout/vdom_layout.ml.html", "doc/src/virtual_dom.svg/virtual_dom_svg.ml.html", "doc/src/virtual_dom.svg/node.ml.html", "doc/src/virtual_dom.svg/attr.ml.html", "doc/src/virtual_dom.keyboard/vdom_keyboard__.ml.html", "doc/src/virtual_dom.keyboard/vdom_keyboard.ml.html", "doc/src/virtual_dom.keyboard/grouped_help_text.ml.html", "doc/src/virtual_dom.keyboard/import.ml.html", "doc/src/virtual_dom.keyboard/keyboard_event.ml.html", "doc/src/virtual_dom.keyboard/help_text.ml.html", "doc/src/virtual_dom.keyboard/variable_keyboard_event_handler.ml.html", "doc/src/virtual_dom.keyboard/keystroke.ml.html", "doc/src/virtual_dom.keyboard/keyboard_event_handler.ml.html", "doc/src/virtual_dom.html5_history/html5_history.ml.html", "doc/src/virtual_dom.input_widgets/vdom_input_widgets_intf.ml.html", "doc/src/virtual_dom.input_widgets/vdom_input_widgets__.ml.html", "doc/src/virtual_dom.input_widgets/import.ml.html", "doc/src/virtual_dom.input_widgets/vdom_input_widgets.ml.html", "doc/src/virtual_dom.css_gen/css_gen__.ml.html", "doc/src/virtual_dom.css_gen/css_parser.ml.html", "doc/src/virtual_dom.css_gen/css_tokenizer.ml.html", "doc/src/virtual_dom.css_gen/css_gen.ml.html", "doc/src/virtual_dom/virtual_dom.ml.html", "doc/src/virtual_dom/virtual_dom__.ml.html", "doc/src/virtual_dom/dom_float.ml.html", "doc/src/virtual_dom/effect.ml.html", "doc/src/virtual_dom/global_listeners.ml.html", "doc/src/virtual_dom/hooks_intf.ml.html", "doc/src/virtual_dom/hooks.ml.html", "doc/src/virtual_dom/js_map.ml.html", "doc/src/virtual_dom/vdom.ml.html", "doc/src/virtual_dom/node.ml.html", "doc/src/virtual_dom/thunk.ml.html", "doc/src/virtual_dom/raw.ml.html", "doc/src/virtual_dom/attr.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html", "doc/LICENSE.html", "doc/CHANGES.html" ], "failed": false, "redirections": [ { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/module-type-S/Input/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-S/Input/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Expert/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Expert/index.html" }, { "old_path": "doc/Virtual_dom/Dom_float/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Dom_float/index.html" }, { "old_path": "doc/Css_gen/Color/HSLA/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Color/HSLA/index.html" }, { "old_path": "doc/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_action/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_action/index.html" }, { "old_path": "doc/Vdom_input_widgets/Entry/Call_on_input_when/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Entry/Call_on_input_when/index.html" }, { "old_path": "doc/Ui_effect/For_testing/Query_response_tracker/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/For_testing/Query_response_tracker/index.html" }, { "old_path": "doc/Html5_history/Opinionated/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/Opinionated/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Xml/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Xml/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Svg/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Table/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/argument-1-X/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/argument-1-X/index.html" }, { "old_path": "doc/Ui_effect/Private/Callback/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Private/Callback/index.html" }, { "old_path": "doc/Vdom_input_widgets/module-type-Equal/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Equal/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/argument-1-X/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/argument-1-X/index.html" }, { "old_path": "doc/Vdom_input_widgets/module-type-Enum/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Enum/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_set/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Html/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/index.html" }, { "old_path": "doc/Ui_effect/Expert/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Expert/index.html" }, { "old_path": "doc/Vdom_input_widgets/Radio_buttons/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Radio_buttons/index.html" }, { "old_path": "doc/Vdom_input_widgets/Multi_select/Repeated_click_behavior/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Multi_select/Repeated_click_behavior/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Widget/module-type-S/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/index.html" }, { "old_path": "doc/Ui_effect/For_testing/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/For_testing/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/For_testing/Extra/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/For_testing/Extra/index.html" }, { "old_path": "doc/Html5_history/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/index.html" }, { "old_path": "doc/Vdom_input_widgets/Validated/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Validated/index.html" }, { "old_path": "doc/Css_gen/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/index.html" }, { "old_path": "doc/Vdom_input_widgets/Entry/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Entry/index.html" }, { "old_path": "doc/Ui_effect/module-type-S/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/module-type-S/index.html" }, { "old_path": "doc/Vdom_layout/index.html", "new_path": "doc/virtual_dom.layout/Vdom_layout/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/index.html" }, { "old_path": "doc/Css_gen/Expert/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Expert/index.html" }, { "old_path": "doc/Vdom_input_widgets/module-type-Enum_set/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Enum_set/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/module-type-Input/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-Input/index.html" }, { "old_path": "doc/Vdom_input_widgets/Merge_behavior/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Merge_behavior/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Table/Provide_bin_io/argument-1-Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_bin_io/argument-1-Key/index.html" }, { "old_path": "doc/Virtual_dom_svg/Attr/Text/index.html", "new_path": "doc/virtual_dom.svg/Virtual_dom_svg/Attr/Text/index.html" }, { "old_path": "doc/Ui_effect/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Global_listeners/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Global_listeners/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Element/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Element/index.html" }, { "old_path": "doc/Vdom_keyboard/Help_text/Command/Format/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/Command/Format/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_bin_io/argument-1-Elt/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_bin_io/argument-1-Elt/index.html" }, { "old_path": "doc/Ui_effect/module-type-Handler/Action/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/module-type-Handler/Action/index.html" }, { "old_path": "doc/Vdom_input_widgets/Multi_select/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Multi_select/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/Action/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Action/index.html" }, { "old_path": "doc/Virtual_dom/Js_map/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Js_map/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/Action/Variants/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Action/Variants/index.html" }, { "old_path": "doc/Vdom_input_widgets/module-type-Set/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Set/index.html" }, { "old_path": "doc/Ui_effect/Define/argument-1-Handler/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define/argument-1-Handler/index.html" }, { "old_path": "doc/Ui_effect/Define1/argument-1-Handler/Action/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define1/argument-1-Handler/Action/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/module-type-S/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/module-type-S/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Html/Unsafe/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Unsafe/index.html" }, { "old_path": "doc/Ui_effect/Let_syntax/Let_syntax/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/Let_syntax/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/index.html" }, { "old_path": "doc/Vdom_keyboard/Help_text/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Widget/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Multi/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Multi/index.html" }, { "old_path": "doc/Vdom_input_widgets/module-type-Display/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/module-type-Display/index.html" }, { "old_path": "doc/Css_gen/Stable/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Stable/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/Input/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/Input/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/No_op_hook/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/index.html" }, { "old_path": "doc/Vdom_input_widgets/Checkbox/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Checkbox/index.html" }, { "old_path": "doc/Ui_effect/Define/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Widget/module-type-S/Input/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/Input/index.html" }, { "old_path": "doc/Vdom_keyboard/Help_text/Command/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/Command/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/argument-1-Elt/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_of_sexp/argument-1-Elt/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/module-type-XML/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/module-type-XML/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Svg/Unsafe/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Unsafe/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Html/Info/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Info/index.html" }, { "old_path": "doc/Virtual_dom_test_helpers/Node_helpers/User_actions/index.html", "new_path": "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Node_helpers/User_actions/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/module-type-Visibility_handler/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/module-type-Visibility_handler/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_of_sexp/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/For_testing/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/For_testing/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/argument-1-Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/argument-1-Key/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_bin_io/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_bin_io/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_hash/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_hash/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Aliases/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Aliases/index.html" }, { "old_path": "doc/Css_gen/Color/RGBA/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Color/RGBA/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Keyboard_code/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Keyboard_code/index.html" }, { "old_path": "doc/Ui_effect/Define1/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define1/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event/index.html" }, { "old_path": "doc/Virtual_dom_svg/Attr/index.html", "new_path": "doc/virtual_dom.svg/Virtual_dom_svg/Attr/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/Make/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Key/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Patch/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Patch/index.html" }, { "old_path": "doc/Vdom_keyboard/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/Expert/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/Expert/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_bin_io/argument-1-Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_bin_io/argument-1-Key/index.html" }, { "old_path": "doc/Ui_effect/Define1/argument-1-Handler/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define1/argument-1-Handler/index.html" }, { "old_path": "doc/Virtual_dom/index.html", "new_path": "doc/virtual_dom/Virtual_dom/index.html" }, { "old_path": "doc/Vdom_input_widgets/Checklist/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Checklist/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_hash/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_hash/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/module-type-S/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/module-type-S/index.html" }, { "old_path": "doc/Virtual_dom_svg/index.html", "new_path": "doc/virtual_dom.svg/Virtual_dom_svg/index.html" }, { "old_path": "doc/Virtual_dom/Top_level_effects/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Top_level_effects/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Widget/module-type-S/State/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Widget/module-type-S/State/index.html" }, { "old_path": "doc/Vdom_input_widgets/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/index.html" }, { "old_path": "doc/Html5_history/Opinionated/module-type-Uri_routing/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/Opinionated/module-type-Uri_routing/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Table/Provide_bin_io/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_bin_io/index.html" }, { "old_path": "doc/Virtual_dom_test_helpers/Handler/index.html", "new_path": "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Handler/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_hash/argument-1-Elt/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_hash/argument-1-Elt/index.html" }, { "old_path": "doc/Ui_effect/Private/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Private/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Node/Expert/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Node/Expert/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/Condition/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Condition/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/index.html" }, { "old_path": "doc/Vdom_input_widgets/File_select/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/File_select/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Svg/Info/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Info/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/index.html" }, { "old_path": "doc/Html5_history/Entry/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/Entry/index.html" }, { "old_path": "doc/Vdom_input_widgets/Selectable_style/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Selectable_style/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_of_sexp/index.html" }, { "old_path": "doc/Vdom_keyboard/Variable_keyboard_event_handler/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/index.html" }, { "old_path": "doc/Ui_effect/Define/argument-1-Handler/Action/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Define/argument-1-Handler/Action/index.html" }, { "old_path": "doc/Css_gen/Stable/V1/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Stable/V1/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Elt/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Elt/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/index.html" }, { "old_path": "doc/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_command/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Variable_keyboard_event_handler/Variable_handler_command/index.html" }, { "old_path": "doc/Vdom_input_widgets/Button/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Button/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Replace_polymorphic_compare/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Replace_polymorphic_compare/index.html" }, { "old_path": "doc/Virtual_dom_svg/Node/index.html", "new_path": "doc/virtual_dom.svg/Virtual_dom_svg/Node/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/module-type-XML/W/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/module-type-XML/W/index.html" }, { "old_path": "doc/Ui_effect/Let_syntax/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/argument-1-Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Table/Provide_of_sexp/argument-1-Key/index.html" }, { "old_path": "doc/Ui_effect/Let_syntax/Let_syntax/Open_on_rhs/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Let_syntax/Let_syntax/Open_on_rhs/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Always_focus_hook/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Always_focus_hook/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/Make/For_testing/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/For_testing/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/Define_visibility/argument-1-VH/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/Define_visibility/argument-1-VH/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_set/Provide_bin_io/index.html" }, { "old_path": "doc/Ui_effect/For_testing/Svar/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/For_testing/Svar/index.html" }, { "old_path": "doc/Css_gen/Length/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Length/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/Handler/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Handler/index.html" }, { "old_path": "doc/Virtual_dom_test_helpers/Node_helpers/index.html", "new_path": "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/Node_helpers/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/index.html" }, { "old_path": "doc/Vdom_input_widgets/Dropdown/index.html", "new_path": "doc/virtual_dom.input_widgets/Vdom_input_widgets/Dropdown/index.html" }, { "old_path": "doc/Html5_history/module-type-Payload/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/module-type-Payload/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Single_focus_hook/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Single_focus_hook/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/Input/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/No_op_hook/argument-1-M/Input/index.html" }, { "old_path": "doc/Html5_history/Opinionated/module-type-History_state/index.html", "new_path": "doc/virtual_dom.html5_history/Html5_history/Opinionated/module-type-History_state/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Set/Provide_bin_io/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Set/Provide_bin_io/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Html/Xml/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Html/Xml/index.html" }, { "old_path": "doc/Virtual_dom_tyxml/Svg/Xml/index.html", "new_path": "doc/virtual_dom.tyxml/Virtual_dom_tyxml/Svg/Xml/index.html" }, { "old_path": "doc/Ui_effect/Monad_infix/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/Monad_infix/index.html" }, { "old_path": "doc/Css_gen/Auto_or_length/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Auto_or_length/index.html" }, { "old_path": "doc/Vdom_keyboard/Grouped_help_text/View_spec/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Grouped_help_text/View_spec/index.html" }, { "old_path": "doc/Virtual_dom_test_helpers/index.html", "new_path": "doc/virtual_dom.vdom_test_helpers/Virtual_dom_test_helpers/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/For_testing/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Unmerged_warning_mode/For_testing/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Effect/Define_visibility/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Effect/Define_visibility/index.html" }, { "old_path": "doc/Vdom_keyboard/Grouped_help_text/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Grouped_help_text/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Map/Provide_hash/argument-1-Key/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Map/Provide_hash/argument-1-Key/index.html" }, { "old_path": "doc/Ui_effect/module-type-Handler/index.html", "new_path": "doc/virtual_dom.ui_effect/Ui_effect/module-type-Handler/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Hooks/Make/argument-1-S/index.html" }, { "old_path": "doc/Vdom_keyboard/Help_text/View_spec/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Help_text/View_spec/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/index.html" }, { "old_path": "doc/Css_gen/Color/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Color/index.html" }, { "old_path": "doc/Vdom_keyboard/Keyboard_event_handler/Command/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keyboard_event_handler/Command/index.html" }, { "old_path": "doc/Vdom_keyboard/Keystroke/Hash_queue/index.html", "new_path": "doc/virtual_dom.keyboard/Vdom_keyboard/Keystroke/Hash_queue/index.html" }, { "old_path": "doc/Virtual_dom/Vdom/Attr/Global_listeners/For_testing/index.html", "new_path": "doc/virtual_dom/Virtual_dom/Vdom/Attr/Global_listeners/For_testing/index.html" }, { "old_path": "doc/Css_gen/Private/index.html", "new_path": "doc/virtual_dom.css_gen/Css_gen/Private/index.html" } ] }