Module type Xform.​Xform

module type Xform = sig..end

type 'a monad

type (+'a, +'b) t

val id : ('a, 'b) t -> string

val string_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  string ->
  ([> Html5_types.input ] Eliom_content.Html5.F.elt, string)
  t

val string_opt_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  string option ->
  ([> Html5_types.input ] Eliom_content.Html5.F.elt, string option)
  t

val int_input : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  ?format:(int -> string) ->
  int ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt, int) t

val bounded_int_input : 
  ?format:(int -> string) ->
  int ->
  int ->
  int ->
  ([> `Input | `Span ] Eliom_content.Html5.F.elt, int) t

val bool_checkbox : 
  ?a:Html5_types.input_attrib Eliom_content.Html5.F.attrib list ->
  bool ->
  ([> Html5_types.input ] Eliom_content.Html5.F.elt, bool) t

val text_area : 
  ?a:Html5_types.textarea_attrib Eliom_content.Html5.F.attrib list ->
  string ->
  ([> Html5_types.textarea ] Eliom_content.Html5.F.elt, string)
  t

val submit_button : 
  string ->
  ([> Html5_types.input ] Eliom_content.Html5.F.elt, bool) t

val select_single : 
  (string * string) list ->
  string ->
  ([> Html5_types.select ] Eliom_content.Html5.F.elt, string)
  t

val list : 
  'a list ->
  ('a ->
   ([< Html5_types.form_content ] Eliom_content.Html5.F.elt, 'b)
   t) ->
  ([> Html5_types.form_content ] Eliom_content.Html5.F.elt, 'b list)
  t

val list' : 
  int ->
  ([< Html5_types.form_content ] Eliom_content.Html5.F.elt, 'a)
  t ->
  ([> Html5_types.form_content ] Eliom_content.Html5.F.elt, 'a list)
  t

val extensible_list : 
  string ->
  'a ->
  'a list ->
  ('a ->
   ([< Html5_types.form_content ] Eliom_content.Html5.F.elt, 'b)
   t) ->
  ([> Html5_types.form_content ] Eliom_content.Html5.F.elt, 'b list)
  t

val opt_input : 
  input:('a ->
         (Html5_types.input Eliom_content.Html5.F.elt, 'b) t) ->
  default:'a ->
  'a option ->
  ([> Html5_types.input ] Eliom_content.Html5.F.elt, 'b option)
  t

module Ops : sig..end

val wrap : 
  ('a list -> 'b list) ->
  ('a, 'c) t -> ('b, 'c) t

val check : 
  (([> Html5_types.span ] as 'a) Eliom_content.Html5.F.elt, 'b)
  t ->
  ('b -> string option) ->
  ('a Eliom_content.Html5.F.elt, 'b) t

val convert : 
  (([> Html5_types.span ] as 'a) Eliom_content.Html5.F.elt, 'b)
  t ->
  ('b -> 'c Xform.convert monad) ->
  ('a Eliom_content.Html5.F.elt, 'c) t

val hour_input : 
  int ->
  int ->
  ([> `Input | `PCDATA | `Span ] Eliom_content.Html5.F.elt, int * int)
  t

val day_input : 
  int ->
  int ->
  int ->
  ([> `Input | `PCDATA | `Span ] Eliom_content.Html5.F.elt,
   int * int * int)
  t

val date_input : 
  CalendarLib.Calendar.t ->
  ([> `Input | `PCDATA | `Span ] Eliom_content.Html5.F.elt,
   CalendarLib.Calendar.t)
  t

val text : string -> [> Html5_types.pcdata ] Eliom_content.Html5.F.elt list

val strong : 
  [< Html5_types.strong_content_fun ] Eliom_content.Html5.F.elt list ->
  [> Html5_types.strong ] Eliom_content.Html5.F.elt

val p : 
  ([< Html5_types.p_content_fun ] Eliom_content.Html5.F.elt, 'a)
  t ->
  ([> Html5_types.p ] Eliom_content.Html5.F.elt, 'a) t

val table : 
  ([< Html5_types.table_content_fun ] Eliom_content.Html5.F.elt, 'a)
  t ->
  ([> Html5_types.table ] Eliom_content.Html5.F.elt, 'a) t

val tr : 
  ([< Html5_types.tr_content_fun ] Eliom_content.Html5.F.elt, 'a)
  t ->
  ([> Html5_types.tr ] Eliom_content.Html5.F.elt, 'a) t

val td : 
  ([< Html5_types.td_content_fun ] Eliom_content.Html5.F.elt, 'a)
  t ->
  ([> Html5_types.td ] Eliom_content.Html5.F.elt, 'a) t

val label_input_tr : 
  label:string ->
  ?description:string ->
  ([< Html5_types.td_content_fun ] Eliom_content.Html5.F.elt, 'a)
  t ->
  (Html5_types.tr Eliom_content.Html5.F.elt, 'a) t

val fieldset : 
  ?legend:[ `Legend ] Eliom_content.Html5.F.elt ->
  ([< Html5_types.flow5 ] Eliom_content.Html5.F.elt, 'a) t ->
  ([> Html5_types.fieldset ] Eliom_content.Html5.F.elt, 'a)
  t

val form : 
  fallback:('a, unit,
            [ `Attached of
                ([ `Internal of [< `Coservice | `Service ] ], [ `Get ])
                Eliom_service.a_s ],
            [< Eliom_service.suff ], 'b, unit, [< `Registrable ],
            Eliom_registration.http_service)
           Eliom_service.service ->
  get_args:'a ->
  page:('a ->
        Xform.error ->
        [> Html5_types.form ] Eliom_content.Html5.F.elt ->
        Eliom_content.Html5.F.html Lwt.t) ->
  ?err_handler:(exn -> string option) ->
  (Html5_types.form_content Eliom_content.Html5.F.elt,
   unit -> Eliom_registration.Html5.page Lwt.t)
  t ->
  [> Html5_types.form ] Eliom_content.Html5.F.elt monad