Module Widget

module Widget : sig..end

This module contains general-use widgets for Ocsimore. Author(s): Piero Furiesi, Jaap Boender, Vincent Balat

This module contains general-use widgets for Ocsimore.

class widget :  object..end

class widget_with_error_box :  object..end

class type 'param_type, 'data_type, 'result_typeparametrized_widget_t = object..end

class virtual [
['param_type, 'data_type, 'result_type]] parametrized_widget :  object..end

class virtual 'param_type, 'data_type parametrized_div_widget : 
 object..end

class type 'param_type, 'data_typeparametrized_div_widget_t = [
  ['param_type, 'data_type, [ `Div ] Eliom_content.Html5.F.elt Lwt.t]] parametrized_widget_t

class virtual 'param_type, 'result_type parametrized_unit_widget : 
 object..end

class type 'param_type, 'result_typeparametrized_unit_widget_t = [
  ['param_type, unit, 'result_type]] parametrized_widget_t

class virtual ['param_type] parametrized_unit_div_widget : 
 object..end

class type ['param_type]parametrized_unit_div_widget_t = [
  ['param_type, unit, [ `Div ] Eliom_content.Html5.F.elt Lwt.t]] parametrized_widget_t