Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Class Wiki_widgets.wikibox_aux

class wikibox_aux : Widget.widget_with_error_box -> (object
<<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_basic_box"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_basic_box>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'a 'b.\\      <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|nmtokens>> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|wrap>> *\\      <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> ] as 'b<<span class="ocsforge_color_delimiter"| ) >>\\      <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div>> ] as 'a<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'c 'd.\\      <<span class="ocsforge_color_label"| bi: >><<a_api text="Wiki_widgets_interface.box_info" | type Wiki_widgets_interface.box_info >> <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'c<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list\\      <<a_api text="Wiki_types.wikibox_content" | type Wiki_types.wikibox_content >> <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\       <<span class="ocsforge_color_delimiter"| ( >>[> <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|flow5>> ] as 'd<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\      <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODdisplay_raw_wikiboxcontent"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|display_raw_wikiboxcontent>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'a 'e.\\      <<span class="ocsforge_color_label"| classes: >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> <<span class="ocsforge_color_delimiter"| -> >>\\      'a <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<a_api text="Wiki_types.wikibox_content" | type Wiki_types.wikibox_content >> <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_delimiter"| ( >><<a_api text="Wiki_widgets_interface.classes" | type Wiki_widgets_interface.classes >> *\\       <<span class="ocsforge_color_delimiter"| ( >>[> `Em | `Pre ] as 'e<<span class="ocsforge_color_delimiter"| ) >> <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list<<span class="ocsforge_color_delimiter"| ) >>\\      <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>><<pre class="ocsforge_color odocwiki_code"|    <<span id="METHODwrap_error"|<<span class="ocsforge_color_keyword"|method>> <<span class="odocwiki_name"|wrap_error>>>> <<span class="ocsforge_color_delimiter"|~:>> <<span class="odocwiki_type"|\\    'f.\\      <<span class="ocsforge_color_label"| wb: >><<a_api text="Wiki_types.wikibox" | type Wiki_types.wikibox >> <<span class="ocsforge_color_delimiter"| -> >>\\      <<span class="ocsforge_color_delimiter"| ( >>[< <<span class="ocsforge_color_uid"|Html5_types>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|div_content_fun>> > `Div ] as 'f<<span class="ocsforge_color_delimiter"| ) >>\\      <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_delimiter"| -> >>\\      'f <<span class="ocsforge_color_uid"|Eliom_content>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|Html5>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_uid"|F>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|elt>> list <<span class="ocsforge_color_uid"|Lwt>><<span class="ocsforge_color_delimiter"| . >><<span class="ocsforge_color_lid"|t>>>>>>end:object ... end)

method display_basic_box : 
'g 'h.
Html5_types.nmtokens Eliom_content.Html5.F.wrap *
([< Html5_types.div_content_fun ] as 'h) Eliom_content.Html5.F.elt list ->
([> Html5_types.div ] as 'g) Eliom_content.Html5.F.elt Lwt.t
method display_wikiboxcontent : 
'i 'j.
bi:Wiki_widgets_interface.box_info ->
classes:Wiki_widgets_interface.classes ->
([< Html5_types.flow5 ] as 'i) Eliom_content.Html5.F.elt list
Wiki_types.wikibox_content ->
(Wiki_widgets_interface.classes *
([> Html5_types.flow5 ] as 'j) Eliom_content.Html5.F.elt list)
Lwt.t
method display_raw_wikiboxcontent : 
'a 'k.
classes:Wiki_widgets_interface.classes ->
'a Eliom_content.Html5.F.elt list Wiki_types.wikibox_content ->
(Wiki_widgets_interface.classes *
([> `Em | `Pre ] as 'k) Eliom_content.Html5.F.elt list)
Lwt.t
method wrap_error : 
'l.
wb:Wiki_types.wikibox ->
([< Html5_types.div_content_fun > `Div ] as 'l)
Eliom_content.Html5.F.elt list ->
'l Eliom_content.Html5.F.elt list Lwt.t