Module `Ot.Form`

Reactive form widgets

type 'a react_component =
  'a Eliom.Shared.React.S.t
  * (?step:React.step -> 'a -> unit) Eliom.Shared.Value.t

A reactive component: a signal and its setter.

Client-side utilities

Buttons

val disableable_button : 
  ?a:[< Html_types.button_attrib ] Eliom.Content.Html.attrib list ->
  ?button_type:[< Eliom.Form_sigs.button_type ] ->
  disabled:bool Eliom.Shared.React.S.t ->
  [< Html_types.button_content ] Eliom.Content.Html.elt list ->
  [> `Button ] Eliom.Content.Html.elt

A button that can be reactively disabled.

Toggle button

val reactive_toggle_button : 
  ?a:[< Html_types.button_attrib ] Eliom.Content.Html.attrib list ->
  ?init:bool ->
  ?ctrl:bool react_component ->
  [< Html_types.button_content ] Eliom.Content.Html.elt list ->
  [> `Button ] Eliom.Content.Html.elt * bool react_component

A toggle button that alternates between on/off states. The CSS classes "ot-toggle-on" and "ot-toggle-off" are set reactively on the button element.

Radio buttons

val radio : 
  ?a:[< Html_types.label_attrib ] Eliom.Content.Html.attrib list ->
  ?disabled_s:bool Eliom.Shared.React.S.t ->
  ?checked_s:bool Eliom.Shared.React.S.t ->
  ?name:string ->
  ?before:
    [< Html_types.label_content_fun Input Span ] Eliom.Content.Html.elt list ->
  [< Html_types.span_content ] Eliom.Content.Html.elt list ->
  [> `Label ] Eliom.Content.Html.elt * [> `Input ] Eliom.Content.Html.elt

A single radio button with label.

val radio_buttons : 
  ?a:[< Html_types.label_attrib ] Eliom.Content.Html.attrib list ->
  ?disabled_s:int list Eliom.Shared.React.S.t ->
  selection_react:int option react_component ->
  name:string ->
  [< Html_types.span_content ] Eliom.Content.Html.elt list list ->
  Html_types.div_content Eliom.Content.Html.elt list

A group of radio buttons with reactive selection.

val radio_selector : 
  ?a:[< Html_types.div_attrib Class ] Eliom.Content.Html.attrib list ->
  selection_react:int option react_component ->
  name:string ->
  label:[< Html_types.div_content ] Eliom.Content.Html.elt list ->
  [< Html_types.span_content ] Eliom.Content.Html.elt list list ->
  [> `Div ] Eliom.Content.Html.elt

A styled container with label for a group of radio buttons.

Reactive inputs

val reactify_input : 
  ?input_r:string react_component ->
  ?value:string ->
  ?validate:(string -> bool) Eliom.Client_value.t ->
  [ `Input | `Textarea ] Eliom.Content.Html.elt ->
  string Eliom.Shared.React.S.t * (string -> unit) Eliom.Client_value.t

Make an existing input or textarea element reactive. Returns a signal tracking the current value and a setter.

val reactive_input : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?input_r:string react_component ->
  ?value:string ->
  ?validate:(string -> bool) Eliom.Client_value.t ->
  unit ->
  [> `Input ] Eliom.Content.Html.elt
  * (string Eliom.Shared.React.S.t * (string -> unit) Eliom.Client_value.t)

Create a reactive text input. Returns the element and a (signal, setter) pair.

val textarea : 
  ?a:[< Html_types.textarea_attrib ] Eliom.Content.Html.attrib list ->
  ?a_rows:int ->
  ?resize:bool ->
  ?a_placeholder:string ->
  string ->
  [> `Textarea ] Eliom.Content.Html.elt

Create a textarea, optionally with auto-resize.

val reactive_textarea : 
  ?a:[< Html_types.textarea_attrib ] Eliom.Content.Html.attrib list ->
  ?a_rows:int ->
  ?resize:bool ->
  ?a_placeholder:string ->
  ?value:string ->
  ?validate:(string -> bool) Eliom.Client_value.t ->
  unit ->
  [> `Textarea ] Eliom.Content.Html.elt
  * (string Eliom.Shared.React.S.t * (string -> unit) Eliom.Client_value.t)

Create a reactive textarea.

Debounced input

val debounced_input : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?delay:float ->
  ?value:string ->
  ?validate:(string -> bool) Eliom.Client_value.t ->
  unit ->
  [> `Input ] Eliom.Content.Html.elt
  * (string Eliom.Shared.React.S.t
     * string Eliom.Shared.React.S.t
     * (string -> unit) Eliom.Client_value.t)

A reactive input where the debounced signal updates only after delay seconds (default 0.3) of inactivity. Returns (input, (raw_signal, debounced_signal, setter)). raw_signal updates on every keystroke; debounced_signal waits for the user to stop typing.

Enter key binding

val lwt_bind_input_enter : 
  ?validate:(string -> bool) Eliom.Client_value.t ->
  ?button:[ `Button ] Eliom.Content.Html.elt ->
  [ `Input ] Eliom.Content.Html.elt ->
  (string -> unit Lwt.t) Eliom.Client_value.t ->
  unit

Bind an Lwt action to an existing input, triggered on Enter key or optional button click.

val lwt_bound_input_enter : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?button:[ `Button ] Eliom.Content.Html.elt ->
  ?validate:(string -> bool) Eliom.Client_value.t ->
  (string -> unit Lwt.t) Eliom.Client_value.t ->
  [> `Input ] Eliom.Content.Html.elt

Create an input with an Lwt action triggered on Enter key.

Checkboxes

type checkbox_position = [

| `Left
| `Right
| `None

]

type checkbox_style = [

| `Box
| `Bullet
| `Small_bullet
| `Toggle

]

val checkbox : 
  ?a:[< Html_types.label_attrib ] Eliom.Content.Html.attrib list ->
  ?a_inp:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?required:bool ->
  ?position:checkbox_position ->
  ?checked:bool ->
  ?readonly:bool ->
  ?disabled:bool ->
  ?style:checkbox_style ->
  ?mobile_style:checkbox_style ->
  [< Html_types.span_content ] Eliom.Content.Html.elt list ->
  [> `Label ] Eliom.Content.Html.elt * [> `Input ] Eliom.Content.Html.elt

A customizable checkbox with position and style options.

val reactive_checkbox : 
  ?a:[< Html_types.label_attrib ] Eliom.Content.Html.attrib list ->
  ?a_inp:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?position:checkbox_position ->
  ?checked:bool ->
  ?readonly:bool ->
  ?disabled:bool ->
  ?style:checkbox_style ->
  ?mobile_style:checkbox_style ->
  ?ctrl:
    (bool Eliom.Shared.React.S.t
     * (?step:React.step -> bool -> unit) Eliom.Shared.Value.t) ->
  [< Html_types.span_content ] Eliom.Content.Html.elt list ->
  < label : [> `Label ] Eliom.Content.Html.elt
  ; input : [> `Input ] Eliom.Content.Html.elt
  ; value : bool Eliom.Shared.React.S.t
  ; manually_changed : bool Eliom.Shared.React.S.t >

A reactive checkbox. The returned object provides:

label: the label element
input: the input element
value: a signal tracking whether it is checked
manually_changed: a signal tracking whether the user changed it

Validation

val input_validation_tools : 
  ?init:string ->
  ?set_focus:(bool -> unit) Eliom.Client_value.t ->
  ?result_iter:
    (Js_of_ocaml.Dom_html.inputElement Js_of_ocaml.Js.t ->
      string ->
      unit)
      Eliom.Client_value.t ->
  ?invalid_class:string ->
  (string -> (string, string) Result.t) Eliom.Shared.Value.t ->
  [> Html_types.input_attrib ] Eliom.Content.Html.attrib list
  * [> `Class ] Eliom.Content.Html.attrib
  * (string, string) Result.t Eliom.Shared.React.S.t

Given a validation function, builds the necessary oninput and onblur attributes for an input, a reactive class attribute for error states, and a signal with the validation result.

The invalid class is only shown after the first blur (graceful).

val graceful_invalid_style : [ `Input ] Eliom.Content.Html.elt -> unit

Adds the "ot-invalid" class after each blur. This allows styling for invalidity without showing errors before the user interacts. Inspired by :-moz-ui-invalid.

Integer inputs

val optional_int_input : 
  ?min:int ->
  ?max:int ->
  ?size:int ->
  int option ->
  [> `Div ] Eliom.Content.Html.elt
  * (int option, unit) result Eliom.Shared.React.S.t

An integer input with +/- buttons that can be empty (None). Displays "-" when empty.

val int_input : 
  ?min:int ->
  ?max:int ->
  ?size:int ->
  int ->
  [> `Div ] Eliom.Content.Html.elt * (int, unit) result Eliom.Shared.React.S.t

An integer input with +/- buttons. Always contains a value.

Password input

val password_input : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?placeholder:string ->
  unit ->
  [> `Div ] Eliom.Content.Html.elt
  * [> `Input ] Eliom.Content.Html.elt
  * bool react_component

A password input with a visibility toggle button. Returns (container, input, (visible_signal, set_visible)). The toggle switches between type=password and type=text. CSS classes: ot-password-container, ot-password-input, ot-password-toggle, ot-password-toggle-show, ot-password-toggle-hide.

Password toggle (non-reactive)

val password_toggle : 
  [ `Input ] Eliom.Content.Html.elt ->
  [> `Div ] Eliom.Content.Html.elt

password_toggle inp wraps an existing password input element inp in a container with a visibility toggle button. Unlike password_input, this does not use reactive signals: it manipulates the DOM directly on click, making it suitable for use with D.Form.input in Eliom forms. CSS classes: ot-password-container, ot-password-toggle, ot-password-toggle-show, ot-password-toggle-hide.

Prevent double submit

val prevent_double_submit : 
  ?a:[< Html_types.button_attrib ] Eliom.Content.Html.attrib list ->
  ?button_type:[< Eliom.Form_sigs.button_type ] ->
  f:(unit -> unit Lwt.t) Eliom.Client_value.t ->
  [< Html_types.button_content ] Eliom.Content.Html.elt list ->
  [> `Button ] Eliom.Content.Html.elt

A button that disables itself while the action f is running, preventing double submissions.

Reactive select

val reactive_select : 
  ?a:[< Html_types.select_attrib ] Eliom.Content.Html.attrib list ->
  options:(string * string) list ->
  ?selected:string ->
  unit ->
  [> `Select ] Eliom.Content.Html.elt * string react_component

reactive_select ~options () creates a <select> element with reactive selection tracking. options is a list of (value, label) pairs. Returns the element and a (signal, setter) pair. The setter can be used to change the selection programmatically.

Misc

val validate_as_int : string -> (int option, unit) result

Validate a string as an optional integer. Returns Ok None for empty strings or "-", Ok (Some n) for valid integers, Error () otherwise.

val none_input_value : string

The string "-", used as placeholder for empty optional int inputs.

Reactive fieldset

val reactive_fieldset : 
  ?a:[< Html_types.fieldset_attrib ] Eliom.Content.Html.attrib list ->
  disabled:bool Eliom.Shared.React.S.t ->
  [< Html_types.fieldset_content ] Eliom.Content.Html.elt list ->
  [> `Fieldset ] Eliom.Content.Html.elt

A fieldset that can be reactively disabled. When disabled, all form elements inside are disabled by the browser.

Date and time inputs

val parse_date : string -> (int * int * int) option

Parse a date string in YYYY-MM-DD format.

val parse_time : string -> (int * int) option

Parse a time string in HH:MM format.

val string_of_date : (int * int * int) -> string

Format a (year, month, day) triple as YYYY-MM-DD.

val string_of_time : (int * int) -> string

Format a (hours, minutes) pair as HH:MM.

val reactive_date_input : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?value:(int * int * int) ->
  unit ->
  [> `Input ] Eliom.Content.Html.elt * (int * int * int) option react_component

A reactive HTML5 date input. The signal carries Some (year, month, day) or None when empty.

val reactive_time_input : 
  ?a:[< Html_types.input_attrib ] Eliom.Content.Html.attrib list ->
  ?value:(int * int) ->
  unit ->
  [> `Input ] Eliom.Content.Html.elt * (int * int) option react_component

A reactive HTML5 time input. The signal carries Some (hours, minutes) or None when empty.